摘要:本期学报《容错计算专辑》是我校计算机及自动化系的计算机高可靠性研究室的研究成果报告。研究的中心内容是计算机的诊断问题,研究的主要工具是星算法。因此,为了阅读方便,我们把“四值逻辑与星算法” 一文重新刊载。文章提供了星算法的一个程序,它具有程序简短,所需存贮空间少的特点,能在微处理机上实现。文章是将星算法应用于组合线路多故障的测试,这项结果又被应用到时序线路的测试生成,获得这一领域

摘要:包含“0”,“1”两个元素的布尔代数已为人们所熟知,它给命题演算和对逻辑网络的研究提供了很好的工具。为了能反映动态情况,本文将它扩展成四值的布尔代数,研究了它的数学基础,提出了几种表达式,介绍了星算法的推导法则,并证明了与布尔差分相沟通的展开定理。文章较详细地陈述了在组合网络诊断方面的应用;通过典型例子介绍了求测试码的算法,并与流行的D算法、布尔差分法、ESP法等进行了比较。事实表明星算法具有某些优点。本文还指出了在网络其它方面应用的可能性。

摘要:此文提供了星算法的一个LISP程序,它具有程序简短,所需存贮空间少的特点。由于采取了优化措施,它能方便地在微处理机上实现。借助此程序可以为给定的组合电路求出任一故障的完全测试集,以便进一步建立最佳的故障检测集。此程序也容易推广到求多故障和时序电路的测试集。

摘要:本文研究星算法〔1〕在组合线路多重故障检测中的应用。首先,文章简要介绍星算法概要,推导了若干公式和定理,并较详细地陈述了利用星算法求组合线路的多重故障测试的过程。并以此为基础,提出了为组合线路所有故障重数假定不超过M的固定故障建立完全测试集的算法,然后同用来解决同一问题的布尔差分进行了比较。显然,本文提出的方法具有更多的优点。

摘要:本文讨论星算法在时序线路测试生成中的应用。被测时序线路可以是异步的,基本逻辑单元可以是门级或功能级元件,此外,算法具有自初始化的能力。文章开始,首先扼要介绍星算法的主要结果,然后通过例子详细描述利用星算法产生时序线路测试的过程,并与D算法和9值算法进行了比较。事实表明,星算法较之其它算法,具有更多的优点。

摘要:本文系统地研究了组合逻辑线路的动态测试,给出了生成一个动态可测故障以及一个冒险可测故障(静态不可测)完全测试集的方法。首先在“四值逻辑和星算法”的基础上,导出了一个识别逻辑线路所有(静态和动态)冒险的一个新的、系统的方法,然后应用获得的结果,推导了静态不可测单固定故障、多固定故障以及桥接故障的冒险测试公式,并举出了若干实例。

摘要:本文提出了一个新的求多故障最小测试集的算法。其中包括任意组合线路的分树及扇出点的分级,这样大大减少了求星展式的工作量,本文中的算法对冗余和非冗余线路不必区分,可统一处理。本文得到的结果较文献〔4〕,〔5〕,〔7〕,〔10〕等为优。

摘要:本文从逻辑网络的结构分析入手,定义了一种独立变量,论述了它在网络中具有的各种关系。利用独立变量,可以从两个方面来简化测试生成:其一是降维法;其二是利用已知测试的信息来生成新的测试。这个方法可以为任何一种试探性算法所利用。

摘要:组合线路中的桥接故障及二极管短路故障均可分成两种类型:组合型和反馈型。根据可测试性,反馈型故障本身又可划分成三类:组合可测,时序可测,振荡可测。所有上述故障可测的充要条件都得到证明。并提出了组合型故障的完整测试集公式及反馈型的组合,时序,振荡可测等故障的完整测试集公式。本文比文献〔1〕,〔2〕,〔3〕,〔4〕更具有普遍性,所以本文结论能包含上述文献的大多数结论。因线或桥接及二级管短路故障和线与桥接及二极管短路故障的结论完全相似,所以本文只给出了线与故障的结论。

