计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
11期
2806-2808,2837
,共4页
约束满足问题%约束模型%数值与符号耦合约束%约束求解%解耦
約束滿足問題%約束模型%數值與符號耦閤約束%約束求解%解耦
약속만족문제%약속모형%수치여부호우합약속%약속구해%해우
采用约束关系依赖图(CRDG)表达耦合约束之间的依赖关系,从而建立数值与符号耦合约束模型.提出耦合约束的求解算法:对CRDG进行最小独立子图分解,对存在耦合约束的子图用"孪生变量法"进行一阶解耦,对没有耦合约束的子图用传统方法进行独立求解,求解之后再对孪生变量进行等效性验算.该耦合约束模型及其求解算法拓展了传统约束理论,实现了教学求解和推理求解有机地结合.
採用約束關繫依賴圖(CRDG)錶達耦閤約束之間的依賴關繫,從而建立數值與符號耦閤約束模型.提齣耦閤約束的求解算法:對CRDG進行最小獨立子圖分解,對存在耦閤約束的子圖用"孿生變量法"進行一階解耦,對沒有耦閤約束的子圖用傳統方法進行獨立求解,求解之後再對孿生變量進行等效性驗算.該耦閤約束模型及其求解算法拓展瞭傳統約束理論,實現瞭教學求解和推理求解有機地結閤.
채용약속관계의뢰도(CRDG)표체우합약속지간적의뢰관계,종이건립수치여부호우합약속모형.제출우합약속적구해산법:대CRDG진행최소독립자도분해,대존재우합약속적자도용"련생변량법"진행일계해우,대몰유우합약속적자도용전통방법진행독립구해,구해지후재대련생변량진행등효성험산.해우합약속모형급기구해산법탁전료전통약속이론,실현료교학구해화추리구해유궤지결합.