学科分类
/ 1
8 个结果
  • 简介:为提高软件维护性并改善软件质量,需要在软件设计和开发阶段开展软件维护性设计,其中维护性设计准则核查是关键环节之一.在对软件维护性设计准则类型和描述要素详细分析的基础上,提出了软件维护性设计准则的形式化表示方法,构建了软件维护性设计准则核查系统体系结构,对核查算法进行了设计和分析,并应用Tcl语言定义了具有良好扩展性的度量模型及准则模型.初步的应用表明,该研究成果能够指导软件维护性设计并改善软件质量,具有一定的应用价值.

  • 标签: 软件维护性 设计准则 准则核查
  • 简介:截至2013年10月31日,禁止化学武器组织缔约国宣布的第1类化学武器总量为70475t。这个数量中包括叙利亚当时宣布的第1类化学武器。其中57410t,即81%的第1类化学武器已在技秘处国际核查下销毁。

  • 标签: 化学武器 核查 军事 销毁
  • 简介:在简要分析印、巴核试验的基础上,对新形势下如何开展核武器核查技术研究进行了探讨.印度和巴基斯坦的地下核试验对国际社会全面禁核试的努力产生了强烈冲击,南亚地区的核竞赛不能不令人担忧.必须要有高度紧迫的责任感和使命感,认清形势,研究新情况、新问题,作好核武器核查基础设施建设和发展技术研究.

  • 标签: 核查技术 印度 巴基斯坦 核试验 核武器 技术研究
  • 简介:2007年8月21日上午,第八届莫斯科国际航空航天展览会在莫斯科茹科夫斯基格洛莫夫试飞院拉开帷幕,俄罗斯总统普京亲自主持了开幕式。莫斯科航展干1993年开始举办,此后每两年举办一次。本届航展吸引了来自39个国家的近800家企业参加,其中俄罗斯企业540多家,外国企业250多家,展商总数比上届增加了约三分之一。

  • 标签: 莫斯科 航展 俄罗斯总统 传真 现场 外国企业