产生时序电路测试的九—值电路模型

为了产生测试引进了九一值电路模型,此模型考虑了时序电路中的故障的多重和重复的影响。利用这个模型测试序列可以被确定,它允许时序电路的内部状态的多重和重复的虚设。因此有效的测试序列被导出,而其他熟知的过程像D—算法,虽然有测试存在却无法找到任何测试。 模型被定义且测试产生的过程被指出,它类似于D—算法。异步电路必须变换成同步电路或叠接组合电路,对这类电路测试被产生。因为冒险或振荡可以使测试变成无效所以异步电路测试序列的有效性必须通过测试模拟来确定。作为例子这模型被应用到一个异步电路中“常驻”一型的单故障和多故障,并且给出测试产生程序的总框图。     

知识库管理系统HDS-KBS1

本文介绍我们在micro VaxⅡ上开发的知识库管理系统HDS-KBS1,以及有关技术:扩充Prolog使其成为知识库管理系统的推理子系统;推理子系统和库管理系统INGRES的联结;demo谓词和语义完整性维护的实现。     

双机系统的故障自动处理和恢复

本文介绍一个大型的双机共享主存的计算机系统故障的自动处理和恢复,为提高系统的RAS性能提出了一些容错设计指标,使系统在检测错误以后,借助双机通过对中断回收信息的分析和运用测试回收,实现诊断和故障隔离。或者将故障部件旁路对系统实现重新组合,使其弱化为一个更小的系统而继续工作;或者克服流水重叠操作由于故障引起的一系列链锁性的阻塞而实现自动恢复,使机器故障对作业的影响最小。为此对硬件所提供的措施作概要的叙述,对诊断,重新组合和自动恢复的软件处理过程作一些介绍。