×
R.Baker Kearfott先生

用于全局优化和非线性系统求解器的非光滑函数的区间扩展。 （英语） Zbl 0859.65064号

计算 57，第2期，149-162（1996）.
本文列出了简单非光滑函数“导数”的几个公式，并报道了用这些公式求解全局优化问题和非线性系统的数值计算。
审核人：H.Ratschek（杜塞尔多夫）

引用于2文件

MSC公司：

65千5 数值数学规划方法
26A27年 不可微性（不可微函数，不可微点），不连续导数
65D25个 数值微分
65H10型 方程组解的数值计算
90立方 非线性规划
65G30型 区间和有限算术

关键词：

区间分析；衍生产品；非光滑函数；全局优化；非线性系统

软件：

PASCAL-XSC公司；C-XSC（C-XSC）；C-XSC 2.0版；内部自由
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Kearfott}，Computing 57，No.2，149--162（1996；Zbl 0859.65064）
全文： 内政部

参考文献：

[1] Alefeld，G.，Herzberger，J.：区间计算简介。纽约：学术出版社，1983年·Zbl 0552.65041号
[2] Bleher，J.H.，Rump，S.M.，Kulisch，U.，Metzger，M.，Ullrich，C.，Walter，W.：FORTRAN-SC–研究用于工程科学计算的FORTRAN扩展，并访问ACRITH。计算39，93–110（1987）·Zbl 0624.68032号 ·doi:10.1007/BF02310100
[3] Csendes，T.：全局优化区间方法的测试结果。摘自：《计算机算术、科学计算和数学建模》（Kaucher，E.，Markov，S.M.，Mayer，G.编辑），第417-424页。巴塞尔：J.C.Baltzer AG 1992。
[4] Hammer，R.，Hocks，M.，Kulisch，U.，Ratz，D.验证计算的数值工具箱。纽约：Springer，1993·Zbl 0796.65001号
[5] Hammer，R.，Neaga，M.，Ratz，D.：PASCAL-XSC，科学计算和数值数据处理的新概念。摘自：《科学计算与自动结果验证》（Adams，E.，Kulisch，V.，eds.），第15-44页。纽约：学术出版社，1993年·Zbl 0801.68021号
[6] Hansen，E.R.使用区间分析进行全局优化。纽约：M.Dekker 1992·Zbl 0762.90069号
[7] Herzberger，J.编辑：验证计算主题。计算数学研究。阿姆斯特丹：Elsevier 1994·Zbl 0803.0016号
[8] Jansson，C.：使用区间算法的全局优化方法。摘自：《计算机算术和封闭方法》（Atanassova，L.，Herzberger，J.，eds.），第259-268页。阿姆斯特丹：北荷兰，1992年·Zbl 0838.65069号
[9] Jansson，C.：关于优化问题的自验证方法。参见：验证计算主题（Herzberger，J.编辑），第381-439页。阿姆斯特丹：北荷兰，1994年·Zbl 0817.65044号
[10] Jansson，C.，Knüppel，O.：一种全局最小化方法：多维情况。技术报告92.1，Informationstechnik，Technische Uni。汉堡-汉堡，1992年·Zbl 0802.65078号
[11] Jansson，C.，Knüppel，O.：自验证全局优化方法的数值结果。技术报告94.1，汉堡技术大学，1994年2月。
[12] Kearfott，R.B.：非线性代数系统区间分枝定界算法创新的实证评估，1994年。SIAM J.科学。计算，以显示·Zbl 0871.65042号
[13] Kearfott，R.B.：一个Fortran 90环境，用于非线性方程和全局优化的封闭算法的研究和原型设计。ACM事务处理。数学。软件21、63–78（1995）·Zbl 0886.65059号 ·doi:10.1145/200979.200991
[14] Kearfott，R.B.：等式约束优化的区间分枝定界算法的测试结果。摘自：《全球优化的最新进展：计算方法和应用》（Floudas，C.，Pardalos，P.M.，eds.），第181-200页。Dordecht:Kluwer 1995年。
[15] Kearfott，R.B.：在全局优化和非线性系统求解器中将非光滑函数视为光滑函数。In：科学计算和验证数字（Alefeld，G.，Frommer，A.，eds.）。柏林：Akademie Verlag，即将亮相·Zbl 0849.65034号
[16] Kearfott，R.B.：严格的分支和约束方法。多德雷赫特：克鲁沃，出庭
[17] Kearfott，R.B.，Dawand，M.，Du，K.-S.，Hu，C.-Y.：算法737:INTLIB，一个便携式FORTRAN 77区间标准函数库。ACM事务处理。数学。软件20，447–459（1994）·Zbl 0888.65057号 ·数字对象标识代码：10.1145/198429.198433
[18] Lawo，C.：C-XSC–用于验证科学计算和数值数据处理的编程环境。摘自：《科学计算与自动结果验证》（Adams，E.，Kulisch，V.，eds.），第71-86页。纽约：学术出版社，1993年·Zbl 0801.68020号
[19] Moore，R.E.：区间分析的方法和应用。费城：SIAM 1979·Zbl 0417.65022号
[20] Neumaier，A.：方程组的区间方法。剑桥：剑桥大学出版社，1990年·Zbl 0715.65030号
[21] Ratschek，H.，Rokne，J.：用于全局优化的新计算机方法。纽约：Wiley 1988·Zbl 0648.65049号
[22] Ratz，D.Automatische Ergebnis验证bei globalen Optimierungs问题。卡尔斯鲁厄大学博士论文，1992年·Zbl 0831.65068号
[23] Ratz，D.：便携式PASCAL-XSC实现中全局优化的包含算法。摘自：《计算机算术和封闭方法》（Atanassova，L.，Herzberger，J.，eds.），第329-338页。阿姆斯特丹：北荷兰，1992年·Zbl 0839.65073号
[24] Rump，S.M.稠密和稀疏方程组的验证方法。参见：验证计算主题（Herzberger，J.编辑），第63–135页。阿姆斯特丹：Elsevier 1994·Zbl 0813.65072号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。