首页> 外文会议>International Workshop on Formal Methods in Systems Biology >One Modelling Formalism Simulator Is Not Enough! A Perspective for Computational Biology Based on JAMES II
【24h】

One Modelling Formalism Simulator Is Not Enough! A Perspective for Computational Biology Based on JAMES II

机译:一个型号形式主义和模拟器是不够的!基于詹姆斯II的计算生物学视角

获取原文

摘要

Diverse modelling formalisms are applied in Computational Biology. Some describe the biological system in a continuous manner, others focus on discrete-event systems, or on a combination of continuous and discrete descriptions. Similarly, there are many simulators that support different formalisms and execution types (e.g. sequential, parallel-distributed) of one and the same model. The latter is often done to increase efficiency, sometimes at the cost of accuracy and level of detail. JAMES II has been developed to support different modelling formalisms and different simulators and their combinations. It is based on a plug-in concept which enables developers to integrate spatial and non-spatial modelling formalisms (e.g. STOCHASTIC π CALCULUS, BETA BINDERS, DEVS, SPACE-π), simulation algorithms (e.g. variants of Gillespie's algorithms (including Tau Leaping and NEXT SUBVOLUME METHOD), SPACE-πsimulator, parallel BETA BINDERS simulator) and supporting technologies (e.g. partitioning algorithms, data collection mechanisms, data structures, random number generators) into an existing framework. This eases method development and result evaluation in applied modelling and simulation as well as in modelling and simulation research.
机译:不同的建模形式主义适用于计算生物学。一些以连续方式描述生物系统,其他人专注于离散事件系统,或者在连续和离散描述的组合上。类似地,许多模拟器支持不同的形式主义和执行类型(例如,相同模型的顺序,并行分布)。后者经常进行以提高效率,有时以准确性和细节水平的成本。詹姆斯二世已制定为支持不同的建模形式和不同的模拟器及其组合。它基于插件概念,使开发人员能够集成空间和非空间建模形式主义(例如随机π微积分,β粘合剂,DEVS,Space-π),仿真算法(例如Gillespie算法的变种(包括Tau跳跃和下一个子化方法),空间 - πsimulator,并行β粘合剂模拟器)和支持技术(例如分区算法,数据收集机制,数据结构,随机数发生器)到现有框架中。这缓解了应用建模和仿真中的方法开发和结果评估以及建模和仿真研究。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号