Error detection and unit conversion

The article discusses the accuracy mathematical modeling languages (MML) for biomedicine, for example in cardiac electrophysiology. Unit balance checking is showed that it can be automated. The implemented example is JSim (http://www.physiome.org/ jsim/), which is general and can be applied to other systems in which units can be specified and checked. ODE-based simulator Physiome CellML Environment is also discussed.

[1]  Susan G. Sterrett,et al.  Physical pictures: Engineering models circa 1914 and in Wittgenstein's "Tractatus" , 2002 .

[2]  Jonathan Cooper,et al.  A model-driven approach to automatic conversion of physical units , 2008 .

[3]  Hiroaki Kitano,et al.  The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models , 2003, Bioinform..

[4]  A McCulloch,et al.  Model study of ATP and ADP buffering, transport of Ca(2+) and Mg(2+), and regulation of ion pumps in ventricular myocyte. , 2001, Biophysical journal.

[5]  Maxwell Lewis Neal,et al.  Subject-specific Model Estimation of Cardiac Output and Blood Volume During Hemorrhage , 2007, Cardiovascular engineering.

[6]  Ludwig Wittgenstein,et al.  Tractatus Logico-Philosophicus: The German Text of Ludwig Wittgenstein's Logisch-philosophische Abhandlung , 1962 .

[7]  R S Reneman,et al.  Terminology for mass transport and exchange. , 1986, The American journal of physiology.

[8]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[9]  G. W. Beeler,et al.  Reconstruction of the action potential of ventricular myocardial fibres , 1977, The Journal of physiology.

[10]  L. Wittgenstein.  Tractatus Logico-Philosophicus , 2021, Nordic Wittgenstein Review.

[11]  Gordon S. Novak.  Conversion of Units of Measurement , 1995, IEEE Trans. Software Eng..

[12]  H C Bazett,et al.  A PRACTICAL SYSTEM OF UNITS FOR THE DESCRIPTION OF THE HEAT EXCHANGE OF MAN WITH HIS ENVIRONMENT. , 1941, Science.

[13]  E. Buckingham.  On Physically Similar Systems; Illustrations of the Use of Dimensional Equations , 1914 .

[14]  James B Bassingthwaighte,et al.  GENTEX, a general multiscale model for in vivo tissue exchanges and intraorgan metabolism , 2006, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[15]  David B. Loveman,et al.  Incorporation of units into programming languages , 1978, CACM.

[16]  James B Bassingthwaighte,et al.  SIMCON—simulation control to optimize man-machine interaction , 1970, Simulation.

[17]  Edmund J. Crampin,et al.  Multiscale computational modelling of the heart , 2004, Acta Numerica.

[18]  R. Winslow,et al.  Mechanisms of altered excitation-contraction coupling in canine tachycardia-induced heart failure, II: model studies. , 1999, Circulation research.

[19]  Grigore Rosu,et al.  Rule-Based Analysis of Dimensional Safety , 2003, RTA.

[20]  O. Reynolds.  III. An experimental investigation of the circumstances which determine whether the motion of water shall be direct or sinuous, and of the law of resistance in parallel channels , 1883, Proceedings of the Royal Society of London.

[21]  A. Hodgkin,et al.  A quantitative description of membrane current and its application to conduction and excitation in nerve , 1952, The Journal of physiology.

[22]  Peter J. Hunter,et al.  An Overview of CellML 1.1, a Biological Model Description Language , 2003, Simul..