学科分类
/ 1
2 个结果
  • 简介:近年来,化学威胁的形式发生了变化,出现了类化学战、化学恐怖以及针对平民和环境的次生危害,给防化科研和防化工作提出了新的挑战。分析传统化学战与这三类新化学威胁形式的异同点发现,这些新威胁形式之间有着较多的共同点,而与传统化学战威胁形式则有较大差异。中国拥有为数众多的大型化工生产、储存设施,这些设施很可能成为袭击的目标,因此必须转变化学防护观念,尽快研究防化新技术、新装备,建立国家动员机制。

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

  • 标签: 软件维护性 设计准则 准则核查