2000 Fiscal Year Annual Research Report

大規模コンピュータシステムに対する次世代信頼性評価技術の実用化に関する研究

Research Project

Project/Area Number	10558059
Research Institution	Hiroshima University
Principal Investigator	尾崎俊治広島大学, 工学部, 教授 (10034399)
Co-Investigator(Kenkyū-buntansha)	山田茂鳥取大学, 工学部, 教授 (50166708) 海生直人広島修道大学, 経済科学部, 教授 (80148741) 土肥正広島大学, 工学部, 助教授 (00243600) 三道弘明流通科学大学, 情報学部, 教授 (40167440) 木島正明東京都立大学, 経済学部, 教授 (00186222)
Keywords	大規模コンピュータシステム / 次世代信頼性技術 / システム保全 / 評価手法 / 確率システム / モデル分析 / オペレーションズ・リサーチ / アベイラビリティ
Research Abstract	平成10年度文部省科学研究費基盤研究(B)(1)(展開)の成果に基づき,大規模コンピュータシステムに対する次世代信頼性評価技術の体系化を行った.コンピュータシステムを構築する7つの異なる研究専門グループによって多角的に新しい信頼性技術を検討した.コンピュータ技術については福岡,紀,菅澤,山田,データ保全技術については中川,三道,ネットワーク設計技術については木村,コンピュータ保全技術および基礎数理については河合,海生,木島,統計的信頼性については土肥,田中がぞれぞれ担当となり,全体の取りまとめは尾崎が担当した.また,大規模なシンポジウムを開催し,異なる分野の幅広い研究者層から意見を収集した.さらに,新しい信頼性評価技術を実現するために,多くの民間企業の協力も得られた.特に,専門グループによって協議された指針やシンポジウムにおいて抽出された信頼性評価技術に関する成果を民間企業に所属する技術者にフィードバックし,次世代コンピュータシステムの実用化を検討した. (1)平成10,11年度の研究成果の発表の場として平成12年3月29,30日,京都ガーデンパレス(京都市)において国際会議を開催した.この国際会議には,ほぼ全員の研究分担者と海外からの7名の有名研究者を中心に50名ほどの参加者があった.コンピュータシステムの次世代信頼性技術に関する数々の発表とそれに対する活発な討論があった.そして,その報告集としてASSM2000を出版した. (2)平成10,11,12年の3年間にわたる科学研究費基盤研究の総括として平成12年12月7,8,9日の3日間のシンポジウムがKKR鳥羽いそぶえ荘(鳥羽市)で開催された.研究分担者のほぼ全員とその他の有志も参加した.3年間の研究成果のまとめと今後の研究動向について熱心に討論した.

Research Products
(23 results)

All Other

All Publications (23 results)

[Publications] I.Kino: "Stack Distance Distribution in LRU"Proc.Informs-KORMS. (2000)
[Publications] M.Kijima: "Credit events and the valuation of credit derivatives of the basket type Review of Derivatives Research"Review of Derivatives Research. 4. 55-79 (2000)
[Publications] M.Kijima: "Valuation of a credit swap of the basket type"Review of Derivatives Research. 4. 81-97 (2000)
[Publications] M.Kijima: "Competitive price equilibrium when consumers have a category reservation utility"Computational and Mathematical Organization Theory. 6. 7-27 (2000)
[Publications] K.Ito: "Optimal Inspection Policies for a Storage System with Degradation at Periodic Tests"Mathematical and Computer Modelling. 31. 191-195 (2000)
[Publications] 今泉充啓: "シグネチャを用いたジョブ実行過程の高信頼化方策"電子情報通信学会論文誌. J83-A. 1125-1128 (2000)
[Publications] 中村正治: "差分バックアップ方式における最適フルバックアップ間隔"電子情報通信学会論文誌. J83-D-I. 1087-1096 (2000)
[Publications] 銭存華: "差分バックアップ運用を伴うデータベースシステムにおける最適バックアップ方策"電子情報通信学会論文誌. J84-A. 208-217 (2001)
[Publications] 藤原隆次: "テスト習熟性を考慮したソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J83-A. 188-195 (2000)
[Publications] K.Tokuno: "Markovian software availability measurement based on the number of restoration actions"IEICE Transactions on Fundamentals. E83-A. 835-841 (2000)
[Publications] 江崎和博: "設計レビューにおけるソフトウェア信頼性に影響を及ぼす人的要因の品質工学的解析"電子情報通信学会論文誌. J83-A. 218-228 (2001)
[Publications] B.P.Iskandar: "An Opportunity-based Age Replacement Policy with Warranty Analyzed by using TTT-transforms"International Journal of Reliability and Application. 1. 27-38 (2000)
[Publications] H.Hirakoshi: "An Optimal Time to Sleep for An Auto-Sleep System considering Multi-Usage States"Mathematical and Computer Modelling. 31. 157-164 (2000)
[Publications] K.Sawada: "Continuous Model for Software Reliability Demonstration Testing considering Damage Size of Software Failures"Mathematical and Computer Modelling. 31. 321-327 (2000)
[Publications] B.P.Iskandar: "An Extended Opportunity-based Age Replacement Policy"RAIRO/OperationsResearch. 34. 145-154 (2000)
[Publications] B.P.Iskandar: "An Opportunity-based Age Replacement Policy Considering Warranty"International Journal of Reliability, Quality and Safery Engineering. 6. 229-236 (2000)
[Publications] 三道弘明: "秤の点検政策に関する研究"電子情報通信学会論文誌. J83-A. 302-308 (2000)
[Publications] T.Kimura: "Equivalence Relations in the Approximations for the M/G/s/s+r Queue"Mathematical and Computer Modelling. J31. 215-224 (2000)
[Publications] 田中泰明: "システム信頼性解析における効率的シミュレーション解法"日本応用数理学会誌. 10. 229-239 (2000)
[Publications] 永井秀治: "動径基底関数ニューラルネットワークを適用した再生関数のノンパラメトリック推定"日本応用数理学会誌. 10. 17-30 (2000)
[Publications] T.Dohi: "Graphical methods for determining/estimating optimal repair-limit replacement policies"International Journal of Reliability, Quality and Safety Engineering. 7. 43-60 (2000)
[Publications] T.Dohi: "The optimal age-dependent checkpoint strategy for a stochastic system subject to general failure mode"Journal of Mathematical Analysis and Applications. 249. 80-94 (2000)
[Publications] S.Osaki (ed.): "Proceedings of ASSM2000 : International Conference on Applied Stochastic System Modeling"Department of Industrial and Systems Engineering Hiroshima University. 268 (2000)

