简介：为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.
简介：2006年12月29日，中国政府发表了《2006年中国的国防》白皮书。这是中国政府1998年以来发表的第5个国防白皮书，也是涉及内容最全、透明程度最高的一个白皮书。透过它，一个真实的中国国防呈现在了世人面前。
简介：
简介：以系统仿真软件MATLAB中的Simulink软件包为工具,通过对摩擦离合器工作过程特点的分析,在合理假设的基础上,建立了离合器工作过程中的动态仿真模型.得到的仿真结果对于离合器的实际测试及其故障检测分析有一定的参考作用.
简介：战斗训练的真实性是几代训练模拟器都未能解决的问题。随着武器效能的提高,其使用费用也在增加,有效地培养战斗人员已成为一大难题。
软件维护性设计准则形式化表示及核查系统设计
白皮书：一个真实的中国国防
化学、生物、辐射及核恐怖主义：多么真实的威胁
基于Simulink的履带车辆离合器动态仿真实现
坦克乘员视景系统的真实性——战斗车辆射击训练的需要
