首页> 中文期刊>装甲兵工程学院学报 >基于状态变换的数字电路冗余确认研究

基于状态变换的数字电路冗余确认研究

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.

著录项

来源
《装甲兵工程学院学报》|1998年第1期|P.63-66|共4页
作者
何新华; 蔡红柳;
展开▼
作者单位

装甲兵工程学院计算机教研室!北京100072;

展开▼
原文格式 PDF
正文语种 chi
中图分类设计;
关键词
测试生成; 验证; 冗余确认; 有限状态机;

相似文献

中文文献
外文文献
专利

1. 时序电路的冗余状态变换确认研究 [J] . 何新华 ,蔡红柳 . 电子科学学刊 . 1999,第001期
2. 一种基于LUT和二模冗余的胚胎数字电路故障检测方法 [J] . 王涛 ,蔡金燕 ,孟亚峰 . 微电子学与计算机 . 2016,第7期
3. 基于级联多电平变换器的固态变压器冗余设计的容错控制研究 [J] . 桑子夏 ,郑旭 ,颜炯 . 电源学报 . 2019,第005期
4. 基于冗余小波变换的自适应运动估计与补偿算法研究 [J] . 谢洪途 ,高广珠 ,何智勇 . 计算机应用研究 . 2011,第001期
5. 数字电路冗余故障的识别算法研究 [J] . 李珊琼 . 数字技术与应用 . 2012,第005期
6. 数字电路冗余状态确认研究 [C] . 何新华 ,刘玉军 . 第十届全国容错计算机学术会议 . 2003
7. 数字电路冗余故障检测方法研究及实验分析 [A] . 崔昌明 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号