5月26日(金) 午後 12:30 - 17:00 |
(1) |
12:30-12:55 |
Markovian Modeling for Software Reliability Assessment with Change-Point |
○Shinji Inoue(Kansai Univ.)・Shigeru Yamada(Tottori Univ.) |
(2) |
12:55-13:20 |
表計算ソフトウェアによる位相型ソフトウェア信頼性評価ツールの試作 |
○岡村寛之・土肥 正(広島大) |
(3) |
13:20-13:45 |
ディープラーニングに基づくオープンソースソフトウェアの信頼性と保全性評価に関する一考察 |
○田村慶信(東京都市大)・山田 茂(鳥取大) |
|
13:45-14:00 |
休憩 ( 15分 ) |
(4) |
14:00-14:25 |
故障時刻に基づく最適修理行動の選択 |
○北川智大・弓削哲史・柳 繁(防衛大) |
(5) |
14:25-14:50 |
Connected-(1,2)-or-(2,1)-out-of-(m,n):Fシステムのsystem signature算出方法 |
○中村太信・山本久志・肖 霄(首都大東京)・秋葉知昭(千葉工大) |
(6) |
14:50-15:15 |
信頼度最大ネットワーク構成に関する分析的推論 |
○榎本大地・肖 霄(首都大東京)・高橋奈津美(青学大)・山本久志(首都大東京) |
|
15:15-15:30 |
休憩 ( 15分 ) |
(7) |
15:30-15:55 |
Design and implementation of large scale online testing system targeted at undergraduate students |
○Hideo Hirose(Hiroshima Inst. of Tech.) |
(8) |
15:55-16:20 |
ゴンペルツ曲線とロジスティック曲線の一般化とその離散化について |
○木村光宏・藤澤峻作(法政大)・井上真二(関西大) |
(9) |
16:20-17:00 |
[招待講演]A Summary of Elementary Software Reliability Modeling |
○Shigeru Yamada(Tottori Univ.) |