参数化模型欠过和完整约束的判定算法.pdf

1000-9825/2003/14(12)2092 ©2003 Journal of Software 软 件 学 报 Vol.14, No.12 ∗ 参数化模型欠、过和完整约束的判定算法 1,2+ 2 2,3 蒋 鲲 , 高小山 , 岳晶岩 1(黑龙江大学 理学院,黑龙江 哈尔滨 150080) 2( 中国科学院 数学机械化重点实验室,北京 100080) 3(吉林大学 数学所,吉林 长春 130012) A Decision Method for Under-, Over- and Well-Constrainess of Parametric Model 1,2+ 2 2,3 JIANG Kun , GAO Xiao-Shan