自律分散システムにおける通信機能
自律分散システムにおける通信機能
批准号:
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:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
D.I.Lee: "A Simplified Necessary and Sufficient Condition for a Net to be an SMA Nets." Proc.of JTC-CSCC'91. 522-527 (1991)
D.I.Lee:“网络成为 SMA 网络的简化必要和充分条件。”
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
D.I.Lee: "A Necessary and Sufficient Condition for SMA Nets." Proc.of IEEE ISCAS'91. 822-825 (1991)
D.I.Lee:“SMA Nets 的充分必要条件。”
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
D.I.Lee: "Reachability Theorem for a Class of Live and Safe Free Choice Nets." Transaction of the IEICE. E74. 3133-3143 (1991)
D.I.Lee:“一类实时且安全的自由选择网络的可达性定理。”
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
M.Yamamura: "An Augmented EBL and its Application to the Utility Problem." Proc.of IJCAI'91. 623-629 (1991)
M.Yamamura:“增强的 EBL 及其在效用问题中的应用。”
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
-
负责人:翁長 健治
-
依托单位:
社会的トランザクションのアルゴリズム設計と解析に関する基礎研究
-
批准号:59550248
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1984
-
负责人:翁長 健治
-
依托单位:
ネットワーク・スケジュール計画:その原理と仕様に関する基礎研究
-
批准号:56550252
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.82万
-
财政年份:1981
-
负责人:翁長 健治
-
依托单位:
資源共用ネットワークのモデル化並にそのスケジュール製作システムに関する研究
-
批准号:X00090----555144
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.28万
-
财政年份:1980
-
负责人:翁長 健治
-
依托单位:
Dynamic Net work の動態解析とその Hardware システムに関する研究
-
批准号:X00095----065115
-
项目类别:Grant-in-Aid for General Scientific Research (D)
-
资助金额:$0.28万
-
财政年份:1975
-
负责人:翁長 健治
-
依托单位:
観測一探査過程の情報工学的モデルの研究
-
批准号:X00095----765039
-
项目类别:Grant-in-Aid for General Scientific Research (D)
-
资助金额:$0.21万
-
财政年份:1972
-
负责人:翁長 健治
-
依托单位:
NetworkにおけるFlowの位相機何学的研究
-
批准号:X43210------5074
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.06万
-
财政年份:1968
-
负责人:翁長 健治
-
依托单位:
海外基金