兰·利伯辛·哈达斯;纳尼·哈桑;杰森·聪;菲利普·麦金利。;刘，C.L。 可重构VLSI系统中的故障覆盖问题。 （英语） Zbl 0747.94002号 Kluwer国际工程与计算机科学系列. 172. 马萨诸塞州波士顿等：Kluwer学术出版社。xiii，130 p.（1992）。 本研究专著涉及容错计算设计的一些方面。专著中的算法和结果供该领域的学生和研究人员使用。对于具有一些故障元件的系统，确定如何更换故障元件以使系统按要求运行的问题是重配置问题。解决重新配置问题的一种方法是使用多个备用元件，每个备用元件可用于更换一些出现故障的常规元件。这种方法称为覆盖法，是这本专著的主要主题。第一章详细描述了重构问题的覆盖方法。作者首先考虑具有给定故障模式和给定备用行数和列数的矩形阵列的重构。第二章介绍了一些技术，这些技术减少了解决此问题的穷举搜索算法的运行时间。在第3章中，考虑了包含不同类型元素的数组。研究表明，在一定的约束条件下，在故障数组中寻找覆盖赋值可以在多项式时间内完成，但在一般情况下成为\（NP\）-完全。同时，介绍并研究了一种包含均匀和异构阵列模型的通用模型。第四章给出了故障覆盖问题的一般公式。给出了将这些问题转化为整数线性规划问题的过程。实验结果表明了该方法的有效性。本章的一般公式用于研究十六类故障覆盖问题的复杂性。审核人：D.P.布朗（卡本代尔） MSC公司： 94-01 与信息与传播理论相关的介绍性说明（教科书、教程论文等） 94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010） 94C12号机组 故障检测；电路和网络测试 68瓦35 非数值算法的硬件实现（VLSI算法等） 关键词：容错;超大规模集成电路系统;容错计算设计;算法;重构问题;覆盖方法;同质和异质阵列模型;整数线性规划问题;复杂性 PDF格式BibTeX公司 XML格式引用 \textit{R.Libeskind-Hadas}等人，可重构VLSI系统中的故障覆盖问题。马萨诸塞州波士顿等：Kluwer学术出版社（1992；Zbl 0747.94002）