| 講演名 | 2017-11-17 カラーペトリネットに基づく最適資源割当て数理計画の自動生成 牛島 涼介(琉球大), 天願 健(名桜大), アンドレア ヴェロニカ ポルコ(琉球大), 名嘉村 盛和(琉球大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿て?は, カラー時間ヘ?トリネットに基つ?く資源割当てを最適化する混合整数線形計画問題の自動生成の ための手法を提案する.提案手法は, ユーサ?によってモテ?ル化された 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 |
| 資料番号 | CAS2017-61,MSS2017-45 |
| 発行日 | 2017-11-09 (CAS, MSS) |
| 研究会情報 | |
| 研究会 | CAS / MSS / IPSJ-AL |
|---|---|
| 開催期間 | 2017/11/16(から2日開催) |
| 開催地（和） | 日立中央研究所 |
| 開催地（英） | |
| テーマ（和） | システムのモデリングと制御・検証・最適化の手法，機械学習的アプローチ及び一般 |
| テーマ（英） | |
| 委員長氏名（和） | 平木 充(ルネサス エレクトロニクス) / 名嘉村 盛和(琉球大) / 堀山 貴史(埼玉大学) |
| 委員長氏名（英） | Mitsuru Hiraki(Renesas) / Morikazu Nakamura(Univ. of Ryukyus) / Takashi Horiyama(Saitama University) |
| 副委員長氏名（和） | 岡崎 秀晃(湘南工科大) / 髙井 重昌(阪大) |
| 副委員長氏名（英） | Hideaki Okazaki(Shonan Inst. of Tech.) / Shigemasa Takai(Osaka Univ.) |
| 幹事氏名（和） | 山口 基(ルネサス エレクトロニクス) / 橘 俊宏(湘南工科大) / 豊嶋 伊知郎(東芝) / 金澤 尚史(阪大) / 岡本 吉央(電気通信大学) / 川原 純(奈良先端科学技術大学院大学) / 河村 彰星(東京大学) |
| 幹事氏名（英） | Motoi Yamaguchi(Renesas) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) / Yoshio Okamoto(The University of Electro-Communications) / Jun Kawahara(Nara Institute of Science and Technology) / Akitoshi Kawamura(University of Tokyo) |
| 幹事補佐氏名（和） | 中村 洋平(日立) / 金城 秀樹(沖縄大) |
| 幹事補佐氏名（英） | Yohei Nakamura(Hitachi) / Hideki Kinjo(Okinawa Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Circuits and Systems / Technical Committee on Mathematical Systems Science and its applications / Special Interest Group on Algorithms |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | カラーペトリネットに基づく最適資源割当て数理計画の自動生成 |
| サブタイトル（和） | |
| タイトル（英） | Colored Petri Net based Automatic Generation of Mathematical Programming for Optimum Resource Assignment Problems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 資源割当問題 / Resource Assignment |
| キーワード(2)（和/英） | 混合整数線形計画問題 / Mixed Integer Linear Programming Problem |
| キーワード(3)（和/英） | ペトリネット / Colored Timed Petri Nets |
| キーワード(4)（和/英） | S4R / S4R |
| キーワード(5)（和/英） | 自動生成 / Automatic Generation |
| 第 1 著者 氏名（和/英） | 牛島 涼介 / Ryosuke Ushijima |
| 第 1 著者 所属（和/英） | 琉球大学(略称：琉球大) University of the Ryukyus(略称：Univ. of the Ryukyus) |
| 第 2 著者 氏名（和/英） | 天願 健 / Takeshi Tengan |
| 第 2 著者 所属（和/英） | 名桜大学(略称：名桜大) Meio University(略称：Meio Univ.) |
| 第 3 著者 氏名（和/英） | アンドレア ヴェロニカ ポルコ / Andrea Veronica Porco |
| 第 3 著者 所属（和/英） | 琉球大学(略称：琉球大) University of the Ryukyus(略称：Univ. of the Ryukyus) |
| 第 4 著者 氏名（和/英） | 名嘉村 盛和 / Morikazu Nakamura |
| 第 4 著者 所属（和/英） | 琉球大学(略称：琉球大) University of the Ryukyus(略称：Univ. of the Ryukyus) |
| 発表年月日 | 2017-11-17 |
| 資料番号 | CAS2017-61,MSS2017-45 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | CAS-300,MSS-301 |
| ページ範囲 | pp.141-145(CAS), pp.141-145(MSS), |
| ページ数 | 5 |
| 発行日 | 2017-11-09 (CAS, MSS) |