講演名 2021-11-19
ジョブショップスケジューリング問題に対するペトリネットモデリングに基づくイジングモデル生成
兼島 光平(琉球大), 名嘉村 盛和(琉球大),
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 組合せ最適化問題を解くための量子計算として量子アニーリングが注目されている.量子アニーリングを利用するためには最適化問題はイジングモデル,あるいは制約無し二次計画問題(QUBOモデル)として定式化を行う必要がある.本研究では,時間カラーペトリネットモデルに基づく量子アニーリングのためのイジングモデルの定式化を行う手法を開発する.本稿ではジョブショップスケジューリング問題に対するモデルベース量子アニーリング手法を提案する.提案手法の有効性を示すためソフトウエアツールを開発し,サンプル問題に対してイジングモデル定式化を行なった.また,提案手法の定式化に適したハミルトニアン間の重み調整パラメータに関する計算機実験を行なったのでそれらの結果を紹介する.
抄録(英) Quantum annealing has been drawing attention as a fast algorithm for solving combinatorial optimization problems. The objective of our research is to develop a method for automatically generating an Ising model of an optimization problem from a Petri net model. This paper proposes a method for the formulation of Ising models for job-shop scheduling problems based on timed colored Petri nets. We develop a software tool to generate Ising models from Petri net model for the target scheduling problem with combined other useful tools for Petri nets and quantum annealing. This paper shows some examples and investigate suitable parameter setting for our formulation.
キーワード(和) イジングモデル / 量子アニーリング / ペトリネット / スケジューリング問題 / 最適化
キーワード(英) Ising model / quantum annealing / Petri net / scheduling problem / optimization
資料番号 CAS2021-48,MSS2021-28
発行日 2021-11-11 (CAS, MSS)

研究会情報
研究会 MSS / CAS / IPSJ-AL
開催期間 2021/11/18(から2日開催)
開催地(和) オンライン開催
開催地(英) Online
テーマ(和) システムのモデリングと制御・検証・最適化の手法,機械学習的アプローチ及び一般
テーマ(英)
委員長氏名(和) 尾崎 敦夫(阪工大) / 佐藤 弘樹(ソニーLSIデザイン)
委員長氏名(英) Atsuo Ozaki(Osaka Inst. of Tech.) / Hiroki Sato(Sony LSI Design)
副委員長氏名(和) 山口 真悟(山口大) / 前田 義信(新潟大)
副委員長氏名(英) Shingo Yamaguchi(Yamaguchi Univ.) / Yoshinobu Maeda(Niigata Univ.)
幹事氏名(和) 小林 孝一(北大) / 劉 健全(NEC) / 下田 真二(ソニーLSIデザイン) / 伊藤 尚(富山高専)
幹事氏名(英) Koichi Kobayashi(Hokkaido Univ.) / Jianquan Liui(NEC) / Shinji Shimoda(Sony LSI Design) / Nao Ito(NIT, Toyama college)
幹事補佐氏名(和) 白井 匡人(島根大) / 山口 基(テクノプロ) / 中村 洋平(日立) / 佐藤 隆英(山梨大) / 相原 康敏(村田製作所)
幹事補佐氏名(英) Masato Shirai(Shimane Univ.) / Motoi Yamaguchi(TECHNOPRO) / Yohei Nakamura(Hitachi) / Takahide Sato(Univ. of Yamanashi) / Yasutoshi Aibara(Murata Manufacturing)

講演論文情報詳細
申込み研究会 Technical Committee on Mathematical Systems Science and its Applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms
本文の言語 JPN
タイトル(和) ジョブショップスケジューリング問題に対するペトリネットモデリングに基づくイジングモデル生成
サブタイトル(和)
タイトル(英) Ising Model Formulation for Job-shop Scheduling Problems based on Petri Nets Modeling
サブタイトル(和)
キーワード(1)(和/英) イジングモデル / Ising model
キーワード(2)(和/英) 量子アニーリング / quantum annealing
キーワード(3)(和/英) ペトリネット / Petri net
キーワード(4)(和/英) スケジューリング問題 / scheduling problem
キーワード(5)(和/英) 最適化 / optimization
第 1 著者 氏名(和/英) 兼島 光平 / Kohei Kaneshima
第 1 著者 所属(和/英) 琉球大学(略称:琉球大)
University of the Ryukyus(略称:Univ. of the Ryukyus)
第 2 著者 氏名(和/英) 名嘉村 盛和 / Morikazu Nakamura
第 2 著者 所属(和/英) 琉球大学(略称:琉球大)
University of the Ryukyus(略称:Univ. of the Ryukyus)
発表年月日 2021-11-19
資料番号 CAS2021-48,MSS2021-28
巻番号(vol) vol.121
号番号(no) CAS-249,MSS-250
ページ範囲 pp.64-69(CAS), pp.64-69(MSS),
ページ数 6
発行日 2021-11-11 (CAS, MSS)