| 講演名 | 2020-07-31 SMTソルバを用いた電力ネットワークにおける障害伝播の解析手法の提案 南出 大智(阪大), 土屋 達弘(阪大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 相互依存するシステムとしてモデル化された電力システムの連鎖障害について, 充足可能性判定問題を解 くことで解析する手法を提案する. 相互依存する電力システムにおいて初期故障が生じた場合, その障害が伝搬するこ とでシステムに大きな被害をもたらすことがある. 提案手法では, システムの構成要素の依存関係を論理式で表し, そ の論理式に対して, 充足可能性判定問題を解くツールであるSMTソルバを用いることで解析する. 実験では, 提案手 法を実装し提案手法が実用的な規模のシステムに適用可能であることを示す. |
| 抄録(英) | |
| キーワード(和) | 連鎖障害 / SMTソルバ / 電力システム |
| キーワード(英) | |
| 資料番号 | CPSY2020-14,DC2020-14 |
| 発行日 | 2020-07-23 (CPSY, DC) |
| 研究会情報 | |
| 研究会 | CPSY / DC / IPSJ-ARC |
|---|---|
| 開催期間 | 2020/7/30(から2日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | SWoPP2020: 並列／分散／協調システムとディペンダブルコンピューティングおよび一般 |
| テーマ（英） | SWoPP2020: Parallel, Distributed and Cooperative Processing Systems and Dependable Computing |
| 委員長氏名（和） | 入江 英嗣(東大) / 高橋 寛(愛媛大) / 井上 弘士(九大) |
| 委員長氏名（英） | Hidetsugu Irie(Univ. of Tokyo) / Hiroshi Takahashi(Ehime Univ.) / Hiroshi Inoue(Kyushu Univ.) |
| 副委員長氏名（和） | 鯉渕 道紘(NII) / 中島 耕太(富士通研) / 土屋 達弘(阪大) |
| 副委員長氏名（英） | Michihiro Koibuchi(NII) / Kota Nakajima(Fujitsu Lab.) / Tatsuhiro Tsuchiya(Osaka Univ.) |
| 幹事氏名（和） | 高前田 伸也(北大) / 津邑 公暁(名工大) / 新井 雅之(日大) / 難波 一輝(千葉大) / 今村 智(富士通研) / 塩谷 亮太(東大) / 谷本 輝夫(九大) / 新田 高庸(NTT) |
| 幹事氏名（英） | Shinya Takameda(Hokkaido Univ.) / Tomoaki Tsumura(Nagoya Inst. of Tech.) / Masayuki Arai(Nihon Univ.) / Kazuteru Namba(Chiba Univ.) / Satoshi Imamura(Fujitsu Labs.) / Ryota Shioya(Univ. of Tokyo) / Teruo Tanimoto(Kyushu Univ.) / Koyo Nitta(NTT) |
| 幹事補佐氏名（和） | 小川 周吾(日立) / 有間 英志(東大) |
| 幹事補佐氏名（英） | Shugo Ogawa(Hitachi) / Eiji Arima(Univ. of Tokyo) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Computer Systems / Technical Committee on Dependable Computing / Special Interest Group on System Architecture |
|---|---|
| 本文の言語 | JPN-ONLY |
| タイトル（和） | SMTソルバを用いた電力ネットワークにおける障害伝播の解析手法の提案 |
| サブタイトル（和） | |
| タイトル（英） | |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 連鎖障害 |
| キーワード(2)（和/英） | SMTソルバ |
| キーワード(3)（和/英） | 電力システム |
| 第 1 著者 氏名（和/英） | 南出 大智 / Daichi Minamide |
| 第 1 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 第 2 著者 氏名（和/英） | 土屋 達弘 / Tatsuhiro Tsuchiya |
| 第 2 著者 所属（和/英） | 大阪大学(略称：阪大) Osaka University(略称：Osaka Univ.) |
| 発表年月日 | 2020-07-31 |
| 資料番号 | CPSY2020-14,DC2020-14 |
| 巻番号（vol） | vol.120 |
| 号番号（no） | CPSY-121,DC-122 |
| ページ範囲 | pp.87-92(CPSY), pp.87-92(DC), |
| ページ数 | 6 |
| 発行日 | 2020-07-23 (CPSY, DC) |