• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2018 年度 実施状況報告書

非マルコフモデルに対する位相型近似の適用可能性の拡大

研究課題

研究課題/領域番号 17K00033
研究機関広島大学

研究代表者

岡村 寛之  広島大学, 工学研究科, 教授 (10311812)

研究期間 (年度) 2017-04-01 – 2020-03-31
キーワードシステムモデリング / 位相型近似 / 性能評価 / マルコフモデル / シミュレーション
研究実績の概要

平成30年度は主にマルコフモデルのシュミレーション技術の開発とツール作成に関する一部の作業を行った.具体的には,位相型近似を行った非単調なマルコフ連鎖に対するパーフェクトサンプリング手法の開発を行った.特に,パーフェクトサンプリング手法では,応用面を鑑みて,マルコフモデルよりも詳細なシステム記述が可能な確率ペトリネットに対して SMT ソルバを用いた手法の開発を行った.また,確率ペトリネットよりもより広いクラスである一般化確率ペトリネットに対する SMT ソルバを用いたパーフェクトサンプリング手法の開発も行った.一般化確率ペトリネットは一般的な確率モデルの位相型近似として得られる.そのため,ここで開発した技術により,ほとんどすべての確率モデルに対して効率的なパーフェクトサンプリングを行うことが可能となった.さらに,それらを Python によって実装したツールの開発も行った.さらに,精度保証の観点から,全変動距離とコルモゴロフ・スミルノフ検定統計量の類似性を用いて位相型分布の精度を統計的な検定によってテストする手法の開発を行った.
一方,パーフェクトサンプリングより加速させる手法として,クロスエントロピー法と組み合わせるアプローチを展開した.現時点では,定常確率に対する重み計算のためペトリネットの状態を予め導出する必要があり,従来の MDD (Multi-valued Decision Diagram) を用いた手法などとの組み合わせを検討している.

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

平成29年度に未着手であった全変動距離による位相型分布の精度評価を行った.また重点サンプリングとして開発した手法の改良を平成31年度に行う必要がある.一方でツールの開発は当初予定していた進捗を上回っており,全体の進捗は問題ない.

今後の研究の推進方策

平成31年度はパーフェクトサンプリングの高速化ならびにツール開発を行う.パーフェクトサンプリングでは,SMTソルバを複数回解く必要があるため,一つのサンプルを選るまでの時間が長い.しかしながら,SMTソルバで解くべき問題は各ステップでほとんど同一であるため,キャッシュを利用することにより,より高速に階が得られる可能性がある.また,MDDによる状態空間探索手法と組み合わせて,並列化を行うことでより高速な手法が実現できる可能性がある.また,ツール開発ではこれまでの成果を手軽に利用できるようにするため,R, Python, Julia でのパッケージ実装を行う.

  • 研究成果

    (4件)

すべて 2019 2018 その他

すべて 国際共同研究 (1件) 雑誌論文 (2件) (うち国際共著 1件、 査読あり 2件) 学会発表 (1件)

  • [国際共同研究] Duke university(米国)

    • 国名
      米国
    • 外国機関名
      Duke university
  • [雑誌論文] Reliability importance of components in a real-time computing system with standby redundancy schemes2018

    • 著者名/発表者名
      Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
    • 雑誌名

      International Journal of Mathematical, Engineering and Management Sciences

      巻: 3 ページ: 64-89

    • DOI

      https://dx.doi.org/10.33889/IJMEMS.2018.3.2-007

    • 査読あり
  • [雑誌論文] Parametric Uncertainty Propagation through Dependability Models2018

    • 著者名/発表者名
      Hiroyuki Okamura, Tadashi Dohi, Kishor Trivedi
    • 雑誌名

      Proceedings of Latin-American Symposium on Dependable Computing

      巻: - ページ: 9

    • 査読あり / 国際共著
  • [学会発表] SMTソルバを用いた確率ペトリネットのパーフェクトサンプリングアルゴリズム2019

    • 著者名/発表者名
      岡村寛之,森原和也,土肥正
    • 学会等名
      2018 年度待ち行列シンポジウム「確率モデルとその応用」

URL: 

公開日: 2019-12-27  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi