基于对象Petri网的防空反导建模与仿真

针对防空反导要素多、过程复杂的特点,详细分析了导弹预警与防御拦截流程,结合对象Petri网建模方法,对防空反导建模中涉及到的关键节点、信息流、影响因素等要素进行分析,应用指挥控制、冲突处理等机制,自底向上建立防空反导的对象Petri网模型,并通过简单案例,初步验证了所用方法与模型对研究防空反导信息优势的可行性与适用性。     

面向网络化防空反导体系的可组合建模框架

当前网络化防空反导体系的理论及其建模仿真工作还处于探索阶段,基于可组合建模框架的思想,设计了指控网、探测网和武器网三网交互的网络化防空反导体系结构概念图,开发了包括体系顶层框架、体系决策框架和数据链接口框架的可组合建模框架,通过单机突防舰队阵地混编群的仿真实验论证了所设计的建模框架的可组合性和合理性,为网络化防空反导体系的建模与效能仿真提供了有力支撑。     

网络化防空反导体系的作战过程建模与仿真

网络中心战背景下的网络化防空反导体系的作战过程复杂,目前国内外对其建模与仿真的研究尚处于探索阶段。介绍了网络化防空反导体系的典型作战特点,分别从目标、武器和指控三个角度开发了网络化防空反导体系的作战模型,并设计了接力制导的仿真实验案例,实验结果体现了网络化防空反导体系的作战过程,对防空反导体系的效能仿真具有一定的推动作用。     

防空反导作战指控模型校核验证及评估

防空反导作战指控系统是构建防空反导一体化网络化体系的核心,建模仿真是研究该系统的有效方法,建立的模型是否真实可靠是研究成败的关键。在分析国内外对复杂仿真系统特别是作战仿真系统的VVA的基础上,根据防空反导作战指控进程及其模型的特点,从需求定义、概念模型、数学模型、仿真模型4个方面对防空反导作战指控模型进行校核验证及评估的思路分析。这对防空反导作战指控系统的研究发展具有重大意义。     

美航母编队网络化反导作战建模

以装备CEC系统的美航母编队反导作战为研究对象,研究传统作战模式的基础上,得出传感器与武器的分布态势;研究了航母编队反导的IDEF 0静态建模和基于Petri网的动态建模,采用模拟与数字逻辑符号参与航母编队防空反导体系结构的IDEF 0静态建模;建立了横向的整体的静态模型与纵向的局部的动态模型。研究表明了CEC对航母编队反导作战模式带来的改变,所建模型可以有效体现航母编队反导作战,是一种有效的研究编队反导手段。     

基于OPN的军事信息服务组合模型构建方法

介绍了军事信息服务的基本含义,给出了基于对象Petri网的军事信息服务组合模型的形式化描述方法,构建了军事信息服务组合模型的基本结构,并针对一个具体的防空反导作应用案例,使用国防科大对象Petri网建模仿真环境工具开发了相应的军事信息服务组合模型,并对组合服务进行了简要分析。实践表明,该方法能满足军事信息服务组合模型构建的需要,并具有良好的服务建模与仿真分析能力。     

基于Petri网的水面舰艇区域防空作战使用流程优化方法

针对水面舰艇区域防空的反导作战过程,以缩短水面舰艇区域防空的协同反导时间,提高水面舰艇区域防空作战效能,优化区域防空作战使用流程为目标,引入Petri网技术对水面舰艇对空防御作战使用流程的时间性能进行模型分析。该模型运用模糊数学和动态规划相结合的优化技术,找出对空防御作战使用流程的关键路径;针对三种对空防御模式设计流程,考虑来袭目标的时间紧迫度,以优先火力抗击和我方最小资源为目标函数,对三种对空防御模式的作战使用效率进行对比仿真验证。仿真结果表明:运用基于petri网的流程优化技术能有效简化区域防空作战使用流程,提高指挥效率。     

基于Petri网的防空作战过程建模

赋时着色Petri网(TCPN)是在CPN基础发展起来的图形化描述工具,适用于带有时间特性系统的性能评价与仿真。将TCPN加以改进,增加测试弧,时间特性反映在变迁上,且允许时间与标记值可按复杂的函数变化,使Petri网可同时描述离散的状态和连续的变化,由此提出了适于防空作战过程建模的面向仿真的TCPN,并对其在一个小型的防空对抗作战过程的有关作战单元建模中的应用进行了探讨。     

基于Petri网的空间信息支援反导作战指挥控制系统概念建模与分析

在构建空间信息支援反导作战指挥控制系统活动模型的基础上,从规划级、控制级和操作级3个层次规划了空间信息支援反导作战指挥控制系统的作战流程。为了有效地描述空间信息支援反导作战指挥控制系统作战流程中的信息传递和动态交互关系,运用Petri网方法对空间信息支援反导作战指挥控制系统的作战过程进行了概念建模,并利用可达标志图方法对所建Petri网模型的动态特性进行了分析。     

基于Petri网的仿真VV&A过程建模

