一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于灰色关联分析的水下航行器效能评估

根据水下航行器的自身特点和主要任务,建立了以机动、探测、追踪、抗干扰、通信为基本特征能力的评估结构体系.运用灰色关联分析理论,以水下航行器各项能力指标的关联度为评估准则,提出了水下航行器的综合评估方法.通过实例验证了该方法的正确性、有效性,为水下航行器系统的技术优化和使用效能的提高提供了科学决策依据.     

基于方位和线谱频移的TMA新算法

提出了一种基于方位和线谱频移序列的目标运动分析新算法,解决了方位序列估计器工作点漂移方法中初始方位漂移角度较难确定的问题;提出了一种新的多普勒频移匹配估计器,不需要预先提取目标线谱即可估计目标运动参数,并且有效地加快了目标运动参数解算的收敛速度.海上实验数据处理结果表明该算法较以往同类算法在收敛速度和解算精度等性能上有明显改进.     

强军固防的冷思考

2013年9月21日,央视7套推出了以普及国防知识为主的大型军事益智节目《我爱国防》,在华夏大地掀起了一股强劲的国防热。不过,热中也许应该有些冷思考,学习军事知识、增强国防观念,原本是每名公民应当承担的责任和义务,但为什么通过一个节目才热起来？原本人人都应耳熟能详、张口就来,却为何要评选“国防之星”？带着这一连串的问号,我试图从人类发展史、科学技术史、     

电磁信息泄漏研究及进展

分析了电磁信息泄漏的机理,介绍了电磁信息泄漏的发展历史和趋势,阐述了电磁信息泄漏的基本概念和主要研究内容。针对P89C668单片机实现的DES密码系统,采用差分电磁分析的方法对其进行密码破译实验,获得了DES第16轮48 bit子密钥。     

古城区狠抓民兵武器装备安全管理

正为确保武器装备仓库管理安全无事故,云南省丽江市古城区人武部采取听、看、查等方式对武器装备仓库系统设备进行了检查,对枪支弹药数量进行认真清点核对,对周边环境给仓库安全工作的影响及内部存在安全隐患进行了认真的分析研究,对存在问题和隐患及时进行登记造册,并明确具体责任人和解决时限;     

高技术装备维修知识共享

将知识管理的思想引入到装备维修中,认为装备维修组织与高技术装备生产厂家之间的知识共享是提升高技术装备维修能力的重要因素。通过建立知识共享模型,对装备维修组织与高技术装备生产厂家知识共享过程进行了分析,得出知识总量螺旋上升的结果。在此基础上进行博弈分析,运用数学方法,找出主导高技术装备维修知识共享活动的关键因素,并结合实际,研究应对方法,推动装备维修知识共享,促进装备维修组织知识创新,从而提高装备维修能力。     

深入学习习近平主席重要指示 努力开创军队党史军史工作新局面

正党中央、中央军委对党史军史工作高度重视,近年来先后召开会议,下发指导性文件,作出重要决策部署,全军部队狠抓落实,持续兴起党史军史学习教育和研究宣传热潮,军队党史军史工作进入一个快速发展时期。党的十八大以来,军委习主席站在实现中华民族伟大复兴中国梦的战略高度,鲜明提出建设一支听党指挥、能打胜仗、作风优良的人民军队这一党在新形势下的强军目     

长春警备区协调地方政府开展科技拥军成效显著

长春警备区积极探索和研究新时期双拥工作特点和规律,配合长春市市委、市政府创新科技拥军的形式和内容。他们协调市委、市政府成立科技拥军领导小组,将科技拥军纳入领导议事日程,还专门成立了长春市信息化拥军顾问团,广泛开展"送新知识、新技术、新成果"等活动。近年来,针对部队信息化建设中自身无法解     

空间碎片的雷达探测--技术与趋势

为应对来自太空的威胁,对包括空间碎片在内的所有空间目标进行全面监测不可或缺.在给出空间碎片雷达探测国内外研究现状的基础上,从基于跟踪模式的大尺寸碎片编目和基于波束驻留(beam-park)模式的中小尺寸碎片统计采样2方面综述了空间碎片的雷达探测技术,并分析了其存在的问题与未来的发展趋势.