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

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

《国防》杂志在“中国知网”的发行与传播统计

《中国学术期刊网络出版总库》以知识网络型数字资源组织构造模式，于2007年实现了中国学术期刊、博硕士论文、会议论文、报纸、专刊、科技成果登记与验收资料、年鉴、工具书等12种创新性文献的增值整合出版，建成了“中国知网”，得到海内外用户和业界的广泛认可。     

美国对重要基础设施采取反恐措施

“9.11”恐怖袭击事件给美国,也给世界各国一个沉痛的教训:随着恐怖分子攻击手段和武器的发展,重要基础设施已成为恐怖分子袭击的重要目标,其安全面临日益严重的威胁,对它应该采取严格的反恐防范措施。重要基础设施指直接影响国家军事、经济和社会安全的关键基础设施,通常包括军事指挥中心、重要政府部门、金融系统、通信系统、电力系统、石油储运系统、供水系统,以及交通枢纽、大型堤坝、核电站、化工厂、军火库与油库等重要建筑设施。这些设施目标大、难以伪装,易     

城市环境中无人机作战导航定位研究现状综述

随着各大国之间城市化进程的推进,城市环境中的无人机作战将成为未来必不可少的作战手段之一。针对城市作战环境复杂和作战装备受限的特点,归纳总结了无人机导航技术的研究现状和发展趋势,并给出相应的概念、模型以及被广泛应用的算法。首先,对单无人机定位技术进行了概括总结,包括全球卫星导航系统、惯性导航系统定位、视觉/激光雷达定位、无线传感网定位和融合定位等,上述定位方法能够在城市环境中表现出高精度和鲁棒性的特点;然后,为了解决单无人机在执行任务方面效率低、冗余低、易受干扰的特点,对无人机集群导航定位进行了介绍,主要包括全球导航卫星系统拒止下的导航定位、非视距及多径效应下的导航定位、基于无线传感网和视觉冗余的融合定位等,其中涉及导航恢复及导航增强等内容。最后,面对城市的复杂环境,提出了无人机导航定位技术的未来研究方向,分别为传感器的优化、无人机集群通信和多传感器融合,指出了未来的研究方向和面临的挑战。     

新体制下战场柔性后勤保障网链建设

为满足新体制下联合作战后勤保障需求，本文采用系统分析方法，针对战场后勤保障力量体系构建，提出以联勤保障部队为主体，构建一体化后勤保障网链。针对后勤保障网链保障能力的可变性，提出提升后勤保障网链柔性建设运用的方法措施。     

当前警用集群系统建设中值得注意的几个问题

介绍警用集群系统的发展现状及发展趋势,并就当前警用集群系统建设提出几点建议.     

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

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

基于EAP-GA的联合作战行动计划

建立了行动计划生成模型,利用混合遗传算法来优化可行的行动计划,提出了在复杂不确定环境中求解有效联合作战行动计划的方法框架EAP-GA,有效解决了不确定环境中行动计划问题.结合一个联合登岛作战想定案例,对行动计划建模及求解进行了验证.     

“遥控指挥”实情难摸 “扑下身子”问题真解 仙桃市人武部改进工作作风抓基层效果好

前不久,湖北省仙桃市毛嘴镇＂两部一家＂建设综合指标,得到机关干部和专武干部一致认可通过。至此,该市16个乡（镇）武装部基础设施建设滞后的情况得到根本解决。据仙桃市人武部部长冯善元介绍,这是他们改进机关工作作风,变＂遥控指挥＂为＂扑下身子＂后带来的可喜变化。     

C~4ISR系统任务实时性的评价方法

提出一种定量评价C4ISR(Command Control Communication Computer Intelligence Surveillance and Reconnaissance)系统任务实时性方法--时序着色模糊时间Petri网(TCFTPN)方法.用时序逻辑公式来限制着色Petri网的变迁引发行为,用模糊时间来表示各工作过程的时延特性和降级工作问题.通过估计在规定的时间内标识从任务开始状态到达任务完成状态的概率来确定C4ISR系统的任务实时性.