###
DOI:
Journal of Software:2001.12(3):323-328

一种设计分解的正确性证明
袁波,李彦涛,孙家广
(清华大学计算机科学与技术系,北京 100084)
The Correctness Proof of a Decomposing Approach
YUAN Bo,LIYan-tao,SUN Jia-guang
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2497   Download 2501
Received:May 04, 1999    Revised:December 03, 1999
> 中文摘要: 二维变量化设计系统可以用含有n个未知数、m个方程的非线性方程组表示.通过设计分解可以提高几何约束求解的效率和数值稳定性.给出了一种基于图论的设计分解方法及其正确性证明.该方法可以(1)处理结构欠约束系统的分解;(2)检测出冗余约束.分解算法在有限步内终止,其结果是结构相容的
中文关键词: 设计分解  几何约束求解  剪枝  规约
Abstract:Mathematically a 2Dconstrained design system can be modeled by m independent nonlinear equa-tions with n design variables and the design process can be viewed as a process ofsolving a geometric constraintsystem.Design decomposition is a highly effective way to improve a geometric constraint solver to make it effi-cient and robust.This paper reports a graph based decomposing approach and gives the correctness proof oftheapproach:(1)this approach can dealwith the decomposition ofstructurally under-constrained systems,(2)thisapproach can detect structurally over-constrained systems,(3)the approach can terminate within finite numberofsteps,and(4)the solving steps obtained through the decomposing approach are structurally consistent.
文章编号:     中图分类号:    文献标志码:
基金项目:This projecet is suppiorted bny the National Natural Science of Chian under Grant No.69772019(国家自然科学基金) This projecet is suppiorted bny the National Natural Science of Chian under Grant No.69772019(国家自然科学基金)
Foundation items:
Reference text:

袁波,李彦涛,孙家广.一种设计分解的正确性证明.软件学报,2001,12(3):323-328

YUAN Bo,LIYan-tao,SUN Jia-guang.The Correctness Proof of a Decomposing Approach.Journal of Software,2001,12(3):323-328