×
Baker Kearfott，R。

关于证明等式约束优化问题中可行点的存在性。 （英语） Zbl 0949.90089号

数学。程序。 83，第1（A）号，89-100（1998）.
摘要：各种算法可以计算等式约束和有界约束优化问题的近似可行点或近似解。在全局优化器和其他上下文的穷举搜索算法中，有必要围绕这些近似可行点构造边界，然后（通过计算但严格地）验证在这些边界内是否存在实际可行点。Hansen和其他人提出了在给定边界内证明可行点存在的技术，但据我们所知，以前没有描述过实际实现。在这种实现中，有多种替代方案，必须仔细考虑细节。此外，除了Hansen处理欠定情况的技巧外，当近似可行点对应于具有许多活动边界约束的点时，处理超定情况也很重要。这里总结了基本思想以及实际实现的实验结果。

引用于15文件

MSC公司：

90立方 非线性规划
65G30型 区间和有限算术
65千5 数值数学规划方法

关键词：

约束全局优化；经验证的计算；区间计算；绑定约束

软件：

并入PT_90；兰斯洛特
PDF格式BibTeX公司 XML格式引用
\textit{R.Baker Kearfott}，数学。程序。83，第1（A）号，89--100（1998；Zbl 0949.90089）
全文： DOI程序

参考文献：

[1] Kearfott，R.B。；Kearfott，R.B。；Kreinovich，V.，《约束全局优化问题验证解中的技术综述》，区间计算应用，23-60（1996），荷兰多德雷赫特：Kluwer学术出版社，荷兰多德雷赫特·Zbl 0841.65049号
[2] Hansen，E.R.，使用区间分析的全局优化（1992），纽约：Marcel Dekker，纽约·Zbl 0762.90069号
[3] Kearfott，R.B.，《严格的全球搜索：持续问题》（1996），荷兰多德雷赫特：Kluwer学术出版社，荷兰多德雷赫特·Zbl 0876.90082号
[4] Ratschek，H。；Rokne，J.，《用于全局优化的新计算机方法》（1988），纽约：威利出版社，纽约·Zbl 0648.65049号
[5] Wolfe，M.A.，约束全局优化的区间算法，计算与应用数学杂志，50605-612（1994）·Zbl 0809.65064号 ·doi:10.1016/0377-0427（94）90331-X
[6] Jansson，C。；Knüppel，O.，《全局最小化方法：多维案例》（1992），德国汉堡：信息技术大学。汉堡-汉堡，汉堡，德国
[7] O.卡普拉尼。；戈达卜，B。；Madsen，K.，在并行区间全局优化中使用实值局部极小值，区间计算，371-82（1993）·Zbl 0829.65081号
[8] Kearfott，R.B.，《关于验证等式约束优化问题的可行性》，《技术报告》（1994），路易斯安那州拉斐特：路易斯安那西南大学拉斐特分校
[9] Neumaier，A.，方程组的区间方法（1990），英国剑桥：剑桥大学出版社，英国剑桥·Zbl 0715.65030号
[10] Alefeld，G。；Herzberger，J.，《区间计算导论》（1983），纽约：学术出版社，纽约·Zbl 0552.65041号
[11] Moore，R.E.，《区间分析的方法和应用》（1979），宾夕法尼亚州费城：SIAM，宾夕法尼亚州，费城·Zbl 0417.65022号
[12] Kearfott，R.B.，区间Gauss-Seidel方法的先决条件，SIAM数值分析杂志，27804-822（1977）·Zbl 0713.65037号 ·doi:10.1137/0727047
[13] Mayer，G.，验证算法中的Epsilon膨胀，计算与应用数学杂志，60，147-169（1994）·Zbl 0839.65059号 ·doi:10.1016/0377-0427（94）00089-J
[14] Kleine，S.M.Rump，Fehlerschranken bei Matrixproblemen（1980），德国卡尔斯鲁厄：卡尔斯鲁赫大学，德国·Zbl 0437.65036号
[15] 臀部，S.M。；Herzberger，J.，稠密和稀疏方程组的验证方法，验证计算主题，63-135（1994），荷兰阿姆斯特丹：Elsevier，阿姆斯特丹，荷兰·Zbl 0813.65072号
[16] 佛罗伦萨。；Pardalos，P.M.，《约束全局优化算法的测试问题集》（1990），纽约：Springer，纽约·Zbl 0718.90054号
[17] Kearfott，R.B.，《用于非线性方程和全局优化封闭算法研究和原型制作的Fortran 90环境》，ACM数学软件汇刊，21，63-78（1995）·Zbl 0886.65059号 ·doi:10.1145/200979.200991
[18] A.R.康涅狄格州。；古尔德，N。；Toint，Ph.L.，LANCELOT:大型非线性优化的Fortran包（1992），纽约：Springer，纽约·Zbl 0761.90087号
[19] Kristinsdottir，B.P。；Z.B.扎宾斯基。；Csendes，T。；Tuttle，M.E.，《公差区间方法》，区间计算，3133-147（1993）·Zbl 0829.65083号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。