信息/求解 Petri 网系统

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

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

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

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

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

聚合解聚及其一致性问题研究

聚合解聚是多分辨率建模方法中应用最普遍的方法.一致性问题是聚合解聚方法所面临的主要技术难点之一.模型建模机制的差异、算法的不合理以及系统的无记忆性是导致一致性问题的主要原因.提出了利用反馈机制对低分辨率模型进行修正,通过增加系统的记忆性来改进聚合解聚方法的思路.综合考虑多重因素,对聚合解聚算法的结构进行了设计.     

集中式组网雷达假目标干扰建模

针对集中式组网雷达数据处理算法的薄弱环节,通过对集中式组网雷达假目标干扰问题的研究,建立了密集假目标干扰、航迹扰乱干扰和航迹欺骗干扰三类假目标干扰模型。首先介绍了集中式组网雷达的数据处理算法,分析了这种算法对于假目标干扰的薄弱环节,针对薄弱环节提出了上述三种假目标干扰类型。然后给出了这三种类型假目标干扰的概念、产生方法、数学模型和运用方式;最后分析了组网雷达的抗干扰措施对于假目标干扰的影响。     

陆军合成营作战仿真组件化模型体系设计研究?

针对当前陆军合成营作战仿真模型缺乏整体设计、模型重用性差以及集成效率低的现状,从顶层设计入手,提出基于组件化建模方法的模型体系架构。该模型体系以组件为中心,以平台组件、装备组件、行为组件、辅助组件为重点,聚焦功能组件建模,可为构建良构的陆军合成营作战仿真模型,规范模型设计、开发、集成和运行,提高模型资源重用性,避免低水平重复建设提供先进的应用框架和技术支持。     

数据链系统通用建模与仿真框架?

为开展数据链系统性能分析、效能评估及模拟训练等多样化研究,在建模和仿真需求分析的基础上,提出了通用数据链系统建模与仿真框架,旨在提高模型重用性,满足不同层次数据链仿真需求以及增强仿真系统可扩展性。首先给出了数据链系统组件化建模框架,分析了其模型逻辑结构,并对建模流程进行了阐述。然后,基于建模框架设计了数据链系统仿真框架,并对其构成和运用流程进行了详细描述。     

空中突击部队装备体系作战任务建模方法研究

空中突击部队是由多装备系统组成的装备体系,在执行任务过程中体现多阶段多任务的特点。基于DoDAF体系框架,结合美军空中突击部队装备体系作战任务展开研究。首先,通过作战任务的形式化描述,建立了装备体系作战任务的四元组描述模型;其次,在DoDAF体系框架下,提出建立空中突击部队装备体系作战任务的静态模型和动态模型;最后通过仿真方法对动态模型进行验证,证明了该模型的可信性。     

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

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

基于原子行为、通信和协商的计算机生成兵力协同作战研究

步兵组协同行为建模是构造计算机生成兵力的关键技术之一.基本动作建模、步兵小组间的通信策略和协商策略是完成步兵组协同行为建模的三项重要研究内容.针对基本动作建模,提出组件行为的概念并给出其形式化描述,把计算机生成兵力完成任务的过程看作组件行为的有序集,建立基本动作模型库.针对步兵小组间通信策略,侧重于智能体对信息的筛选与可靠性评估,使信息交流更贴近战场实际.时间约束协商策略是针对现有协商模型缺少时间约束的缺陷进行改进,提出在时间约束下的冲突消解办法.最后,提供一个例子予以说明.