基于案例推理的装甲装备故障排除方法

针对装备维修对实践经验的依赖以及经验的隐性化特点,重点对故障案例的表示及案例库组织进行研究,奠定案例检索的基础,优化基于案例推理的装甲装备故障排除方法。     

The symbolic politics of ballistic missile defense: seeking the perfect defense in an imperfect world

Ballistic missile defense (BMD) politics present an interesting evolution in how the USA, especially Congress, has come to think about BMD both as operational reality and as a symbolic policy. The argument here is that BMD's operational reality is increasingly overshadowed by its symbolic aspects. Such a status arose from rapidly changing international and domestic politics. The end result is a situation in which BMD policy in a sense floats above the question of its actual combat effectiveness. Its primary mission in part is sustaining US capacity to remain a global power and support its allies.     

软件测试中的路径划分技术

路径覆盖测试准则要优于其它已知的覆盖准则,但由于对一般的软件,路径数目太大,以至实际难以实现。路径划分是路径覆盖技术的一个折中方法。给定的程序Ｐ和给定模块的最大路径数目ｋ,按就近原则,现给出了一种划分Ｐ的算法,使得每个划分后的模块所包含的路径数目都少于等于ｋ。同时也给出了最佳划分的度量标准和最佳划分方法。