Adding Transitions of Undefined States to State Transition Tables for Testability Enhancement

来源 :湖南大学学报(自然科学版) | 被引量 : 0次 | 上传用户:leunggz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
在介绍扩频通信理论的基础上 ,针对传统电力线载波通信方式传输数据可靠性差的问题 ,提出了将扩频技术应用于电力系统通信的方案 ,并对其抗干扰能力及设计中的几个主要问题进
视基体材料为各向同性非线性蠕变体;纤维材料为各向同性线弹性体,基于Aboudi胞元模型对纤维增强复合材料的蠕变特性进行了细观分析。提出并用蠕变面函数讨论复合材料的正交各向异性蠕
克莱斯勒、东风雪铁龙近日将其部分或全部核心部门悉数迁往上海。而在此之前,福特中国曾于2005年挥师南下,将其中国总部由北京迁往上海。此外,东风悦达·起亚的销售公司和通
随着汽车市场局势不断恶化,8月底,底特律车企向政府提出未来三年内最多500亿美元的低息贷款计划,并为此项计划展开游说。各大媒体,业界人士对这件事表示了极大的关注。
日前,上海华普汽车董事长徐刚向新闻媒体宣布。前不久带到北京车展去的四个苹果中的两个鲜嫩的苹果——颠覆传统的海域MB和冠军车系海迅MA将在2007年1月18日正式上市,徐刚称其
通过对碳纳米管进行金属包覆,制备一维纳米复合材料,利用化学镀方法在碳纳米管表面得到完整均匀的银镀层。研究表明,镀层质量与表面处理,反应速率和反应时间密切相关。
合成了海泡石固载金属卟啉,研究了它们对亚碘酰苯在常温常压下选择性氧化环己烷成为环己醇和环己酮反应的催化作用。研究结果表明,对环己烷的温和氧化反应,海泡石固载金属卟啉比
俗话说:“救人如救火”,可见救火的急切与重要。作为救火主力之一的消防车,必然要求其快捷、高效并且具有高可靠性。作为欧洲重卡先驱之一的MAN卡车,正是具备以上特性的杰出代表
研究了广义Harper模型的量子扩散,分析了自关联函数C(t)在不同哈密顿量参数区域的长时特征。结果表明,在金属区C(t)-T^-1,而在绝缘体区C(t)-t^0。
“解放是一汽的根,根深才能叶茂”。对于解放所应承担的历史使命,一汽集团公司竺延风总经理曾经给出这样形象的回答。然而在新的历史时期,解放如何能在日益激烈的竞争环境中根深