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

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

李文辉, 穆宝良, 郝鑫

符号计算与知识工程教育部开放实验室, 吉林大学计算机科学与技术学院, 长春 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]	史海芳, 李聪, 姬永刚. 序约束下单向分类方差分析模型的Bayes变量选择[J]. 吉林大学学报(理学版), 2021, 59(5): 1093-1100.
[2]	王松华, 夏师, 黎勇. 一类修正Hager-Zhang共轭梯度法的收敛性及其数值实验[J]. 吉林大学学报(理学版), 2021, 59(5): 1107-1116.
[3]	郑明亮. 时间尺度上约束Hamilton系统的Noether对称性和守恒量[J]. 吉林大学学报(理学版), 2021, 59(5): 1267-1271.
[4]	焦冲, 苏科华, 吴博文, 任术波, 辛宁. 一种基于局部平均法向变形的网格参数化方法[J]. 吉林大学学报(理学版), 2021, 59(4): 867-876.
[5]	刘亚妮, 冯进钤, 沈晓娜, 李玉婷, 王迎宵. 双边约束下形状记忆合金梁的混沌运动[J]. 吉林大学学报(理学版), 2021, 59(3): 653-658.
[6]	贺诗涛, 申立勇. 一类参数曲线的积累平均弧长参数化方法[J]. 吉林大学学报(理学版), 2021, 59(2): 286-294.
[7]	刘影, 华志强. 带有约束条件的零一膨胀Poisson回归模型[J]. 吉林大学学报(理学版), 2020, 58(4): 853-858.
[8]	刁新柳, 刘红卫, 赵婷. 一种改进的三维子空间极小化共轭梯度法[J]. 吉林大学学报(理学版), 2020, 58(3): 470-478.
[9]	蔡毛毛, 李占山, 董学阳. 一种笛卡尔积压缩的负表约束上表缩减算法[J]. 吉林大学学报(理学版), 2019, 57(3): 591-597.
[10]	楚王莉, 刘红卫, 刘泽显. 无约束优化的非单调三次正则BB算法[J]. 吉林大学学报(理学版), 2019, 57(06): 1357-1366.
[11]	杜江珊, 李占山. 基于减少检索的负表约束优化算法[J]. 吉林大学学报(理学版), 2018, 56(2): 335-339.
[12]	卢晓宁, 刘红卫, 杨善学, 刘泽显, 刘梅. 带一般约束无导数优化问题的改进信赖域算法[J]. 吉林大学学报(理学版), 2018, 56(2): 273-280.
[13]	林穗华. 一类充分下降共轭梯度法的全局收敛性[J]. 吉林大学学报(理学版), 2017, 55(04): 874-880.
[14]	陈志雨, 王慧君, 胡明, 刘钢. 一种基于Seeds集和成对约束的主动半监督聚类算法[J]. 吉林大学学报(理学版), 2017, 55(03): 664-672.
[15]	黄蔚, 付兴宇, 李占山. Knapsacks约束的弧相容改进算法[J]. 吉林大学学报(理学版), 2017, 55(01): 95-102.