/ プログラム/ 発表一覧/ 著者一覧/ 企業展示一覧/ jsai2013ホーム /

2E5-OS-09b-2 SATによる車両運用計画問題の定式化と集中/分散解法の適用

*セッションの無断動画配信はご遠慮下さい。

Tweet #jsai2013 このエントリーをはてなブックマークに追加

06月05日(Wed) 18:00〜20:20 E会場(-国際会議場204号室)
2E5-OS-09b オーガナイズドセッション「OS-09 SAT技術の理論,実装,応用-2」

演題番号2E5-OS-09b-2
題目SATによる車両運用計画問題の定式化と集中/分散解法の適用
著者下牧 昌太郎(神戸大学大学院海事科学研究科海事科学専攻)
尾松 郁哉(神戸大学海事科学部海洋ロジスティクス科学科)
平山 勝敏(神戸大学大学院海事科学研究科)
時間06月05日(Wed) 18:20〜18:40
概要車両運用計画問題とは鉄道ダイヤ(運用)に車両を割り当てる問題である.本論文では,この問題をSATで定式化し,SATアルゴリズムを適用する.さらに,複数の鉄道会社が関係する問題(分散車両運用計画問題)を節集合分割型分散SATで定式化し,非同期バックトラッキングアルゴリズムを適用する.実際の鉄道ダイヤから作成した問題例を用いて実験を行い,これらの定式化と解法の有効性を確認する.
論文PDFファイル