5月26日(金) 午後 13:00 - 18:30 |
(1) |
13:00-13:25 |
不完全ガンマ関数モデルに基づくソフトウェア信頼性評価尺度のブートストラップ信頼区間に関する考察 |
○木村光宏(法政大) |
(2) |
13:25-13:50 |
離散ワイブル型故障発生時間分布に基づいたソフトウェア信頼性モデル |
○井上真二・山田 茂(鳥取大) |
(3) |
13:50-14:15 |
デバッグ回数に基づくリアルタイム性を考慮したソフトウェアの性能解析に関する一考察 |
○得能貢一・山田 茂(鳥取大) |
(4) |
14:15-14:40 |
ソフトウェアの最適若化スケジューリングに対するノンパラメトリック予測推論 |
○林坂弘一郎・土肥 正(広島大) |
|
14:40-15:00 |
休憩 ( 20分 ) |
(5) |
15:00-15:25 |
不完全デバッグモデルのパラメータ推定は可能か? |
岡村寛之・佐光哲哉・○土肥 正(広島大) |
(6) |
15:25-15:50 |
Optimal Checkpoint Placement with Equality Constraints: Exact and Approximate Solutions |
Tatsuya Ozaki・○Tadashi Dohi(Hiroshima Univ.)・Naoto Kaio(Hiroshima Shudo Univ.) |
(7) |
15:50-16:15 |
信号確認による最適点検方策 |
○中川覃夫(愛知工大)・水谷聡志・中村正治(金城学院大) |
(8) |
16:15-16:40 |
高周波・高電圧試験装置による設備素子の信頼性評価 |
○廣瀬祥史・岡野秀敏・佐藤 誠・若井一顕(NHK) |
|
16:40-18:30 |
総合討論ならびに情報交換会 ( 110分 ) |