情報・システム-ディペンダブルコンピューティング(開催日：2003/12/12)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2003/12/12
[資料番号]
目次

,  

[発表日]2003/12/12
[資料番号]
メタヒューリスティックを用いた組合せテスト用テストセットの生成法(安全性及び一般)

柴 俊明,  土屋 達弘,  菊野 亨,  

[発表日]2003/12/12
[資料番号]DC2003-78
整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案(安全性及び一般)

田中 崇浩,  土屋 達弘,  菊野 亨,  

[発表日]2003/12/12
[資料番号]DC2003-79
列車保安制御用ソフトウェアの検証法の検討 : COMBATを対象とした解析(安全性及び一般)

岩田 浩司,  西堀 典幸,  平尾 裕司,  

[発表日]2003/12/12
[資料番号]DC2003-80
列車におけるGPS測位のディペンダブル化手法 : 列車制御システムへの適用可能性の検討(安全性及び一般)

山本 春生,  増成 友宏,  橋本 豊雄,  

[発表日]2003/12/12
[資料番号]DC2003-81
有限体上の畳込み符号を応用した高信頼マルチキャストに関する一考察(安全性及び一般)

新井 雅之,  福本 聡,  岩崎 一彦,  

[発表日]2003/12/12
[資料番号]DC2003-82
学習ベクトル量子化ニューラルネットワークの耐故障学習法(安全性及び一般)

蓑原 隆,  

[発表日]2003/12/12
[資料番号]DC2003-83
計算機資源の提供・募集が可能な計算機クラスタ(安全性及び一般)

岡野 雅典,  北神 正人,  伊藤 秀男,  

[発表日]2003/12/12
[資料番号]DC2003-84
自律分散的制御構造を利用した宇宙システムの自律的故障適応の試み(安全性及び一般)

木村 真一,  

[発表日]2003/12/12
[資料番号]DC2003-85
要求分析とアベイラビリティ評価に基づく鉄道信号システム構築の検討(安全性及び一般)

福田 光芳,  渡辺 郁夫,  寺田 夏樹,  島添 敏之,  奥谷 民雄,  

[発表日]2003/12/12
[資料番号]DC2003-86
地方交通線向け列車制御システムCOMBATの開発における安全性解析(安全性及び一般)

平栗 滋人,  西堀 典幸,  岩田 浩司,  豊田 明久,  

[発表日]2003/12/12
[資料番号]DC2003-87
プラットホーム周辺の事故事例調査とリスク分析(安全性及び一般)

山口 知宏,  水間 毅,  森貞 晃,  山本 正宣,  

[発表日]2003/12/12
[資料番号]DC2003-88
IMTSの安全性評価について(安全性及び一般)

水間 毅,  

[発表日]2003/12/12
[資料番号]DC2003-89
複写される方へ

,  

[発表日]2003/12/12
[資料番号]
奥付

,  

[発表日]2003/12/12
[資料番号]