| 图形逻辑构造与约束研究 |
| |
| 引用本文： | 胡立坤,孙立镌,宋双柱.图形逻辑构造与约束研究[J].哈尔滨理工大学学报,2002,7(2):25-28,31. |
| |
| 作者姓名： | 胡立坤 孙立镌 宋双柱 |
| |
| 作者单位： | 哈尔滨理工大学计算机与控制学院,黑龙江,哈尔滨,150080 |
| |
| 基金项目： | 国家自然科学基金(60173055) |
| |
| 摘 要： | 针对ICAD中在高层次几何推理及概念设计中图形的逻辑构造约束问题，根据各种图形表示的依赖因素，通过对谓词逻辑，提出了二维，三维图形的逻辑构造和逻辑约束以及图形变换的逻辑构造，通过构图实例说明了所述方法的可行性，作为存储图形的一种方式可以方便于图形的几何推与与概念设计。
|
| 关 键 词： | ICAD 逻辑构造 规则表示 图形几何推理 概念设计 逻辑约束 二维图形 三维图形 |
| 文章编号： | 1007-2683(2002)02-0025-04 |
Research on Graphic Logic Construction and Constraint |
| |
| HU Li-kun,SUN Li-quan,SONG Shuang-zhu.Research on Graphic Logic Construction and Constraint[J].Journal of Harbin University of Science and Technology,2002,7(2):25-28,31. |
| |
| Authors: | HU Li-kun SUN Li-quan SONG Shuang-zhu |
| |
| Abstract: | Graphic logic construction and constraint in high-level geometry reasoning and conceptual design in ICAD, which are very important, is. ignored. 2D and 3D graphic logic construction is presented as well as graphic transformation logic and logic constraints. An instance is given to explain graphic logic construction. The method in the paper can be regarded as another form of graphic representation, which is convenient for geometry reasoning and conceptual design. |
| |
| Keywords: | ICAD graphic logic construction rule representation geometry reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
