グリッド計算環境における制約解消システムの構築に向けて

概要

論文の詳細を見る
制約プログラミングは, 問題を制約の集合として宣言的に記述するだけで, 制約ソルバがその制約を満たす解を求めてくれる問題解決手法であるといえる.1990年代には商用の制約ソルバが登場し, 制約プログラミング手法に基づく生産スケジューリング, 資源割当てなどの実用的なシステムが数多く開発されている.制約解消には多くの計算資源が必要であるが, 近年, 扱う問題の複雑化にともない, 効率良く, 現実的な時間で解くことが重要になってきている.ところが, 単体の計算機だけでは計算能力に限界があるため, 複数の計算機による効率的な分散協調制約解消の必要性が高まってきている.また, グリッド・コンピューティング技術やネットワーク技術の進歩にともない, 分散環境での大規模計算の実現が可能となってきた.我々のプロジェクトでは, グリッド計算環境における効率の良い制約解消システムの構築を進めている.本発表では, 我々のシステムの基本的な設計について述べる.このシステムでは, グリッド計算環境において, 情報交換のための共有スペースを用いて, 複数・多種の制約ソルバを協力的・競争的に並行動作させることにより, 効率的な制約解消を実現することを目指している.また, グリッド計算環境下では, 部分的なネットワーク断・計算機ダウンによりシステム全体に障害をもたらす可能性が考えられる.そのため, 部分的に障害が発生しても, その影響を最小限に抑えられるようなシステム設計を提案している.
一般社団法人情報処理学会の論文
2005-04-15

グリッド計算環境における制約解消システムの構築に向けて

スポンサーリンク

概要

著者

関連論文

スポンサーリンク