| 研究課題/領域番号 |
17K00033
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
数理情報学
|
|---|
| 研究機関 | 広島大学 |
|---|
研究代表者 |
岡村 寛之 広島大学, 工学研究科, 教授 (10311812)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2020-03-31
|
| 研究課題ステータス |
完了 (2019年度)
|
| 配分額 *注記 |
4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円)
2019年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2018年度: 1,690千円 (直接経費: 1,300千円、間接経費: 390千円)
2017年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
|---|
| キーワード | システムモデリング / 位相型近似 / 性能評価 / マルコフモデル / シミュレーション / システム工学 / 確率モデル / ペトリネット / モデル検査 |
|---|
| 研究成果の概要 |
本研究では MRGP における位相型近似における精度保証ならびに状態爆発の問題を解消し，実用面における位相型近似の適用可能性を拡大した．特に，位相近似に対する精度保証として確率順序による上下限値の評価および全変動距離による評価を行った．さらに，状態爆発の問題に対しては位相型近似したマルコフモデルに対する完全サンプリングの開発を行った．完全サンプリングでは上下限値を得るための数理計画問題を定義し，これをSMTソルバで解くことによって，より広いクラスのモデルに対して適用することを可能にした．
|
| 研究成果の学術的意義や社会的意義 |
ここで得られた成果は位相型近似で従来から指摘されてきた精度保証と状態爆発の問題をある程度可決し，その適用可能性を大幅に向上させた．確率モデルによるシステム評価は，これからIoT/CPSシステムで利用されるモデルベース開発などでのシステム検証に対して有効である．そのため，ここで得られた成果はシステム全体の高信頼化に対して大きく寄与するものと考えられる．
|
