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

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

复杂网络影响力极大化快速评估算法

分析复杂网络中影响力极大化问题，设计一种新的启发式算法框架。针对信息传递中节点的交互方式进行分析，给出节点在任意时刻处于信息接收态的概率。通过期望计算得到种子节点集传播影响力的近似估计，实现集群影响力快速计算，进而得到基于序列采样的影响力极大化快速评估算法。特别地，对于六个来自不同领域的真实网络上的影响力极大化问题进行了研究，仿真结果表明：该方法能够高效识别网络中具有重要传播影响力的节点集，在三种常见度量准则下的表现均明显优于三种影响力极大化问题基准算法。     

参照化流形空间融合学习的敏感特征提取与异常检测方法

针对遥测振动信号冲击强、响应周期短、共振频带宽和小样本等特点导致异类模式识别率低的问题,提出基于参照化流形空间融合学习的敏感特征提取与异常检测方法。采用多尺度分析方法将信号正交无遗漏地分解到各尺度带中,提取多尺度特征构造高维特征集；以相同的正常信号样本结合相同类型的异常样本建立专属参照化模型单元,采用线性流形学习获取各参照化模型单元多尺度流形特征差异,增强异常特征的敏感性。融合各参照化模型单元的投影矩阵对原始特征集进行升维再学习,获取低维多尺度敏感流形特征；输入到分类器实现对未知样本状态辨识。实测信号处理结果验证了算法的有效性。     

中间件构件技术在反潜火控设备上的应用

从现代反潜战的需求出发,通过对比不同反潜火控设备的软硬件平台,论证了新型反潜火控设备能更好地适应现代反潜战。重点对新型火控设备所采用的软件中间件构件技术进行了详细介绍,并对未来反潜火控设备的软硬件平台发展进行了展望。     

新经济下的兵团高技术产业发展模式探讨

在新经济时代,兵团高技术产业应以农业为基础,运用现代生物技术和节水技术,走可持续农业的发展战略,建立以政策创新、机制创新和技术创新为支撑的高新技术产业发展模式.     

社会主义市场经济的道德价值内涵

文章从社会主义市场经济与社会主义根本价值目标、生产目的、人的解放和全面发展、共同富裕、现代人格塑造等几个方面全面阐述了社会主义市场经济的伦理内涵和道德根基,从而为人们认可、接受、丰富、发展社会主义市场经济这一全新的体制奠定了正确的伦理价值导向.     

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

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

布什执政时期的美国军事战略调整

冷战结束后，美国军事战略基本完成了从“冷战型”向“冷战后型”的转变。进入21世纪，特别是“9·11”事件后，布什政府根据国际安全环境的巨大变化，以美国主导世界秩序为目标，加快了美国军事战略调整。布什政府的军事战略调整重点强调了美国的本土安全、明确大国塑造思想、调整了反恐策略、加快建军模式转型、制定了攻防兼备的核战略和重新定义军事同盟。总体上，布什政府的军事战略是以“先发制人”为核心，具有鲜明的“霸权性”、“示范性”和“刺激性”，挑战现在的国际法和准则，加剧了国际体系的安全困境，使得世界更加不安全和不稳定。     

空军武器装备体系作战效能分析

根据空军“攻防兼备”的作战要求 ,将空军的武器装备分为作战力量装备和保障力量装备 ,并按进攻和防守两种主要的作战样式对空军的武器装备体系进行了作战效能分析 ,探讨了分析空军武器装备体系作战效能的方法和思路 ,为建立空军武器装备体系作战效能评估仿真系统提供了基础。     

钨合金(碳化钨)柱形预制破片战斗部对均质钢甲的毁伤效能分析

针对现代战争的需要,特别是对战场轻型装甲的攻击需要,基于预制破片技术,以柱形杆(钨合金)预制破片为对象建立物理模型,对其破片尺寸、装药形式及尺寸的相互关系进行分析,进而通过引入TBM战斗部设计的关系式对所建模型的破片进行速度预报,依照该速度按照侵彻理论推算其对均质钢甲的毁伤效能。结合分析结果指出了柱形杆(钨合金)预制破片战斗部在攻击均制钢甲方面的优点。