【摘 要】
：
该文首先从面向故障的确定性测试产生问题全面和系统地综述了与FAN算法有关的主要研究成果.作为该文研究的基础和重要组成部分,作者在windows 95下用VisualC++5.00建立了一个
论文部分内容阅读
该文首先从面向故障的确定性测试产生问题全面和系统地综述了与FAN算法有关的主要研究成果.作为该文研究的基础和重要组成部分,作者在windows 95下用VisualC++5.00建立了一个基于FAN算法测试产生系统,它完整和准确地实现了目前国际上公认的成熟有效的测试产生算法-FAN算法.该文提出的新见解主要有两方面:1.提出了局部测试产生和局部蕴涵两个新概念.局部测试产生的基本思想是把对给定故障的测试产生局部到电路的一个子块上进行.测试产生过程中的主要操作是蕴涵操作.如果进行蕴涵操作时,只在它所在的分离锥体中进行,就能减少蕴涵计算量,加速测试产生(局部蕴涵);2.解决了FAN算法只适合单输出电路的问题.在此基础上提出了虚拟门的概念.解决了该系统的实用性,拓宽了应用范围.该文所研究的算法已在计算机上实现,并对ISCAS 85 10个电路进行实验,实验结果验证了该系统的正确性.
其他文献
论文首先从统计搜索的角度分析了遗传算法图式采样过程,在简化模型的基础上提出了图式采样过程的扩散模型.扩散模型的主要结果是图式进化的成功率模型.图式成功率模型解释了
由于语音识别系统应用环境的复杂性，各种干扰因素往往导致语音识别系统的性能急剧地下降，因此，如何提高语音识别系统对各种干扰因素的鲁棒性和自适应能力，就成为语音识别技术走向
该设计包括三个部分:一、计算机网络系统的构造.在中新社新闻采编系统的计算机局域网络的构造中,选用了交换式网络和以太网络相结合的新技术方案,并采用星型拓扑网络结构.二
该论文从介绍虚拟现实的概貌入手,在对建立VR环境的景物建模技术的讨论中描述了景物模型的表示,探讨了建模中景物网格模型简化的必要性和可行性.在对国内外该研究领域现存的
该文针对已经给出的日语分析中间结果,设计了一套汉语生成器的规则系统.该规则系统由三个部分组成:一个是描述共性的语言学知识的共性规则库;一个是描述一些特殊语言现象的,
该文首先综合论述了与该课题密切相关的多个学科领域的发展现状,包括声应用及技术研究,全声模糊识别以及计算机仿真学科.在此基础上详细地讨论了课题开发过程中所需要的开发
随着计算机技术、通讯技术、自动化技术等相关技术的飞速发展,目前办公自动化技术也发展到了一个新的阶段.该文结合具体的工作实例,综合作者对办公自动化系统的历史背景、概
该论文以数据库技术与Internet/Intranet技术的结合为核心,详细讨论了基于WebInternet/Intranet数据库发布技术,阐述了数据库技术与Internet/Intranet技术结合的合理性和成熟
该论文主要研究了以下几个方面:1,虚拟制造平台结构及原型系统开发;2,组合机床虚拟制造原型系统开发;3,参数化模块的开发与参数化设计:提出了基于图形理解的参数化设计方法.
论文首先对基于电缆电视(CATV)的多媒体网络中的若干关键技术展开理论和实际研究工作.论文首先对基于电缆电视(CATV)的多媒体网络进行了综述.全面分析了系统发展的历史与现状