Development of Scalable Algorithms of MRSPN/MRGP Analysis for the Automation
Project/Area Number |
26330028
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Mathematical informatics
|
Research Institution | Hiroshima University |
Principal Investigator |
|
Project Period (FY) |
2014-04-01 – 2017-03-31
|
Project Status |
Completed (Fiscal Year 2016)
|
Budget Amount *help |
¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2014: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
Keywords | システム工学 / 性能評価 / 確率モデル / ペトリネット / モデル検査 |
Outline of Final Research Achievements |
The project developed algorithms to analyze MRSPN (Markov Regenerative Stochastic Petri Net) and MRGP (Markov Regenerative Process). Especially, the project dealt with the transient analysis to derive quantitative system performance measures for MRSPN with a large number of states. Moreover, the tool was also developed which implements the new algorithms.
|
Report
(4 results)
Research Products
(13 results)