权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

一般分散計算論

一般分布式微积分

基本信息

批准号：
15K11987
负责人：
山下雅史
金额：
$ 2.33万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2015
资助国家：
日本
起止时间：
2015-04-01 至 2017-03-31
项目状态：
已结题

项目摘要

生体分子の機能発現から人間世界の選挙に至る広範な領域の問題から領域固有の事由を捨象し，内在する分散計算構造に着目すると，合意計算問題が共通して出現する．この事実に着目し，巨大分散システムを分散計算能力の観点から統一的に理解することが本研究の最終目的である．特に，本研究では，識別子や記憶を持たない構成要素を持たない構成要素から構成され，不安定なゆらぎの下で働く自然分散システムが豊富に有する自律性を，はるかに有利な条件の下で働く人口分散システムに付与することの困難であることの根源的な理由を理解したい．結論として，自然界のゆらぎが一様ランダムであるという仮定の下であるが，上記で説明した根源的理由を以下に示す3つの定理を証明することによって，明らかにすることができた．ただし，分散モデルとして2次元空間上を移動する自律分散ロボットモデルを用い，自律性として自己組織化問題，すなわち自己安定的パターン形成問題を検討した：定理1．決定的匿名ロボットでは，ロボット間の同期の程度と記憶の有無はパターン形成能力に影響を与えない．定理2．故障（ゆらぎ）が一様ランダムであるという条件の下では，匿名で無記憶なロボットの動作は自動的に自己安定的である．定理3．確率的アルゴリズムの導入によって，ロボットシステムは任意の初期状態から任意のパターンを形成できる．これらの定理から，自己組織化には，匿名性，無記憶性，ゆらぎが重要な役割を果たしており，これらは自然分散システムが自然に持っている性質であることから，自然分散システムが自己組織化能力を自然に獲得しているという事情が明確になった．そこで，申請者は，引き続き，3次元空間を移動するロボットに対する検討を進めており，完全同期という限られた条件の下で，記憶が自己組織化に与える影響を検討した．

The functional discovery of biological molecules ranges from the selection of the human world to the problems of the broad domain, from the problems inherent in the domain to the problems of the decentralized computing structure, from the problems of the consensus computing to the problems of the common occurrence. This is the ultimate goal of this study, which is to achieve a unified understanding of distributed computing power. In particular, this study aims to identify the reasons for the difficulty in identifying the constituent elements of sub-memory retention and the reasons for the difficulty in identifying the root causes of population dispersion under unstable conditions. Conclusion: Nature's law is the law of nature, and the law is the law of nature. The problem of self-organization and the problem of self-stability in the formation of objects is discussed: Theorem 1. The anonymity of the decision is affected by the degree of synchronization between objects and the ability to form objects. Theorem 2. Failure () Theorem 3. The introduction of accurate information into the system, the change of information from arbitrary initial state to arbitrary initial state, the change of information from arbitrary initial state to arbitrary initial state. Self-organization is anonymous, memory-free, and important. The nature of self-organization is natural. The nature of self-organization is natural. For example, if the applicant is unable to move the memory into the 3D space, the memory will be organized and the influence of the memory will be discussed.

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Self-Stabilizing Oscillatory Behavior in Population Protocols

群体协议中的自稳定振荡行为

DOI：
发表时间：
2015
期刊：
影响因子：
0
作者：
Colin Cooper;Anissa Lamani;Giovanni Viglietta;and Masafumi Yamashita;Yukiko Yamauchi
通讯作者：
Yukiko Yamauchi

Plane Formation by Synchronous Mobile Robots in the Three-Dimensional Euclidean Space

三维欧氏空间中同步移动机器人平面形成

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
A. Kawamura;H. Thies and M. Ziegler;半澤陽，山内由紀子;廣島佳汰，河村彰星;山内由紀子，上原太一，来嶋秀治，山下雅史
通讯作者：
山内由紀子，上原太一，来嶋秀治，山下雅史

限られた視界を持つ1台のロボットによる線分被覆問題

一台机器人视野有限的线路覆盖问题

DOI：
发表时间：
2016
期刊：
影响因子：
0
作者：
Hiroshi Nishiyama;Yukiko Yamauchi;Shuji Kijima;and Masafumi Yamashita;八神貴裕，山内由紀子，来嶋秀治，山下雅史;門出顕宏，山内由紀子，来嶋秀治，山下雅史
通讯作者：
門出顕宏，山内由紀子，来嶋秀治，山下雅史

Brief Announcement: Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space

简短公告：三维欧几里得空间中同步移动机器人的模式形成问题