An Algorithm to Compute Inner Approximations of Relations for Interval Constraints
An Algorithm to Compute Inner Approximations of Relations for Interval Constraints
复制标题
一种计算区间约束关系的内部近似的算法
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
M. Christie
中科院分区：
文献类型：
--
作者：
F. Benhamou;F. Goualard;Éric Languénou;M. Christie
基于区间约束的求解器对科学家和工程师来说是有价值的工具，因为它们确保了结果的完备性等许多有用的性质。然而，他们缺乏稳健性有时是一个重大缺陷。本文提出了一种算法，通过仅使用“传统”数值方法计算实关系的内部近似来确保算法的可靠性。对算法稍作修改，就可以处理具有一个通用量化变量的约束系统。还描述了在相机运动的声明性建模中的应用。
Interval constraint-based solvers are valuable tools to scientists and engineers since they ensure many useful properties such as completeness of the result. However, their lack of soundness is sometimes a major flaw. This paper presents an algorithm ensuring soundness by computing inner approximations of real relations using only "traditional" numerical methods. A slight modification of the algorithm permits handling constraint systems with one universally quantified variable. An application to declarative modelling of camera movements is also described.