基于自由度分析几何约束求解方法中过约束和欠约束的处理

基于自由度分析几何约束求解方法中过约束和欠约束的处理

李文辉, 穆宝良, 郝鑫

符号计算与知识工程教育部开放实验室, 吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2002-06-05 修回日期:1900-01-01 出版日期:2003-01-26 发布日期:2003-01-26
通讯作者: 李文辉

Solution of Over-constraint and Under-constraint Problems Based on the Method of Geometric Constraint Freedom Analysis

LI Wen-hui, MU Bao-liang, HAO Xin

Symbol Computation and Knowledge Engineering Open Laboratory of Education Ministry of State,College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2002-06-05 Revised:1900-01-01 Online:2003-01-26 Published:2003-01-26
Contact: LI Wen-hui

摘要/Abstract

摘要： 在自由度分析方法的基础上使用依赖图，解决了约束求解过程中的过约束和欠约束的处理问题. 依赖图中保留了求解问题中变量间的依赖信息. 当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息，由用户进行处理.

关键词: 约束, 约束求解, 过约束, 欠约束

Abstract: The problems of over-constraint and under-constraint have been solved by using dependency graph based on the freedom analysis method. The dependency graph contains the dependency information between the variables in the solving problem. When the system detects contradictory overconstraint or underconstraint, it will show some message to the user, so that the user can deal with it.

Key words: constraint, constraint satisfaction, over-constraint, under-constraint

中图分类号:

TP302

李文辉, 穆宝良, 郝鑫. 基于自由度分析几何约束求解方法中过约束和欠约束的处理[J]. J4, 2003, 41(01): 59-63.

LI Wen-hui, MU Bao-liang, HAO Xin. Solution of Over-constraint and Under-constraint Problems Based on the Method of Geometric Constraint Freedom Analysis[J]. J4, 2003, 41(01): 59-63.

[1]	袁一丹, 惠小静, 王前. 基于直觉相似度的反向三I算法的鲁棒性[J]. 吉林大学学报(理学版), 2025, 63(2): 391-0398.
[2]	卢禹博, 叶育鑫, 欧阳丹彤. 地理链接数据的空间拓扑完整性验证[J]. 吉林大学学报(理学版), 2025, 63(1): 60-0066.
[3]	夏艳, 李远飞, 王松华, 李丹丹. 凸约束方程组的新型无导数算法及在信号重构中的应用[J]. 吉林大学学报(理学版), 2024, 62(6): 1345-1351.
[4]	王宏志, 张金栋, 胡黄水, 谢沛松. 基于感知Hash和极线约束的改进AKAZE算法[J]. 吉林大学学报(理学版), 2022, 60(3): 647-654.
[5]	黄元元, 杨颖珂. 几种混合型共轭梯度法的数值性能[J]. 吉林大学学报(理学版), 2022, 60(2): 247-252.
[6]	史海芳, 李聪, 姬永刚. 序约束下单向分类方差分析模型的Bayes变量选择[J]. 吉林大学学报(理学版), 2021, 59(5): 1093-1100.
[7]	王松华, 夏师, 黎勇. 一类修正Hager-Zhang共轭梯度法的收敛性及其数值实验[J]. 吉林大学学报(理学版), 2021, 59(5): 1107-1116.
[8]	郑明亮. 时间尺度上约束Hamilton系统的Noether对称性和守恒量[J]. 吉林大学学报(理学版), 2021, 59(5): 1267-1271.
[9]	焦冲, 苏科华, 吴博文, 任术波, 辛宁. 一种基于局部平均法向变形的网格参数化方法[J]. 吉林大学学报(理学版), 2021, 59(4): 867-876.
[10]	刘亚妮, 冯进钤, 沈晓娜, 李玉婷, 王迎宵. 双边约束下形状记忆合金梁的混沌运动[J]. 吉林大学学报(理学版), 2021, 59(3): 653-658.
[11]	贺诗涛, 申立勇. 一类参数曲线的积累平均弧长参数化方法[J]. 吉林大学学报(理学版), 2021, 59(2): 286-294.
[12]	刘影, 华志强. 带有约束条件的零一膨胀Poisson回归模型[J]. 吉林大学学报(理学版), 2020, 58(4): 853-858.
[13]	刁新柳, 刘红卫, 赵婷. 一种改进的三维子空间极小化共轭梯度法[J]. 吉林大学学报(理学版), 2020, 58(3): 470-478.
[14]	蔡毛毛, 李占山, 董学阳. 一种笛卡尔积压缩的负表约束上表缩减算法[J]. 吉林大学学报(理学版), 2019, 57(3): 591-597.
[15]	楚王莉, 刘红卫, 刘泽显. 无约束优化的非单调三次正则BB算法[J]. 吉林大学学报(理学版), 2019, 57(06): 1357-1366.