...ntegration, wrappers, constraint reasoning, Heracles, WorldInfo Assistant 1 [gap=196]关键词：信息集成，包装，约束推理，赫拉克勒斯，WorldInfo助理1 ...
基于32个网页-相关网页
assembly constraint reasoning 装配约束推理
temporal constraint reasoning 时态约束推理
geometric constraint reasoning 几何约束推理
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.
采用基于约束驱动的几何推理和自由度计算方法，设计了约束检查策略与算法，解决了过约束与欠约束检查问题。
At last, we discuss the problem of solving implicit constraint by parameter reasoning.
同时对运用参数推理解决隐含约束进行了探讨。
Gradually using geometrical reasoning in whole process provides a kind of valid plan to solve 3-d geometric constraint models practically.
过程中使用的循序渐进的几何推理给实际求解三维几何约束模型提供了一种高效方案。
应用推荐