| 講演抄録/キーワード |
| 講演名 |
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 |
| 研究会情報 |
| 研究会 |
DC |
| 開催期間 |
2014-10-27 - 2014-10-27 |
| 開催地(和) |
機械振興会館 |
| 開催地(英) |
Kikai-Shinko-Kaikan Bldg. |
| テーマ(和) |
ネットワーク環境でのディペンダビリティ,一般 |
| テーマ(英) |
Dependability issues in network environments, etc. |
| 講演論文情報の詳細 |
| 申込み研究会 |
DC |
| 会議コード |
2014-10-DC |
| 本文の言語 |
英語(日本語タイトルあり) |
| タイトル(和) |
相互依存するネットワーク上の連鎖的障害に対する充足可能性判定を用いた評価方法の提案 |
| サブタイトル(和) |
|
| タイトル(英) |
SAT-based evaluation of cascading failures in inter-dependent networks |
| サブタイトル(英) |
|
| キーワード(1)(和/英) |
相互依存ネットワーク / inter-dependent networks |
| キーワード(2)(和/英) |
連鎖的障害 / cascading failures |
| キーワード(3)(和/英) |
電力系統 / power systems |
| キーワード(4)(和/英) |
SCADA / SCADA |
| キーワード(5)(和/英) |
充足可能性判定 / satisfiability solving |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
土屋 達弘 / Tatsuhiro Tsuchiya / |
| 第1著者 所属(和/英) |
大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.) |
| 第2著者 氏名(和/英/ヨミ) |
/ / |
| 第2著者 所属(和/英) |
(略称: )
(略称: ) |
| 第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著者 所属(和/英) |
(略称: )
(略称: ) |
| 第19著者 氏名(和/英/ヨミ) |
/ / |
| 第19著者 所属(和/英) |
(略称: )
(略称: ) |
| 第20著者 氏名(和/英/ヨミ) |
/ / |
| 第20著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2014-10-27 14:30:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
DC |
| 資料番号 |
DC2014-21 |
| 巻番号(vol) |
vol.114 |
| 号番号(no) |
no.280 |
| ページ範囲 |
pp.1-3 |
| ページ数 |
3 |
| 発行日 |
2014-10-20 (DC) |