Indexed by：
Abstract：
针对协同设计中约束求解算法的不足,提出了一种基于约束二叉树进行区间收缩的算法,主要包含从二叉树的叶子到根部的区间正向扩展运算和从二叉树的根部到叶子的区间反向收缩运算的两个过程.基于此算法,开发了约束求解器,对约束进行求解以获得多设计领域约束的公共解区间.这种方法避免了引入中间变量和对约束进行解函数分解,提高了求解效率,并易于实现符号计算的自动化.
Keyword：
Reprint 's Address：
Email：
Version：
Source ：
农业机械学报
ISSN： 1000-1298
CN： 11-1964/S
Year： 2008
Issue： 12
Volume： 39
Page： 183-186,126
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 2
Affiliated Colleges：
