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

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

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

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