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

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

以十七大精神为指导建立和完善战区国防交通建设新模式

党的十七大报告指出:"建立和完善军民结合、寓军于民的武器装备科研生产体系、军队人才培养体系和军队保障体系,坚持勤俭建军,走出一条中国特色军民融合式发展路子。"这一论断,提出了国防建设新的发展模式。国防交通建设如何按照十七大的要求,建立和完善军民融合的发展新模式,是需要我们认真研究的一个重要课题。     

基于云模型的地面防空混编群信息对抗能力评估方法

地面防空混编群信息组网作战是应对体系化空袭的重要支撑,为科学有效地评估地面防空混编群信息对抗能力,通过分析地面防空混编群信息对抗能力组成要素特点及内涵,建立了地面防空混编群信息对抗能力评估指标体系,提出了一种基于云模型的信息对抗能力评估方法.通过实例计算分析,该方法对于评估地面防空混编群信息对抗能力具有实用性和可靠性.     

台湾南海防务现状透视

据台湾媒体报道,10月12日,台军方负责人高华柱在列席台“立法院外交及国防委员会”时表示,为应对越南和菲律宾海空军对南海的防务所构成的严重威胁,台军正考虑在东沙和太平岛部署防空导弹。台湾此举,引起人们对台湾南海防务现状的关注。     

努力提高人武部、预备役团领导抓后备力量建设的能力素质

党的十七大强调:"增强国防观念,完善国防动员体系,加强国防动员建设,提高预备役部队和民兵建设质量。"人武部、预备役团是民兵预备役工作的一线指挥部,是国防后备力量建设各项工作的具体执行和落实机构,要充分履行好主要职能,高标准完成好中心工作任务,     

防空导弹武器系统混合编组及计算

防空导弹武器系统混编比的确定是现代防空作战兵力运用的关键问题之一。首次从防空火力配系的角度,提出了防空导弹武器系统混合编组的三种形式,即补充空域混编、加强火力混编和自卫掩护混编。采用定性与定量相结合的方法,进一步给出补充空域混编、加强火力混编比和混编火力单元前后配置间隔的计算模型,确定了混编比。该模型的建立,为防空兵力兵器部署定量分析提供了理论依据,对防空部署理论的发展具有积极作用。     

对加强省军区系统体系作战能力建设的思考

省军区系统作为我军作战体系的重要组成部分,具有军地兼容、寓军于民等特殊优势。加强省军区系统体系作战能力建设,必须深刻理解和把握体系作战内涵,积极探索基于信息系统的体系作战能力生成的有效途径和办法,有针对性地采取措施,推动省军区战斗力有效提升。     

水面舰艇防空武器抗击单枚反舰导弹的效能评估

为了充分发挥水面舰艇防空武器抗击空袭目标的作战效能,从防空导弹武器和副炮武器共同发射区的分析出发,通过研究副炮武器的射击方式和两种防空武器的射击次数,建立了水面舰艇抗击单枚来袭反舰导弹的效能评估模型,然后使用该模型对几种防御方案进行仿真计算,得出了最优的作战方案,可以为指挥决策提供参考依据。     

对反舰导弹的分层防御

各类反舰导弹日益成为主要的对舰攻击武器。由于其高度的命中率、突防能力,水面舰艇的生存受到了严重的威胁。因此,舰艇对反舰导弹的防御问题成为水面舰艇生存的主要问题。本文就对反舰导弹的分层防御这一主要方面进行了全面、概括性的论述。     

多国部队空袭利比亚特点刍议

2011年3月17日,美、英、法为首的多国部队以执行联合国安理会1973号决议为由,开始对利比亚实施军事打击。以美国向北约移交作战指挥权为标志,此次军事行动分为两个阶段:第一阶段(3月19～31日)以建立禁飞区和阻止政府军进攻反政府武装为主要作战目标,重点打击政府军的防空系统、机场、作战飞机和地面部队;第二阶段(3月31日～目前)以维持禁飞区和削弱政府军作战能力为主要目标,重点打击政府军指挥控制中心、地面部队以及后勤补给设施等。多国部队动用了350余架作战飞机、38艘水面舰艇和潜艇,以及"战斧"巡航导弹等精确制导武器,通过精确空中打击,基本实现了预期作战目标。