講演抄録/キーワード |
講演名 |
2014-10-27 14:30
相互依存するネットワーク上の連鎖的障害に対する充足可能性判定を用いた評価方法の提案 ○土屋達弘(阪大) DC2014-21 |
抄録 |
(和) |
電力ネットワークとSCADAネットワークの様な相互依存するネットワークにおける連鎖的障害の解析を充足可能性判定を用いることで効率的に行う方法を提案する. |
(英) |
We propose using a Boolean satisfiability (SAT) solver for an efficient analysis of cascading failures that can occur in inter-dependent networks, such as power line and SCADA networks. |
キーワード |
(和) |
相互依存ネットワーク / 連鎖的障害 / 電力系統 / SCADA / 充足可能性判定 / / / |
(英) |
inter-dependent networks / cascading failures / power systems / SCADA / satisfiability solving / / / |
文献情報 |
信学技報, vol. 114, no. 280, DC2014-21, pp. 1-3, 2014年10月. |
資料番号 |
DC2014-21 |
発行日 |
2014-10-20 (DC) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
DC2014-21 |