将几何推理方法引入产品建模系统。
Geometric reasoning is introduced into product design systems.
PADS是一个基于几何推理的参数化设计系统。
PADS is a parametric design system based on geometric reasoning.
智能几何教学软件都使用基于前推法的几何推理系统作为推理引擎。
The automated geometry reasoning system based-on forward chaining is used as the reasoning engine in the intelligent geometry teaching system.
系统的参数变动处理通过局部的几何推理，将尺寸变动后的重新计算限制在局部范围；
Based on geometric reasoning, PADS supports effectively dimension-driven parametric modification of a given design.
过程中使用的循序渐进的几何推理给实际求解三维几何约束模型提供了一种高效方案。
Gradually using geometrical reasoning in whole process provides a kind of valid plan to solve 3-d geometric constraint models practically.
为达到此目的，海关关员必须进行几何推理式的查问，在前一个问题的基础上问下一个问题。
For this purpose, the Customs officer must develop geometric questioning, asking questions in such a manner that build one upon the other.
本学位论文主要介绍一种用于符号几何计算、几何推理以及视化几何对象的面向几何对象语言的设计与实施。
This thesis presents the design and implementation of a geometric-object-oriented language for symbolic geometric computation, reasoning, and visualization.
采用基于约束驱动的几何推理和自由度计算方法，设计了约束检查策略与算法，解决了过约束与欠约束检查问题。
This paper introduces a method which uses geometry reasoning & degrees of freedom calculating based on constraint driven to solve the problem of checking over constraint & under constraint.
利用产品功能结构树和零部件的信息，采用基于装配关系图分割的几何推理和基于规则的知识推理的方法来简化工艺子装配体的识别，以此生成装配结构树。
Meanwhile, based on the information of the function structural tree and its parts of the production, the sub-assembly was judged by dividing the assembly relation graph and matching the rule.
看起来毕达哥拉斯的定理，似乎来自于欧几里德的三角形理论，从欧几里德几何学的发现中可以简单地推理出来。
It seems that the proof of Pythagoras's theorem comes pretty much from just consulting the ideas of Euclidean triangle, the exhume of Euclidean geometry and simply doing inferences from those.
图为“空间填充块，”这要求访问者在空间推理，或“依赖心理几何”，以堆叠的红色块系列所以没有浪费的空间。
Pictured is "Space-Filling blocks," which requires visitors to rely on spatial reasoning, or "mental geometry," to stack a series of red blocks so there's no wasted space.
探讨几何画板探索性学习中实验归纳和演绎推理的平衡与统一。
This paper discussed the balance and unification of the experiment Induction and deductive reasoning in explore study of the Geometry's Sketchpad.
基于这种统一的表示，本文给出了简洁的几何元素位置关系的判断方法以及获得一致性的完备推理规则。
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.
定性空间推理研究的是人类对几何空间中空间对象及其关系定性认知常识的表示与处理。
Qualitative spatial reasoning researches representation and processing of human's qualitative cognition for spatial objects and their relations in geometric space.
使用视觉，空间推理，几何模型解决问题。
Use visualization, spatial reasoning, and geometric modeling to solve problems.
由于规则推理比几何计算速度快、内存消耗小，因此推理能够提高基于空间关系的空间数据查询的速度和效率。
Since rules inferring is faster than geometry computation and requires little time, the rules are of help to improve efficiency of querying spatial data.
提出了实体几何缺席推理理论，研究了相应的三维实体重构算法，并进行了实例验证。
A new theory called default geometric reasoning is put forward, and the corresponding solid reconstruction algorithm is studied.
定性空间推理研究人类对几何空间中的空间对象及其关系定性认知常识的表示与处理。
Qualitative spatial reasoning researches the expressing and processing of human cognition of geometry spatial objects and their relations.
计算力学是一个全新的理论框架，主要研究动力学系统中的几何状态空间如何支持符号推理计算。
Computational mechanics is a new theory frame to analyze how geometric state space structures support computation in dynamics systems.
实验结果表明，对较复杂的几何问题来说，采用这种方法可以显著提高推理效率。
The experimental results show that the proposed method can improve reasoning efficiency in evidence, especially in the solution of some complex elementary geometry problems.
几何自动推理的DM-分解算法是一个基于偶图DM -分解的几何自动推理方法。
The DM-decomposition algorithm is an automated geometric deduction method based on the DM - decomposition of bigraphs.
提出了一种新的几何约束推理求解算法。
目前，几何自动推理的主要方法有：基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。
Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.
在几何自动推理问题的表示偶图中对应每一个几何体都会有多于一个的结点与之对应。
In the representing bigraph of automated geometric deduction, every rigid owns at least one knot.
在几何自动推理问题的表示偶图中对应每一个几何体都会有多于一个的结点与之对应。
In the representing bigraph of automated geometric deduction, every rigid owns at least one knot.
应用推荐