课题基金 / 基金详情

自律分散システムにおける通信機能

自律分散システムにおける通信機能
自治分散系统中的通信功能
批准号:
03234110
负责人:
翁長 健治
金额:
$7.42万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
财政年份:
1991
资助国家:
日本
项目状态:
已结题
起止时间:
1991 至 --

项目摘要

项目成果

翁長 健治的其他基金

相似基金

相关文献

中文摘要
翻译
自律分散システムの協調規約と通信規約の基本思想に基づき,さらに,社会構造的,ソフトウェア科学的,技術的調査を行い,自律分散思想の枠組みを修正した。仕様および動作の記述言語として,ペトリネットを主軸にすえ,そのクラスの定義,およびその性質を明らかにするとともに,その理論的解析を通してソフトウェア工学への応用可能性を示唆し,デバッギング環境としてのシミュレ-タなどのツ-ルの開発にあたった.集中管理を排除した分散システムでは,個の自律性ゆえに参入・退出は自由であり,変動する環境に対しては迅速なプロトコルの適応が求められる.プロトコルに適応性を付与するためには学習的,知識獲得的アプロ-チが有効があるため,その基礎研究として間題解決の各種アルゴリズムを提案した。現実的な課題しては,現存するコンピュ-タ・ネットワ-クの特性解析,新しく効率的なプロトコルの設計をそのアルゴリズム化,ネットワ-クのセキュリティの分散管理方法の設計などの急務が挙げられる.これらの各々テ-マに対して,アルゴリズムの定式化,プロトコル設計試作,プロトタイプのインプリメンテ-ション,シミュレ-ション実験による特性解析,次期システムのための仕様設計等を行った.さらに今後必要とされる機能(協調行動における情報の伝播と収集,因果関係の作用・反作用,競合解消戦略の基本方針の妥当性の裏付け等)について考察を行った.重点領域の全ての研究間での貢献を高めるための研究方針のあり方について,一つの方向を示した.
英文摘要
自律分散システムの協調規約と通信規約の基本思想に基づき,さらに,社会構造的,ソフトウェア科学的,技術的調査を行い,自律分散思想の枠組みを修正した。仕様および動作の記述言語として,ペトリネットを主軸にすえ,そのクラスの定義,およびその性質を明らかにするとともに,その理論的解析を通してソフトウェア工学への応用可能性を示唆し,デバッギング環境としてのシミュレ-タなどのツ-ルの開発にあたった.集中管理を排除した分散システムでは,個の自律性ゆえに参入・退出は自由であり,変動する環境に対しては迅速なプロトコルの適応が求められる.プロトコルに適応性を付与するためには学習的,知識獲得的アプロ-チが有効があるため,その基礎研究として間題解決の各種アルゴリズムを提案した。現実的な課題しては,現存するコンピュ-タ・ネットワ-クの特性解析,新しく効率的なプロトコルの設計をそのアルゴリズム化,ネットワ-クのセキュリティの分散管理方法の設計などの急務が挙げられる.これらの各々テ-マに対して,アルゴリズムの定式化,プロトコル設計試作,プロトタイプのインプリメンテ-ション,シミュレ-ション実験による特性解析,次期システムのための仕様設計等を行った.さらに今後必要とされる機能(協調行動における情報の伝播と収集,因果関係の作用・反作用,競合解消戦略の基本方針の妥当性の裏付け等)について考察を行った.重点領域の全ての研究間での貢献を高めるための研究方針のあり方について,一つの方向を示した.
期刊论文(32)
专著(0)
科研奖励(0)
会议论文
T.Watanabe: "Proof Procedures and Axiom Sets in Petri Net Models of Horn Clause Propositional Logic." Proc.of IEEE ISCAS'91. 914-914 (1991)
T.Watanabe:“Horn 子句命题逻辑 Petri 网模型中的证明程序和公理集。”
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
DOI: --
发表时间:
期刊:
影响因子: --
作者: []
通讯作者:
16
    自律分散システムにおける通信機能
    • 批准号:
      04218110
    • 项目类别:
      Grant-in-Aid for Scientific Research on Priority Areas
    • 资助金额:
      $7.04万
    • 财政年份:
      1992
    • 负责人:
      翁長 健治
    • 依托单位:
    自律分散システムにおける通信機能
    • 批准号:
      02248109
    • 项目类别:
      Grant-in-Aid for Scientific Research on Priority Areas
    • 资助金额:
      $10.88万
    • 财政年份:
      1990
    • 负责人:
      翁長 健治
    • 依托单位:
    並列・分散プロセスにおける協調メカニズムの基礎研究
    • 批准号:
      01550289
    • 项目类别:
      Grant-in-Aid for General Scientific Research (C)
    • 资助金额:
      $1.09万
    • 财政年份:
      1989
    • 负责人:
      翁長 健治
    • 依托单位:
    LAN環境分散実行下における障害回復とデータ保護機能の研究
    • 批准号:
      61550264
    • 项目类别:
      Grant-in-Aid for General Scientific Research (C)
    • 资助金额:
      $1.09万
    • 财政年份:
      1986
    • 负责人:
      翁長 健治
    • 依托单位:
    海外基金