协同设计中基于解空间的约束求解技术

摘要：

针对协同设计中约束求解算法的不足,提出了一种基于约束二叉树进行区间收缩的算法,主要包含从二叉树的叶子到根部的区间正向扩展运算和从二叉树的根部到叶子的区间反向收缩运算的两个过程.基于此算法,开发了约束求解器,对约束进行求解以获得多设计领域约束的公共解区间.这种方法避免了引入中间变量和对约束进行解函数分解,提高了求解效率,并易于实现符号计算的自动化.

关键词：协同设计、约束求解、多学科设计、区间算法、冲突检测

所属期刊栏目：39

分类号：TH112;TP391

资助基金：国家自然科学基金50875049;福建省教育厅科技项目JB07037;福州大学科技发展基金2006-xq-13

在线出版日期：2009-02-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：183-186,126