论文部分内容阅读
本文是将主路径敏化法扩展到三态器件，介绍了一个针对含三态器件电路的测试生成算法，用１７个逻辑值描述电路，使用分离电路模型来降低算法复杂性，通过动态计算故障相关性和三态相关性，压缩搜索空间，减少一致性操作中的矛盾次数，同时保证故障敏化总是在有效路径上进行，减少回溯次数，提高测试生成效率。
扩展主路径算法
【摘 要】
：
本文是将主路径敏化法扩展到三态器件，介绍了一个针对含三态器件电路的测试生成算法，用１７个逻辑值描述电路，使用分离电路模型来降低算法复杂性，通过动态计算故障相关性和三态相关性
【机 构】
：
中国科学院计算技术研究所ＣＡＤ开放实验室
【出 处】
：
计算机学报
【发表日期】
：
1994年A00期
其他文献
5月18日．中国饲料工业协会第四次会长办公会暨协会工作座谈会，在成都隆重召开。中国饲料工业协会会长白美清．国饲料工业协会常务副会长谭竹洲．农业部畜牧业司副司长王宗礼．中国饲
超并行处理机系统有两个需要解决的瓶颈问题:1.多级互连网络的传输延迟;2.吞吐量.本文提出解决这两个瓶颈问题的新方案——由多级互连网络和存贮器组成的主存贮器充分利用流
本文形式定义了一种谓词／变迁网ＥＰｒ／ＴＮ网系统，作为网络协议的形式描述技术（ＦＤＴ），并用ＥＰｒ／ＴＮ形式描述了ＡＢ协议。
本文导出了参与逻辑代数，给出了运算符△＋·－ｒ及参与逻辑函数的定义，文中详尽地讨论了一般ｈ的确定，成功地设计出了无险象组合电路，实验结果与理论分析符合得特别好。
本文以平行结构类问题的形式化描述为基础,详细讨论了分布式求解平行结构类问题系统中相邻结点间重迭区域的作用,定义了最小重迭区域的概念,并提出一种新的设立重迭区域方法
在饲料企业生产经营过程中，从生产、加工、贮存到销售的每一个环节．都面临着原料和产品价格的变化．这无疑给企业带来了一定的经营风险．参与期货市场套期保值则能有效规避该类风险
近几年来，中国饲料行业连年经受疫病、食品安全事件的困扰。饲料原料价格的暴涨暴跌、全球金融危机等因素也对饲料行业和饲料添加剂的发展造成冲击和影响．未来行业格局变化以及
农业部新闻办公室10日发布消息说，2月10日，经国家禽流感参考实验室确诊．新疆和田地区墨玉县扎瓦乡粮站发生H5N1亚型高致病性禽流感疫情。此次疫情共死亡家禽519只。
分布式问题分解与分布算法是分布式人工智能(DAI)中的基本问题之一。本文引用模式表示法对带有宏求解描述的问题形式化,然后通过证明若干支持问题分解的结论和引入υ分解运算
<正> 1.引言 推理是智能系统中应用知识求解问题的一种主要方法,现有的智能系统所使用的推理方式不外乎是机械式的自动推理和启发式推理。自动推理具有完备性,控制简单,但是