- 结构建模中自蕴涵方程求解的新方法??辗转相乘法
- 点击次数：
- 论文类型： 期刊论文
- 发表时间： 1997-01-01
- 发表刊物： 系统工程学报
- 收录刊物： CSCD
- 卷号： 12
- 期号： 2
- 页面范围： 26
- ISSN号： 1000-5781
- 关键字： 结构建模; 自蕴涵方程; 辗转相乘法
- 摘要： 从新的角度考察了自蕴涵方程的特点，认为自蕴涵方程是一种具有“主观”和“客观”两方面特性的特殊逻辑方程．从这一观点出发提出并证明了求解自蕴涵方程的变形定理、求解定理和推理定理，进一步给出了求解自蕴涵方程的一种十分有效的新方法——辗转相乘法．这种方法把逻辑推理变成了逻辑运算，使得方程中只要有一个变量是已知的，就可以求出所有其他的未知变量
