2000 Fiscal Year Annual Research Report
| Project/Area Number |
12878052
|
|---|
| Research Category |
Grant-in-Aid for Exploratory Research
|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
山下 雅史 九州大学, 大学院・システム情報科学研究院, 教授 (00135419)
|
|---|
| Keywords | 分散システム / 分散アルゴリズム / 競合解消問題 / 大域情報 / 局所情報 |
|---|
| Research Abstract |
互いに通信しながら自律的に動作するプロセスの集合を分散システムと呼ぶ.プロセスは計算機が実行中の逐次プログラムをモデル化したものである.分散システムの定義を少し拡張し,プロセスを(自律的な)計算主体と置き換えるならば,分散ロボットシステムや,交通システム,あるいは(人間)社会システムなど,異なる様々な分野に属するシステムもまた分散システムの範疇に入る.
分散システムがシステムとして機能するためには,互いに競合する複数の計算主体が自律的にその利害を調整し,協調する仕組を持つことが必要不可欠であり,この競合解消アルゴリズムの設計・理解は分散システムの設計・理解の核心の一つである.競合解消の解決に必要な大域情報は競合条件に依存して決まり,どの競合解消アルゴリズムも完全な大域状況(あるいは履歴)を必要とするわけではないし,競合条件によっては,計算主体間での大域情報の矛盾のない認識で十分な場合もある.
本研究の目的は,大域状況の推定問題あるいは局所情報の大域化問題を競合解消問題という観点から研究することである.これは別の観点から,競合解消問題を分散システムの分散型制御問題と捕らえるとき,ある条件を満足するように分散システムを制御するために必要な情報流量を研究することでもある.
本年は論文リストにその一部を掲げた様々な成果を上げた.具体的には,1)競合解消に必要となる初期情報の非対称性,2)競合解消における大域情報として総プロセス数の重要性,3)確率的合意形成にかかる情報流量の検討,4)情報交換の道具としての放送の持つ複雑さの解析,などである.
|
Research Products
(6 results)
-
[Publications] T.Nakata,H.Imahayashi,and M.Yamashita: "A Probabilistic Local Majority Polling Game on Weighted Directed Graphs with an Application to the Distributed Agreement Problem"Networks. 35・4. 266-273 (2000)
-
[Publications] S.Fujita,M.Yamashita,and T.Kameda: "A Study on r-Configuration-a Resource Assignment Problem on Graphs"SIAM J.Discrete Mathematics. 13・2. 227-254 (2000)
-
[Publications] 山下雅史: "分散計算における対称性(招待解説論文)"電子情報通信学会論文誌D-I. J83-D-1・1. 26-35 (2000)
-
[Publications] K.Makino,M.Yamashita,and T.Kameda: "Max-and Min-Neighborhood Monopolies"Lecture Notes in Computer Science 1851. 513-526 (2000)
-
[Publications] S.Fujita and M.Yamashita: "A Fully Decentralized and Oblivious Multi-Node Broadcast Algorithm in Hypercubes"International Conference on Algorithms and Architectures for Parallel Processing. 292-303 (2000)
-
[Publications] S.Fujita,T.Nakagawa,and M.Yamashita: "A New List Scheduling Method Based on Structural Properties of Task Graphs"Second Int'l Workshop on Multimedia Network Systems (MMNS'2000) in conjunction with ICPADS 2000. 3-8 (2000)
