1990 Fiscal Year Annual Research Report

高次コミュニケ-ションの高信頼化設計に関する研究

Research Project

Project/Area Number	02215104
Research Institution	Tokyo Institute of Technology
Principal Investigator	当麻喜弘東京工業大学, 工学部, 教授 (50016317)
Co-Investigator(Kenkyū-buntansha)	笠原正雄京都工芸繊維大学, 工芸学部, 教授 (30029045) 辻井重男東京工業大学, 工学部, 教授 (50020350) 菊野享大阪大学, 基礎工学部, 教授 (50093745) 向殿政男明治大学, 理工学部, 教授 (00061987)
Keywords	ファジ-推論 / フォ-ルトトレラント設計 / テスト・デバッグ / 設計検証 / 高信頼化ネットワ-ク構成 / ソフトウェア環境 / 高次符号化 / セキュ-リティシステム
Research Abstract	(1)命題をファジ-メンバ-シップ関数で表す事にし、与えられた命題と推論ル-ルの前件部の差を評価し、これによって推論ル-ル後件部の命題を修正して結論を得ると言うファジ-推論の新しい手法を示した。(2)マッチングユニットにハッシュ機構の組み込み、ト-クンプ-ル用のメモリの効率化などにより、フォ-ルトトレラントデ-タフロ-マシンの性能を向上した。(3)フォ-ルトトレラントデ-タベ-スマシンのサイトロック方式を改善し、さらに、書き込み、読み出しの重複数を一般に拡張した場合のフォ-ルトトレランス能力を理論的に評価した。(4)プログラムのテスト・デバッグ過程を評価する超幾何分布モデルのパラメ-タを決定する方法は、結局、最小自乗和法が最適である、実際のデ-タにもよく適合する事を示した。(5)独立したユニット間の事象の生起の前後関係を無視する事で状態の生成を抑制し、高速かつ実用的な時間関係設計検証システムを構築した。(6)高信頼化ネットワ-クを2重化ル-プに限定し、予備帯域割当問題を多項式オ-ダの時間で解くアルゴリズムを開発した。(7)通常は局所的な、また、時間に余裕が生じた時に全域的な最適基準に従い、プロセッサ配列を再構成するアルゴリズムを開発した。(8)矛盾属性間の依存関係を表現するデ-タ構造を導入する事で複数の矛盾属性を一括して更新するソフトウエア開発環境を開発した。また、多角的な評価とそれらのデ-タの自動収集、実時間のフィ-ドバックを行えるソフトウエア計測環境をC言語を用いてUNIX上に開発した。(9)誤り訂正能力、暗号の強さ、さらに、複数のソ-スからのパケットが同時に伝送される場合の衝突に対するパケットの分離可能性を評価した。(10)ID情報を入力する事で共通暗号化鍵を生成する新しい方法を示した。さらに、人工知能的問題解決手法を援用して、暗号系における不正行為の自動発見を行なった。

Research Products

(16 results)

All Other

All Publications (16 results)

[Publications] T.Yoneda: "時間順序機械に基づくプロトコルの自動検証方式" 電子情報通信学会論文誌. J73ーDー1. 589-598 (1990)
[Publications] K.Kimura: "フォ-ルトトレラントデ-タフロ-マシンの実現" 電子情報通信学会技術研究報告. マイクロコンピュ-タとリ-クステ-ション64ー3. (1990)
[Publications] R.Jacoby: "The HyperーGeometric Distribution Software Reliability Growth Model(HGDM):Precise Formulation and Applicability" Proc.of 14th International Computer Software and Applications Conference (COMPSAC). 13-19 (1990)
[Publications] M.Mukaidono: "Apporoximate Reasoning Based on Revision Principle" Proc.of NAFIPS '90. 94-97 (1990)
[Publications] M.Mukaidono: "ファジイ・インタ-バル理論の提案" 日本ファジイ学会誌. vol.2. 209-222 (1990)
[Publications] S.Tsujii: "ID情報に基づく予備通信不要な暗号化鍵共有方式の統一的考察(I)" 電子情報通信学会技術研究報告書. ISEC 89ー48. 71-77 (1990)
[Publications] S.Tsujii: "共通暗号化方式におけるID情報に基づくDiffieーHellman型鍵共有方式" 電子情報通信学会技術研究報告. IN88ー147. 1-6 (1990)
[Publications] H.Kinoshita: "デ-タベ-スネットワ-クの情報セキュリティに関する考察" 電気情報通信学会論文誌DーI. J73ーDーI. 79-85 (1990)
[Publications] M.Kasahara: "復号アルゴリズムの動向" 電子情報通信学会論文誌. J73ーA. 196-202 (1990)
[Publications] H.Inaba: "通信路の統計的性質を考慮したリ-ドソロモン符号とその復号法" 電子情報通信学会論文誌. J73ーA. 253-260 (1990)
[Publications] H.Sasano: "畳込み符号の重み分布の新しい効率的計算法" 電子情報通信学会論文誌. J73ーA. 284-291 (1990)
[Publications] S.Hirasawa: "Coding and Decoding Schemes with Unequal symbol Reliability" Trans.of the IEICE. E73. 1176-1180 (1990)
[Publications] C.Chen: "Spare node assignment for reconfiguration of faultーtolerant arrays" Trans.of IEICE. E73. 1247-1256 (1990)
[Publications] C.Chen: "On relation between reliability and topology of starred polygon with redundant nodes" Trans.of IEICE. E73. 1782-1784 (1990)
[Publications] A.Feng: "Incremental attribute evaluation for multiple subtree replacements in structureーoriented environments" Proc.of WAGA. 192-206 (1990)
[Publications] M.Mukaidono: "“Fundamental Properties of Fuzzy Interval Logic",Advancement of Fuzzy Theory and Systems in China & Japan" Edited by L.Xihui and T.Yamakawa, (1990)

