当前位置: X-MOL 学术Soft Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Introducing fuzzy reactive graphs: a simple application on biology
Soft Computing ( IF 3.1 ) Pub Date : 2021-03-31 , DOI: 10.1007/s00500-020-05353-1
Regivan Santiago , Manuel A. Martins , Daniel Figueiredo

In this paper, we propose a generalization for fuzzy graphs in order to model reactive systems with fuzziness. As we will show, the resulting fuzzy structure, called fuzzy reactive graphs (FRG), is able to model dynamical aspects of some entities which generally appear in: biology, computer science and some other fields. The dynamical aspect is captured by a transition function which updates the values of the graph after an edge has been crossed. The update process takes into account aggregation functions. The paper proposes a notion for bisimulation for such graphs and briefly shows how modal logic can be used to verify properties of systems modeled with FSGs. The paper closes with a toy example in the field of Biology.



中文翻译:

引入模糊反应图:在生物学上的简单应用

在本文中,我们提出了模糊图的概括,以便对具有模糊性的反应系统进行建模。正如我们将要展示的,由此产生的模糊结构称为模糊反应图(FRG),它能够对通常出现在生物学,计算机科学和某些其他领域的某些实体的动力学方面进行建模。动态方面是由过渡函数捕获的,该过渡函数会在边缘相交后更新图形的值。更新过程考虑了聚合功能。本文提出了对此类图进行双仿真的概念,并简要说明了如何使用模态逻辑来验证使用FSG建模的系统的属性。本文以生物学领域的一个玩具例子作为结尾。

更新日期:2021-04-15
down
wechat
bug