2000 Fiscal Year Annual Research Report

大規模コンピュータシステムに対する次世代信頼性評価技術の実用化に関する研究

Principal Investigator

尾崎 俊治 広島大学, 工学部, 教授 (10034399)

Research Products

[Publications] I.Kino: "Stack Distance Distribution in LRU"Proc.Informs-KORMS. (2000)

[Publications] M.Kijima: "Credit events and the valuation of credit derivatives of the basket type Review of Derivatives Research"Review of Derivatives Research. 4. 55-79 (2000)

[Publications] M.Kijima: "Valuation of a credit swap of the basket type"Review of Derivatives Research. 4. 81-97 (2000)

[Publications] M.Kijima: "Competitive price equilibrium when consumers have a category reservation utility"Computational and Mathematical Organization Theory. 6. 7-27 (2000)

[Publications] K.Ito: "Optimal Inspection Policies for a Storage System with Degradation at Periodic Tests"Mathematical and Computer Modelling. 31. 191-195 (2000)

[Publications] 今泉充啓: "シグネチャを用いたジョブ実行過程の高信頼化方策"電子情報通信学会論文誌. J83-A. 1125-1128 (2000)

[Publications] 中村正治: "差分バックアップ方式における最適フルバックアップ間隔"電子情報通信学会論文誌. J83-D-I. 1087-1096 (2000)

[Publications] 銭存華: "差分バックアップ運用を伴うデータベースシステムにおける最適バックアップ方策"電子情報通信学会論文誌. J84-A. 208-217 (2001)

[Publications] 藤原隆次: "テスト習熟性を考慮したソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J83-A. 188-195 (2000)

[Publications] K.Tokuno: "Markovian software availability measurement based on the number of restoration actions"IEICE Transactions on Fundamentals. E83-A. 835-841 (2000)

[Publications] 江崎和博: "設計レビューにおけるソフトウェア信頼性に影響を及ぼす人的要因の品質工学的解析"電子情報通信学会論文誌. J83-A. 218-228 (2001)

[Publications] B.P.Iskandar: "An Opportunity-based Age Replacement Policy with Warranty Analyzed by using TTT-transforms"International Journal of Reliability and Application. 1. 27-38 (2000)

[Publications] H.Hirakoshi: "An Optimal Time to Sleep for An Auto-Sleep System considering Multi-Usage States"Mathematical and Computer Modelling. 31. 157-164 (2000)

[Publications] K.Sawada: "Continuous Model for Software Reliability Demonstration Testing considering Damage Size of Software Failures"Mathematical and Computer Modelling. 31. 321-327 (2000)

[Publications] B.P.Iskandar: "An Extended Opportunity-based Age Replacement Policy"RAIRO/OperationsResearch. 34. 145-154 (2000)

[Publications] B.P.Iskandar: "An Opportunity-based Age Replacement Policy Considering Warranty"International Journal of Reliability, Quality and Safery Engineering. 6. 229-236 (2000)

[Publications] 三道弘明: "秤の点検政策に関する研究"電子情報通信学会論文誌. J83-A. 302-308 (2000)

[Publications] T.Kimura: "Equivalence Relations in the Approximations for the M/G/s/s+r Queue"Mathematical and Computer Modelling. J31. 215-224 (2000)

[Publications] 田中泰明: "システム信頼性解析における効率的シミュレーション解法"日本応用数理学会誌. 10. 229-239 (2000)

[Publications] 永井秀治: "動径基底関数ニューラルネットワークを適用した再生関数のノンパラメトリック推定"日本応用数理学会誌. 10. 17-30 (2000)

[Publications] T.Dohi: "Graphical methods for determining/estimating optimal repair-limit replacement policies"International Journal of Reliability, Quality and Safety Engineering. 7. 43-60 (2000)

[Publications] T.Dohi: "The optimal age-dependent checkpoint strategy for a stochastic system subject to general failure mode"Journal of Mathematical Analysis and Applications. 249. 80-94 (2000)

[Publications] S.Osaki (ed.): "Proceedings of ASSM2000 : International Conference on Applied Stochastic System Modeling"Department of Industrial and Systems Engineering Hiroshima University. 268 (2000)

尾崎俊治広島大学, 工学部, 教授 (10034399)