知的な高速通信プロトコルの自動合成に関する研究

智能高速通信协议自动合成研究

• 批准号: 06650400
• 负责人: 辻井 重男
• 金额: $ 1.22万
• 依托单位: Chuo University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-06650400/
• 关键词: プロトコル; トランスポート層; 様相論理; 自動合成

多様なサービスを規定する上位層と多岐に亙るネットワーク層とを整合させる意味で重要な役割を有するトランスポート層に着目し、素単位プロトコルからトランスポート層プロトコルを合成する方法を確率することを目的として、半順序集合と様相理論を用いて、プロトコル状態とメッセージを、知識を表すものとして表現することにより、素単位プロトコルを素単位オートマトンで知的かつ高速に処理する方法を提案し、検討を進めた。具体的には、素単位プロトコル・クラスの分類及び記述方法(状態を表す様相論理式の求め方、プロトコル実行時の状態の変更、素単位プロトコルを実行するオートマトンの構成の検討など)、素単位プロトコルの組み合わせにより、従来のトランスポート・プロトコルを表現する方法、及びトランスポート層プロトコルの合成法などについて考察し、いくつかの知見を得て、「第4回、マルチエージェントと協調計算ワークショップMACC'94(1994年10月)」等で発表し、討論を深めた。今後、ウィンドウ・サイズに関する代数的モデルの拡張、プロトコルの記述と合成のための知識と状態遷移規則、素単位プロトコルの実現(ハードウェア化)等について、より研究を深める予定である。

Multiple-layer, multiple-layer, multiple-layer A proposal for a high-speed processing method is proposed. Specific classification and description methods of the elements (State table phase logic formula solution, change of state during operation, element unit operation, element unit composition discussion), element unit operation, element unit composition, element unit operation, element unit composition method, element composition method, The discussion was deepened by the discussion on the topic of "Coordination of Computing" and "MACC'94(October 1994)." In the future, the development of algebra, the description of algebra, the knowledge of synthesis, the rules of state transition, the realization of elementary state, etc. will be discussed in depth.