简介:为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.
简介:无人机承担的是单调、危险的侦察任务。随着新技术的应用,无人机的用途日益扩展,它在战场上的重要性得到明显提高。尽管如此,当前美军现有部队的营连级指挥员仍然还没有专用的无人机。在不久的将来,由多种类型无人机组成的未来战斗系统的无人机系统,将成为各级指挥员的眼睛、耳朵和火炮瞄准镜。
简介:北方汽车质量监督检验鉴定试验所(简称北方汽检所)始建于1986年9月,1987年开始正式承担国家汽车行业的汽车整车、发动机质量监督抽查、可靠性考核及委托检验任务,是我国特种车辆试验、检测基地,是汽车行业认可的具有第三方公正地位的汽车质量监督检验鉴定的试验机构.北方汽检所拥有整车道路室、底盘部件试验室、电磁兼容试验室、动力电池试验室、环境试验室、道路模拟试验室、
简介:在不久前举行的北京国防科技知识展上,我们有幸见到了谭邦治研究员。他虽已年逾六旬,但精神矍铄,对众多的航天工程细节均能如数家珍、娓娓道来。听他谈我国航天工业的发展历程,记者犹如沿时光之河溯流而上,亲临那段艰苦却振奋人心的岁月。
软件维护性设计准则形式化表示及核查系统设计
支援行动单位的无人机系统
北方汽检所获得汽车动力电池国家强制性检测单位资质
漫议中国航天事业创建发展史——访谭邦治研究员