1989 年度実績報告書

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

研究課題

研究課題/領域番号	01633006
研究機関	東京工業大学
研究代表者	当麻喜弘東京工業大学, 工学部, 教授 (50016317)
研究分担者	笠原正雄京都工芸繊維大学, 工芸学部, 教授 (30029045) 辻井重男東京工業大学, 工学部, 教授 (50020350) 向殿政男明治大学, 理工学部, 教授 (00061987)
キーワード	ファジィ / プロローグ / トークン / 3重化 / デバッグ / ネットワーク / プロセッサアレイ / 暗号化 / 誤り訂正符号
研究概要	(1)人間に近い高次表現レベルのFault Toleranceの研究真ー偽、矛盾ー未知と言う概念の対立関係とそれらの中間的な状態の確からしさをファジイ的に扱う理論体系としてファジイインターバル論理を考案し、その数学的性質を明らかにすると共に、上記の対立関係を組み込んだファジイPrologを開発し手書き文字認識システムに応用した。更に、フィジイ集合を意味レベルの処理に対応づけ、認証を行う方式を考案した。 (2)物理的システムのFault Toleranceの研究ループ及び関数呼び出しのためのトークンの3重化機構、命令サーチのためのハッシュ機構、浮動小数点演算機構を組み込んで、Fault-Tolerantデータフローマシンを効率化し、更に、3重化データベースシステムにおけるデッドロックを回避するための2段ロック方式、通信オーバーヘッドの軽減方式を考案し、シミュレーションで評価した。また、ソフトウエアのデバッグ過程をモデル化する場合のパラメータの推定を解析的に行う方法を与えた。コンピュータネットワークの故障時に最適なルートを構成する方法、プロセッサアレイを線形時間で再構成する方法なども明らかにした。 (3)Security確保の研究零知識相互証明プロトコルの健全性がプロトコルの略式化によって満たされなくなる事、複数のデータベースに個人情報がまたがって蓄積される場合アクセス制約レベルが実効的に低下する事等を示し、実効制約レベルの算出法を与えた。更に、予備通信が不要な暗号化鍵共有方式を体系的に考察し、各エンティティの識別情報を変更する事なく対応する秘密情報を更新する方法を考案し、これが多項式人数の結託に対して安全である事を示した。新たに考案して誤り訂正と暗号化を同時に行う符号化方式に関しては、等頻度性、相関特性、ランレングス特性等について代表的な慣用符号であるDES符号と比較しながら評価した。

研究成果

(7件)

すべてその他

すべて文献書誌 (7件)

[文献書誌] Y.Tohma et al: "Structural Approach to the Estimation of the Number of Residual Software Faults" IEEE Trans.Software Engineering. Vol.15,No.3. 345-355 (1989)
[文献書誌] Y.Tohma et al: "Implementation of Recovery Mechanism of Data-Flow Machines" Proc.FTSD-12,Praha. 11-21 (1989)
[文献書誌] Y.Tohma et al: "Hyper-Geometric Distribution Model to Estimate the Number of Residual Software Faults" Proc.COMPSAC-89,Orlando. 610-617 (1989)
[文献書誌] H.Kikuchi and M.Mukaidono: "Structure of Fuzzy Prolog" Proc.3rd IFSA Congress. (1989)
[文献書誌] T.Kikuno et al: "On analytical evaluation of cluster-based routing for real-time computer networks" Trans.IEICE. Vol.E-70,No.7. 843-851 (1989)
[文献書誌] 笠原他: "画像情報を対象とした暗号化・通信路同時符号化の一手法とその評価" Proc.ISEC'89. (1989)
[文献書誌] M.Mukaidono et al: "Fuzzy Linear Resolution as the Inference Engine of Intelligent Systems" Methodologies for Intelligent Systems,4,North-Holland, (1989)

1989 年度 実績報告書

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

研究代表者

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

研究成果

[文献書誌] Y.Tohma et al: "Structural Approach to the Estimation of the Number of Residual Software Faults" IEEE Trans.Software Engineering. Vol.15,No.3. 345-355 (1989)

[文献書誌] Y.Tohma et al: "Implementation of Recovery Mechanism of Data-Flow Machines" Proc.FTSD-12,Praha. 11-21 (1989)

[文献書誌] Y.Tohma et al: "Hyper-Geometric Distribution Model to Estimate the Number of Residual Software Faults" Proc.COMPSAC-89,Orlando. 610-617 (1989)

[文献書誌] H.Kikuchi and M.Mukaidono: "Structure of Fuzzy Prolog" Proc.3rd IFSA Congress. (1989)

[文献書誌] T.Kikuno et al: "On analytical evaluation of cluster-based routing for real-time computer networks" Trans.IEICE. Vol.E-70,No.7. 843-851 (1989)

[文献書誌] 笠原 他: "画像情報を対象とした暗号化・通信路同時符号化の一手法とその評価" Proc.ISEC'89. (1989)

[文献書誌] M.Mukaidono et al: "Fuzzy Linear Resolution as the Inference Engine of Intelligent Systems" Methodologies for Intelligent Systems,4,North-Holland, (1989)

1989 年度実績報告書

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

[文献書誌] 笠原他: "画像情報を対象とした暗号化・通信路同時符号化の一手法とその評価" Proc.ISEC'89. (1989)