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

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

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

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

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

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

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

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

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

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

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

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

战斗机突防效能模型研究

对战斗机作为突防机突防防守方远程拦截机、高射导弹、高炮阵地问题进行了研究.突防机突防远程拦截机运用齐次马尔科夫链模型,高射导弹防空区和高炮防空区均属于高射武器防空区,将两者作为一个统一的整体进行研究,根据突防飞机数的多少分两种情况分别进行了研究.仿真结果证明了所选用模型的正确性和所采用方法的实用性和有效性.     

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

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

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

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