arrow
返回

Formal framework for distributed swarm computing: abstract model and properties

delete2016-10-03
delete2
PRE
AI
A
Amelia Bădică
C
Costin Bădică *
DOI:10.1007/s00500-016-2381-xdelete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

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总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Soft Computing 封面图
Soft Computing
IF:
2.5
论文数:
1.0W
被引数:
2.1W

机构

University of Craiova 封面图
University of Craiova
学者数:
1.2K
论文数: 815
被引数: 524
引用论文

引用论文

Immunosuppressive lung neutrophils
err2022-08-25
err0
errOAAI
errElzbieta Kolaczkowska
err分享
err收藏
err分享
err收藏
GSA: A Gravitational Search AlgorithmGSA: 一种引力搜索算法
err2009-06-01
err0
PREAI
errEsmat Rashedi; Hossein Nezamabadi-pour; Saeid Saryazdi
err分享
err收藏
err分享
err收藏
err分享
err收藏
Generation of Knockout Gene-Edited Human Intestinal Organoids生成基因敲除型人肠道类器官
err2020-07-24
err0
errOAAI
errChathruckan Rajendra; Tomas Wald; Kevin Barber; Jason R. Spence; Faranak Fattahi; Ophir D. Klein
err分享
err收藏
学者 查看更多内容