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

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

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

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

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

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

基于多Agent系统的无人机智能指挥控制系统

无人机是一个具有自治性和反应性的智能系统,结合Agent的特性,将多Agent系统引入无人机智能指挥控制系统的研究与开发中.由于该系统具有复杂的动态结构和行为特征,提出了一种面向Agent的Petri网,用于系统的建模和分析,最后建立了无人机Agent、指挥中心Agent及系统的形式化模型.面向Agent的Petri网不但能描述系统的静态和动态语义,还可利用Petri网的支持工具对系统进行模拟和分析,在无人机智能指挥控制系统研究中具有较好的应用前景.     

基于链路质量评估的飞行自组网抗干扰多路径路由协议

随着通信网络不断向各领域延伸,飞行自组网作为一种新型移动自组织网络,以飞行器作为空中无线通信节点建立网络,实现网络层高效通信.首先,通过考虑链路质量、流量负载和空间距离构建多路径路由模型,并设计抗干扰的多路径路由算法;其次,构建基于源节点路由回复包接收速率的解析模型;然后,对模型进行分析与评价;最后,通过仿真实验验证所...     

电子邮件在部队政治工作中的作用

当前，全军政工信息网已经通到不少单位，没有通政工网的单位有的也建立了自己的局域网，安装了电子邮件服务器。电子邮件与普通邮件相比，它具有如下优点。快速：发送电子邮件后，只需要几秒钟就可通过网络传送到接收人的电子邮箱中。方便：书写、收发电子邮件都通过电脑自动完成，双方接收邮件都无时间和地点限制。可靠：每个电子邮箱地址都是惟一的，     

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

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

Banyan网的一类非阻塞特性及其在ATM交换机设计中的应用

Ｂａｎｙａｎ网具有结构简单、自寻址、硬件复杂度低等优点，因而被许多交换系统和多机系统作为基本互连网络，但其内阻塞特性限制了它的性能。对某些特定输入模式，Ｂａｎｙａｎ网是非阻塞的。本文讨论Ｂａｎｙａｎ网的一类非阻塞特性，说明它们在ＡＴＭ交换机设计中的应用——通过数据分布提高ＡＴＭ交换机的负载均衡能力，用更小的硬件代价实现多目广播功能。     

Petri 网在 C￣3I 系统中的应用

Ｐｅｔｒｉ网最早用作模拟数字计算机的分析工具,是一种图示和数学兼具的模型工具。近１０年来,Ｐｅｔｒｉ网在Ｃ３Ｉ系统中得到广泛应用。介绍了Ｐｅｔｒｉ网的基本概念,综述了Ｐｅｔｒｉ网在Ｃ３Ｉ系统建模、性能分析和系统设计中的应用。