多面体布尔运算中位置关系的判别

多面体布尔运算中需要判别的位置关系有相交关系和内，外，重合关系。由于浮点运算的误差，在某些情况下，得到的这些位置关系可能发生矛盾，从而导致布尔运算的失败。本文先用边面判断法求得各种相交关系，然后用逻辑推理去除它们之间的矛盾，重合关系由协调过的相交关系推导得出，非重合的内外关系用无允差判断直接得到。测试证明本算法可显著提高布尔运算可靠性。