×
玛丽·佩洛；夏洛特·特鲁切特；弗雷德里克·本哈莫

连续约束的八角抽象域。 （英语） Zbl 1338.90393号

约束条件 19，第3期，309-337（2014）.
玛丽·佩洛（Marie Pelleau）、夏洛特·特鲁切特（Charlotte Truchet）和弗雷德·里克·本哈莫（Frédéric Benhamou）的论文对凸分析、编程所需的几何以及连续和组合优化之间的接口做出了有价值的贡献，所有这些都是现代运筹学（OR）、经济学、医学和工程等领域的重要领域。本文是一项严谨的研究，在此基础上可以建立更广泛的未来研究，并进行实际应用。无限约束问题、非线性问题和“鲁棒”问题可能只是这里要提到的三个重要子类。
事实上，连续约束规划中的域通常是通过区间来表示的，这些区间的笛卡尔乘积（所谓的方框）逼近解空间。在本文中，作者推广了这种表示，并建议了一种通用的求解器，其中可以使用其他域表示。在这个框架中，他们通过八边形定义了连续域的新表示。他们将局部一致性和“分裂”推广到八角表示。实验结果表明，在解决几个经典基准测试问题时，性能有了很好的改善。
这篇优秀的文章结构严谨，数学深邃，例证和说明都很好，并且写得很仔细。
这项工作的八个部分如下：1。导言，2。准备工作，3。约束的抽象域，4。八角形，5。八角解算，6。实验，7。相关工作，以及8。结论。
受这篇研究文章的启发，科学界可能会期待进一步的分析和数值细化和扩展、强大的结果和方法。这些可能涉及非线性优化、凸化技术、半无限优化、无限优化、最优控制、稳健优化、岭回归和Tikhonov正则化、模式识别、形状检测、层析成像、分类和博弈论。
这种未来的进展可能会支持科学技术、金融和经济、计算生物学、神经科学和医学领域的成就。
审核人：格哈德·威廉·韦伯（安卡拉）与吉尔塞尔·科克萨尔和巴沙克·阿克特克·兹蒂尔克

引用于2文件

MSC公司：

90立方 非线性规划

关键词：

连续约束；八角畴；抽象域；通用解算器

软件：

算法97；IbexOpt公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Pelleau}等人，《限制条件》19，第3期，309--337（2014；Zbl 1338.90393）
全文： DOI程序

参考文献：

[1] Apt，K.R.（1999）。约束传播的本质。理论计算机科学，221·Zbl 0930.68164号
[2] Araya，I.、Trombettoni，G.、Neveu，B.（2010年）。利用区间约束传播中的单调性。第24届AAAI人工智能会议论文集。AAAI公司·Zbl 1203.65086号
[3] Benhamou，F.（1996）。异构约束求解。第五届代数和逻辑编程国际会议论文集（第62-76页）·Zbl 1355.68030号
[4] Benhamou，F.、Goualard，F.和Granvilliers，L.、Puget，J.F.（1999）。重新检查外壳和盒子的一致性。第16届逻辑编程国际会议论文集（第230-244页）。
[5] Chabert，G.和Jaulin，L.（2009年）。承包商编程。人工智能，1731079-1100·Zbl 1191.68628号 ·doi:10.1016/j.artint.2009.03.002
[6] Chen，L.、Miné，A.、Wang，J.、Cousot，P.（2009）。区间多面体：推断区间线性关系的抽象域。第16届国际静态分析研讨会论文集（SAS'09）（第309-325页）·Zbl 1248.68140号
[7] 库索特·P.和库索特R.（1976年）。程序动态属性的静态确定。第二届编程国际研讨会论文集（第106-130页）·Zbl 0393.68080号
[8] Dechter，R.、Meiri，I.、Pearl，J.（1989）。时间约束网络。在第一届知识表示和推理原则国际会议的会议记录中·Zbl 0709.68101号
[9] Floyd，R.（1962年）。算法97：最短路径。ACM通信，5（6）。
[10] Goldberg，D.（1991）。每一位计算机科学家都应该了解浮点运算。ACM计算调查，23（1），5-48·doi:10.1145/103162.103163
[11] Goldsztejn，A.和Granvilliers，L.（2010年）。一个新的框架，用于使用解流形快速有效地解析ncsp。约束，15（2），190-212·Zbl 1203.65086号 ·doi:10.1007/s10601-009-9082-3
[12] 梅纳西。M.和Berthomieu，B.（1983年）。用于分析和验证时间相关通信协议的时间petri网。在协议规范、测试和验证中。
[13] Miné，A.（2004）。域numériques抽象了常见的关系。博士论文，埃科尔·诺曼底大学。
[14] Miné，A.（2006年）。八角形抽象域。高阶和符号计算，19（1），31-100·Zbl 1105.68069号 ·doi:10.1007/s10990-006-8609-1
[15] Régin，J.C.和Rueher，M.（2005）。不相等和：捕获目标函数的全局约束：RAIRO运筹学·Zbl 1104.90051号
[16] Rossi，F.、van Beek，P.、Walsh，T.（2006）。约束编程手册（人工智能基础）。爱思唯尔·Zbl 1175.90011号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。