【摘 要】
：
以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态
【机 构】
：
装甲兵工程学院计算机教研室!北京100072,装甲兵工程学院计算机教研室!北京100072
论文部分内容阅读
以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.
Based on the state transition diagram, the characteristics of redundant transformation and illegal transformation are deeply analyzed, and the concepts of structural redundancy and functional redundancy are proposed. The relations between measurable faults, untested faults and redundancy are discussed. Combined with verification and test generation, an implicit ergodic validation strategy for state redundancy is proposed.
其他文献
不久前,美国佛罗里达州大学的科研小组研制出一种柔软的隐形眼镜,这种隐形眼镜可以作为载体,将治疗眼疾的药物缓慢地直接释放到有病的眼睛上,还可以用来矫正患者视力。
Not
在医院耳鼻喉科,常能听到患咽炎的病人向医生问一些问题或提出要求:慢性咽炎能治好吗?我的咽炎要治多久才能好?给我点好药,早点把咽炎治好。治好病是医生和病人的共同心愿,
随着市场经济的快速发展,人类对林业的需求发生了重大变化。由原来以提供林产品为主要经营爵的传统林业转变为一个兼有产业职能的社会公益事业的现代林业。林业单位也迎来了
ABriefIntroductiontiontothe1997ElectronicPackageTechnologySymposiuminChina1997年全国电子封装技术学术会议于11月6日至11月9日在安徽省黄山市召开。本届年会由全国封装
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
我们今天所处的时代,是一个伟大变革的时代。创新,是时代的要求,历史的召唤。不断创新,勇于创新,我们的时代才可以谱就更加壮美的乐章。而让创新的光芒闪耀,创新的源泉涌流,
本文报道了用激光沉积法在（１００）ＬａＡｌＯ３衬底上制备（Ｙ１－ｘＨｏｘ）Ｂａ２Ｃｕ３Ｏ７－δ（ｘ＝０，０．２，０．４）超导薄膜．结果表明，新超导薄膜表面光滑，具有很强的ｃ轴织构，零电阻温度Ｔｃ０约９１Ｋ，最佳临界电流密度Ｊｃ为４．７×１０６Ａ／ｃｍ２（７７Ｋ）．
This paper reports the preparation of (Y
近日,为贯彻劳动和社会保障部关于进一步加强高技能人才工作的视频会议精神,结合当地区域经济的发展情况及已与学校合作的国内126家优势企业亟需提高劳动者综合素质和技能层
一场暴雨刚刚送走连日暑热,在安徽省黄山市新安江延伸段的滨水景观观赏道上,人们便不约而同地聚在一起,或散步,或聊天,或静坐在九曲回廊的长椅上下棋、看报。他们大多是住在
在进入电子时代的今天,有许多人经常面对荧光屏幕工作或娱乐。但其中有些人会诉说眼睛看不清、眼胀、流泪、头痛等等。荧光屏幕究竟对人的眼睛有哪些影响呢? 有关专家近年来