• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Expansion of Applicability of Phase Approximation for Non-Markovian Models

Research Project

Project/Area Number 17K00033
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Mathematical informatics
Research InstitutionHiroshima University

Principal Investigator

Okamura Hiroyuki  広島大学, 工学研究科, 教授 (10311812)

Project Period (FY) 2017-04-01 – 2020-03-31
Project Status Completed (Fiscal Year 2019)
Budget Amount *help
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2019: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2018: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2017: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Keywordsシステムモデリング / 位相型近似 / 性能評価 / マルコフモデル / シミュレーション / システム工学 / 確率モデル / ペトリネット / モデル検査
Outline of Final Research Achievements

This project partially solved the problems of accuracy guarantee and state explosion in the phase type approximation in MRGP, and expanded the applicability of the phase type approximation in practical use. In particular, as the accuracy guarantee for the phase approximation, we evaluated the upper and lower bounds by using the stochastic order and the total variation. Furthermore, we have developed perfect sampling for Markov model with phase type approximation, and relaxed the problem of state explosion. In perfect sampling, we defined a mathematical programming problem to obtain the upper and lower bounds of system states, and it is solved with an SMT solver. Our algorithm made it possible to apply the perfect sampling to a wide class of models.

Academic Significance and Societal Importance of the Research Achievements

ここで得られた成果は位相型近似で従来から指摘されてきた精度保証と状態爆発の問題をある程度可決し,その適用可能性を大幅に向上させた.確率モデルによるシステム評価は,これからIoT/CPSシステムで利用されるモデルベース開発などでのシステム検証に対して有効である.そのため,ここで得られた成果はシステム全体の高信頼化に対して大きく寄与するものと考えられる.

Report

(4 results)
  • 2019 Annual Research Report   Final Research Report ( PDF )
  • 2018 Research-status Report
  • 2017 Research-status Report
  • Research Products

    (11 results)

All 2020 2019 2018 2017 Other

All Int'l Joint Research (1 results) Journal Article (6 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 6 results,  Open Access: 1 results) Presentation (4 results) (of which Int'l Joint Research: 2 results)

  • [Int'l Joint Research] Duke university(米国)

    • Related Report
      2018 Research-status Report
  • [Journal Article] Parameter Estimation of Mt/M/1/K Queueing Systems With Utilization Data2019

    • Author(s)
      C. Li, H. Okamura, T. Dohi
    • Journal Title

      IEEE Access

      Volume: 7 Pages: 42664-42671

    • DOI

      10.1109/access.2019.2906796

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Reliability importance of components in a real-time computing system with standby redundancy schemes2018

    • Author(s)
      Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi
    • Journal Title

      International Journal of Mathematical, Engineering and Management Sciences

      Volume: 3 Issue: 2 Pages: 64-89

    • DOI

      10.33889/ijmems.2018.3.2-007

    • Related Report
      2018 Research-status Report
    • Peer Reviewed
  • [Journal Article] Parametric Uncertainty Propagation through Dependability Models2018

    • Author(s)
      Hiroyuki Okamura, Tadashi Dohi, Kishor Trivedi
    • Journal Title

      Proceedings of Latin-American Symposium on Dependable Computing

      Volume: - Pages: 9-9

    • Related Report
      2018 Research-status Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] A comprehensive evaluation of software rejuvenation policies for transaction systems with Markovian arrivals2017

    • Author(s)
      J. Zheng, H. Okamura, L. Li, T. Dohi
    • Journal Title

      IEEE Transactions on Reliability

      Volume: 66 Issue: 4 Pages: 1157-1177

    • DOI

      10.1109/tr.2017.2741526

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] A statistical framework on software aging modeling with continuous-time hidden Markov model2017

    • Author(s)
      H. Okamura, J. Zheng, T. Dohi
    • Journal Title

      Proceedings of the 36th International Symposium on Reliable Distributed Systems

      Volume: - Pages: 114-123

    • DOI

      10.1109/srds.2017.24

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Journal Article] A generalized bivariate modeling framework of fault detection and correction processes2017

    • Author(s)
      H. Okamura, T. Dohi
    • Journal Title

      Proceedings of the 26th International Symposium on Software Reliability Engineering

      Volume: - Pages: 35-45

    • DOI

      10.1109/issre.2017.22

    • Related Report
      2017 Research-status Report
    • Peer Reviewed
  • [Presentation] 階層型フォールトツリーの感度解析に関する考察2020

    • Author(s)
      張家豪,鄭俊俊,岡村寛之,土肥正
    • Organizer
      日本オペレーションズ・リサーチ学会春季研究発表会
    • Related Report
      2019 Annual Research Report
  • [Presentation] A Moment-Based Approximation for Uncertainty Propagation in Fault Trees2019

    • Author(s)
      J. Zhang, J. Zheng, H. Okamura, T. Dohi
    • Organizer
      24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] On Algorithm for High-Order Derivatives of Markov Reward Models2019

    • Author(s)
      H. Okamura, J. Zheng, T. Dohi
    • Organizer
      11th International Conference on Mathematical Methods in Reliability
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] SMTソルバを用いた確率ペトリネットのパーフェクトサンプリングアルゴリズム2019

    • Author(s)
      岡村寛之,森原和也,土肥正
    • Organizer
      2018 年度待ち行列シンポジウム「確率モデルとその応用」
    • Related Report
      2018 Research-status Report

URL: 

Published: 2017-04-28   Modified: 2021-02-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi