Hits:
Indexed by:期刊论文
Date of Publication:1997-01-01
Journal:系统工程学报
Included Journals:CSCD
Volume:12
Issue:2
Page Number:26
ISSN No.:1000-5781
Key Words:结构建模; 自蕴涵方程; 辗转相乘法
Abstract:从新的角度考察了自蕴涵方程的特点,认为自蕴涵方程是一种具有“主观”和“客观”两方面特性的特殊逻辑方程.从这一观点出发提出并证明了求解自蕴涵方程的变形定理、求解定理和推理定理,进一步给出了求解自蕴涵方程的一种十分有效的新方法——辗转相乘法.这种方法把逻辑推理变成了逻辑运算,使得方程中只要有一个变量是已知的,就可以求出所有其他的未知变量