布尔函数不交化的立方体算法

被引:14
作者
武小悦
沙基昌
机构
[1] 长沙国防科技大学系统工程与数学系
关键词
布尔函数,不交化,可靠性;
D O I
暂无
中图分类号
O153.2 [布尔代数];
学科分类号
070101 [基础数学];
摘要
布尔函数的不交化是进行系统可靠度计算中的重要步骤。本文提出了一种进行布尔函数不交化的立方体算法。基于布尔函数的立方体表示法及不交代数,文中定义了立方体的有关运算法则,建立了立方体矩阵不交化算法,并用算例进行了说明。本算法的实现效率高,操作简便。
引用
收藏
页数:4
相关论文
共 1 条
[1]
系统可靠性工程基础.[M].梅启智等编著;.科学出版社.1987,