【摘 要】
：
本文给出了一种基于代数学和拓扑学技术的自动测试向量生成系统。其中采用了电路分块,可测性度量,q值函数,修正试探法,交互性故障模拟等方法以提高序贯D算法的一个改进型的性
论文部分内容阅读
本文给出了一种基于代数学和拓扑学技术的自动测试向量生成系统。其中采用了电路分块,可测性度量,q值函数,修正试探法,交互性故障模拟等方法以提高序贯D算法的一个改进型的性能。文中给出了IscAs’89的一些电路的测试生成结果。
This paper presents an automatic test vector generation system based on algebra and topology techniques. Among them, the circuit block, the measurability measure, the q value function, the revised heuristic method, the interactive fault simulation and other methods to improve the sequential D algorithm an improved performance. The article gives the test results of some circuits of IscAs’89.
其他文献
中央国家机关部门和行业作风建设要在2012年之前,实现以下目标:齐抓共管的行风建设责任机制不断完善,职业道德规范与从业行为准则进一步健全,防治不正之风的长效机制初步形成
目的为了解山西朔州市围产儿的死亡率及死因情况,研究降低围产儿死亡率的对策。方法对该市综合医院2012年围产儿死亡季报表及死亡卡等资料进行分析。结果 2012年该市围产儿死
1956年第一届欧洲冠军环的决赛在巴黎的王子公园球场拉开了帷幕，西班牙人很残忍地在巴黎击败了当
The first European Championship ring finals in 1956 kicked off at the
相对于轰轰烈烈对敌工作的公开战场,情报、特务工作是更加惊心动魄的隐蔽斗争。中国共产党的情报工作者们战斗在敌人的心脏中,展开了惊天地、泣鬼神的对敌斗争,为中国革命的
有关资料显示 ,2 0 0 0年我国共消耗生胶2 0 0万ｔ,占世界第 2位 ,产生的废胶复合材料近 5 0 0万ｔ,若不及早处理 ,必将污染环境。 把废胶复合材料加工成胶粉用于改性沥青来修
┏━━━━━━━━━━━━━━━━━━━━━┳━━━━━━━━━━━━━━━━━━━┓┃场上位鬣l守门员 ┃守门员 ┃┣━━━━━━┳━━━━━━━━━━━━━━
他是个生长南方成就北方的高大汉子,服输不服硬,偏认个死理,还颇有大男子主义。他叫张志毅,他的儿子是掖在米卢腰里的一张王牌,等待十强赛争锋,张家被惊人车祸炒破天,理该有
激光二极管在光纤或光学通信实验室中起着重要的作用。它被用作很多实验的光源，用以表征集成的光波导、光缆、微光器件、光电路等等。为了使激光二极管工作在规定的工作极限内
本文简要论述了第二次世界大战后发达国家的林业发展战略。首先,在战略指导思想上,从单纯着眼于森林的经济效益转向经济、生态、社会三种效益并重;其次,在战略布局上,对森林
党校是培养高素质领导干部队伍的摇篮,而党校图书馆则在这摇篮之中充当教师和领导干部提供源源不断的知识源泉。因此,党校的发展离不开与之相适应的图书馆及图书管理的发展。