吉林大学学报(理学版)
吉林大學學報(理學版)
길림대학학보(이학판)
JOURNAL OF JILIN UNIVERSITY(SCIENCE EDITION)
2003年
1期
59-63
,共5页
约束%约束求解%过约束%欠约束
約束%約束求解%過約束%欠約束
약속%약속구해%과약속%흠약속
在自由度分析方法的基础上使用依赖图, 解决了约束求解过程中的过约束和欠约束的处理问题. 依赖图中保留了求解问题中变量间的依赖信息. 当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息, 由用户进行处理.
在自由度分析方法的基礎上使用依賴圖, 解決瞭約束求解過程中的過約束和欠約束的處理問題. 依賴圖中保留瞭求解問題中變量間的依賴信息. 噹繫統髮現矛盾的過約束時或欠約束時會給使用者顯示提示信息, 由用戶進行處理.
재자유도분석방법적기출상사용의뢰도, 해결료약속구해과정중적과약속화흠약속적처리문제. 의뢰도중보류료구해문제중변량간적의뢰신식. 당계통발현모순적과약속시혹흠약속시회급사용자현시제시신식, 유용호진행처리.