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

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

基于Petri网的维修资源运用策略

维修资源运用策略研究对于提高维修性能具有重要意义。分析了装备维修过程中的资源冲突和任务优先顺序、资源分配策略、并行任务共享资源及交叉维修等资源运用策略。采用Petri网建立了系统模型,运用变迁使能优先级、抑制弧、可实施谓词等Petri网冲突解决方法实现不同资源运用策略建模。应用模型进行了典型案例的资源运用策略研究,实例体现了资源运用策略对装备停机时间等指标的影响。模型为提高维修资源运用效率提供了可行的技术途径。     

看新兵，别总想“我们那时候”

近年来,军队网络蓬勃发展,网站内容和功能愈加丰富,全军政工网、中国军网先后开通了博客频道,各军、师单位包括一些团单位也相继设立了博客栏目,为广大军网用户表达情感;展示自我、交流工作心得搭建了平台,受到热烈欢迎。我刊从本期开设“政工博客”栏目,旨在选取短小精悍、意味隽永的博文与读。者分享,希冀对大家有所启发。也欢迎大家写稿、荐稿,尤其盼求那些情感真挚、语：言亲切、文风朴实、有所见地的“政工博文”。您工作生活中的一丝感悟、一份心得,也许正是别人开启成功之门的“金钥匙”呢。     

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

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

基于目标网的空中突击兵力使用方案的优化方法

本文依据计划活动的思维机制,建立了适应战役任务要求的突击目标网,据此给出优化空中突击兵力使用方案的一种有效方法,最后对有关参数进行了分析。     

基于反射内存网的复合导引头联合仿真试验设计

联合仿真试验同时具备实装试验、数学仿真试验和半实物仿真试验的优点,可构建全面逼真的试验环境,其中实时算法和通信技术是关键技术。基于反射内存网技术,进行了复合导引头联合仿真试验总体方案设计,对试验中的时间同步、数据同步等关键问题进行了研究,解决了联合仿真试验中各仿真系统协同及实时通信问题,对联合仿真试验的开展有一定的应用价值。     

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

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

基于态势信息融合体系的军用计划识别关键技术研究

文章阐述了C2、态势信息融合体系及计划识别之间的联系,并根据计划识别理论的发展应用情况,指出了军用与经典计划识别之间的区别与联系以及亟待解决的关键技术,提出了军用多Agent计划识别构成模型,并探讨了相关动态不确定性集成建模、推理方法在军用计划识别问题上的应用。     

防化研究院园区网构想

介绍了我院园区网的构想。园区网拟建立两套网,内部风为光缆连接、三级交换、星形拓扑的千兆以太网;外部网通过ＩＳＤＮ连接互联网,对内通过快速以太网接入。