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

スポンサーリンク

概要

• 論文の詳細を見る

• 区間制約プログラミングは連続領域の変数をもつ制約を用いて事象を記述し,区間計算を用いて高信頼な求解処理を行う枠組みである.基本求解アルゴリズムであるBranchAndPruneアルゴリズム,区間ニュートン法の拡張,平行体に基づくwrapping effectの抑制法等が研究されてきた.本稿では区間制約プログラミングの最近の研究事例を2つ紹介する.

• 2012-01-19

著者

• 石井 大輔

  国立情報学研究所

関連論文

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

スポンサーリンク