講演名 | 1995/4/28 フォールトトレラントシステムの領域分割モデル 森永 聡, 枝廣 正人, 藤田 友之, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | フォールトトレラントシステムのモデル化の方法を提案する。このモデル(領域分割モデル)によって広いクラスのフォールトトレラントシステムを統一的に表現し信頼度を解析することができる。与えられた冗長性の下での信頼度最大化問題をこのモデルを使って定式化し、その解を予想した。解はKuhn-Tucker条件を満たしている。しかし局所的最大点にさえならない場合があることを例をあげることで示す。 |
抄録(英) | In this paper we propose a new model of fault-tolerant systems. This model, called Domain-Partition model, gives a unified representation of most types of fault-tolerant systems and a method for reliability analysis. The reliability maximization problem under given redundancy is formulated using this model, and a solution is conjectured for this problem. The solution satisfies Kuhn-Tucker condition, but we give an example that the solution is not even locally maximum in some cases. |
キーワード(和) | フォールトトレラントシステム / 領域分割モデル / 信頼度最大化 / 冗長性 |
キーワード(英) | fault-tolerant system / domain-partiton model / reliability maximization / redundancy |
資料番号 | |
発行日 |
研究会情報 | |
研究会 | CPSY |
---|---|
開催期間 | 1995/4/28(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Computer Systems (CPSY) |
---|---|
本文の言語 | JPN |
タイトル(和) | フォールトトレラントシステムの領域分割モデル |
サブタイトル(和) | |
タイトル(英) | Representation and Analysis of Fault-Tolerant Systems using Domain-Partition Model |
サブタイトル(和) | |
キーワード(1)(和/英) | フォールトトレラントシステム / fault-tolerant system |
キーワード(2)(和/英) | 領域分割モデル / domain-partiton model |
キーワード(3)(和/英) | 信頼度最大化 / reliability maximization |
キーワード(4)(和/英) | 冗長性 / redundancy |
第 1 著者 氏名(和/英) | 森永 聡 / Satoshi Morinaga |
第 1 著者 所属(和/英) | 日本電気株式会社C&C研究所 C&C Research Labotratories NEC Corporation |
第 2 著者 氏名(和/英) | 枝廣 正人 / Masato Edahiro |
第 2 著者 所属(和/英) | 日本電気株式会社C&C研究所 C&C Research Labotratories NEC Corporation |
第 3 著者 氏名(和/英) | 藤田 友之 / Tomoyuki Fujita |
第 3 著者 所属(和/英) | 日本電気株式会社C&C研究所 C&C Research Labotratories NEC Corporation |
発表年月日 | 1995/4/28 |
資料番号 | |
巻番号(vol) | vol.95 |
号番号(no) | 21 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |