实摊铺机 swMATH编号： 4401 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 描述： 852算法Realpaver：非线性约束求解和严格的全局优化。问题：Realpaver允许在实数上建模和解决非线性和非凸约束满足和优化问题。决策变量，无论是连续的还是离散的，都必须是有界的。函数和约束必须由包含常用算术运算和超越初等函数的分析表达式定义。严格性：Realpaver通过实际欧几里德空间中的矩形区域覆盖给定问题的解集。它可以通过计算一个空覆盖来证明问题的不满足性。在某些条件下，它可以证明一组约束的解的存在性。此外，它能够确定地封闭优化问题的全局最优解。解决方法：Realpaver在分枝定界框架中实现了基于区间的正确取整计算。其主要特点是将不同领域的几种方法结合起来：区间不动点算子、约束传播和局部一致性技术、使用下降方法和元启发式的局部优化、，和几种搜索策略。包：Realpaver是开源的、可配置的、面向对象的，并且符合ISO C++。API允许扩展库以及建模和解决问题。还提供了一种数学建模语言和一组基准测试。gaol支持区间算法。 主页： http://pagesperso.lina.univ-nantes.fr/~granvilliers-l/realpaver公司/ 编程语言： C类 相关软件： Numerica公司;并入PT_90;监狱;国际博协;Matlab公司;CPLEX公司;d真实;RSOLVER公司;利比亚中央银行;全球实验室;BARON公司;梅蒂塔斯基;国际实验室;个人资料/偏差;SCIP公司;Boost Interval算术;GloptiPoly公司;塞杜米;PVS公司;加帕 引用于： 52文件 其他出版物： 网址：http://pagesperso.lina.univ-ntes.fr/~granvilliers-l/realpaver公司/ 标准条款 2出版物描述软件，包括2出版物在zbMATH中 年份 估算自主灵活地球观测卫星姿态变化的最小持续时间。 Zbl 1145.68504号格雷戈里·博美;杰拉德·弗法利;玛丽·克莱尔·查尔缪 2007 算法852:RealPaver：使用约束满足技术的区间解算器。 Zbl 1346.65020号Laurent Granvilliers;弗雷德里克·本哈莫 2006 全部的 前5名101位作者引用 6 亚历山大·戈德斯特恩 5 Laurent Granvilliers 5 克里斯托夫·杰曼 4 Nataraj，Paluri S.V.公司。 三 吉尔·查伯特 三 弗洛达斯，克里斯托杜洛斯·阿奇利乌斯 三 露丝·米塞纳 三 塞萨尔·穆尼奥斯。 2 克拉克（Edmund Melson jun Clarke）。 2 Jorge T.M.克鲁兹。 2 高思春 2 石井、大辅 2 Khanh，To Van先生 2 本杰明·T·马丁。 2 埃里克·蒙弗罗伊 2 安东尼·约瑟夫·纳卡维奇 2 伯特兰·奈韦 2 小川，水井裕人 2 穆凯什·帕蒂尔。 2 塔里克·莱斯 2 贾米拉·萨姆·哈罗德 2 田村，名古屋 2 卡梅·托拉斯 2 Gilles Trombettoni 2 董武轩 2 杰拉德·弗法利 2 武宣哈 2 清本山村 2 阿里·佐尔加德里 1 Krzysztof Rafal公寓 1 Arounassalame，M。 1 杰里米·阿维加德 1 罗伯托·巴格纳拉 1 佩德罗·巴拉霍纳 1 埃齐奥·巴托西 1 保罗·巴顿。 1 格雷戈里·博美 1 弗雷德里克·本哈莫 1 法尼省布库瓦拉 1 卡利埃、马蒂厄 1 圣埃芬·卡罗 1 埃尔莎·卡瓦略 1 达米安·查布拉特 1 玛丽·克莱尔·查尔缪 1 丹尼斯·查金 1 克利斯朵夫·康巴斯特 1 马可·科雷亚 1 德安古洛，V.Ruiz 1 莱昂纳多·德·莫拉 1 Di Vito，Ben L。 1 穹顶，费伦茨 1 简·杜拉茨 1 亚伦·M·达特（Aaron M.Dutle）。 1 丹尼斯·埃菲莫夫。 1 博伊·沃尔科特·福廷斯 1 法吉尔，Hélène 1 罗伯塔·戈里 1 阿尔诺·哥特利布 1 福雷德里克·古阿拉德 1 拉杜·格罗苏 1 皮埃尔·汉森 1 胡瑞奇 1 克里斯蒂安·詹森 1 卢克·杰林 1 兰巴布·卡拉 1 Katsaros，Panagiotis公司 1 基尔，克里斯蒂安 1 米查尔·科内奇 1 孔顺浩 1 巴特·库比卡（Bartłomiej Jacek） 1 托尼·兰伯特 1 雅希亚·利巴 1 李美伦 1 迈克尔·马赫（Michael J.Maher）。 1 弗雷德里克·梅辛 1 克劳德·米歇尔 1 阿诺德·诺伊梅尔 1 约旦尼宁 1 亚历山大·尼沃 1 帕斯莫尔，格兰特·奥尼 1 劳伦斯·查尔斯·保尔森 1 普拉特、塞德里克 1 罗摩克里希南。 1 Revol，纳塔莉 1 米歇尔·鲁赫 1 维森特·鲁伊斯·德·安古洛 1 沙特，弗雷德里克 1 赫尔曼·施奇尔 1 Joseph K.斯科特。 1 她，志坤 1 安德斯·斯科亚尔 1 斯科特·斯莫尔卡。 1 科基·苏达 1 Rihab El Houda Thabet公司 1 盖坦·维多 1 维希韦什·维亚哈雷（Vishwesh A.Vyawahare）。 1 哈里·A·J·沃森。 1 阿希姆·韦奇松 1 塔皮奥·韦斯特伦德 1 夏松涛 …还有1位作者 全部的 前5名22篇连载文章中引用 7 约束条件 5 全球优化杂志 三 人工智能 2 ACM数学软件汇刊 2 Automatica公司 2 自动推理杂志 2 欧洲运筹学杂志 2 数学与人工智能年鉴 1 应用数学与计算 1 计算与应用数学杂志 1 最优化理论与应用杂志 1 SIAM数值分析杂志 1 理论计算机科学 1 数值算法 1 系统设计中的形式化方法 1 人工智能研究杂志 1 INFORMS计算机杂志 1 非线性动力学 1 非线性科学与数值模拟中的通信 1 4个或 1 控制理论与应用杂志 1 应用数学和计算数学 全部的 前5名在8个字段中引用 24 计算机科学（68至XX） 20 数值分析（65-XX） 20 运筹学、数学规划（90-XX） 4 系统理论；控制（93至XX） 2 数理逻辑与基础（03-XX） 2 变分法与最优控制；最优化（49至XX） 1 常微分方程（34-XX） 1 粒子和系统力学（70-XX） 按年份列出的引文