基于整数方程的逻辑方程组求解方法研究
Research on method of solving logic equations based on integer equations作者机构：西北工业大学航空学院西安710072
出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)
年 卷 期：2015年第51卷第4期
页 面：71-75页
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
摘 要：为快速有效地求解大量逻辑方程组,根据逻辑运算的特点详细阐述了将逻辑方程转化成等效整数方程的原理和方法,并对得到的整数方程进行化简,提出了整数方程组的一般求解方法,即吴方法和Grobner基理论。接着给出并完善了一种基于快速多项式乘法的消元法,大大降低了求解的复杂度,最后将基于整数方程的逻辑方程组求解方法应用于故障诊断,并举例验证。
维普期刊数据库
同方期刊数据库