对称密码体制的量子攻击

该文梳理了近年来量子攻击在对称密码体制的研究脉络,分析了主流攻击方法的研究趋势与各文献之间的关系,并将主流攻击方法分为量子周期攻击、Grover算法相关攻击、量子差分攻击3类,分别介绍了具有代表性的攻击方法,呈现了各攻击方法的核心思想。立足于现有的攻击方案,展望了这一领域可能会出现的热门研究方向。

多普勒辅助水下传感器网络时间同步机制研究

研究了水下传感器网络(UWSN)时间同步算法。针对水下环境中声信号传播时延长、节点移动性等特点给时间同步带来的问题,基于多普勒原理提出了一种分布式时间同步算法(NU-Sync),通过计算相对速度解决由节点移动导致传播时延不确定的问题,利用自主式水下潜器作为信标节点,通过不断广播时间信息的方式计算时钟频率偏斜,节省网络的能量消耗。仿真实验表明,与现有算法相比,NU-Sync能够实现较高的同步精度。

行为驱动的仿真模型组合方法研究

针对目前海洋智能航行器仿真系统在开发过程中模型的动态行为很难验证的问题,给出了一个通用的基于行为的仿真系统开发框架,并提出了行为驱动的模型组合方法。首先在研究了仿真模型的行为特性的基础上,采用演算的进程表达式表示组合交互过程,描述状态转换和消息传递序列,利用其转换函数和进程推演验证组合过程的行为兼容性,然后通过水动力组合的应用实例具体描述了行为驱动的组合验证过程。最后给出了该方法在水下水下机器人和水面无人艇仿真试验中的应用情况,进一步证明了方法的可行性。

仿真模型组合的验证方法研究

针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。

机械专业实验教学体系的创新与实践

文章介绍了机械类本科生创新性实验教学体系的研究思路与实践成果,提出的实验教学思想、方法,可以为机械专业和其他专业的实验教学改革提供参考和借鉴。

渐开线少齿差弯曲强度计算方法的研究

针对渐开线少齿差内齿轮副的弯曲强度计算问题,根据齿轮国家标准计算了短齿复合齿形系数,使用有限元计算了双齿啮合复合齿形系数,2种系数可分别用于单齿受力和双齿啮合的弯曲强度计算。

LTS仿真模型组合验证方法

为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。

人口老龄化背景下健康养老产业“医养护结合”模式研究——以南宁市为例

在人口老龄化日趋严峻的背景下,我国现行养老服务模式普遍存在有养无医、医养分离等问题,不能满足老年人健康养老需求,探索"医养护结合"新型健康养老模式已势在必行。文章以南宁市为例,分析"医中设养""养中设医""医养合作""社区+医疗"等四种"医养护结合"健康养老服务模式资源整合现状及其在实践中存在的问题和制约因素,并在现有行政体制和资源约束条件下,提出构建政策保障体系、"医养护结合"信息化平台体系、产业链协调发展体系、"医养护结合"人才队伍体系及保险支持体系等五个体系,破解"医养护结合"模式发展障碍。

河北省外贸出口的现状、问题及对策

河北省是我国的沿海经济大省,但是河北省在外贸出口方面与其他经济强省还存在一定差距。通过科学的方法分析河北省对外贸易出口的背景与现状,归纳和总结出河北省在外贸出口中存在的问题,促进河北省外贸出口,必须调整产业结构,优化产业结构,支持朝阳产业,科学规划布局,积极构建出口平台,开拓多元出口市场。

少齿差内齿轮副多齿啮合弯曲强度的计算方法

针对渐开线少齿差内齿轮副多齿啮合弯曲强度计算问题,建立了啮合齿对的间隙、数量、载荷分配和齿根拉伸应力的计算方法,通过内齿轮副实体模型和有限元分析,对计算方法的正确性和准确性进行了验证。

渐开线少齿差行星齿轮传动超载能力的有限元分析

