基于半边结构的二流形正则三角网格实体布尔运算.pdfVIP

计算几何大实验报告 基于半边结构的二流形正则三角网格实体布尔运算 2012212888 赵鸿泽 2012212858 钱康来 2012212864 程显昱 项目概述 利用布尔运算可以将一些简单的形体构造出复杂的三维形体。 本学期计算几何大实验，小组采用半边结构，对三维的三角网格模型文件 （.OBJ 类型文件）进行读取和拓扑重建，利用计算几何中讲到的面面求交、线 面求交、线线求交、三角剖分、包含测试、点定位等，实现二流形正则实体的 布尔运算（交、并、差），以及分步演示。 实验环境 本地操作系统：Windows 8 / Windows 7 64-bit 编辑软件：Visual Studio 2012 本地编译器：Visual Studio 2012 CPU ：Intel(R) Core(TM) i5-2320 CPU @ 3.00GHz (4 CPUs), ~3.2GHz 内存：8.00GB RAM 测试模式：Release 布尔运算 布尔是英国的数学家，在1847 年发明了处理二值之间关系的逻辑数学计算 法，包括联合、相交、相减。在图形处理操作中引用了这种逻辑运算方法以使 简单的基本图形组合产生新的形体。并由二维布尔运算发展到三维图形的布尔 运算。[3] 三维形体的布尔运算通过对两个以上的物体进行并集、差集、交集的运 算，从而得到新的形体。系统提供了3 种布尔运算方式：Union （并A ∪B ）、 Intersection （交，A ∩B ）和Subtraction （差，A-B ）。 本次大实验系统中，形体A 和B 在进行布尔运算后形成新的形体A ，可以 加入新的形体B ，继续参与布尔运算得到新的形体。可以选择不同的运算方式 直接得到布尔运算结果，也可以选择分步演示。通过选择不同的选项修改图形 的显示内容和效果，方便观察和调试。 1 流行和正则实体简介 流形(manifold) 是数学中的术语，由于其严格定义所需预备知识较多且较为 抽象，下面仅直观地介绍必要的概念。更严密、更系统的介绍可参考书籍[1]或 [2]等。 直观地说，流形是局部具欧氏空间性质的空间。更形式化地说，n-流形(n- manifold) 是一个局部同胚于欧氏空间Rn 的拓扑空间，即其中任一一点都有一 n 个邻域，该邻域能够被一个连续双射（逆也连续）映射到R 。 举例而言，圆是1-流形的，而图1(b)不是；立方体的表面是2-流形的，而 图1(d) 的表面不是。 图 1: 流形与非流形示例。点A 处无法找到与R1 同胚的邻域；点B 和线段CD 处无法找 到与R2 同胚的邻域。 以可定向的2-流形为边界的形体表示是一类常见的表示方法，具有很多好 的性质，如易于理解、表示效率高、操作效率好、数据结构紧致、算法简单。 为解决运算封闭性的问题，英国人Requicha 提出了正则集合运算 (regularized set operation)[4] ，正则集合(regular set) 的在此运算下封闭。正则集 合是这样一个集合，它等于它内部(interior)的闭包(closure) 。正则集合运算首先 对正则集合完成标准的布尔运算，然后对结果进行正则化(regularization) 。直观 而言，正则化的过程是“去掉边界”再“补上边界”的过程。对于三维正则形 体，此过程将丢弃悬边、悬面和孤立点。 需要注意，正则和流形是两个不同的概念，而且三维正则形体的边界也不 一定是2-流形的，如图2 所示。图中两个立方体共边，其边界在该边处不是2- 2 流形的。但是，此形体内部的闭包与此形体相等，因而此形体是正则形体。此 形体可通过两个立方体求并得到。