返回
Formal framework for distributed swarm computing: abstract model and properties
DOI:10.1007/s00500-016-2381-x.png)
摘要
En 中文
Swarm computing is an emerging computing paradigm suitable for solving difficult optimization problems by employing a nature-inspired search for solutions. A set of entities called swarm entities populates a digital space that emulates a real physical environment. The digital space acts as a container of swarm entities by providing the basic functionalities for the entities management including processing and migration. Swarm entities are modeled as computational objects that follow a specific set of behavioral laws of natural inspiration. The entities are organized as a swarm, i.e., they coordinate, collaborate and act by exchanging information either directly or indirectly via the environment, seeking to solve a difficult computational optimization problem. Our main research result reported in this paper is the proposal of a new formal computational model of a generic distributed framework for swarm computing. Our model captures the basic computational properties of the swarm using the formal language of Finite State Process algebra. The proposed model is simple, clear and abstract, i.e., technology independent. It can serve as a starting basis for further refinement and subsequent development of new concurrent and/or distributed implementations using the available distributed computing technologies.
Keyword:
Swarm computing
Formal model
Process algebra
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
机构
引用论文
Suntan, Sunburn, and Pigmentation Factors and the Frequency of Acquired Melanocytic Nevi in Children
Oscillatory neuronal activity related to visual short-term memory in monkey temporal pole
NeuroReport
IF0

