×

二次约束上的约束传播。 (英语) Zbl 1208.68200元

摘要:本文研究由线性和二次约束构成的连续约束满足问题的约束传播方法。对任意代数约束进行适当的预处理后,所有的方法都可以应用。基本的新技术包括从一个二次约束中消除双线性项,并通过一系列一元二次问题来解决由此产生的可分离二次约束。注意确保所有方法都能正确考虑计算中的舍入误差。各种测试和实例说明了该方法的优越性。

理学硕士:

68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
90度C20 二次规划
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

参考文献:

[1] 安德森,E.D.和安德森,K.D.(1995年)。线性规划中的预划分。数学规划,71221-245。
[2] Apt,K.R.(1999年)。约束传播的本质。理论计算机科学,221(1),179-210·Zbl 0930.68164
[3] Babichev,A.B.,Kadyrova,O.B.,Kashevarova,T.P.,Leshchenko,A.S.,和Semenov,A.L.(1993年)。UniCalc,一种求解代数方程组的新方法。区间计算,3,29–47·Zbl 0829.65067
[4] 本哈莫,F.(1996年)。异构约束求解。在M.Hanus和M.Rodríguez Artalejo(编辑),《96年阿尔卑斯山会议录》,第五届代数和逻辑程序设计国际会议。计算机科学课堂讲稿(1139卷,第62-76页)。亚琛:斯普林格·Zbl 1355.68030
[5] Benhamou,F.,Goulard,F.,Granvilliers,L.和Puget,J.F.(1999年)。修改船体和箱体的一致性。国际逻辑程序设计会议(第230-244页)。citeeser.ist.psu.edu/benhamou99修订。html。
[6] Benhamou,F.,Granvilliers,L.和Goualard,F.(1999年)。区间约束:结果和视角。在约束的新趋势(第1-16页)。citeeser.ist.psu.edu/benhamou99interval。html。
[7] Benhamou,F.,McAllister,D.和Van Hentenryck,P.(1994年)。再次访问CLP(间隔)。进行中。逻辑程序设计国际研讨会(第124-138页)。剑桥:麻省理工学院。
[8] Benhamou,F.和Older,W.J.(1997年)。将区间运算应用于实数、整数和布尔约束。逻辑编程杂志,32,1-24·Zbl 0882.68032
[9] Bliek,C.,Spelucci,P.,Vicente,L.N.,Neumaier,A.,Granvilliers,L.,Monfro,E.等人(2000年)。求解非线性约束优化问题的算法:最新进展。http://www.mat.univie.ac.at/\(\sim\)neum/ms/启动。pdf格式。
[10] Ceberio,M.和Granvilliers,L.(2000年)。用约束反演和区间算法求解非线性系统。AISC(第127-141页)。http://link.springer.de/link/service/series/0558/bibs/1930/19300127.htm . ·Zbl 1042.68127号
[11] Chen,H.M.和van Emden,M.H.(1995年)。在Moore-Skelboe全局优化算法中添加区间约束。在V.Kreinovich(编辑),国际区间计算应用研讨会APIC'95的扩展摘要(第54-57页)。
[12] 克利里,J.G.(1987年)。逻辑算术。未来计算系统,22125-149。
[13] Cruz,J.和Barahona,P.(2005年)。深层生物医学模型中的约束推理。医学人工智能杂志,34,77-88。http://ssdi.di.fct.unl.pt/\(\sim\)pb/papers/ludi\u约束。pdf格式·Zbl 05390720
[14] Dallwig,S.,Neumaier,A.和Schichl,H.(1997年)。GLOPT–一个约束全局优化程序(第19-36页)。多德雷赫特:克鲁瓦·邮政编码:0886.90119
[15] Dallwig,S.,Neumaier,A.和Schichl,H.(1997年)。GLOPT–一个约束全局优化程序。在I.Bomze等人(编辑)中,《全局优化的发展》(第19-36页)。多德雷赫特:克鲁瓦·邮政编码:0886.90119
[16] Daney,D.,Grandon,C.和Papegay,Y.(2006年)。结合CP法和区间法求解不确定条件下并联机器人的直接运动学问题。在IntCP 06车间。ftp://ftp-sop.inria.fr/coprin/daney/articles/intcp06.pdf .
[17] Dimitrova,N.S.和Markov,S.M.(1981年)。根据时间间隔算法,我们可以使用不同的算法。弗莱堡大学,81岁,1-22岁。
[18] Domes,F.(2009年)。GloptLab–二次约束满足问题的严格全局解决方案的可配置框架。优化方法和软件,24(4&5),727-747。http://www.mat.univie.ac.at/\(\sim\)dferi/publ/Gloptlab。pdf格式·Zbl 1180.90217
[19] Domes,F.和Neumaier,A.(2009年)。有向Cholesky因式分解及其应用。http://www.mat.univie.ac.at/\(\sim\)dferi/publ/Cholesky。pdf格式·Zbl 1242.90152号
[20] Domes,F.和Neumaier,A.(2009年)。二次约束满足问题的线性方法。http://www.mat.univie.ac.at/\(\sim\)dferi/publ/·Zbl 1151.90549
[21] Granvilliers,L.和Benhamou,F.(2006年)。Realpaver:一个使用约束满足技术的区间解算器。数学软件ACM交易,32,38–156。http://www.sciences.univ-nantes.fr/info/perso/permanents/granvil/realpaver/ . ·Zbl 1346.65020
[22] 哈格,G.D.(1993年)。求解大型非线性约束系统及其在数据建模中的应用。区间计算,3169-200·Zbl 0829.65007
[23] Hansen,R.E.和Walster,W.G.(2002年)。区间多项式根的锐界。可靠计算,8115–122·Zbl 0994.65053
[24] Hyvönen,E.和De Pascale,S.(1996年)。电子表格上的间隔计算。R.B.Kearfott和V.Kreinovich(编辑),《区间计算的应用》(第169-209页)。多德雷赫特:克鲁瓦·Zbl 0841.65032
[25] Jaulin,L.(2000年)。区间约束传播及其在有界误差估计中的应用。Automatica,361547-1552年。https://www.ensieta.fr/e3i2/Jaulin/hull.pdf . ·Zbl 0959.93501
[26] Jaulin,L.(2006年)。水下机器人同时定位和地图生成的区间约束传播技术。http://www.mat.univie.ac.at/\(\sim\)neum/glopt/gicolag/talks/jaulin。pdf格式。
[27] Jaulin,L.,Kieffer,M.,Braems,I.和Walter,E.(1999年)。在集合上使用约束传播的保证非线性估计。国际控制杂志,741772-1782。https://www.ensieta.fr/e3i2/Jaulin/observer.pdf . ·Zbl 1023.93020
[28] Jermann,C.,Lebbah,Y.和Sam Haroud,D.(2007年)。区间分析,约束传播及其应用。在F.Benhamou,N.Jussien和B.O'Sullivan(编辑),《约束编程的趋势》(第4章,第223-259页)。伊斯特。
[29] Kearfott,R.B.(1991年)。分解算术表达式以改善非线性系统的区间迭代行为。计算机,47169-191·Zbl 0739.65049
[30] Krippahl,L.和Barahona,P.(2002年)。用约束规划和优化求解蛋白质结构。约束,7317–331。http://ssdi.di.fct.unl.pt/\(\sim\)pb/papers/ludi\u约束。pdf格式·Zbl 1028.68026
[31] Lebbah,Y.(2003年)。iCOs–间隔约束解算器。http://ylebbah.googlepages.com/icos .
[32] Lebbah,Y.,Michel,C.和Rueher,M.(2005年)。二次约束的严格全局滤波算法。限制,10,47–65。http://ylebbah.googlepages.com/research . ·Zbl 1066.90090
[33] Lodwick,A.W.(1989年)。约束传播,人工智能系统中的关系算法和数学程序。《运筹学年鉴》,21143-148·Zbl 0705.90056
[34] 梅雷特,J-P。(2004年)。用区间分析法求解Gough型并联机器人运动学正解。国际机器人研究杂志,23,221–235。http://www-sop.inria.fr/coprin/equipe/merlet/Papers/IJRR2004.pdf . ·中银05422373
[35] Neumaier,A.(1990年)。方程组的区间方法。数学及其应用百科全书(第37卷)。剑桥:剑桥大学出版社·Zbl 0715.65030
[36] Neumaier,A.(2003年)。包含多项式零点的簇。计算与应用数学杂志,156389-401·Zbl 1029.65050
[37] Neumaier,A.(2004年)。连续全局优化和约束满足的完全搜索。《数字学报》,1004271-369·Zbl 1113.90124
[38] Older,W.和Vellino,A.(1993年)。实区间上的约束算法。在F.Benhameou和A.Colmerauer(编辑),《约束逻辑编程:精选研究》。剑桥:麻省理工学院。
[39] Sahinidis,N.和Tawarmalani,M.(2003年)。连续和混合整数非线性规划中的凸性和全局优化:理论,算法,软件和应用。多德雷赫特:克鲁瓦·Zbl 1031.90022
[40] Sahinidis,V.N.和Tawarmalani,M.(2005年)。BARON 7.2.5:混合整数非线性规划的全局优化。用户手册。http://www.gams.com/dd/docs/solvers/baron.pdf .
[41] Schichl,H.(2003年)。数学建模和全局优化,适应性论文。http://www.mat.univie.ac.at/\(\sim\)赫尔曼/纸张/哈比尔。pdf格式。
[42] Schichl,H.和Neumaier,A.(2005年)。全局优化有向无环图的区间分析。全球优化杂志,33(4),541–562·Zbl 1094.65061
[43] Schichl,H.等人(2000年至2008年)。椰子环境。软件。http://www.mat.univie.ac.at/cocon-environment .
[44] 范恩登,H.M.(2001)。利用原子约束系统中的结构化传播计算函数盒和关系盒的一致性。更正,cs.PL/0106008。
[45] Van Hentenryck,P.(1998年)。一个温和的介绍数字。人工智能,103209-235·Zbl 0910.68095
[46] Van Hentenryck,P.,Michel,L.和Benhamou,F.(1997年)。牛顿:非线性约束上的约束规划。科学规划,30,83-118·Zbl 0891.68015
[47] Van Hentenryck,P.,Michel,L.和Deville,Y.(1997年)。数字。一种用于全局优化的建模语言。剑桥:麻省理工学院。
[48] Vu,X.-H。,Schichl,H.和Sam Haroud,D.(2004年)。利用有向无环图协调传播和数值约束满足问题的搜索。第16届IEEE人工智能工具国际会议论文集(ICTAI 2004)(第72-81页)。http://www.mat.univie.ac.at/\(\sim\)赫尔曼/papers/ICTAI2004.pdf。
[49] Vu,X.-H。,Schichl,H.和Sam Haroud,D.(2007年)。数值约束求解中有向无环图的区间传播与搜索。全球优化杂志,39。http://www.mat.univie.ac.at/\(\sim\)赫尔曼/papers/FBPD赫尔曼。pdf格式·Zbl 1179.90267
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。