1990 Fiscal Year Annual Research Report

高次コミュニケ-ションの高信頼化設計に関する研究

Principal Investigator

当麻 喜弘 東京工業大学, 工学部, 教授 (50016317)

Research Products

[Publications] T.Yoneda: "時間順序機械に基づくプロトコルの自動検証方式" 電子情報通信学会論文誌. J73ーDー1. 589-598 (1990)

[Publications] K.Kimura: "フォ-ルトトレラントデ-タフロ-マシンの実現" 電子情報通信学会技術研究報告. マイクロコンピュ-タとリ-クステ-ション64ー3. (1990)

[Publications] R.Jacoby: "The HyperーGeometric Distribution Software Reliability Growth Model(HGDM):Precise Formulation and Applicability" Proc.of 14th International Computer Software and Applications Conference (COMPSAC). 13-19 (1990)

[Publications] M.Mukaidono: "Apporoximate Reasoning Based on Revision Principle" Proc.of NAFIPS '90. 94-97 (1990)

[Publications] M.Mukaidono: "ファジイ・インタ-バル理論の提案" 日本ファジイ学会誌. vol.2. 209-222 (1990)

[Publications] S.Tsujii: "ID情報に基づく予備通信不要な暗号化鍵共有方式の統一的考察(I)" 電子情報通信学会技術研究報告書. ISEC 89ー48. 71-77 (1990)

[Publications] S.Tsujii: "共通暗号化方式におけるID情報に基づくDiffieーHellman型鍵共有方式" 電子情報通信学会技術研究報告. IN88ー147. 1-6 (1990)

[Publications] H.Kinoshita: "デ-タベ-スネットワ-クの情報セキュリティに関する考察" 電気情報通信学会論文誌DーI. J73ーDーI. 79-85 (1990)

[Publications] M.Kasahara: "復号アルゴリズムの動向" 電子情報通信学会論文誌. J73ーA. 196-202 (1990)

[Publications] H.Inaba: "通信路の統計的性質を考慮したリ-ドソロモン符号とその復号法" 電子情報通信学会論文誌. J73ーA. 253-260 (1990)

[Publications] H.Sasano: "畳込み符号の重み分布の新しい効率的計算法" 電子情報通信学会論文誌. J73ーA. 284-291 (1990)

[Publications] S.Hirasawa: "Coding and Decoding Schemes with Unequal symbol Reliability" Trans.of the IEICE. E73. 1176-1180 (1990)

[Publications] C.Chen: "Spare node assignment for reconfiguration of faultーtolerant arrays" Trans.of IEICE. E73. 1247-1256 (1990)

[Publications] C.Chen: "On relation between reliability and topology of starred polygon with redundant nodes" Trans.of IEICE. E73. 1782-1784 (1990)

[Publications] A.Feng: "Incremental attribute evaluation for multiple subtree replacements in structureーoriented environments" Proc.of WAGA. 192-206 (1990)

[Publications] M.Mukaidono: "“Fundamental Properties of Fuzzy Interval Logic",Advancement of Fuzzy Theory and Systems in China & Japan" Edited by L.Xihui and T.Yamakawa, (1990)

当麻喜弘東京工業大学, 工学部, 教授 (50016317)