安全关键系统高可信保障技术的研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:pqx98
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In order to improve dependability of safety critical systems, whose safeguard technologies are researched inthis paper. Firstly, origins and meanings of dependability are expatiated, afterwards, respective meaning of and rela-tions among fault、error、failu
其他文献
目的分析预防性宫颈环扎术对子宫颈机能不全(CIC)患者妊娠结局的影响。方法选取我院70例CIC患者(2017年6月至2018年12月),依照随机数字表法分为观察组、对照组。对照组35例接
It is necessary to represent a program in a visual model before analyzing it. This paper introduces a hierarchical program visual model based on object, scope a
工作流活动复杂性的增加,使活动之间的相互协作面临新的挑战。同时,工作流建模所涉及的数据类型的复杂性也因此而提高。该文基于TAM和EA模型提出了一种新的扩展的活动组成模型E
Security requirements analysis is a precondition to provide effective and appropriate safeguard for information systems. Based on the existing theories and appr
Language acquisition, understanding and production are three core problems in the field of cognitive linguistics and computational linguistics. After the invest