快速成形(Rapid Prototyping,RP)是指根据计算机辅助设计或者反求工程(Reverse Engineering)获得的数据直接自动制作实体的技术。软件处理是整个快速成形体系的核心,但是在软件方面我国与国际领先水平相比还存在一定的差距,特别是STL模型布尔运算算法的时间复杂度和稳定性两个方面存在巨大差距。作者在前人研究成果的基础上,为进一步完善和提高快速成形软件的技术水平,对解决这一难点问题进行了一系列的研究。STL模型布尔运算求交时,直接对两个模型的三角面片进行相交性测试,会遇到严重的算法效率问题。本文通过空间离散的方法快速找到包含相交面片对集合的一个较小子集,因而大大降低了计算面片相交的次数,将求交的时间复杂度显著降低,对数十万面片的复杂实体,本优化算法求交速度比前人的实现提高数万倍以上,达到与全球著名的STL编辑处理平台Magics RP的相当的水平。算法的稳定性主要体现在如何保证正确的根据交线段记录提取交线链和交线环这一环节上,这是正确地进行相交三角面片区域提取的前提。以往的算法主要是基于容差法进行提取,由于三角面片数目过大和求交运算的浮点数误差等因素导致出错率非常高。本文提出了一种六元组的数据结构来记录交线段,该数据结构记录了交线段的拓扑关系并依赖Power RP平台进行提取达到了理想的效果。