对基于Petri网的仿真VV&A过程建模进行了研究,首先分析了VV&A过程的组成,建立了基于Petri网的VV&A过程模型,然后分阶段对VV&A过程进行了详细建模,分别建立了需求校核,概念模型验证,数学模型校核与验证、软件模型校核与验证以及系统确认阶段的Petri网模型.通过对基于Petri网的仿真VV&A过程建模为进一步将Petri网应用于仿真VV&A的辅助管理打下了基础.     

C~3I决策系统的Petri网建模技术

综述了Ｃ３Ｉ决策系统的若干Ｐｅｔｒｉ网建模方法。首先介绍了Ｃ３Ｉ系统的一般Ｐｅｔｒｉ网建模技术和时间Ｐｅｔｒｉ网建模技术,并介绍了随机Ｐｅｔｒｉ网建模技术;然后介绍了谓词Ｐｅｔｒｉ网和有色Ｐｅｔｒｉ网建模技术。最后指出了Ｃ３Ｉ决策系统中,Ｐｅｔｒｉ网的若干研究方向。     

TPN在军事通信系统效能分析中的应用

Petri网是系统分析建模的有力工具.时间Petri网(TP-网或TPN)作为一种高级Petri网有着广泛的应用.首先简单介绍了时间Petri网的发展过程、基本组成,军事通信系统的效能评估的典型方法;然后根据Petri网建立了系统效能分析的动态模型和军事通信系统效能分析的TPN模型,并分析了该模型在军事通信系统效能分析中的优缺点.     

基于随机Petri网的装备抢救抢修保障模型

通过建立一个基本的装备抢救抢修Petri网模型,把Petri网建模思想引入战时装备抢救抢修保障模型中,将实际系统中的实体和活动映射为模型系统中的库所和变迁,将装备抢救抢修保障排队论模型用随机Petri网进行描述。构建了一个完整的装甲团装备抢救抢修随机Petri网模型,利用软件包SPNP6.0对其进行模拟运行,通过对模型仿真数据的分析为装备保障的方案制定提供决策依据。     

基于AOPN的维修保障系统建模与分析方法

提出了一种可用于维修保障系统建模与分析的面向方面的Petri网模型(APON),给出了该模型形式化描述,该模型引入了方面、方面库所、方面变迁、消息颜色以及对象与方面间的消息传递函数等新的概念,体现了面向方面的思想,具有很好的模块性、继承性和可维护性,能够反映维修保障系统的动态柔性特点,最后给出了一个应用实例.     

基于赋时Petri网的自动测试系统建模

提出了利用赋时Petri网(Tim ed Petri Net)对自动测试系统建模和性能分析的方法。采用启发式算法,对系统的可达树进行搜索,实现测试序列的优化,不仅降低了计算的复杂度,而且获得了满意的并行度,提高了自动测试系统的测试效率。     

炮兵群自动化指挥系统决策组织结构的 Petri 网建模与性能分析

对炮兵自动化指挥系统中决策组织的结构和能力进行了研究,建立了较为完善的各级指挥员指挥决策体系的Ｐｅｔｒｉ网模型。通过有色Ｐｅｔｒｉ网对群一级的炮兵自动化指挥系统在不同任务环境下的不同工作方式进行了建模表示和分析,引入了决策时延这一反应指挥决策体系能力的重要性能指标,并进一步运用马尔科夫链的分析方法对建立的指挥决策体系的Ｐｅｔｒｉ网模型进行定量分析,得出了量化结果,为自动化指挥系统中决策组织结构的设计和分析提供了理论根据。     

基于Petri网的弹道导弹攻防对抗仿真系统CGF模型

作为弹道导弹攻防对抗仿真系统的重要组成部分,弹道导弹拦截CGF是一个具有分布、并发、异步等特性的复杂仿真系统,而Petri网是描述具有此类特性系统的有效工具。通过对典型弹道导弹拦截系统作战过程的分析,基于Petri网建立弹道导弹拦截CGF各组成部分的模型,进而建立弹道导弹拦截CGF的整体模型,并通过仿真分析,验证了模型的有效性。     

基于Petri网的C2S性能分析方法研究

给出了用时间连续随机Petri网和时间离散随机Petri网计算系统稳态概率的方法,并将其应用于指挥控制系统(C2S)的性能分析中,分析结果表明这种计算方法是可行的。     

防空旅指挥自动化系统Petri网决策组织结构

结合实战,在给出基本决策单元结构模型的基础上,依据战术原则建立了防空旅决策组织结构的Petri网表示模型,在决策单元的结构模型中信息处理分为四级:态势评估级(SA)、信息融合级(IF)、资源分配级(RA)、响应选择级(RS).就决策中同级决策组织结构分三种形式(集中式、分布式和混合式)进行了建模,并对三种形式进行了利弊分析,为防空旅C4ISR系统中决策组织结构的设计和分析提供了依据.     

对防空部队自动化控制系统的电子压制(二)效能指标

电子压制是赢得现代战争的关键技术。首先分析电子压制的应用背景,建立地面防空系统的分析模型并给出攻击机突破地面防空系统过程中,电子压制对方自动化控制系统的效能评估指标。给出的模型和效能评估指标可对作战决策提供理论依据。