区間制約プログラミングの研究事例Under-constrained問題のための射影手法とハイブリッドシステムの高精度シミュレーション手法

摘要

Interval constraint programming is a framework for describing various phenomena with constraints that involve variables on the continuous domain, and for solving the constraints rigorously based on the interval compu­tation. The topics of interval constraint programming include the BranchAndPrune algorithm for solving constraints, extensions to the interval Newton method, and reduction of the wrapping effect using parallelotope. This paper describes the two recent research cases on interval constraint programming.%区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し，区間計算を用いて高信頼な求解処理を行う枠組みである.基本求解アルゴリズムであるBranchAndPruneアルゴリズム，区間ニュートン法の拡張，平行体に基づくwrapping efbctの抑制法等が研究されてきた.本稿では区間制約プログラミングの最近の研究事例を2つ紹介する.