用于实时系统性能分析中的扩展Petri网

Petri网(PN)是用于系统建模和性能分析的一个强有力的工具。当用于实时系统时,需要对其进行扩展以能表达实时时间属性。本文介绍几种与时间有关的扩展Petri网及其应用,并从使能规则、点火规则和点火方式几个方面对它们进行了分析比较。     

最优化方法与工程测量

本文论述了最优化方法与工程测量的关系,重点讨论了最优化方法在工程测量中的应用,建立了建筑测量控制网设计最优化模型,指出了最优化理论与方法在工程测量中的广泛应用前景。     

舰船通信传输综合一体化的发展

二次世界大战之后,军事科学技术有了长足的进展。就海军而言,随着远程导弹、寻的鱼雷和超音速飞机的出现,海上威慑力量明显增强。从防御方面,面对这种威胁,先进的电子战系统、雷达、声纳和专用计算机系统等相继应运而生,大大提高了舰船的快速反应能力。但是,随着这些系统和设备的增多,电子设备操作人员相应增加,实时信号的传输业务明显增加,为综合提高舰船对敌作战和自我保护的快速反应能力,就需要有一套敏捷的神经网络,把舰船上的指战员和相应设备连成一个有机整体,因而就需要舰船通信传输综合一体化,即用户功能综合化,设备接口标准化,控制处理智能化,通信传输母线化。本文详细介绍和分析了国外先进国家海军舰船通信和数据传输综合一体化技术的发展和演变,而后介绍我国在这方面的进展。     

C~3I系统的决策时延分析

决策是C~3I 系统的核心问题之一。用Petri 网理论研究C~3I 系统的决策问题已取得了长足的进展。根据决策过程各阶段之所需时间具有随机性及不独立性的特点,以变迁发射时间不独立的随机Petri 网作为决策时延的建模与分析工具,并给出了这种随机Petri 网模型的一般分析方法。     

基于分布式排队网络的防空战术协同模型

分析了多个防空火力单元的作战过程,将战术BM/C3的控制协调决策抽象为决策策略。建立了多个火力单元协同作战的排队网络模型,并运用SPN理论对排队网络的运行机制进行了强有力的描述,有效地体现了防空作战过程中的威胁评估、目标分配等战术决策过程。这将为建立大型复杂排队网络,模拟仿真战役层面防空作战过程奠定基础。     

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

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

GSPN的分析方法及其应用

随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。     

基于贝叶斯网络的装甲目标战术企图推理模型构建

以贝叶斯网络理论为基础,分析基于贝叶斯网络的目标企图推理框架,从目标状态、目标性质、战场环境和战术特性4个方面提取节点,在分析这4个节点拓扑结构的基础上,构建了装甲目标战术企图推理的贝叶斯网络拓扑结构。     

来稿要求

本刊加入"中国学术期刊(光盘版)"、"中国学术期刊网"、"万方数据—数字化刊群"和重庆维普全文数据库,来稿要求如下:1.稿件须自校对无误,字数不少于5600字。2.题目下注明所在单位、城市和邮政编码。并加写300字以内的中文摘要和3-5个关键词。摘要用第三     

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

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