摘要:本文提出了一种判别有向图是否欧拉图的充分必要条件,并给出了在有问欧拉图中找一条欧拉巡回的新的算法。除此还给出了在非有向欧拉图中找一条最短欧拉道路的算法。利用上述结果可以得到时序机的最小功能测试序列。因而使时序机最小功能测试问题得到解决(参考文献〔2〕p76),并证明对于给定时序机的状态图而言算法是多项式复杂性的。

摘要:本文通过对邻接矩阵的研究得到了判断哈米尔顿图的一种条件,并由此提出求哈米尔顿图的所有哈米尔顿回路及最佳哈米尔顿回路的算法。

摘要:此文论及数字系统的故障自动诊断。先前在Ferruccio Barsi,FabrizioGrodoni和 Piero Maestrini所提出的诊断模型中假设系统的所有单元都有相同的故障概率,为了更好地描述实际情况,本文将此模型推广到随机诊断。对于一个已有确定测试连结的n个单元所组成的系统,在一步可诊断和顺序可诊断两个方面,推导了正确诊断出现概率大于t的故障集的充分和必要条件。同时指出顺序诊断方法是较为简便的。最后文章详细讨论了满足给定方法可诊断性前提下的系统测试连结的最优设计,提出了一个适用于顺序p—t可诊断系统的最佳设计方法,并用APL语言给出了算法。 在此,衷心感谢指导教师陈廷槐老师给予的启发、指导并为我们主持了讨论班。

摘要:本文提出了数字系统故障自动诊断的一个新的理论模型,此模型中的测试记录符合模2运算。文中讨论了模2模型故障症候的充分和必要条件,证明了任何适合此模型的系统都是在故障单元少于半数情况下一步故障可诊断的。进而指出,确定最大可能相容故障集与解模2线性规划问题是等价的。在此基础上,给出了一个求相容故障集的有效算法以及它的APL程序,并且论证了此算法的时间和空间的复杂性都是线性的。最后,将此模型推广到了随机故障诊断。事实表明此模型与其它模型相比有较多的优点。

摘要:本文研究了组合逻辑线路的动态特性,建立了与各种冒险相关联的代数结构,提出了一个识别冒险的新的、系统的方法。该方法不仅明确地指出使网络输出产生静态0—冒险,静态1—冒险,动态负跳冒险和动态正跳冒险的所有瞬变输入赋值,而且使判定一种冒险需要验证的瞬变输入赋值的数目大大减少,易于计算机程序实现。

摘要:在古典的二值逻辑 CL(Classical Logic)中,每一命题X的真值取自二元集合{0, 1},即T(X)=0与T(X)=1为两种极端的稳定状态;因此CL只能作为客观事物静止 状态的粗略反映,以后发展了模糊逻辑FL(Fuzzy Logic),每一命题变量可在闭区间〔0, 1〕上取值,T(X)=a(0≤a≤1),表明X属于某一状态的程度为a,不属于此状态的程度 为1-a,这样就将截然划分为两种状态的粗略情况用归属度作了精确化的改进。然而它仍 然只能反映稳定情况,包含动态平衡状态,而不能反映一般变化状态。例如:试考察一可逆 化学反应

摘要:第十届国际容错计算会议(简称FTC—10)已于1980年10月1—3日在日本东京都召开,这是第一次在亚洲召开的国际容错计算会议。这次会议由IEEE计算机协会容错计算技术委员会、日本EIECE协会电子计算机技术组和可靠性技术组联合举办。参加人员共244人,多数来自日本、美国和法国。我国有七名代表参加。 在开幕式上首先请美国密其根大学麦依尔教授致开幕词,然后由执行主席日本京都大学三根久教授报告筹备经过,程序主席日本东京工业大学当麻教授报告论文评选经过。这次年会共收到寄自17个国家的188篇论文,经过294位评论员评审,选出73篇,共分18个方面。分别在21个小组内报告。