超立方体中结点失效模型的可靠性分析

首先给出一个三维的Ｈｙｐｅｒｃｕｂｅ结构在存在结点故障情况下的状态转移模型，分析该模型中各个状态的可靠度和平均无故障时间。然后对ｎ维ＨＣ结构进行讨论、分析，给出可靠度模型的一般表达式。可靠度的分析方法可类似地用于其它系统的可靠度分析。     

双STD容错系统的故障测试与诊断

给出双ＳＴＤ容错系统的故障测试与诊断的一种方法，该方法以双ＳＴＤ工控机为基础，编制了程序来测试与诊断双ＳＴＤ容错系统的ＣＰＵ，ＲＡＭ及ＤＳＣ部件，并略估算系统故障覆盖率。     

双机容错系统分析和设计

本文给出一种提高STD工业控制机可靠性的方法,该方法的核心是两台STD联机工作（热冗余）。文中开发了双STD微机系统DSMS（Dual STDMlcrocomputer System）的比较-仲裁部件及其相应的软件。讨论了DSMS所采用的软、硬件容错技术。     

同步时序线路多故障测试的动态布尔方程方法

本文提出了同步时序线路多故障测试动态布尔方程方法,它将同步时序线路中的“异或”运算归结为逻辑加运算,可一次求出被测线上双固定型故障s-a-1和s-a-0的全部测试集.用动态布尔方程方法实现同步时序线路中双固定型故障的测试,简单、直观,在计算机上容易实现.     

基于神经网络的逻辑最小造价覆盖算法

提出一种基于神经网络求解逻辑综合中最小造价覆盖问题的优化算法。首先给出了最小造价覆盖问题与能量函数的映射关系，并以此构造了改进的两级Ｈｏｐｆｉｅｌｄ网络模型。然后利用该网络的动态特性，求出最小造价覆盖问题的最优解。最后对算法进行了分析和小结。     

超立方体中结点失效模型的可靠性分析

首先给出一个三维的Ｈｙｐｅｒｃｕｂｅ（简称ＨＣ）结构在存在结点故障情况下的状态转移模型，分析该模型中各个状态的可靠度和平均无故障时间。然后对ｎ维ＨＣ结构进行讨论、分析，给出可靠度模型的一般表达式。可靠度的分析方法可类似地用于其它系统的可靠度分析。     

应用布尔差分方法对组合线路中多重故障测试的探讨

本文应用布尔差分方法,探讨了组合线路中固定型“总是0”或“总是1”的多重故障测试问题,并导出了单通路和多通路上的多重故障测试的判别条件。     

单片机容错系统的设计与实现

用两台DVCC-51DB系列单片机作为系统的主机,提出一种单片机容错系统的设计与实现方案.根据单片机的特点,用软、硬件方法解决了双机同步等待问题.系统配有CPU、存储器、比较器的测试软件,可完成单机输出、双机同步比较输出、双机降为单机输出、故障机停电脱线等功能.文中还估算了系统的可靠度与平均无故障间隔时间(MTBF).