简介：可生存性是指当一个系统在受到攻击、出现错误或发生紧急事件时仍然能够完成其任务的一种能力.指挥自动化系统是现代战争中部队战斗力的倍增器.在信息化战争条件下,传统的安全策略将不能保证指挥自动化系统的生存能力.通过介绍可生存性思想,分析指挥自动化系统及子系统的特点和存在的问题,提出了利用可生存性设计指挥自动化系统的基本原则.

简介：要振奋基层干部的精神状态．为整体建设再上台阶增添新的动力，就必须围绕这些问题的解决，从多个方面入手，增强系统性，提高综合力。

简介：详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。

简介：以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.

简介：科学发展观是我们党指导发展的世界观和方法论的集中体现，也是加强国防和军队建设的重要指导方针。各级党委是部队建设的领导核心，是贯彻落实科学发展观的组织者和领导者，必须着眼履行新世纪新阶段的历史使命，振作精神，昂扬斗志，不断提高贯彻落实科学发展观的能力，全面协调持续地推进部队建设与改革的各项工作，努力实现建设信息化军队、打赢信息化战争的目标。

简介：武警部队作为国家武装力量的重要组成部分，担负着维护国家安全和社会稳定的重要任务。在当今世界并不太平、局部战争和突发事件一直持续不断的情况下，研究探讨武警部队在局部战争状态下处置大规模突发事件后勤保障问题，对于未来在局部战争状态下有效地搞好处置大规模突发事件后勤保障工作，无疑有着十分重要的意义。