论文部分内容阅读
传统的Ｄｅｌａｕｎａｙ三角划分不适合许多实际的应用，本文提出了三维任意域内点集的Ｄｅｌａｕｎａｙ三角划的概念，研究了其存储性、唯一性的条件以及一个三角划分是ＤＴＡＤ的充要条件，ＤＴＡＤ具有最小角最大以及平均形态比最大的性质，因此它是给定区域和点集的最佳三角划分，本文同时阐述了它的对偶图。
二维任意域内点集的Delaunay三角划分的研究
【摘 要】
：
传统的Ｄｅｌａｕｎａｙ三角划分不适合许多实际的应用，本文提出了三维任意域内点集的Ｄｅｌａｕｎａｙ三角划的概念，研究了其存储性、唯一性的条件以及一个三角划分是ＤＴＡＤ的充要条件，ＤＴＡＤ具有最小角最大以及平均形态比最
【机 构】
：
清华大学计算机科学与技术系ＣＡＤ中心
【出 处】
：
计算机学报
【发表日期】
：
1995年5期
其他文献
本文通过对数型赋予操作解释，将ＬＦ的逻辑定义风格的λＰｒｏｌｏｇ的逻辑程序设计风格融于一体，提出了旨在对定理证明过程进行元级编程的元语言ＴＭＬ及其抽象解释器，然后，利用项推理过程给出了ＴＭＬ元程序
ＯＤＰ系统的企业观点反映了开放分布式系统对象之间的合作关系，本文以模态逻辑为工具来讨论企业观点下ＯＤＰ系统的形式化描述方法，通过在合作的系统对象和模态逻辑的可通界关系之间建立联
等值滤波器、高斯滤波器、多项式样条滤波器和Meeretal滤波器是四种典型的用于产生多分辨率图像锥的低通滤波器．本文分析比较了它们的频域特性：抗混淆性和滤波性，并通过分析比较它们对图像信息损失程度的影响，指出用特性不同的滤波器产生的多分辨率图像锥的质量是不相同的，提出高质量的多分辨率图像锥将更加快速、准确和有效地分割图像．分割图像的实验结果证实了这一结论．
区间逻辑不能模拟自然语言中与，或，非时态关系，其公理系统的完备性不易保证。我们建立的间断区间时态知脚注可以克服区间逻辑的上述缺点，本文给出了间断区间逻辑的语法，语义及公理