| 研究課題/領域番号 |
25540006
|
|---|
| 研究種目 |
挑戦的萌芽研究
|
| 配分区分 | 基金 |
|---|
| 研究分野 |
数理情報学
|
|---|
| 研究機関 | 山形大学 |
|---|
研究代表者 |
平中 幸雄 山形大学, 理工学研究科, 教授 (40134465)
|
|---|
| 連携研究者 |
武田 利浩 山形大学, 大学院理工学研究科, 助教 (90236472)
|
|---|
| 研究協力者 |
三浦 信一
榊 法盡
伊藤 健太
|
|---|
| 研究期間 (年度) |
2013-04-01 – 2015-03-31
|
| 研究課題ステータス |
完了 (2014年度)
|
| 配分額 *注記 |
2,080千円 (直接経費: 1,600千円、間接経費: 480千円)
2014年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2013年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 逆方向シミュレーション / システム安全性検証 / 範囲信号 / 数値逆方向モデル / ケース分岐シミュレーション / ダイナミックプライシング / FIR逆フィルタ |
|---|
| 研究成果の概要 |
システムの安全性を評価する方法として、逆方向シミュレーションを研究している。異常結果を起点に、それを引き起こす可能性のある入力範囲が存在すれば、安全でないと判定する。しかし、逆方向モデルの作成は一般に困難であるので、数値的な逆方向モデルを使って、場合分け処理によりシミュレーションの実現を試みた。具体的に、電気料金のダイナミックプライシング、暖房による室温変化、一般的なインパルス応答の逆算に適用し、有効であることを示した。また、逆算の分岐数と計算量、計算精度に関する評価も行った。
|
