摘要
从新的角度考察了自蕴涵方程的特点，认为自蕴涵方程是一种具有“主观”和“客观”两方面特性的特殊逻辑方程．从这一观点出发提出并证明了求解自蕴涵方程的变形定理、求解定理和推理定理，进一步给出了求解自蕴涵方程的一种十分有效的新方法——辗转相乘法．这种方法把逻辑推理变成了逻辑运算，使得方程中只要有一个变量是已知的。
This paper presents a new method that is a Successive Multiplication Method(SMM) for solving self implication equation in structural modeling.There are subjectivity and objectivity in the self implication equation that is thought by us.Deformation Theorem and Solving Theorem and Reasoning Theorem are given.
出处
《系统工程学报》
CSCD
1997年第2期26-33,共8页
Journal of Systems Engineering
基金
国家自然科学基金
关键词
结构建模
自蕴涵方程
辗转相乘法
解
系统工程
structural modeling,self implication equation,successive multiplication method
