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

高阶通信系统高可靠性设计研究

• 批准号: 63633007
• 负责人: 当麻 喜弘
• 金额: $ 7.42万
• 依托单位: Tokyo Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research on Priority Areas
• 财政年份: 1988
• 资助国家: 日本
• 起止时间: 1988 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-63633007/
• 关键词: フォールトトレランス; データフロー; バグ; 超幾何分布; 知的誤り訂正; ファジー; プロローグ; アクセス制約; データベース; ファイア符号; 暗号化

(1)一つのトークンの命令パケットを2重化し、演算結果の比較で誤りの発生を検出し、誤りの発生時のみ第3の命令パケットを生成し、それらの多数決で誤りをマスクすると言う構想で、プロトタイプを製作し、誤りマスク機能を確認した。次に、ソフトウエアの信頼性を高めるためのバグ除去過程で残存バグ数を推定する超幾何分布モデルを新たに提案し、テストの実データに適用してその実用性を確かめると共に、従来提案されているNHPPモデルとの関係を理論的に明らかにした。(2)概念的表現の例として文章を取り上げ、term間の意味上の矛盾を見いだすことで概念的誤りを検出し、誤り候補の内から前後の矛盾がないものを選ぶという概念的誤り訂正の基本的枠組みを考察した。次に、概念の意味をファジーのメンバーシップ関数で表すものとし、与えられたメンバーシップ関数(概念的表現)を既知のメンバーシップ関数(すなわち既知の概念)の組合せで近似表現する方法を示した。また、ルールのファジー値から、推論結果の確からしさのファジー値を決定するfuzzy prologを開発し、簡単なエキスパートシステムに適用する実験を行った。その他、「真一偽」、「矛盾一不明」という対立関係の両極端の中間の状態とその確からしさを表す尺度を導入したファジーインターバル論理を新たに考案し、文字認識システムに適用してその有効性を示した。(3)複数のデータベースにまたがって収録された個人情報の実効的なアクセス制約レベルを、個々のデータベースのアクセス制約レベルから求める手法を示し、セキューリティ確保のためにアクセス制約レベルを制御する方法を明らかにした。(4)ファイヤー符号の項を因数分解しそれらを二つのグループにわけそれぞれを用いて部分的なサイクリック符号として全体をまとめることで、暗合化と誤り訂正符号化とを効率よく組み合わせて実現する方法を見いだし、画像データの伝送システムに適用した。

(1) a つ の ト ー ク ン の command パ ケ ッ ト を 2 heavy し, calculation results の で mistakenly り の 発 raw を 検 し, mistakenly り の 発 he の み の 3 command パ ケ ッ ト を generated し, そ れ ら の majority で mistakenly り を マ ス ク す る と, talking う idea で プ ロ ト タ イ プ を し making, mistakenly り マ ス ク function を confirm し た. に, ソ フ ト ウ エ ア の letter 頼 を high め る た め の バ グ removal process で residual バ グ number を presumption す る hypergeometric モ デ ル を new た に proposal し, テ ス ト の be デ ー タ に applicable し て そ の be with sexual を か is め る と に, 従 proposals to さ れ て い る NHPP モ デ ル と の masato に を theory and Ming ら か に し た. (2) the performance of the concept of の example と し て article を take り げ, term の の mean contradiction between を see い だ す こ と で concept of false り を 検 し, mistakenly り alternate の within か ら の contradiction between before and after が な い も の を choose ぶ と い う mistakenly り corrections of the concept of の basic 枠 group み を investigation し た. に, concept の mean を フ ァ ジ ー の メ ン バ ー シ ッ プ masato で table す も の と し and え ら れ た メ ン バ ー シ ッ プ masato number (performance) of the concept of を already know の メ ン バ ー シ ッ プ masato number (す な わ ち already know の concepts) の combination せ performance approximate で す を る method in し た. ま た, ル ー ル の フ ァ ジ ー numerical か ら, inference results の is か ら し さ の フ ァ ジ ー numerical を decided す る fuzzy prolog を open 発 し, Jane 単 な エ キ ス パ ー ト シ ス テ ム に applicable す る be 験 を line っ た. そ の him, "it's a false", the unknown "contradiction" と い う set seaborne masato is の struck extreme の intermediate の state と そ の is か ら し さ を table す scale を import し た フ ァ ジ ー イ ン タ ー バ ル logical を new た し に test case, text understanding シ ス テ ム に applicable し て そ の have sharper sex を shown し た. (3) the plural の デ ー タ ベ ー ス に ま た が っ て 収 recorded さ れ た individual intelligence の be sharper な ア ク セ ス restrict レ ベ ル を, a 々 の デ ー タ ベ ー ス の ア ク セ ス restrict レ ベ ル か ら o め る gimmick を し, セ キ ュ ー リ テ ィ ensure の た め に ア ク セ ス restrict レ ベ ル を suppression す る method を Ming ら か に し た. (4) フ ァ イ ヤ ー を a sign の factorization し そ れ ら を two つ の グ ル ー プ に わ け そ れ ぞ れ を with い て part of な サ イ ク リ ッ ク symbol と し て all を ま と め る こ と で, coincides with a symbolic と と mistakenly り correction を sharper rate よ く group み close わ せ て be presently す る method を see い だ し, portrait デ ー タ の 伝 send シ ス テ ム に applicable し た.

项目成果

木下宏揚,辻井重男: 電子情報通信学会技術報告. ISEC88ー38. 41-48 (1988)

Hiroaki Kinoshita，Shigeo Tsujii：IEICE 技术报告 41-48 (1988)。

Y.Tohma et al: IEEE Transactions on Software Engineering. Vol.15. (1989)

Y.Tohma 等人：IEEE 软件工程汇刊。

Y.Tohma et al: 第8回ソフトウエア信頼性シンポジウム(論文集). 1-28 (1988)

Y. Tohma 等人：第八届软件可靠性研讨会（论文集）1-28 (1988)。

Y.Tohma et al: Proc.12th International Conference on Fault-Tolerant Systems and Diagnosis. (1989)

Y.Tohma 等人：Proc.12th 国际容错系统和诊断会议。

当麻喜弘: 電子情報通信学会技術報告. FTS88ー18. 53-58 (1988)

Yoshihiro Toma：IEICE 技术报告。FTS88-18（1988）。