基于综合性能的C3I系统通信效能

论述了C3I的重要性及其效能,分析了影响通信系统性能的因素,力求在实时综合性能的基础上选择通信路由,论述了传统Petri网和模糊Petri网的一些基本概念和特点及其区别,描述了用模糊Petri网进行系统综合性能分析时的有效算法,提出一种基于综合性能的路由选择算法,最后,通过实例来说明通信路由综合性能评价以及路由选择方法.     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

Petri网潜艇作战指挥效能分析

作战指挥效能系统是一个实时系统,是一个具有分布、并发、异步等特性的复杂系统.为了分析、评价和开发此类系统,依据潜艇作战指挥系统的战技指标要求,运用模糊Petri网的原理结合层次分析法,对其性能采取定性分析与定量分析相结合,以定量分析为主的方法进行评价.结果表明,这个评价模型简便可行,在军事系统效能评价中具有推广应用价值.     

基于有色Petri网的卫星信息系统作战效能仿真研究

卫星信息系统在军事上的广泛应用使其成为现代战争中不可或缺的组成部分,作战部队对它的依赖程度越来越高,对卫星系统的对抗也随之受到越来越广泛的重视。但如何评估纷繁复杂的卫星信息系统效能及其对抗效能一直是一个难题。本文在分析有色Petri网的基础上,将有色Petri网的仿真思想应用到卫星信息系统及其对抗中去,提出了基于有色Petri网的卫星信息系统及其对抗作战效能的仿真思想及评价指标,从总体上给出了一种评价卫星及其对抗作战效能的方法。     

基于Petri网的电子对抗作战指控系统建模分析

针对电子对抗作战指控系统建模的现实需求,在分析电子对抗作战过程及其信息流程的基础上,运用Petri网建立了电子对抗作战指挥控制系统的模型,并依据相关理论分析了所建Petri网模型的动态特性。结果表明:运用Petri网技术建模能较为准确、有效地反映电子对抗作战的指挥控制流程,通过对所建模型动态特性的深入分析与研究,能找出影响系统效能的关键因素,并得出有益的结论,为下一步评价、完善电子对抗作战指挥控制系统提供了参考。     

基于广义随机Petri网GSPN的系统安全性研究

针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理,提出了关键状态搜索算法,并进行了安全性仿真分析.将广义随机Petri网的扩展模型应用于安全性分析领域,丰富了动态系统安全性问题的研究手段。     

基于Petri网的雷达对抗仿真建模研究

针对雷达对抗的作战过程,引入Petri网的数学方法描述雷达对杭侦察、雷达干扰、雷达干扰效能评佑3个作战行动,将雷达对抗战术规则与Petri网的实施规则相关联,并选用有效策略解决冲突变迁,建立雷达对抗的Petri网模型,解决了雷达对抗仿真建模过程中对并行、异步和随机时间等复杂离散事件的描述问题.     

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

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

模糊Petri网在军用信息系统效能分析中的应用

军用信息系统安全是军事通信研究的一个关键问题,也是保障国家信息安全能力的重要组成部分.依据军用信息各项指标要求,运用模糊Petri网的原理,结合层次分析法,对军用信息系统性能采取定量和定性相结合、以定量为主的分析方法进行评价.仿真实例对某军用信息系统效能进行了评价,结果表明,该方法简单、实用.     

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

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

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

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

军事专家系统的谓词Petri网描述及其时延分析

介绍了一种基于产生式系统的军事专家系统结构,用谓词Ｐｅｔｒｉ网描述了其不精确推理过程和推理网的动态推理过程。给出了一种适合于平行处理的谓词Ｐｃｔｒｉ网模型并对军事专家系统的时延进行了分析。     

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

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

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

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

基于Petri网的案例推理研究

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统的案例库的知识表示。     

第4讲 通信网络效能评估研究

文章主要围绕通信网效能评估的研究现状进行了研究对比,从系统建模到评估方案分析,其结论有助于对通信网络性能进行更为准确、直观有效的综合评估。同时,基于军事通信系统评估体系进行了评估算法的运用并给出改进方向。     

基于ANP和云模型的军事通信系统效能评估

将网络层次分析法(ANP)和云重心评判法相结合应用于军事通信系统的效能评估中,并指出有无卫星支援下军事通信系统的效能对比。首先,针对军事通信系统的特点,构建通信系统评估的指标体系,建立ANP模型;其次,根据通信系统各指标之间的关联性,采用网络层次分析法构造极限超矩阵来确定指标的权重,并与AHP确定的指标权重相比较,指出ANP提高了指标权重的科学性;最后,利用云模型处理定性指标和定量指标之间的转换,给出有卫星支援下的军事通信系统效能的提升度,并与模糊综合评判法相比较,结果证明了网络层次分析法和云重心评价法相结合在军事通信系统效能评估中的可行性和科学性。     

基于模糊Petri网的实时系统功能模型构建

Petri网在描述具有模糊行为的系统时是有缺陷的,为了更好地分析、评价和开发实时系统,提出了一种利用模糊Petri网构建实时系统功能模型的方法,阐述了模糊Petri网的基本原理,详细介绍了利用模糊Petri网的特征分析实时系统的功能及绘制实时系统功能模型的步骤。     

面向Agent的CPN及其在航天装备体系评价中的应用

为弥补Agent和Petri网在各自建模中的缺陷,分析了二者现有的几种结合方式,给出面向Agent的着色Petri网(AOCPN)的定义及其运行规则和分析方法。利用AOCPN建立了以海上目标监视和打击为任务的航天装备体系评价模型,对其逻辑特性和作战效能进行了分析。建模过程和仿真结果表明,AOCPN能够完整描述体系的逻辑和物理特性,可用于全面分析评价体系的性能和对作战结果的影响,有效追踪体系执行任务的过程。     

CPN在海上防空建模中的应用

着色 Petri网 (CP-网或 CPN )是一种面向图形的语言 ,用来设计、说明、模拟和验证系统。尤其适用于通信系统等同步和资源共享占有重要地位的系统。在通信协议、分步式系统、嵌入系统、自动生产系统、工作流分析、VL SI芯片等方面都有典型的应用。本文简单介绍了 CPN的发展过程和基本原理 ,重点就 CPN在海上防空系统建模仿真中的应用进行了探讨