对象Petri网在反导防空体系建模中的应用

反导防空体系包含的对象多、作战过程复杂。Petri网模型综合了数据流、控制流和状态转移,能方便地描述系统的分布、并发、同步、异步、冲突等特性,既能表示系统的静态功能和结构,又能表现其执行、交互等动态行为。基于对象Petri网的建模仿真环境,采用面向过程和面向对象建模相结合的方法,能够很好地满足对反导防空体系的建模、仿真以及体系结构分析。     

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

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

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

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

防空武器系统作战建模与仿真

在对防空武器系统作战过程分析的基础上,用IDEF(integrated definition method)方法建立了防空武器系统作战过程的功能模型,并使用一种扩展随机有色Petri网(SCOPN)对武器系统作战的动态过程进行建模与分析,通过对武器系统作战过程的定量计算,验证了建模方法的可行性,为研究复杂系统提供了一种有效方法.     

作战指挥工作流程建模方法

针对作战指挥工作流程的建模与仿真研究较少的现状,采用了基于高级Petri网的建模方法。首先在企业相关概念定义基础上,对建模对象———作战指挥工作流程进行了定义,简要介绍了Petri网建模方法的特点以及对基本Petri网的扩展,举例说明了4种过程机制映射到Petri网上的方法,提出结合树状组织结构图和资源管理表的方法扩展Petri网库所容量的含义及管理机制。     

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

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

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

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

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

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

基于Petri网的近程防空武器射击建模

提出一种扩展时延Petri网,新提出的Petri网与以往高级时延Petri网的不同之处在于它允许个体的个性与共性同样得到考虑。这种方法被用来对装备多跟踪装置、多种对空武器的防空系统对多目标进行射击过程进行建模、分析、模型的正确性在文章最后的仿真中得到了验证。     

基于UML和OCPN的军事电子信息系统建模

深入分析了军事电子信息系统的复杂性、离散性、随机性和并发性等特征,通过比较各种形式化和非形式化建模技术,提出了UML和对象有色Petri网相结合的军事电子信息系统混合建模方法,并给出了防空作战电子信息系统的UML和OCPN的混合建模实例,建模过程及仿真分析结论表明采用混合建模技术为克服单一建模方法的缺陷提供了有益的思路...     

C3I 系统时延的 PETRI网络分析

根据Petri网络结构分析C~3I系统的时延性能,并用计算机软件实现,给出了典型系统的实验结果。     

利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

基于Petri网的某引信安全系统软件安全性分析

介绍了软件安全性和基于Petri网软件安全性分析技术。结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及关键状态法对系统及其软件的设计进行了安全性分析,还考虑了系统运行时的动态时效对安全性的影响及相应的恢复措施。总结了基于Petri网的系统软件安全性分析的特点。     

基于图熵法的战场抢救抢修方案复杂性量化模型

从战场抢救抢修注重时效的特点出发,提出了战场抢救抢修作业复杂性概念,分析了影响抢救抢修作业复杂性的因素．引入软件工程领域的图熵模型,从微观方面研究战场抢救抢修方案实施过程中的复杂性问题．将抢救抢修方案划分为3个层次,利用petri网对操作过程进行建模,并从中提取信息结构图和动作结构图．以作业的量化为基础,给出了方案的综合量化方法．实例证明该方法可以很好的反映抢救抢修方案的可操作性．     

主动防护网中钢丝绳网抗顶破力计算方法研究

主动防护网以其轻便美观等优点而被越来越多地应用于边坡落石防护,现阶段针对某一具体的边坡防护工程,其防护体系的设计多根据设计者的经验确定。主动防护网主要分为起围护作用的防护网和起加固作用的防护网,针对起加固作用的防护网进行了研究。根据防护网的实际工作状况,提出了防护网抗顶破力计算模型,理论分析了单根网格绳对球体落石的作用及主动防护网中钢丝绳网对球体落石的作用,推导了单根网格绳及主动防护网中钢丝绳网抗顶破力的计算公式,为起加固作用的防护网设计提供一定的参考价值。     

基于任意分布随机Petri网的装备维修保障建模与分析

通过将任意分布随机Petri网的基本理论和算法应用到装备维修保障的建模与分析,建立了维修保障系统的任意随机Petri网模型,实现了随机Petri网中变换概率服从指数分布的限制.根据实际系统中相关数据的统计分析和经验估计,以便为利用矩姆函数分析方法对维修保障系统的性能进行分析,为维修保障决策层提供参考,获得了一些有价值的性能指标信息.     

宽带接入网技术

宽带网的核心技术是宽带网技术和接入网技术,本文介绍了当前比较流行的几种宽带接入技术:IS DN、ADSL、CableModem及其实现,并对这3种技术作了比较。     

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

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

基于Petri网的指挥控制系统仿真

指挥控制系统是一个具有分布、并发、异步等特性的复杂系统,Petri网是描述具有此类特征系统的有效工具.提出了基于Petri网的指挥控制系统仿真平台的具体设计方案.介绍了仿真平台的实现方法和程序的设计思路,实现了对普通Petri网、X1系统的建模,进行了功能和结构上的分析,并对分析结果的现实意义作了进一步的讨论.     

分布式干扰下雷达组网探测效能分析

针对雷达和干扰机两种重要组网体系的战术对抗应用,采用等效噪声功率谱密度表征干扰特性,推导出多干扰源下的雷达探测距离方程;并提出了区域网格融合算法,实现了分布式干扰下雷达网不规则探测区域绘制;对于评估雷达网作战效能具有重要工程应用价值。