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

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

软件无线电及其在军事通信中的应用

本文讨论了软件无线电的概念,特点,关键技术和带来的好处及发展的可行怕;分析了针软件无线电导入军事通信中的必要性,可行性;最后提出了在我军通信中发展软件无线电的一些设想。     

装备需求论证工具化研究

以体系工程思想和DoDAF2．0为指导,在系统分析国内外装备需求论证工具软件研制现状和存在的问题基础上,提出了装备需求论证工具化概念及其软件功能需求,优化设计了工具软件体系结构框架,并着重探讨了软件集成和数据模型等关键支撑技术,为装备需求论证工具化实践奠定了理论基础。     

浅谈软件管理的优化措施

随着人工智能时代的到来,项目要实现的功能越来越多,需要烧录的芯片种类及数量也越来越多。但由于军工行业特殊的技术背景,必须确保生产烧录的软件符合产品标准及满足用户要求,必须保证软件烧录的可靠性与技术状态的一致性,因此建立软件烧录集中规范化管理制度,实现软件管理、使用以及规范化的烧录方式,显得尤为重要。     

软件后勤——崭新的领域

随着以信息技术为核心的高新技术在武器装备中的广泛应用,武器装备已步入信息化发展阶段,软件已广泛应用于各种武器系统。通信、指挥、控制、导航、火力支援、防空,以及其它作战系统,都将用软件来提升其装备的作战性能。随着信息化武器装备逐渐装备部队,未来战场上将使用成千上万种军用软件,武器装备的软件新纪元渐渐走近,软件后勤是军队后勤保障体系中的一个崭新领域。     

软件化电子探测装备的发展趋势

雷达、声纳等军事电子探测装备正在发展其硬件平台的标准化与通用化技术.硬件平台的计算机化为装备软件化奠定了基础,但同时也造成了装备软件危机.分析软件无线电概念与技术发展动态,由此启迪电子探测装备的软件化内涵,指出克服软件危机的软件架构标准化发展道路.     

基于最优投影与形态学滤波技术的引信安全性软件识别算法

以数字化图像处理与识别技术为基础,利用最优投影及形态学滤波技术,根据某型惯性保险引信X光图像中所反映的零部件位置、灰度和形态等特征,建立保险钢珠和保险簧状态的识别算法,应用C语言进行算法编程,应用C＋＋Builder完成程序界面设计,实现惯性保险引信安全性在无损状态下的自动识别．     

软件无线电的体系结构及其关键技术

软件无线电技术是未来通信系统的核心技术之一 ,它已应用于现代军事通信及第三代移动通信系统的研究之中。本文讨论了软件无线电的基本原理、体系结构及其关键技术