×
亚历山大·戈德斯特恩;Laurent Granvilliers

一个新的框架，用于使用解流形快速有效地解析NCSP。 （英语） Zbl 1203.65086号

约束条件 15，第2期，190-212（2010）.
摘要：当数值CSP用于求解含有变量的（n）方程组时，预处理区间牛顿算子起着两个关键作用：首先，它允许将方程作为全局约束处理，从而实现强大的收缩。其次，它可以严格地证明解的存在性。然而，这些优点都不能用于具有解流形的欠约束方程组。本文提出了一个新的框架，将预处理区间牛顿的优点推广到欠约束方程组。这是通过允许NCSP的域是平行六面体来实现的，它概括了通常用作域的框。

引用于7文件

MSC公司：

65H10型 方程组解的数值计算
65G30型 区间和有限算术

关键词：

区间分析;分支剪枝算法;预处理区间牛顿;欠约束方程组的全局约束;数值示例;CSP公司

软件：

小背包;RealPaver公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Goldsztejn}和\textit{L.Granvilliers}，约束15，第2号，190--212（2010；Zbl 1203.65086）
全文： 内政部

参考文献：

[1] Benhamou，F.、Goulard，F.、Granvilliers，L.和Puget，J.F.（1999年）。修改外壳和盒子的一致性。在逻辑编程国际会议上（第230-244页）。
[2] Benhamou，F.、McAllister，D.和Van Hentenryck，P.（1994）。重新审查CLP（间隔）。在逻辑编程国际研讨会上（第124-138页）。
[3] Benhamou，F.和Older，W.J.（1997）。将区间算术应用于实数、整数和布尔约束。逻辑编程杂志，32（1），1-24·Zbl 0882.68032号 ·doi:10.1016/S0743-1066（96）00142-2
[4] Chablat，D.和Wenger，Ph.（1998年）。全并联机械手的工作模式和特点。在IEEE关于机器人和自动化的国际会议上（第1970–1976页）。皮斯卡塔韦：IEEE·Zbl 0948.70508号
[5] Collavizza，H.、Delobel，F.和Rueher，M.（1999）。比较部分一致性。可靠计算，1,1-16·Zbl 1130.65310号
[6] Goldberg，D.（1991）。每一位计算机科学家都应该了解浮点运算。计算调查，23（1），5-48·doi:10.1145/103162.103163
[7] Goldsztejn，A.（2005）。AE解集内外估计的形式代数方法的右预处理过程。可靠计算，11（6），443-478·Zbl 1081.65041号 ·doi:10.1007/s11155-005-0404-x
[8] Goldsztejn，A.（2006年）。非线性AE解集逼近的分支剪枝算法。程序中。ACM SAC 2006（第1650–1654页）。
[9] Goldsztejn，A.（2008）。使用定点区间迭代进行敏感性分析。技术报告hal-00339377，CNRS。
[10] Goldsztejn，A.和Granvilliers，L.（2008）。一种新的具有解流形的NCSP快速高效求解框架。CP 2008会议记录。LNCS（2008年第5202卷，第190-204页）·Zbl 1203.65086号
[11] Goldsztejn，A.和Hayes，W.（2006年）。初值不确定初值问题解集的可靠内逼近。程序中。2006年SCAN标准。
[12] Granvilliers，L.和Benhamou，F.（2006）。RealPaver：使用约束满足技术的间隔解算器。ACM数学软件汇刊，32（1），138-156·Zbl 1346.65020号 ·doi:10.1145/1132973.1132980
[13] Hansen，E.（1992年）。使用区间分析进行全局优化，第二版。纽约：马塞尔·德克尔。
[14] Hayes，B.（2003）。清醒的间歇。《美国科学家》，91（6），484-488。
[15] Jaulin，L.、Kieffer，M.、Didrit，O.和Walter，E.（2001年）。区间分析在参数和状态估计、鲁棒控制和机器人技术中的应用实例。纽约：斯普林格·Zbl 1023.65037号
[16] Kearfott，R.B.（1996）。间隔计算：介绍、使用和资源。欧洲数学通报，2（1），95–112。
[17] Kearfott，R.B.和Xing，Z.（1994年）。连续方法的区间步长控制。SIAM数值分析杂志，31（3），892–914·Zbl 0809.65050号 ·数字对象标识代码：10.1137/0731048
[18] O.Lhomme（1993）。数字CSP的一致性技术。《1993年国际JCAI会议录》（第232–238页）。
[19] Merlet，J.P.（2000）。平行机器人。多德雷赫特：克鲁沃·Zbl 0983.70002号
[20] Moore，R.（1966年）。区间分析。恩格尔伍德悬崖：普伦蒂斯·霍尔·Zbl 0176.13301号
[21] Moré，J.J.、Garbow，B.S.和Hillstrom，K.E.（1981）。测试无约束优化软件。ACM数学软件汇刊，7（1），136-140·Zbl 0454.65049号 ·数字对象标识代码：10.1145/355934.355943
[22] Nedialkov，N.S.、Jackson，K.R.和Corliss，G.F.（1999）。验证了常微分方程初值问题的解。《应用数学与计算》，105（1），21-68·Zbl 0934.65073号 ·doi:10.1016/S0096-3003（98）10083-8
[23] Neumaier，A.（1987）。线性区间方程中的过度估计。SIAM数值分析杂志，24（1），207–214·Zbl 0617.65024号 ·数字对象标识代码：10.1137/0724017
[24] Neumaier，A.（1990年）。方程组的区间方法。剑桥：剑桥大学出版社·Zbl 0715.65030号
[25] Ortega，J.M.和Rheinboldt，W.C.（2000）。多元非线性方程的迭代解法。费城：SIAM·Zbl 0949.65053号
[26] Rump，S.M.（1988）。线性和非线性方程组的严格灵敏度分析。计算数学，54（10），721–736·Zbl 0701.65039号 ·doi:10.1090/S0025-5718-1990-1011445-5
[27] Tupper，J.（2001）。具有两个自由变量的数学公式的可靠二维绘图方法。SIGGRAPH’01（第77-86页）。纽约：ACM。
[28] Van Hentenryck，P.、McAllester，D.和Kapur，D.（1997）。使用分支和剪枝方法求解多项式系统。SIAM数值分析杂志，34（2），797–827·Zbl 0874.65039号 ·doi:10.1137/S0036142995281504
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。