10月17日(金) 午後 13:30 - 16:40 |
(1) |
13:30-13:55 |
化学プラントにおける配管の内部腐食箇所の推定 |
○野見山 隆・松山久義・立野繁之(早大) |
(2) |
13:55-14:20 |
データベースモデルにおける定常データ削減効果の検証 |
○木畑 聡(早大)・笠原一男・柘植義文(九大)・松山久義・立野繁之(早大) |
(3) |
14:20-14:45 |
安全性評価のための異常伝搬経路探索法の改良 ~ 制御系の動作を考慮した探索法 ~ |
○荒木康範・白濱宏美・木村直樹・柘植義文(九大) |
(4) |
14:45-15:10 |
拡張優先ANDゲートのマルコフ解析における優先遷移ルール |
○陶山貢市・小杉のぶ子(東京海洋大) |
|
15:10-15:25 |
休憩 ( 15分 ) |
(5) |
15:25-15:50 |
段階的詳細化に基づく鉄道信号へのフォーマルメソッド適用 |
○寺田夏樹(鉄道総研) |
(6) |
15:50-16:15 |
SEIRモデルとMASモデルによるパンデミックシミュレーションの整合性 |
○豊坂祐樹・藤尾光彦・廣瀬英雄(九工大) |
(7) |
16:15-16:40 |
Diagnosis Accuracy in Electric Power Apparatuses Conditions using the Classification Methods |
○Hideo Hirose・Faisal M. Zaman・Kotaro Tsuru(Kyushu Inst. of Tech.)・Toshihiro Tsuboi・Shimitsu Okabe(Tokyo Electric Power) |