| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2015-03-09 13:25 適応的重点サンプリングによる統計的モデル検査手法 ○西木 悠・結縁祥治（名大）  SS2014-61 |
|
| 抄録 | （和） | 本研究では,フォールトツリー解析と適応的重点サンプリングを使用した統計的モデル検査手法を提案する.統計的モデル検査はモンテカルロ法と時相論理による検証を組み合わせた軽量形式手法の一種である.統計的モデル検査において主となる問題は稀な事象の検証である.モンテカルロ法の稀な事象の検証に対処可能な方法として, 適応的重点サンプリングがある.目的となる性質の充足可能性を検査する直接的なサンプリングでは,適応的重点サンプリングを統計的モデル検査の問題に単純に適用することはできない.稀な事象はエラーであると仮定することにより,フォールトツリーを探索することで,帰納的にトップ事象の推定に適した確率分布を推定する.提案手法を実現する統計的モデル検査器を実装して実験を行い,実験の結果から,提案手法が適応的な確率分布の推定に有効であることを示す. |
| （英） | We propose a method for statitical model checking of error as rare events with adaptive importance sampling, where the fault trees are used to analyze the cause of the error. Statistical model checking(SMC) per- forms Monte-Carlo simulation to statistically estimate whether a property holds with the specified probability. We apply the rare event simulation in SMC with adaptive importance sampling. We describe an error property as a bounded temporal logic formula to estimate how rare the formula is satisfied. Given a fault-tree for the error, we estimate a biasing density with less divergence iteratively by traversing the fault-tree. We implemented a statistical model checker using our method to illustrate that our method efficiently works to adaptively estimate of probability distributions for the fault-tolerant fuel control system example in Simulink. |
|
| キーワード | （和） | 統計的モデル検査 / 適応的重点サンプリング / フォールトツリー解析 / / / / / |
| （英） | Statistical model checking / Adaptive importance sampling / Fault-tree analysis / / / / / | |
| 文献情報 | 信学技報, vol. 114, no. 510, SS2014-61, pp. 37-42, 2015年3月. | |
| 資料番号 | SS2014-61 | |
| 発行日 | 2015-03-02 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2014-61 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2015-03-09 - 2015-03-10 |
| 開催地（和） | 沖縄県青年会館 |
| 開催地（英） | OKINAWAKEN SEINENKAIKAN |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2015-03-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 適応的重点サンプリングによる統計的モデル検査手法 |
| サブタイトル（和） | |
| タイトル（英） | Statistical Model Checking with Adaptive Importance Sampling |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 統計的モデル検査 / Statistical model checking |
| キーワード(2)（和/英） | 適応的重点サンプリング / Adaptive importance sampling |
| キーワード(3)（和/英） | フォールトツリー解析 / Fault-tree analysis |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 西木 悠 / Yu Nishiki / ニシキ ユウ |
| 第1著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ) |
| 第2著者 氏名（和/英/ヨミ） | 結縁 祥治 / Shoji Yuen / ユウエン ショウジ |
| 第2著者 所属（和/英） | 名古屋大学 (略称： 名大) Nagoya University (略称： Nagoya Univ) |
| 第3著者 氏名（和/英/ヨミ） | / / |
| 第3著者 所属（和/英） | (略称： ) (略称： ) |
| 第4著者 氏名（和/英/ヨミ） | / / |
| 第4著者 所属（和/英） | (略称： ) (略称： ) |
| 第5著者 氏名（和/英/ヨミ） | / / |
| 第5著者 所属（和/英） | (略称： ) (略称： ) |
| 第6著者 氏名（和/英/ヨミ） | / / |
| 第6著者 所属（和/英） | (略称： ) (略称： ) |
| 第7著者 氏名（和/英/ヨミ） | / / |
| 第7著者 所属（和/英） | (略称： ) (略称： ) |
| 第8著者 氏名（和/英/ヨミ） | / / |
| 第8著者 所属（和/英） | (略称： ) (略称： ) |
| 第9著者 氏名（和/英/ヨミ） | / / |
| 第9著者 所属（和/英） | (略称： ) (略称： ) |
| 第10著者 氏名（和/英/ヨミ） | / / |
| 第10著者 所属（和/英） | (略称： ) (略称： ) |
| 第11著者 氏名（和/英/ヨミ） | / / |
| 第11著者 所属（和/英） | (略称： ) (略称： ) |
| 第12著者 氏名（和/英/ヨミ） | / / |
| 第12著者 所属（和/英） | (略称： ) (略称： ) |
| 第13著者 氏名（和/英/ヨミ） | / / |
| 第13著者 所属（和/英） | (略称： ) (略称： ) |
| 第14著者 氏名（和/英/ヨミ） | / / |
| 第14著者 所属（和/英） | (略称： ) (略称： ) |
| 第15著者 氏名（和/英/ヨミ） | / / |
| 第15著者 所属（和/英） | (略称： ) (略称： ) |
| 第16著者 氏名（和/英/ヨミ） | / / |
| 第16著者 所属（和/英） | (略称： ) (略称： ) |
| 第17著者 氏名（和/英/ヨミ） | / / |
| 第17著者 所属（和/英） | (略称： ) (略称： ) |
| 第18著者 氏名（和/英/ヨミ） | / / |
| 第18著者 所属（和/英） | (略称： ) (略称： ) |
| 講演者 | 第1著者 |
| 発表日時 | 2015-03-09 13:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2014-61 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | no.510 |
| ページ範囲 | pp.37-42 |
| ページ数 | 6 |
| 発行日 | 2015-03-02 (SS) |
[研究会発表申込システムのトップページに戻る]