基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

基于可拓论的工业水分过程系统综合建模

介绍了工业水分过程系统建模的研究方法。该文采用数学机理模型、经验模型、神经网络模型在物元模型的基础上综合方法，建立了大时延、大流量、大范围非线性时变的烟丝水分过程的模型。该模型以数学机理模型的解作为初始点，经验模型作为全局调节器，菱形思维神经网络模型作为局部调节器，从而使该模型更接近于实际工业过程。此方法物理机理明晰、能获得工业过程的全局优化结果、能解决系统中一些结构不良问题等。仿真结果表明：较之三种模型的有效性，对于解决复杂工业过程控制系统问题，可知工程方法是一条可探索途径。     

船舶自动化电站系统仿真

应用系统建模技术和计算机系统仿真技术，在研究了某大型船舶电力系统的基础上，运用MATLAB软件，结合船舶柴油机发电机组和异步电动机的特性，完成了船舶自动化电站系统的建模。实现的船舶自动化电站仿真器系统特性与实际系统特性接近。该系统对船舶轮机员技术培训和船舶电力系统的故障分析具有很高的价值。     

基于Microsoft Visio 2002构建仿真图形化建模环境

通过分析图形化建模系统的一般要求，提出了基于Microsoft Visio 2002进行仿真图形化建模系统开发的方案。讨论了基于Visio进行仿真图形化建模系统开发的几个主要问题，对于其中的难点给出具体的解决办法。实践证明，该方案是可行的，并且比传统开发方法具有一定优势。     

基于框图建模的表现模型研究

讨论了表现模型的概念和构成，以及它与可视化模型和仿真模型的关系。在此基础上，以交战级仿真应用为背景，设计和实现了基于框图建模方法的表现模块库。用户可以根据需要，通过选取相应的功能模块，订购相应的仿真模型数据，建立表现模块之间的输入输出关系，和设置表现模块的功能参数来快速构建三维表现模型。该表现模型将仿真模型和仿真表现分离，在仿真演示上具有灵活、通用的特点。     

基于坐标变换的具有可操舵轮的移动机器人运动学建模

为了提高移动机器人的灵活性和机动性,人们提出了最大限度地利用普通常规轮的运动自由度来实现移动机器人的平面自由运动。当移动机器人具有n(n≥2)个可操舵驱动轮时,它可以实现平面上的自由运动,即它具有3个自由度。针对轮式移动机器人的运动学建模问题,基于坐标变换法,提出了一种解决具有可操舵轮的移动机器人运动学建模的通用方法,建立了在满足理想运动约束条件下的运动学模型,并以具有2个可操舵驱动轮的3自由度移动机器人为例,给出了运动学仿真结果。     

对抗体系的一种建模方法研究

首先,通过实例阐明了信息交互在效能涌现中所起的重要作用;其此,提出了“基于信息关联网的体系建模方法”,为研究信息交互过程中对抗体系的效能涌现机理提供了方法论意义上的支持;最后,基于上述体系建模方法,给出了一个具体的建模实例。     

多电机同步联动系统的动力学分析与建模

以双电机同步联动伺服系统为例，研究了多电机同步联动系统的机械结构以及齿轮间的啮合关系．利用机理分析法，分析了齿轮啮合动力学的原理以及多电动机联动的动力学．将电机侧的参数折算到负载侧，首次建立了双电机同步联动伺服系统的无齿隙理想动力学模型．通过齿隙特性的分析，建立了含齿隙双电机同步联动伺服系统的动力学模型，给出了双电机同步联动系统结构图模型和状态方程模型，并推导出了含齿隙的多电机同步联动系统的动力学一般模型。     

面向维修决策的战役全域空间战损建模与仿真

战役全域空间内战场损伤的产生及分布是典型的非确定性难题.透过战场环境、装备配置、战术动作、受损程度等具体的确定性因素,把握其共性的特点和一般规律,利用概率统计方法进行仿真,是未来战争维修决策研究的前提和基础.提出以局部正态分布累加法拟合武器装备在战场上的空间分布,Эрлана分布拟合装备的战场损伤程度,解析战场损伤的随机过程,建立仿真模型;并以坦克师阵地防御战役中的一次战斗为例进行了计算机仿真,检验了模型的实用性.     

关于工科数学分析教学中的数学建模思想

针对大学教学分层次培养的模式,结舍强化班工科数学分析课程教学实践,阐述了如何将数学建模思想渗透到课程教学的问题..