Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems | Science Publications

Abdullah M. Zin; Ravie c. Muniyandi; Zarina Shukor

首页> 外文期刊>Journal of computer sciences >Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems | Science Publications

【24h】

Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems | Science Publications

机译：使用两个生物系统的概率符号模型检查器对膜计算生物模型进行模型检查科学出版物

获取原文

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

> Problem statement: Membrane computing formalism has provided better modeling capabilities for biological systems in comparison to conventional mathematical models. Model checking could be used to reason about the biological system in detail and with precision by verifying formally whether membrane computing model meets the properties of the system. Approach: This study was carried to investigate the preservation of properties of two biological systems that had been modeled and simulated in membrane computing by a method of model checking using PRISM. The two biological systems were prey-predator population and signal processing in the legend-receptor networks of protein TGF-

机译： > 问题陈述：与传统的数学模型相比，膜计算形式主义为生物系统提供了更好的建模能力。通过形式验证膜计算模型是否满足系统特性，可以使用模型检查来详细，精确地推理生物系统。方法：进行这项研究的目的是，通过使用PRISM进行模型检查的方法，研究在膜计算中已建模和模拟的两个生物系统的特性。这两个生物系统是捕食者种群和蛋白质TGF-β的传奇受体网络中的信号处理。

著录项

来源
《Journal of computer sciences》 |2010年第7期|共页
作者
Abdullah M. Zin; Ravie c. Muniyandi; Zarina Shukor;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems [J] . Ravie Chandren Muniyandi, Abdullah Mohd. Zin, Zarina Shukor Journal of computer sciences . 2010,第7期

机译：通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
2. Modeling A Multi-Compartments Biological System with Membrane Computing | Science Publications [J] . Abdullah M. Zin, Ravie C. Muniyandi Journal of computer sciences . 2010,第10期

机译：膜计算对多室生物系统建模科学出版物
3. Analysis of the Model Checkers' Input Languages for Modeling Traffic Light Systems | Science Publications [J] . Abdullah M. Zin, Pathiah A. Samat, Zarina Shukur Journal of computer sciences . 2011,第2期

机译：交通信号灯系统建模的模型检查器输入语言分析科学出版物
4. Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker [C] . Kikuchi Shinji, Matsumoto Yasuhide 2011 IEEE 4th International Conference on Cloud Computing . 2011

机译：使用PRISM概率模型检查器的云计算系统中并行实时迁移操作的性能建模
5. Lipid domain nucleation, growth and phase behavior: Model systems for biological membranes. [D] . Blanchette, Craig David. 2007

机译：脂质结构域的成核，生长和相行为：生物膜的模型系统。
6. Modeling and analysis of cell membrane systems with probabilistic model checking [O] . Mirlaine A Crepalde, Alessandra C Faria-Campos, Sérgio VA Campos 2011

机译：利用概率模型检查对细胞膜系统进行建模和分析
7. Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems [O] . Ravie c. Muniyandi, Abdullah M. Zin, Zarina Shukor 2010

机译：通过两个生物系统使用概率符号模型检查器对膜计算生物模型进行模型检查
8. Computing Science: Modeling Biological Gradient Formation: Combining Partial Differential Equations and Petri Nets. [R] . Bertens, L. M. F., Kleijn, J., Hille, S. C., 2013

机译：计算科学：模拟生物梯度形成：组合偏微分方程和petri网。

Model Checking the Biological Model of Membrane Computing with Probabilistic Symbolic Model Checker by Using Two Biological Systems | Science Publications

摘要

著录项

相似文献

相关主题

期刊订阅