| 講演名 | 2018-11-13 プロセスマイニング手法を適用した離散事象シミュレーションモデルの仕様適合性検査 上原 健嗣(北陸先端大), 平石 邦彦(北陸先端大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 離散事象シミュレーションは，事象の振る舞いを計算機上で再現し，その仕組みを解明するために有用な手法であり，最適な制御方法の発見や，システムの性能評価など多くの用途に利用されている．しかしながらシミュレーションの結果に妥当性を持たせるためには，モデルが設計通りに正しく動作していることを検査する必要があり，開発者にとっては大きな負担となる．本稿では，モデルの正当性チェックにプロセスマイニングを適用し，開発者の負担を軽減するための新たな検査手法を提案する． |
| 抄録(英) | Discrete-event simulation is an effective method to reproduce the target system behavior and to investigate its mechanism. In order to grant the validity of the simulation output, the model must show the compliance with specification and design. However, the test process to prove the validity would impose heavy workload on developers. In this paper, we show a new approach to prove the specification-conformance of the simulation model by using Process Mining method and attempt to alleviate the developers’ workload in the test phase. |
| キーワード(和) | プロセスマイニング / 離散事象シミュレーションモデル / 仕様適合性 / 妥当性検査 |
| キーワード(英) | Process Mining / Discrete-event simulation model / Specification conformance / Validity Check |
| 資料番号 | CAS2018-75,MSS2018-51 |
| 発行日 | 2018-11-05 (CAS, MSS) |
| 研究会情報 | |
| 研究会 | MSS / CAS / IPSJ-AL |
|---|---|
| 開催期間 | 2018/11/12(から2日開催) |
| 開催地（和） | 熱海伊豆山温泉 ハートピア熱海 |
| 開催地（英） | |
| テーマ（和） | システムのモデリングと制御・検証・最適化の手法，機械学習的アプローチ及び一般 |
| テーマ（英） | |
| 委員長氏名（和） | 名嘉村 盛和(琉球大) / 岡崎 秀晃(湘南工科大) |
| 委員長氏名（英） | Morikazu Nakamura(Univ. of Ryukyus) / Hideaki Okazaki(Shonan Inst. of Tech.) |
| 副委員長氏名（和） | 髙井 重昌(阪大) / 山脇 大造(日立) |
| 副委員長氏名（英） | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) |
| 幹事氏名（和） | 豊嶋 伊知郎(東芝エネルギーシステムズ) / 金澤 尚史(阪大) / 橘 俊宏(湘南工科大) / 中村 洋平(日立) |
| 幹事氏名（英） | Ichiro Toyoshima(Toshiba) / Takahumi Kanazawa(Osaka Univ.) / Toshihiro Tachibana(Shonan Inst. of Tech.) / Yohei Nakamura(Hitachi) |
| 幹事補佐氏名（和） | 金城 秀樹(沖縄大) / 山口 基(ルネサスエレクトロニクス) |
| 幹事補佐氏名（英） | Hideki Kinjo(Okinawa Univ.) / Motoi Yamaguchi(Renesas Electronics) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Special Interest Group on Algorithms |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プロセスマイニング手法を適用した離散事象シミュレーションモデルの仕様適合性検査 |
| サブタイトル（和） | |
| タイトル（英） | Process mining approach for the conformance checking of discrete-event simulation model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | プロセスマイニング / Process Mining |
| キーワード(2)（和/英） | 離散事象シミュレーションモデル / Discrete-event simulation model |
| キーワード(3)（和/英） | 仕様適合性 / Specification conformance |
| キーワード(4)（和/英） | 妥当性検査 / Validity Check |
| 第 1 著者 氏名（和/英） | 上原 健嗣 / Kenji Uehara |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学(略称：北陸先端大) Japan Advanced Institute of Science and Technology(略称：JAIST) |
| 第 2 著者 氏名（和/英） | 平石 邦彦 / Kunihiko Hiraishi |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学(略称：北陸先端大) Japan Advanced Institute of Science and Technology(略称：JAIST) |
| 発表年月日 | 2018-11-13 |
| 資料番号 | CAS2018-75,MSS2018-51 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | CAS-295,MSS-296 |
| ページ範囲 | pp.121-126(CAS), pp.121-126(MSS), |
| ページ数 | 6 |
| 発行日 | 2018-11-05 (CAS, MSS) |