Semi-automated Modular Program Constructor for physiological modeling: Building cell and organ models
نویسندگان
چکیده
The Modular Program Constructor (MPC) is an open-source Java based utility, built upon JSim's Mathematical Modeling Language (MML) ( http://www.physiome.org/jsim/) that uses directives embedded in model code to construct larger, more complicated models quickly and with less error than manually combining models. A major obstacle in writing complex programs for modeling physiological processes is the large amount of time it takes to code the myriad processes taking place simultaneously in cells, tissues, and organs. MPC replaces this task by code-generating algorithms that take the code from several different modules and produce model code for a new JSim model. This is particularly useful during multi-scale model development where many variants are to be configured and tested against data. MPC is implemented in Java and requires JSim to use its output. MPC source code and documentation are available at http://www.physiome.org/software/MPC/.
منابع مشابه
Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems
First, using a recent modularity result Ohl94b] for unconditional term rewriting systems (TRSs), it is shown that semi-completeness is a modular property of constructor-sharing join conditional term rewriting systems (CTRSs). Second, we do not only extend results of Middeldorp Mid93] on the modularity of termination for disjoint CTRSs to constructor-sharing systems but also simplify the proofs ...
متن کاملSemi-automated Csg Model-based Building Extraction from Photogrammetric Images
Using pre-defined models to extract spatial information of the building, called model-based building extraction, has been considered as a convincible approach to improve the existing photogrammetric techniques. However, there is still a bottleneck on the practical efficiency and accuracy. This paper proposed a semi-automated approach to extracting buildings from multiple aerial images as well a...
متن کاملAutomated Process Model Annotation Support: Building Blocks and Parameters
In business process modeling, semi-formal models typically rely on natural language used to express the labels of model elements. This can easily lead to ambiguities and misinterpretations. To mitigate this issue, the combination of process models with formal ontologies or predefined vocabularies has often been suggested. A cornerstone of such suggestions is to annotate elements from process mo...
متن کاملPredictive modeling of biomass production by Chlorella vulgaris in a draft-tube airlift photobioreactor
The objective of this study was to investigate the growth rate of Chlorella vulgaris for CO2 biofixation and biomass production. Six mathematical growth models (Logistic, Gompertz, modified Gompertz, Baranyi, Morgan and Richards) were used to evaluate the biomass productivity in continuous processes and to predict the following parameters of cell growth: lag phase duration (λ), maximum specific...
متن کاملCompleteness of Combinations of Constructor Systems
A term rewriting system is called complete if it is both confluent and strongly normalising. Barendregt and Klop showed that the disjoint union of complete term rewriting systems does not need to be complete. In other words, completeness is not a modular property of term rewriting systems. Toyama, Klop and Barendregt showed that completeness is a modular property of left-linear term rewriting s...
متن کامل