利用Gearteq软件创建了精确的少齿差内齿轮副的实体装配模型,利用Solidworks Simulation软件完成了齿轮应力和超载能力分析,计算结果表明渐开线少齿差行星齿轮传动具有很高的超载能力。

一种基于BPMN的业务流程图到BPEL的映射方法

随着服务组合理论的不断成熟,将基于BPMN的业务流程图转换为BPEL代码进而实现服务组合的研究受到广泛关注.目前BPMN模型的映射方法不能完成复杂结构的映射且需要人工参与.首先提出了一个基于服务组合的软件系统框架和BPMN的形式化描述方法.然后给出一种基于BPMN的业务流程图到BPEL的映射方法,其主要思想是首先映射数据流,再映射控制流来组织基本活动的执行顺序.在控制流映射中分析了基本结构和复杂结构映射的解决方案.最后,利用网上预约看病实例证明了映射方法的可行性.

基于模板的工程对象设计

工程对象的形式多种多样，传统的参数化技术无法描述这种多样性。本文研究了基于模板的工程对象设计，应用模板技术实现工程对象的自定义的扩充，以适应不同国家、行业以及用户的标准或者设计习惯。

渐开线少齿差传动设计参数的选择

本文对渐开线少齿差传动的主要限制条件与参数选择问题进行了讨论，提出了一种简明的参数选择方法，提供了参数选用推荐值。

基于L-π演算的WSN路由协议形式化方法

针对无线传感器网络路由协议形式化描述与验证的问题,提出了一种形式化方法 L-π演算。定义了L-π演算的语法,形式化描述无线传感器节点的广播与单播的通信行为。定义了相应的结构同余,描述了节点表达式的非顺序性。定义了相应的迁移规则,提供了路由协议形式化模型的动态推演功能。通过对无线传感器网络簇头选择协议的描述展现了L-π演算的能力。通过无线传感器网络簇头选择协议的验证实验说明了该方法能有效验证无线传感网络路由协议。

NN型传动的传动比计算与特点分析

本文对ＮＮ型传动的传动比问题进行了详细讨论，揭示了内齿轮副的齿数差、双联行星轮的齿数差以及齿数对传动比的影响，分析了传动比的特点与范围。

NN型传动的传动比问题分析

对ＮＮ型传动的传动比问题进行了详细讨论，揭示了齿数差、行星轮错齿数及齿数对传动比的影响及其规律性，分析了传动比的范围及特点。

关于我校实验室建设问题的探讨

文章根据嘉兴学院办学特点和发展方向 ,对嘉兴学院实验室管理体制改革。

后危机时代背景下对全球经济危机的哲学反思

这次全球的经济危机,再次印证资本主义社会发展的规律,使我们坚信资本主义社会必定被更为先进的社会主义社会所取代。危机中暴露出严重的经济伦理问题,再次证明经济伦理不是可有可无的,基本道德价值观的严重缺失,不仅阻碍经济发展,而且损害经济发展的人文价值。这场危机启示我们,要在"和谐共赢"理念下抛弃各国零和博弈的旧思维,推进当今世界经济向着自己的理想模式发展,使其步入良性循环。

河北省农产品出口贸易现状及发展对策研究

河北省作为我国农业大省之一,农产品出口贸易在河北省对外贸易中占有重要地位,在拉动全省农村经济增长、增加农民就业、促进农民增收、推进农业现代化建设、提高农业综合生产能力和促进农业产业结构调整方面起到了重要的作用。近年来农产品出口贸易总量逐年增加,部分产品出口金额居全国前列。但也存在农产品出口总体规模偏小,发展较慢,出口品种结构单一,出口企业数量少、规模小等问题。为促进河北省农产品出口贸易,应采取大力推进农业产业化进程,加强出口农产品生产基地建设,重点扶持外向型农业龙头企业,优化农产品出口结构,实现出口市场多元化等对策。