简介:为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.
简介:通过对坦克武器(主要是火炮)视情维修内容的阐述,分析了目前维修检测内容及标准存在的问题,提出了火炮进行视情维修的内容和方法,并给出了如何开展相关的维修检测仪器和设备的研制和生产.建议制定相应的标准和规范以确保武器检测和维修的有效性.
简介:2015年3月16日,瑞典斯德哥尔摩和平研究所发布了一份关于2014年世界武器贸易的调查报告。该报告显示,2010-2014年,世界武器出口额的前5名分别为美国、俄罗斯、中国、德国、法国,中国的出口额从2009年的第九名跃升至第三名。报告发布后,在国内外引起了较大反响,正面负面均说辞。本文就从这个报告的统计数字说起,向读者朋友解读一下中国的武器出口。
软件维护性设计准则形式化表示及核查系统设计
坦克武器维修检测内容及标准有关问题的探讨
输出武器,但不输出战争——解读瑞典报告中的2014年中国武器出口内容