基于整数方程的逻辑方程组求解方法研究

摘要：

为快速有效地求解大量逻辑方程组，根据逻辑运算的特点详细阐述了将逻辑方程转化成等效整数方程的原理和方法，并对得到的整数方程进行化简，提出了整数方程组的一般求解方法，即吴方法和Grobner基理论。接着给出并完善了一种基于快速多项式乘法的消元法，大大降低了求解的复杂度，最后将基于整数方程的逻辑方程组求解方法应用于故障诊断，并举例验证。

关键词：逻辑方程组、整数方程、快速多项式乘法、故障诊断

分类号：O142(数理逻辑、数学基础)

在线出版日期：2015-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：71-75