输入_90 swMATH ID: 4705 软件作者： R.Baker Kearfott先生 描述： 严格的全球搜索：持续的问题该专著概述了基于区间算法的求解方程组和全局优化问题的方法。这两个主题之间的联系在于，寻零几乎是优化过程中不可避免的一部分。本书遵循了自验证的区间算术哲学，正如标题中的“严格”一词所示。这意味着，对于这两个问题中的每一个，都要找到所有的解决方案，并将其封装在足够小的盒子里。此外，这些盒子中的解决方案应该是独一无二的本书包含标准结果、新结果和需要进一步开发的结果。强调算法和实用工具，偶尔会出现理论考虑。许多广泛的评论和解释都与INTLIB、INTLIB 90和INTOPT 90有关，它们是作者的区间算术软件和库包，也是FORTRAN 77中上述问题的求解器。FORTRAN 90。这本书由七章和247项参考书目组成。第一章（69页）介绍了区间算法、求解线性区间方程、自动微分和代码表生成、区间牛顿法，并简要介绍了拓扑度的概念，这似乎有点超出了本书的区间范围。接下来是关于间隔软件的一章（42页）。描述的主要是前面提到的包，其中允许生成代码列表和自动区分。关于预处理的一章（32页）包含了作者自己的一些结果，它提供了将线性区间方程转换为可能具有更紧解区间的方程的技术。关于求解非线性方程组的一章（23页）以分支定界模式介绍了一种相当实用的数值方法，涉及许多软件细节。关于全局优化的章节（40页）只允许等式约束（在方框内）。求解过程基于分枝定界、不可行性检验、应用于John条件的区间牛顿算法以及推广Hansen和Walster 1987年开创性概念（非线性方程与优化，预印本）的可行点存在性的计算执行证明。关于不可微问题的一章（17页）研究了包含if-then-else连接词的函数表达式，获得了关于零搜索的一些新结果。关于中间值的最后一章（8页）仍然停留在这样一个主题的表面上，只包含如何使用这些值来降低过高估计的介绍性示例。 主页： http://interval.louisiana.edu/kearfott.html 编程语言： Fortran 90型 操作系统： 无 依赖项： 无 关键词： 基于区间算术的方法;方程组;全局优化;自动微分;区间牛顿法;预处理 相关软件： 国际实验室;C-XSC（C-XSC）;个人资料/偏差;C-XSC 2.0版;BARON公司;Numerica公司;全球溶胶;细屑++;舒适的;Maple的全局优化工具箱;小背包;椰子;Matlab公司;阿米戈;基因科普;GAMS游戏;PNM公司;RealPaver公司;塞杜米;CPLEX公司 引用于： 310文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 严格的全球搜索：持续的问题。 Zbl 0876.90082号R.Baker Kearfott先生 1996 全部的 前5名347位作者引用 19 贝克·基尔福特 17 弗拉基克·雅科夫列维奇（Vladik Yakovlevich Kreinovich） 13 阿诺德·诺伊梅尔 12 Leocadio G.卡萨多。 12 Csendes，Tibor公司 12 波哥大加兹达格·托特 11 加西亚，Inmacada F。 10 何塞·费尔南德斯·埃尔南德斯 9 布鲁诺·朗 9 弗雷德里克·梅辛 9 赫尔曼·施奇尔 7 Nataraj，Paluri S.V.公司。 7 布拉斯·佩莱格林 7 亚罗斯拉夫·德米特里维奇·谢尔盖夫 7 马克·斯塔德瑟（Mark A.Stadtherr）。 6 托菲·阿拉维兰鲁 6 陈晓军 6 安德烈亚斯·弗洛默 6 巴特·库比卡（Bartłomiej Jacek） 6 米哈利·萨巴·马科特 5 托马斯·比利茨 5 克里斯蒂安·詹森 5 弗兰克·普拉斯特里亚 4 贝德雷加，本杰明·雷内·卡莱哈斯 4 马丁·伯茨 4 布尼亚、阿索克·库马尔 4 克里斯蒂安·比肖夫。 4 吉尔·查伯特 4 Dian、Jianwei 4 汉森，皮埃尔 4 卢克·杰林 4 恭子马基诺 4 马丁·莫尼格曼 4 维琴察省普格 4 迪特马尔·拉特斯 4 尼古拉斯五世·萨希尼迪斯。 4 安德鲁·保罗·史密斯 3 萨欣·埃姆拉赫·阿姆拉霍夫 3 塞勒纳，安德拉斯·埃里克 3 穹顶，费伦茨 3 约书亚·A·恩泽。 3 阿费特·戈莱奥格鲁，法图拉耶夫 3 尤尔根·加洛夫 3 尼扎米·加西洛夫。 3 库尔特·格奥尔格 3 莫伊塔巴·甘巴里 3 西奥杜拉·格拉普萨。 3 汉森、埃尔登·罗伯特 3 Eligius M.T.亨德里克斯。 3 萨米兰·卡马卡 3 雅希亚·利巴 3 林友东 3 卢克·朗普雷 3 克劳德·米歇尔 3 蒂亚戈·蒙塔赫 3 马库斯·尼赫尔 3 Ozdamar，亚麻布 3 Pintér，János D。 3 米哈伊尔·波西普金。 3 约塞巴·奎维多 3 米歇尔·鲁赫 3 马尔科·施努尔 3 莎莉、谢尔盖·彼得罗维奇 3 迪米特里斯·索蒂罗普洛斯。 3 斯科特·斯塔克斯。 3 塔马斯·文科 3 G.William Walster 3 迈克尔·沃尔夫（Michael A.Wolfe）。 3 徐培良 2 格茨·E·阿勒费尔德。 2 易卜拉欣·阿洛良 2 伊格纳西奥·J·阿拉亚。 2 津巴布韦阿吉曼扎德 2 若阿金·阿曼戈尔 2 Arounassalame，M。 2 保罗·巴顿。 2 Beck，Jan B。 2 何塞·曼纽尔·布拉沃 2 埃米利奥·卡里佐萨 2 迈克尔·德尔尼茨 2 尤里·埃夫图申科 2 亚历山大·戈德斯特恩 2 Laurent Granvilliers 2 拉迪克，米兰 2 延斯·霍夫肯斯 2 沃尔特劳德·休耶 2 克里斯托夫·杰曼 2 费伦茨·卡洛维奇 2 卢博米尔·科列夫。 2 科塔查、科坦 2 Jean-Louis Lagouanelle 2 罗德威克，韦尔登·亚历山大 2 Krzysztof B.马林诺夫斯基。 2 沃尔夫冈·马夸特 2 伊沃·尼诺夫。 2 Nguyen、Hung Trung 2 约旦尼宁 2 Chandra Sekhar的Pedamallu 2 弗洛里安·阿莱克桑德鲁·波特拉 2 塔里克·莱斯 …还有247位作者 全部的 前5名90篇连载文章中引用 45 全球优化杂志 35 可靠的计算 14 计算与应用数学杂志 11 数值算法 8 应用数学与计算 8 欧洲运筹学杂志 7 模糊集与系统 5 SIAM数值分析杂志 5 数学编程。A系列B系列 5 优化方法和软件 4 比特币 4 计算 4 信息科学 4 SIAM科学计算杂志 3 最优化理论与应用杂志 3 非线性分析。理论、方法和应用。系列A：理论与方法 3 数值数学 3 复杂性杂志 3 计算机与运筹学 3 计算与应用数学 3 软计算 2 人工智能 2 Automatica公司 2 Opsearch（操作搜索） 2 日本工业与应用数学杂志 2 线性代数及应用 2 国际鲁棒非线性控制杂志 2 SIAM优化杂志 2 控制论与系统分析 2 约束条件 2 国际应用数学与计算机科学杂志 2 优化信函 2 国际应用与计算数学杂志 1 澳大利亚数学学会公报 1 计算机与数学及其应用 1 IMA数值分析杂志 1 数学生物科学 1 计算数学 1 ACM数学软件汇刊 1 组合理论杂志。系列A 1 模拟中的数学和计算机 1 理论计算机科学 1 物理D 1 应用数值数学 1 符号计算杂志 1 离散和计算几何 1 国际近似推理杂志 1 美国数学学会杂志 1 SIAM矩阵分析与应用杂志 1 计算的形式方面 1 神经网络 1 运筹学年鉴 1 计算统计学 1 应用数学建模 1 国际计算机数学杂志 1 SIAM审查 1 天体力学和动力学天文学 1 计算优化与应用 1 数学逻辑季刊（MLQ） 1 埃及数学学会杂志 1 土耳其数学杂志 1 ETNA公司。数值分析电子交易 1 顶部 1 关于直觉模糊集的注记 1 计算数学进展 1 地理组合学 1 大地测量杂志 1 摘要与应用分析 1 扎姆。Zeitschrift für Angewandte Mathematik und Mechanik公司 1 欧洲理论计算机科学协会公报 1 西比尔斯基（Zhurnal Vychislitel’no）马特马提基（Matematiki） 1 计算分析与应用杂志 1 非线性科学与数值模拟中的通信 1 优化与工程 1 RAIRO公司。运筹学 1 国际不确定性、模糊性和基于知识的系统杂志 1 几何学进展 1 国际计算与数值分析与应用杂志（IJCNAA） 1 OR光谱 1 4OR（或） 1 网络与空间经济学 1 ISNM。国际数值数学系列 1 非凸优化及其应用 1 应用数学科学（俄语） 1 帕姆。应用数学与力学论文集 1 SIAM成像科学杂志 1 运筹学进展 1 模糊系统研究进展 1 弹簧优化及其应用 1 自然计算系列 全部的 前5名39个领域被引用 185 数值分析（65-XX） 167 运筹学、数学规划（90-XX） 27 计算机科学（68至XX） 16 系统论；控制（93至XX） 12 线性代数和多线性代数；矩阵理论（15-XX） 10 常微分方程（34-XX） 9 统计学（62-XX） 8 实际功能（26年X月X日） 8 生物学和其他自然科学（92-XX） 6 数学逻辑和基础（03-XX） 6 复变量的函数（30年XX月） 6 变分法与最优控制；最优化（49至XX） 5 粒子和系统力学（70-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 算子理论（47-XX） 4 凸和离散几何（52至XX） 3 场论和多项式（12-XX） 3 动力系统和遍历理论（37至XX） 3 近似值和展开值（41至XX） 2 一般代数系统（08-XX） 2 代数几何（14-XX） 2 代数拓扑（55-XX） 2 可变形固体力学（74-XX） 2 地球物理学（86-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 有序，格，有序代数结构（06-XX） 1 交换代数（13-XX） 1 几个复变量和分析空间（32-XX） 1 特殊功能（33至XX） 1 偏微分方程（35-XX） 1 差分方程和函数方程（39至XX） 1 积分方程（45-XX） 1 一般拓扑结构（54至XX） 1 整体分析，流形分析（58至XX） 1 概率论与随机过程（60-XX） 1 经典热力学，传热（80-XX） 1 量子理论（81-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文