课题基金 / 基金详情

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

知的な高速通信プロトコルの自動合成に関する研究
智能高速通信协议自动合成研究
批准号：
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月)」等で発表し、討論を深めた。今後、ウィンドウ・サイズに関する代数的モデルの拡張、プロトコルの記述と合成のための知識と状態遷移規則、素単位プロトコルの実現(ハードウェア化)等について、より研究を深める予定である。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
大域的収束性を保証するIIR型適応エコ-キャンセラと遠隔会議システムへの応用
  • 批准号：
    02650233
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
  • 资助金额：
    $1.15万
  • 财政年份：
    1990
  • 负责人：
    辻井 重男
  • 依托单位：
    Tokyo Institute of Technology
ID情報を公開鍵とする新しい暗号通信方式に関する研究
  • 批准号：
    63550246
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
  • 资助金额：
    $1.34万
  • 财政年份：
    1988
  • 负责人：
    辻井 重男
  • 依托单位：
    Tokyo Institute of Technology
ID情報を公開鍵とする新しい暗号通信方式に関する研究
  • 批准号：
    62550236
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
  • 资助金额：
    $1.22万
  • 财政年份：
    1987
  • 负责人：
    辻井 重男
  • 依托单位：
    Tokyo Institute of Technology
新しい公開鍵暗号方式とその電子メール通信への応用に関する研究
  • 批准号：
    61550236
  • 项目类别：
    Grant-in-Aid for General Scientific Research (C)
  • 资助金额：
    $1.15万
  • 财政年份：
    1986
  • 负责人：
    辻井 重男
  • 依托单位：
    Tokyo Institute of Technology
海外基金