×

使用线性松弛的严格滤波。 (英语) Zbl 1275.90051

摘要:本文提出了基于线性松弛的连续约束满足问题的严格滤波方法,旨在有效地处理二次约束线性松弛产生的线性不等式。过滤或剪枝是指减少约束满足问题的搜索空间。讨论了严格封闭线性不等式组解集的新旧方法,以及计算线性松弛的不同方法。这允许自定义的松弛和过滤组合。注意确保所有方法都能正确考虑计算中的舍入误差。这些方法在GloptLab环境下实现,用于求解二次约束满足问题。文中还给出了比较不同线性松弛方法的实例和试验。

理学硕士:

90度C20 二次规划
90摄氏度 线性规划
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

参考文献:

[1] 联合约束双凸规划及其相关问题:综述。计算机。数学。申请。19,53–62(1990年)·Zbl 0706.90074
[2] Androulakis I.P.,Maranas C.D.,Floudas C.A.:{(\alpha\)}BB:一般约束非凸问题的全局优化方法。J、 球。擎天柱。7337–363(1995年)·Zbl 0846.90087
[3] Benhamou,F.,Goulard,F.,Granvilliers,L.,Puget,J.F.:修改船体和箱体的一致性。国际逻辑编程会议,第230-244页。http://www.citeser.ist.psu.edu/benhamou99revising.html(1999年)
[4] Benhamou,F.,McAllister,D.,Van Hentenryck,P.:CLP(间隔)回顾。国际逻辑程序设计研讨会论文集,124-138页。麻省理工学院出版社(1994)
[5] Chabert,G.,Jaulin,L.:单调条件下的船体一致性。在:约束编程的原理和实践-CP2009,第188-195页(2009)
[6] Cruz,J.,Barahona,P.:深层生物医学模型中的约束推理。J、 人工制品。因特尔。医学34,77-88。http://www.ssdi.di.fct.unl.pt/\(\sim\)pb/papers/ludi\u约束。pdf(2005)
[7] Domes,F.:GloptLab——一个用于二次约束满足问题严格全局解的可配置框架。擎天柱。方法软件。24727–747年。http://www.mat.univie.ac.at/\(\sim\)dferi/publ/Gloptlab。pdf(2009)·Zbl 1180.90217
[8] Domes,F.,Neumaier,A.:多项式约束满足问题的标度算法。J、 球。擎天柱。43327-345年。http://www.mat.univie.ac.at/\(\sim\)dferi/publ/缩放。pdf(2008)·Zbl 1151.90549
[9] Domes,F.,Neumaier,A.:二次约束的约束传播。限制15,404–429。http://www.mat.univie.ac.at/\(\sim\)dferi/publ/Propag。pdf(2010)·Zbl 1208.68200元
[10] Garloff,J.,Jansson,C.,Smith,A.:多项式的下界函数。J、 计算机。申请。数学。157207-225年。http://www.citeser.ist.psu.edu/534450.html(2003年)·Zbl 1032.65055
[11] Grandon,C.,Daney,D.,Papegay,Y.:结合CP和区间方法求解不确定条件下并联机器人的直接运动学。IntCP 06研讨会。ftp://ftp-sop.inria.fr/coprin/daney/articles/intcp06.pdf(2006年)
[12] Hongthong,S.,Kearfott,R.B.:严格的线性高估和低估估计。技术报告。http://www.interval.louisiana.edu/preprints/estimates_of_powers.pdf ·Zbl 1122.90075
[13] Jaulin,L.:水下机器人同时定位和地图构建的区间约束传播技术。http://www.mat.univie.ac.at/\(\sim\)neum/glopt/gicolag/talks/jaulin。pdf(2006)
[14] Jaulin,L.,Kieffer,M.,Braems,I.,Walter,E.:在集合上使用约束传播的保证非线性估计。《国际法院控制》741772-1782。https://www.ensieta.fr/e3i2/Jaulin/observer.pdf(1999年)·Zbl 1023.93020
[15] Keil,C.:Lurupa——线性规划中的严格误差界限。In:代数和数值算法及计算机辅助证明(2005)
[16] Kolev L.V.:线性间隔封闭的自动计算。雷亚布。计算机。7(1),17–28(2001年)·Zbl 0979.65041
[17] Krippahl,L.,Barahona,P.:PSICO:用约束规划和优化求解蛋白质结构。约束7317–331。http://www.ssdi.di.fct.unl.pt/\(\sim\)pb/papers/ludi\u约束。pdf(2002)·Zbl 1028.68026
[18] Lebbah,Y.:iCOs–间隔约束求解器。http://www.ylebbah.googlepages.com/icos(2003年)
[19] Lebbah,Y.,Michel,C.,Rueher,M.:二次约束的严格全局滤波算法。限制,10,47–65。http://www.ylebbah.googlepages.com/research(2005年)·Zbl 1066.90090
[20] lhommeo.:数值csp的一致性技术。IJCAI 1,232–238(1993年)
[21] 可分解非凸规划整体解的可计算性第一部分凸低估问题。数学。程序。10147–175(1976年)·Zbl 0349.90100
[22] 梅雷特,J.-P.:用区间分析法求解Gough型并联机器人运动学正解。《国际机器人学杂志》23(3),221–235页。http://www.sop.inria.fr/coprin/equipe/merlet/Papers/IJRR2004.pdf(2004年)
[23] 莫茨金,T.S.Beitrge zur linearen Ungleichungen理论。博士论文,巴塞尔,耶路撒冷(1936)·Zbl 0014.24601
[24] Neumaier,A.:方程组的区间方法,数学百科全书第37卷及其应用。剑桥大学出版社,剑桥(1990)·Zbl 0715.65030
[25] Neumaier,A.:连续全局优化和约束满足的完全搜索。在:Isreles,A.(编辑),《2004年数字学报》第271-369页。剑桥大学出版社(2004年)·Zbl 1113.90124
[26] Neumaier,A.,Shcherbina,O.:线性和混合整数规划中的安全边界。数学。程序。99,283–296页。http://www.mat.univie.ac.at/\(\sim\)neum/ms/mip。pdf(2004)·Zbl 1098.90043
[27] Rikun A.D.:多线性函数的凸包络公式。J、 球。擎天柱。10425–437(1997年)·Zbl 0881.90099
[28] Rump,S.M.:INTLAB–Interval实验室。http://www.ti3.tu-harburg.de/\(\sim\)rump/intlab/(1998-2008)·Zbl 0949.65046
[29] Sahinidis,N.V.,Tawarmalani,M.:BARON 7.2.5:混合整数非线性程序的全局优化,用户手册。http://www.gams.com/dd/docs/solvers/baron.pdf(2005年)
[30] Schichl,H.,Markót,M.C.,Neumaier,A.,Vu,X.-H。,凯尔:椰子环境。http://www.mat.univie.ac.at/cocon-environment软件(2000-2010)
[31] Schichl H.,Neumaier A:用于全局优化的有向无环图的区间分析。J、 球。擎天柱。33(4),541–562(2005年)·Zbl 1094.65061
[32] Sherali,H.,Adams,W.:求解离散和连续非凸问题的重新公式化线性化技术。Kluwer学术出版社。(1999年)·Zbl 0926.90078
[33] Tawarmalani,M.,Sahinidis,N.:混合整数非线性规划的全局优化:理论与计算研究。数学。程序。第99卷第3卷(2004年)·Zbl 1062.90041
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。