講演抄録/キーワード |
講演名 |
2017-11-17 16:05
カラーペトリネットに基づく最適資源割当て数理計画の自動生成 ○牛島涼介(琉球大)・天願 健(名桜大)・アンドレア ヴェロニカ ポルコ・名嘉村盛和(琉球大) CAS2017-61 MSS2017-45 |
抄録 |
(和) |
本稿では, カラー時間ペトリネットに基づく資源割当てを最適化する混合整数線形計画問題の自動生成の ための手法を提案する.提案手法は, ユーザによってモデル化された S4R というクラスのカラー時間ペトリネットの データを読み込み, タスク間の先行制約及び資源共有を考慮した上で,あらかじめ設定された時間制約を満足するよう なコスト最小の資源割当計画を求めるための混合整数線形計画問題を生成するものである.開発したツールを用いる ことでユーザーは GUI 環境で処理の流れをネットモデルとしてモデル化することで混合整数線形計画問題を生成でき る.生成された混合整数線形計画問題をソルバーに入力することで最適な資源割当ての解を得ることができる. |
(英) |
This paper proposes a method for automatic generation of mixed integer linear programming problems for optimization of resource assignment with multiple resources based on Colored Timed Petri Nets (CPN) model. Our method reads CPN models created by users, analyzes the precedence and competitive relation between tasks, and extracts available resources and incorporating time limit such as delivery date, and finally generates the mixed integer programming problem to solve exactly the resource assignment problem. |
キーワード |
(和) |
資源割当問題 / 混合整数線形計画問題 / ペトリネット / S4R / 自動生成 / / / |
(英) |
Resource Assignment / Mixed Integer Linear Programming Problem / Colored Timed Petri Nets / S4R / Automatic Generation / / / |
文献情報 |
信学技報, vol. 117, no. 301, MSS2017-45, pp. 141-145, 2017年11月. |
資料番号 |
MSS2017-45 |
発行日 |
2017-11-09 (CAS, MSS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CAS2017-61 MSS2017-45 |