一种设计分解的正确性证明
二维变量化设计系统可以用含有n个未知数、m个方程的非线性方程组表示.通过设计分解可以提高几何约束求解的效率和数值稳定性.给出了一种基于图论的设计分解方法及其正确性证明.该方法可以(1)处理结构欠约束系统的分解;(2)检测出冗余约束.分解算法在有限步内终止,其结果是结构相容的
设计分解、几何约束求解、剪枝、规约
12
TP391(计算技术、计算机技术)
国家自然科学基金69772019
2004-01-08(万方平台首次上网日期,不代表论文的发表时间)
共6页
323-328