Geometric reasoning is introduced into product design systems.
将几何推理方法引入产品建模系统。
PADS is a parametric design system based on geometric reasoning.
PADS是一个基于几何推理的参数化设计系统。
Based on geometric reasoning, PADS supports effectively dimension-driven parametric modification of a given design.
系统的参数变动处理通过局部的几何推理，将尺寸变动后的重新计算限制在局部范围；
A new theory called default geometric reasoning is put forward, and the corresponding solid reconstruction algorithm is studied.
提出了实体几何缺席推理理论，研究了相应的三维实体重构算法，并进行了实例验证。
Qualitative spatial reasoning researches representation and processing of human's qualitative cognition for spatial objects and their relations in geometric space.
定性空间推理研究的是人类对几何空间中空间对象及其关系定性认知常识的表示与处理。
Based on these unified representations, this paper gives a succinct method to obtain positional relations between geometric elements, and a group of complete reasoning rules to make them consistent.
基于这种统一的表示，本文给出了简洁的几何元素位置关系的判断方法以及获得一致性的完备推理规则。
Use visualization, spatial reasoning, and geometric modeling to solve problems.
使用视觉，空间推理，几何模型解决问题。
Gradually using geometrical reasoning in whole process provides a kind of valid plan to solve 3-d geometric constraint models practically.
过程中使用的循序渐进的几何推理给实际求解三维几何约束模型提供了一种高效方案。
This thesis presents the design and implementation of a geometric-object-oriented language for symbolic geometric computation, reasoning, and visualization.
本学位论文主要介绍一种用于符号几何计算、几何推理以及视化几何对象的面向几何对象语言的设计与实施。
This thesis presents the design and implementation of a geometric-object-oriented language for symbolic geometric computation, reasoning, and visualization.
本学位论文主要介绍一种用于符号几何计算、几何推理以及视化几何对象的面向几何对象语言的设计与实施。
应用推荐