12月14日(金) 午後 13:45 - 17:30 |
(1) |
13:45-14:15 |
Mobile device prediction for location-based cloud service |
○Haibo Yan・Masato Kitakami(Chiba Univ.) |
(2) |
14:15-14:45 |
転置索引を用いた可逆圧縮データに対する誤り制御 |
○戸山光平・北神正人(千葉大) |
(3) |
14:45-15:15 |
CANプロトコルによる車載LANにおける高電磁ノイズ下での耐故障性 |
○根岸正彦・サイサナソンカム アロムハック・新井雅之・大原 衛・福本 聡(首都大東京) |
(4) |
15:15-15:45 |
系再構成機能を有する分散制御システムの開発 |
○望月 寛・武田裕太・遠山雄二郎(日大) |
|
15:45-16:00 |
休憩 ( 15分 ) |
(5) |
16:00-16:30 |
過剰テスト緩和のためのテスト生成モデルと故障の許容性に基づくテストへの応用 |
○櫻田正明・市原英行・岩垣 剛・井上智生(広島市大) |
(6) |
16:30-17:00 |
Research on Formalization and Analysis of Automatic Train Protection and Block System |
○Guo Xie・Hiroshi Mochizuki・Sei Takahashi・Hideo Nakamura(Nihon Univ.) |
(7) |
17:00-17:30 |
SMTソルバによる単線自動閉そく装置の検証 |
○寺田夏樹(鉄道総研) |