随机 Petri 网的瓶颈及其最大处理能力

介绍了随机Ｐｅｔｒｉ网瓶颈的概念,给出了一般随机Ｐｅｔｒｉ网最大处理能力的数学模型,针对一类特殊结构的随机Ｐｅｔｒｉ网,导出了分析其最大处理能力和瓶颈的快速算法,最后给出了一个防空决策组织信息处理瓶颈与处理能力分析的实例。     

Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

遥感数据处理任务调度的Petri网模型及求解算法

为了对多源遥感数据的处理任务进行有效的调度和管理,提高处理资源的利用率,根据遥感数据处理任务调度问题的特点,采用Petri网对该问题进行形式化描述,建立了遥感数据处理任务调度的数学模型,根据该问题的多目标特性,采用蚁群算法进行求解.给出仿真实例,将蚁群算法的求解结果与启发式算法和模拟退火算法的求解结果进行比较,验证算法...     

高炮旅(团)作战面向对象Petri网模型

概要分析了高炮旅(团)指挥控制与信息处理分发过程,对基本Petri进行扩展构建了面向对象Petri网模型,采用其分层次构建了高炮旅(团)作战OPN模型,较好地实现了对传统指控体制下高炮群作战与信息分发过程的静态与动态描述,为下一步具体仿真实现,找出现有传统指控体制存在的薄弱环节,进行相应改进提供了基础和依据。     

基于CPN建模的行动方案开发与分析系统设计

协助和支持军事计划人员制订和分析作战计划的建模与仿真能力是军方的现行需求,而行动方案的开发与分析则是作战计划建模与仿真的重点。针对作战计划过程期间开发的军事任务的排序与调度问题,设计了一个行动方案开发与分析系统,系统采用客户机-服务器体系结构,运用基于有色Petri网建模的军事计划领域的概念表示法,并使用状态空间分析技术完成军事任务的自动化排序与调度。军事计划人员通过图形用户界面使用系统,在面对紧急突发事件时,可以快速及时地开发出适当可行的COA,并对COA进行逻辑可行性分析。     

C3I系统仿真及仿真环境研究

首先讨论了C3I系统开发中存在的问题并提出解决这些问题的重要性,然后从C3I系统描述模型和仿真环境两个方面,介绍了国内外对于C3I系统仿真的研究现状和发展趋势.最后介绍了我们正在研制的基于对象Petri网的仿真演示环境的特点以及设计和实现方法.     

基于DM2的体系结构可执行模型构建方法

基于元模型的体系结构设计思想和基于可执行模型的评估方法是体系结构领域研究的两个热点,但当前的研究没有将两者结合起来。文章基于DoDAF2.0提出的元模型数据(Meta-Model Data,DM2),将元模型的思想和基于可执行模型的评估方法相结合,分析了基于DM2的逻辑数据与可执行模型各构建要素的对应关系,构建了基于DM2的逻辑数据模型直接转可执行模型的过程框架,重点研究了如何直接从体系结构底层数据转可执行模型的方法,从而为进行基于元模型的体系结构可执行评估提供模型基础,也为进一步实现体系结构自动化验证评估提供技术支持。实例验证了文章提出的方法。     

基于Petri网的装备维修过程建模与AnyLogic仿真

针对装备维修重修复质量、轻过程质量,导致效率不高、浪费较重、缺乏过程管控等问题,建立了装备维修过程库所/变迁网模型和着色时间Petri网模型,给出了装备维修过程动态性、随机性、时间性描述,提出了不同修理技能人员工序完成时间的计算方法,运用AnyLogic软件进行了装备维修过程仿真,得出了不同人员组合所对应的不同维修时间和工序返工情况,为维修过程优化与验证提供了一种思路。     

天基信息支援下装备战场抢修有色Petri网模型研究

对天基信息支援下装备战场抢修活动过程进行了探索,运用Petri网建模工具建立了天基信息支援下装备战场抢修有色Petri网模型,将组织结构图、功能图和信息流动流程图集于一身,实现了系统的静态结构和动态过程的统一。模型直观、易于理解,对模型运行规则进行了详细说明,有利于仿真编程的实现。通过模型的深入研究,能够加深对天基信息支援下装备战场抢修规律的认识,进一步提高装备战场抢修能力。     

基于Petri网的综合电子系统仿真网络设计与分析

针对综合电子系统仿真过程中存在的网络拓扑结构实现、信息要素对应及网络数据安全问题,采用Petri网理论设计了综合电子系统总体网络仿真方案并加以实现。在验证方案正确性的基础上,以某型步兵战车综合电子系统网络为研究对象,对其子网性能指标进行了分析,验证了系统网络仿真方案的有效性,为综合电子系统仿真及分析提供了借鉴。