信息/求解 Petri 网系统

绝大多数 Petri 网在变迁发生后前集库所会失去标记,不便于表达一个条件一旦具备将永远具备的情形.针对该问题,基于0-1标识与变迁发生后其前集不失去标记的思想,提出了信息/求解扩展 Petri 网系统(I/S系统).给出了I/S系统的相关定义、部分基本性质、矩阵表示、求解发生权向量的求法和状态方程.最后,给出了以I/S系统表示的几种常见滑模变结构控制策略的设计过程,该例显示了I/S系统的模型表达能力.     

基于Petri网的维修过程建模仿真方法研究

通过引进老化令牌对随机Petri网进行理论扩展,提出了一种基于老化令牌的随机Petri网（SPNAT）的维修过程建模与仿真方法,有效地解决了传统维修性建模方法在多个失效率不同的部件系统所存在的建模复杂和求解困难等问题,并通过实例验证了该建模方法的有效性和优越性。     

装备保障计划规范化建模方法研究

采用UML对装备保障计划从静态和动态两个框架进行建模,直观形象地描述了装备保障计划的内容,为装备保障计划的自动生成提供了理论基础,并且以陆军师弹药保障计划为例进行说明。     

超音速微粒轰击表面纳米化设备研制

超音速微粒轰击是材料表面纳米化的重要手段,性能优异的专用设备是实现这一工艺的前提。为此,采用数值模拟分析的方法研制了超音速微粒轰击喷枪,在距喷枪出口50mm处获得了平均约320m/s的轰击粒子速度;在对机器人选型和控制系统设计的基础上,集成了超音速微粒轰击表面纳米化设备;应用该设备实现了对38CrSi中碳钢的表面纳米化处理,验证了研制设备的性能。     

运用ECO开发基于UML的工作流系统

运用UML进行建模并运用MDA方法生成系统代码已成为当前工作流系统设计开发的一大发展趋势。经过多年发展的ECO技术为.Net环境下运用MDA方法开发基于UML的稳定高效的软件系统提供了很好支持,而ECOⅢ则通过支持UML动态建模,使得ECO具备了开发基于UML工作流系统的能力。通过示例介绍了运用ECO进行工作流开发的一般流程,着重展现运用ECO开发工作流系统的可行性和高效性。     

需求工程的形式化方法

从需求的概念出发,简单介绍了需求工程的过程模型和需求工程的方法学;根据需求工程的定义以及特点,讨论了在需求工程中引入形式化方法的意义,提出提高需求工程形式化程度的两个主要途径——提高需求建模语言的形式化程度和利用形式化验证技术,并给出选择形式化方法的原则,最后在分析目前技术的优缺点的基础上给出需求建模语言应具备的特征。     

基于UML的美军动能反卫作战系统概念建模

针对美军动能反卫作战系统,利用UML方法,对其作战仿真概念建模进行了初步的探讨。针对作战系统的反卫作战任务,首先识别系统的主要行为,利用用例图定义系统的功能需求;其次利用类图标识系统用例模型中的所有实体,并分析这些实体的关联关系;最后,采用顺序图展示对象在系统执行过程中不同阶段的动态交互。这样建立的概念模型描述规范,为下一步仿真系统的开发奠定了良好知识表示基础。     

超短波信道建模方法

针对超短波信道传播条件复杂,缺乏相关成熟方法和模型的现状,对当前国内外现有超短波信道模型和建模方法进行了梳理、总结和归纳。简单介绍了超短波传播特性、信道参数以及现有模型,重点梳理了在不同应用场景下,可用于超短波信道建模的方法。然后,针对基于随机传播图理论的方法进行了重点介绍,总结了基于信道参数的模型验证方法。最后,针对不同的超短波应用条件,对相关的方法进行了展望。     

综合战场环境仿真软件建模

作为C3I系统重要组成部分的综合战场环境仿真软件要求必须具有开放性和可重用性,以适应战场环境和武器系统的变革.基于以上特点,本文采用UML对综合战场环境仿真软件需求进行建模,采用此方法对该软件进行建模,可以将复杂的综合战场环境仿真系统用简单明了的可视化图形表示出来,为整个软件的开发提供灵活、一致、易读的表达,不仅可以解决软件开发中众多领域人员难以互相交流理解的难题,还可以提高软件的可靠性、可重用性和可维护性.     

空气深度预冷组合循环发动机吸气式模态建模及性能分析

针对空气深度预冷组合循环发动机——协同吸气式火箭发动机(Synergistic Air-Breathing Rocket Engine,SABRE),采用部件法对其进行建模,匹配计算得到吸气式模态下飞行走廊内其性能参数变化规律,并研究其高度速度特性。计算模型可信度较高,推力误差小于6%,能够较为准确地模拟SABRE吸气式模态的性能参数。结果表明:SABRE兼具火箭发动机大推力和航空发动机高比冲的特点,吸气式模态下比冲介于21 300~27 380 m/s,随着高度速度的增大,其推力比冲先增大后减小;SABRE利用预冷器将入口空气温度降低,可使其空域速域拓宽至25 km、5Ma,满足高超声速飞行的动力需求;发动机速度下限由压气机最大流量决定,速度上限则由氦气回路减压器工作限制条件决定。