传统的高斯消元法无法解决约束不足和约束冲突的问题。而改进后的高斯消元法却能很容易解决这类问题。只要将原始草图中的粗略值定为这些尺寸变量的缺省值并指定优先级,在输入精确值时尺寸变量会按照精确值进行处理,而未输入精确值时尺寸变量会按照缺省值(原始草图中的粗略值)进行处理。

　　而约束冲突时,会出现方程组中的第三种情况。这时根据工程上的不同需要,有两种处理办法:

　　(1)按改进的高斯消元法中的方法删去第三种情况的方程,以消除约束冲突情况;

　　(2)中止处理,提示是由哪个尺寸变量或哪几个约束方程引起的约束冲突,由用户修改。

　　3　结　论

　　用非单调逻辑和超协调逻辑的思想改进高斯消元法,是逻辑思想在代数领域的应用。改进后的高斯消元法时间复杂度与传统的高斯消元法相同,在单调、协调的情形下等价于传统的高斯消元法,具有很好的应用价值。另外,算法中对非单调、超协调情况的处理并不是唯一的,如应用其它非单调逻辑和超协调逻辑的思想,可扩大算法的应用范围。同时,该方法将非单调思想和超协调思想有机地结合在一起,对于研究如何结合当前的非单调逻辑和超协调逻辑构造出新的非单调超协调逻辑有一定的启发意义。

　　参考文献

　　1　武汉大学、山东大学计算数学教研室。计算方法。人民教育出版社, 1979

　　2　D. W. Etherington.　Reasoning with Incomplete Information。Morgan Kaufman, 1988

　　3　林作铨,石纯一。非单调推理十年进展。计算机科学, 17 (6), 1990

　　4　Roos N. A Logic to Reasoning with Inconsistent Knowledge。Artificial Intelligence, 57, 1992