|
|||||
|
|
| 构造对偶族的一个新算法 | |
| 引用本文： | 段志刚.构造对偶族的一个新算法[J].科学通报,1986,31(21):1617-1617. |
| 作者姓名： | 段志刚 |
| 作者单位： | 北京控制工程研究所 |
| 摘 要： | 本文提出了构造布尔函数的对偶族的一个新算法。通过双取对偶,可以求得布尔函数或者非相干故障树的全部质蕴含项。在非相干系统故障树分析的领域里,为识别所有可能的系统故障模式,必须引进质蕴含项(PIS)这一重要概念。在开关函数最小化理论中,关于寻求质蕴含项的算法的研究已有很长历史了。卡诺图法简单易行,但一般只适用于变量少于6的布尔函数。Quine-McClusky算法本质上是列表化简法。它借助于coosensus运算求出全部PIS。虽然经过Petrick、Tilson等 |
| 收稿时间： | 1985-12-16 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《科学通报》浏览原始摘要信息 | |
| 点击此处可从《科学通报》下载免费的PDF全文 | |