摘要: 为快速有效地求解大量逻辑方程组,根据逻辑运算的特点详细阐述了将逻辑方程转化成等效整数方程的原理和方法,并对得到的整数方程进行化简,提出了整数方程组的一般求解方法,即吴方法和Grobner基理论。接着给出并完善了一种基于快速多项式乘法的消元法,大大降低了求解的复杂度,最后将基于整数方程的逻辑方程组求解方法应用于故障诊断,并举例验证。
沈春南,马存宝. 基于整数方程的逻辑方程组求解方法研究[J]. 计算机工程与应用, 2015, 51(4): 71-75.
SHEN Chunnan, MA Cunbao. Research on method of solving logic equations based on integer equations[J]. Computer Engineering and Applications, 2015, 51(4): 71-75.