原创力文档- 18
- 0
- 约1.54万字
- 约 4页
- 2017-09-13 发布于河北
- 举报
维普资讯
第29卷 第 11期 计算机工程与设计 2008年 6月
Vo1．29 No．11 ComputerEngineeringandDesign June2008
数值与符号的耦合约束求解模型
陈永府， 黄正东， 陈立平
(华中科技大学CAD中心，湖北 武汉 430074)
摘 要：采用约束关系依赖图(CRDG)表达耦合约束之间的依赖关系，从而建立数值与符号耦合约束模型。提出耦合约束的
求解算法：对CRDG进行最小独立子图分解 ，对存在耦合约束的子图用 “孪生变量法”进行一阶解耦，对没有耦合约束的子图
用传统方法进行独立求解，求解之后再对孪生变量进行等效性验算。该耦合约束模型及其求解算法拓展了传统约束理论 ，
实现了数学求解和推理求解
文档评论（0）