图形逻辑构造与约束研究

摘要：

针对ICAD中在高层次几何推理及概念设计中图形的逻辑构造及约束问题,根据各种图形表示的依赖因素,通过谓词逻辑,提出了二维、三维图形的逻辑构造和逻辑约束以及图形变换的逻辑构造.通过构图实例说明了所述方法的可行性,作为存储图形的一种方式可方便于图形的几何推理与概念设计.

关键词：ICAD、图形逻辑构造、规则表示、图形几何推理

所属期刊栏目：7

分类号：TPl8

资助基金：国家自然科学基金60173055

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：25-28,31