蓝光软件是一个具有完全独立自主版权的平台级软件，本论文主要是基于此平台进行了对三维实体模型的布尔运算的研究与开发。首先，本文简单介绍了CAD／CAM技术的发展概况，介绍了国际上流行的两种造型内核。阐述了选题背景及研究的意义，并给出了论文的整体结构。其次，概述了主要的几个三维模型的表示法，并对三维实体间的集合运算进行了研究。在对形体的集合运算中，重点研究了形体表面的求交运算，分析了求交过程中所用到的计算几何的问题，如点在空间平面内的判定问题，点在三维形体内的判定问题，平面与平面的判定等问题。以辐射边结构为表示法，定义了形体模型的几何信息和拓扑信息，并通过形体求交、判定分类，最终建立新的数据结构。在布尔运算算法实现的过程中，针对“空间任意点与一个多边形内外关系判断”的方法，提出了对特殊点进行了有效的处理的方法，同时对“检测空间任意点在三维形体内外”算法进行了改进。详细分析了“两个平面是否相交判断”，提出了布尔运算算法的改进，最终实现了两个实体的布尔交、并、差的运算。最后，论文给出了两个形体布尔运算的程序流程图和运行结果，蓝光数字矿山平台软件生成的三维立体图完成了立体显示。实践证明本算法适用于曲面裁剪、数控加工以及实体造型拼合等各种运算中，同时为CAD／CAM一体化程序设计提供了直观，高效的方法。