论文部分内容阅读
提出一个算法，用来建造能够检测组合逻辑网络中每种给定故障的一种输入模式，其结果未必是最小的测试集，但肯是一个完全的测试集。
组合逻辑网络的诊断算法
【摘 要】
：
提出一个算法，用来建造能够检测组合逻辑网络中每种给定故障的一种输入模式，其结果未必是最小的测试集，但肯是一个完全的测试集。
【机 构】
：
哈尔滨师范大学
【出 处】
：
哈尔滨工程大学学报
【发表日期】
：
1998年2期
其他文献
严格证明了一维Ｃａｎｔｏｒ集的Ｈａｕｓｄｏｒｆｆ测度Ｈａｕｓｄｏｒｆｆ维数的具体数值，并且构造了一个Ｒ上的非１－集，该集合的Ｈａｕｓｄｏｒｆｆ测度为零，但是Ｈａｕｓｄｏｒｆｆ维数为１。
积极应对人口老龄化，妥善解决人口老龄化带来的社会问题，是福建省面临的一项重要任务。随着老龄化趋势的不断加快，老年人权益保障涉及千家万户，与人民群众利益密切相关，加强老年人
水力深穿透解诸技术利是利用专用地面泵车及井下工具对油水井进行水力深穿透增产增注,可以有效穿透油水井近井污染带,并形成有效孔道,该孔道孔眼大、孔道长,比炮弹射孔具更高
基于位移函数ψ＝ｒ＾２－δｆ（θ），研究了平面应变情况下两种不可压缩材料界面处的奇异性问题。通过研究发现，奇异性指数δ不仅与材料性质有关，而且与其几何参数有关，经位移函数，我们还可求得该
证明了任何带等词的二阶语言的逻辑有效公式集不是递归枚举的。
分析了延长气田某区天然气成藏的控制因素，指出充足的气源供给、优质的砂体、盖层和构造条件是该区天然气成藏主要的控制因素。