19,469
社区成员
发帖
与我相关
我的任务
分享讨论 几何约束求解（二维约束、三维约束）
csdn好几天不涨分了。散分！
这里有人做几何约束求解的吗？我最近在作基于图论的求解方法。目前已经差不多做完了，还差几个尺寸、一些复杂约束，以及其它一些收尾工作。以前做过一个数值求解的。
大家讨论一下。
目前的求解方法有：
1、数值法。这是最传统的。算法具有普遍性，但是解的稳定性不好，收敛性也有问题。
2、基于规则的推理方法。就好像初中的时候作平面几何的证明题那样。比较难以实现。有点像自动推理机。
3、符号代数。就是maple, mathematica 那种符号推导求解。很强，能够得到所有的解。但是时间复杂度很成问题。
4、用图论等方法对约束系统进行分解。形成可以独立求解的子系统。子系统的求解方法可以用数值法、推理法、符号代数等。因为子系统的规模往往比较小，所以容易实施实际的计算。除了图论方法可以实施分解之外，还有归约剪枝。但是归约剪枝普适性不好，并且不能很好的对前约束进行处理，使得欠约束能稳定求解。图论方法就比较好。图论方法进行分解之后可以很好的实施前约束的补全。这里有一个简介 http://www.alphasun.org/alphasun/techarticle/geomconstraints/index.htm
欢迎踊跃讨论。
这里有人做几何约束求解的吗？我最近在作基于图论的求解方法。目前已经差不多做完了，还差几个尺寸、一些复杂约束，以及其它一些收尾工作。以前做过一个数值求解的。
大家讨论一下。
目前的求解方法有：
1、数值法。这是最传统的。算法具有普遍性，但是解的稳定性不好，收敛性也有问题。
2、基于规则的推理方法。就好像初中的时候作平面几何的证明题那样。比较难以实现。有点像自动推理机。
3、符号代数。就是maple, mathematica 那种符号推导求解。很强，能够得到所有的解。但是时间复杂度很成问题。
4、用图论等方法对约束系统进行分解。形成可以独立求解的子系统。子系统的求解方法可以用数值法、推理法、符号代数等。因为子系统的规模往往比较小，所以容易实施实际的计算。除了图论方法可以实施分解之外，还有归约剪枝。但是归约剪枝普适性不好，并且不能很好的对前约束进行处理，使得欠约束能稳定求解。图论方法就比较好。图论方法进行分解之后可以很好的实施前约束的补全。这里有一个简介 http://www.alphasun.org/alphasun/techarticle/geomconstraints/index.htm
欢迎踊跃讨论。
...全文
请发表友善的回复…
发表回复
alphapaopao 2005-09-11
- 打赏
- 举报
是变量化。参数化使用户确定参量的数值。变量化是用户通过方程、约束来间接确定参量数值。
qybao 2005-09-10
- 打赏
- 举报
果然专业，长见识
farland 2005-09-10
- 打赏
- 举报
是参数化CAD吗？
syy64 2005-09-08
- 打赏
- 举报
关注一下
alphapaopao 2005-09-07
- 打赏
- 举报
up
快乐鹦鹉 2005-08-31
- 打赏
- 举报
没有接触。顶！
djfu 2005-08-31
- 打赏
- 举报
关注。
saliors 2005-08-31
- 打赏
- 举报
太专业了，没有接触过。
thisisll 2005-08-31
- 打赏
- 举报
学习顺便蹭分
