کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435675 | 689925 | 2015 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Minimal probabilistic P systems for modelling ecological systems
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Minimal probabilistic P systems for modelling ecological systems Minimal probabilistic P systems for modelling ecological systems](/preview/png/435675.png)
چکیده انگلیسی
In this paper we propose MPP systems as modelling notation for ecological systems, and we show how they can be used together with simulation and statistical model checking tools to study properties of such kind of systems. As a case study we consider the ecological problem of stability of European water frog populations. The paper shows that MPP systems allow easy and concise modelling of real ecological problems. Moreover, MPP systems models can be easily simulated and translated into the PRISM input language to enable statistical model checking of properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 608, Part 1, 10 December 2015, Pages 36–56
Journal: Theoretical Computer Science - Volume 608, Part 1, 10 December 2015, Pages 36–56
نویسندگان
Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini,