<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>An HPC-Based Approach to Study Living System Computational Model Parameter Dependency</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Konstantin Ushenin</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dmitry Byordov</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>IIP UB RAS</institution>
          ,
          <addr-line>Yekaterinburg</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>IMM UB RAS</institution>
          ,
          <addr-line>Yekaterinburg</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Ural Federal University</institution>
          ,
          <addr-line>Yekaterinburg</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
      </contrib-group>
      <fpage>67</fpage>
      <lpage>74</lpage>
      <abstract>
        <p>High performance computing (HPC) allows one to run in parallel large amount of independent numerical experiments for computationally intensive simulations of a complex system. Results of such experiments can be used to derive dependencies between functional characteristics of simulated system and parameters of the computational model. In this paper, we implemented this HPC approach with using a computational model of the electrical activity in the left ventricle of human heart. To illustrate possibilities of the approach, we analyzed dependencies of electrophysiological characteristics of the left ventricle on the parameters of its geometry. Particularly, we identi ed a dependence of the dynamics of activated myocardium part during excitation on the model parameters of the myocardial ber orientation in the ventricular wall.</p>
      </abstract>
      <kwd-group>
        <kwd>high performance computing simulation</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>heart
Modern progress in systems biology and high performance computing (HPC)
have made it possible to perform computer simulations of the physiological
functions of complex living systems. Such simulation can be utilized to derive the
dependencies between hidden, unobservable in clinical data parameters and
functional characteristics of the systems. These dependencies can be used for solving
the inverse problem and make the clinical diagnostics better.</p>
      <p>However, deriving such dependencies for computational models of complex
living system is complicated process because simulation requires long time and
contemporary models have large number of parameters that in uence functional
characteristics. To solve this problem, we developed an HPC-based approach to
study the parameter dependency of living system models.</p>
      <p>According to suggested approach, large amount of independent numerical
experiments for computationally intensive simulations are executed on HPC cluster
in parallel. The simulation results are used to derive dependencies between
functional characteristics of simulated system and parameters of the computational
model.</p>
      <p>The approach could be used even for the simulation software that is not
support parallel computing, because large amount of independent simulation
tasks with di erent parameter values are executed on the HPC cluster.</p>
      <p>To illustrate possibilities of the approach, we analyzed dependencies of
electrophysiological characteristics of the left ventricle (LV) of human heart on the
parameters of its geometry.
2</p>
    </sec>
    <sec id="sec-2">
      <title>An HPC-based Approach to Study Computational</title>
    </sec>
    <sec id="sec-3">
      <title>Model Parameter Dependency</title>
      <p>Our approach is based on the execution of large amount of independent
simulation tasks on computational cluster (each task with di erent parameter values)
and statistical analysis of simulation results. We assume that simulation
software for the investigated computational model is already exists. In addition, we
assume that simulation takes a few hours or days. Hence, the parallel computing
support for one simulation task is not necessary.</p>
      <p>The approach consists of the following steps:
1. Choosing a set of model parameters that we plan to change and determining
the functional characteristics that are dependent on those parameters.
2. Determining the domain of parameters values, which will be used during the
experiments, and preparing the input data for the simulation software.
3. Performing simulation on the HPC cluster. Large amount of independent
computational tasks using existing simulation software with di erent
parameter values are executed in parallel (embarrassing parallelism).
4. Performing statistical analysis of experiment results. The results are
represented in the form yj = f (xj1; xj2; ::; xjN ), where f is the dependency between
parameters and functional characteristic. To determine the form and coe
cients of the dependencies we use the regression analysis method.</p>
      <p>This research approach gives us some advantages in comparison with
qualitative descriptions of experiments. First, the obtained result is a function. A
type of this function presents a hypothesis regarding the process behavior, and
its coe cients can be used for distinguishing criterion that separate normal and
pathological cases. In addition, through the principal component analysis, we can
nd physiological parameters the mostly a ecting on processes. Second, the
approach provides the possibility to restore hidden parameters of the physiological
system from clinical data.
3</p>
    </sec>
    <sec id="sec-4">
      <title>Implementation</title>
      <p>To be able to use the suggested approach, we implemented the software
system that executes tasks on the computational cluster, collects the results, and
provides tools for statistical analysis and visualization. The architecture of the
system is shown in Fig. 1.</p>
      <p>Two types of parallel execution of the simulation tasks on the cluster are
implemented: based on MPI and SLURM resource manager tools.</p>
      <p>The MPI implementation is based on the master-slave concept with load
balancing over task queue. This implementation shows itself to be well, but
when applying in more complicated experiments, cause several problem. When
some combination of parameters leads to insoluble problem formulations the
simulation software quits unexpectedly. This, in turn, can lead to an unexpected
end of all MPI tasks. We do not describe this complex experiment in the paper.</p>
      <p>The SLURM implementation is the most convenient, as an error in one task
has no e ect on other tasks. Furthermore, the SLURM's task distribution is
more exible in comparison with the MPI implementation.</p>
      <p>For reduction of the output data, the simulation software must be compiled
as a library and wrapped in Python with module ctypes. Result arrays are saved
in a hard drive in compressed binary le through standard numpy command
savez compressed. The wrapper structure is shown in Fig. 2.</p>
      <p>After this, a data is moved into the machine with GUI and is processed by
modules numpy and scipy.</p>
      <p>This approach allows us to divide numerical experiments and results
processing, for maximal exibility of our research.
4</p>
    </sec>
    <sec id="sec-5">
      <title>Computational Experiments</title>
      <p>
        In order to illustrate the possibilities of our approach, we analyzed dependences
of electrophysiological characteristics of the LV on the parameters of its
geometry. Particularly, we identi ed a dependence of the dynamics of activated
myocardium part during excitation on the model parameters of the myocardial
ber orientation in the ventricular wall.
The research is based on the continuum description of the LV tissue. The
simulation includes an anatomical model for description of the shape and the ber
direction, and an electrophysiological models for description of the excitation
properties of the LV tissue. The Euler method is used for calculation.
Anatomical model: We used a simpli ed anatomical model, which was
developed in our group earlier [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. The anatomical shape parameters are xed: LV
height Zb = 60 mm, wall thickness on apex h = 8 mm, radius from the axis to
epicardium on base Rb = 33 mm, wall thickness on base Lb = 12 mm, and
curvature " = 0:85. Only parameters 0; 1 are changed. This parameters in uence
on ber direction in the LV. In addition, the anatomical model provide a method
for generate a structured grid. This grid is used for calculate electrophysiological
di erential equation by Euler's method.
      </p>
      <p>
        Electrophysiological model: We use the Aliev-Pan lov [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] model for simulation
of the electrophysiological activity of the heart myocardium at the cellular level.
The model equations are represented as follows:
u_ =
ku(u
a)(u
1)
      </p>
      <p>uv + r (Dru)
v_ = (u)(8u
v)
where (u) = 0:1 if u &gt; a and (u) = 1 if u 1; k = 8; a = 0:03. For
introducing the material anisotropy, we used a symmetrical di usion tensor:
D11 = 12; D22 = 1:33; D12 = D21 = 0:0. Thus, the excitation wave propagation
speed along the bers is 3 times faster than across them.</p>
      <p>
        Initial activation The model does not account the conduction system of the
heart. We used the initial activation on endocardium apex applying the model
coordinates: 0:7 2 ; 0:6. This solution is based on the previous work [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>
        In our experiments, we used an existing implementation of these models [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]
in C language with OpenMP support.
      </p>
      <sec id="sec-5-1">
        <title>Experiment Protocol</title>
        <p>During the experiment, we measured a part of the excited myocardium of the LV
depending on the time for every model. For every point of the electrical mesh,
we calculated the corresponding myocardium volume and the arrival time of the
excitation wave. The part of the excited myocardium Vact(t) is a percent of the
activated LV before the instant t. The choice of this parameter is connected with
the fact that the transmural angle of bers has in uence on this parameter. In
practice, it can be calculated through the activation of the ventricle's map during
the physiological experiment or clinical electrophysiological study of the heart.
Moreover, Vact(t) may be interpreted as the index of myocardium activation
coherence.</p>
        <p>We selected parameters 0 and 1 for changing in the series of numerical
experiment. These parameters determine the ber direction in the LV. Parameters
of in uence on the ventricle's shape stayed xed.</p>
        <p>For calculation of Vact(t), the time interval of the wave spread [0; Tmax] is
divided into 10,000 parts. For every sub-interval [tk; tk + 1), we calculated the
activated volume as sum of activated point volumes. The activated myocardium
volume at the instant t is calculated as the sum of volumes in groups t1; ::; tk + 1,
if t 2 [tk; tk + 1]. Thus, the arrival time of waves into activated points group is
equal to average arrival time of wave in these points. So, we get two sequences of
data 10,000 elements in each. Xtime is an average time of point groups' activation.
Yvol is the volume of activated myocardium in time moment Xtime.
4.3</p>
      </sec>
      <sec id="sec-5-2">
        <title>Results</title>
        <p>After computation of the Xtime and Yvol sequences, we use the ordinary least
squares (OLS) method. The Levenberg{Marquardt algorithm was used for
nding the minimum of the OLS discrete functional. We tried to use polynomials,
logarithmic, sedate, and exponential regression for function approximation.
Finally, we have selected the 4-th degree polynomial (1). The value p0 is xed on
rst activated points group's level: in this case it matches the initial activation.
The results of approximation are shown in Fig. 3.</p>
        <p>Vact(t) = p4t4 + p3t3 + p2t2 + p1t1 + p0
(1)</p>
        <p>For coe cients p0; p1; p2; p3, we searched dependence on the initial
changeable parameters 0 and 1. By analogy with previous variants, we use the least
square method and the Levenberg { Marquardt algorithm.</p>
        <p>pi = B3i 1 0 + B2i 1 + B1i 0 + B0
i
(2)</p>
        <p>Approximation by the polynomial (2) is the most simple and accurate.
Results are shown on Fig.(4). The nal formulas are represented below in the
Results section.</p>
        <p>We insert coe cients of equation (2) into (3) to get the nal equation (3),
that describes the activated myocardium volume dependence. This equation is
based on 55 experiments, and has the following form:</p>
        <p>There are two ways to verify the obtained results. For the rst method,
the researchers can measure the real shape and the activation map of a
mammalian heart. After that, they can run the simulation with the parameters of
the measured shape and obtain the activation map. These results can be used
for the veri cation of the dependence we obtained. The second method of the
veri cation is similar to the rst, but the researchers can use data from the
electrophysiological study.</p>
        <p>
          Inverse functions cannot be obtained for the deduced formulas in strictly
mathematical terms. Nevertheless, with the activation map data, the result still
can be used for creating hypotheses about the ber direction. Thus, we can
construct the anatomical model [
          <xref ref-type="bibr" rid="ref3">3</xref>
          ].
5
        </p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Related Work</title>
      <p>
        The usage of statistical processing of the patients clinical data is widespread
in medicine [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. Our research di ers from them by using numerical experiments
with mathematical models instead of clinical data.
      </p>
      <p>
        The parameters similar to Vact(t) is used in work [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Authors of this work
use volume of activated myocardium as intermediate equation in mathematical
transformation.
      </p>
      <p>
        Large number of experiments for dependencies research is used in paper [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ].
The authors of this paper studied structural di erences in the myocardium of
di erent mammal species. In our work we are focused on another physiological
problem and suggest technical implementation of its decision.
6
      </p>
    </sec>
    <sec id="sec-7">
      <title>Conclusion</title>
      <p>We presented and approach to study the dependency of computational model
on parameters that is based on an execution of large amount of simulations with
di erent parameter values on the HPC cluster. To derive dependencies between
functional characteristics of simulated system and parameters, the statistical
analysis of simulation results is used.</p>
      <p>To provide an example of application of our approach to living system
modeling, we studied the dependence of the dynamics of activated myocardium part
during excitation on the model parameters of the myocardial ber orientation
in the ventricular wall.</p>
      <p>Future works include a study of the dependencies between geometric and
electrophysiological parameters of the LV to the dynamics of spiral waves.
Acknowledgments. The research was supported by the grant under the
Program of the Presidium of RAS II.4P \Fundamental program of mathematical
modeling" no. 22. Our work was performed using the \Uran" supercomputer
from Institute of Mathematics and Mechanics UrB RAS and computational
cluster of Ural Federal University.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Aliev</surname>
            ,
            <given-names>R.R.</given-names>
          </string-name>
          , Pan lov, A.V.
          <article-title>: A simple two-variable model of cardiac excitation</article-title>
          .
          <source>Chaos, Solitons and Fractals</source>
          <volume>7</volume>
          (
          <issue>3</issue>
          ),
          <volume>293</volume>
          {
          <fpage>301</fpage>
          (
          <year>1996</year>
          ), www.scopus.com
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Bueno-Orovio</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kay</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Grau</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rodriguez</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Burrage</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          :
          <article-title>Fractional diffusion models of cardiac electrical propagation: role of structural heterogeneity in dispersion of repolarization</article-title>
          .
          <source>Journal of The Royal Society Interface</source>
          <volume>11</volume>
          (
          <issue>97</issue>
          ) (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Pravdin</surname>
            ,
            <given-names>S.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Berdyshev</surname>
            ,
            <given-names>V.I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pan</surname>
            <given-names>lov</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>A.V.</given-names>
            ,
            <surname>Katsnelson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.B.</given-names>
            ,
            <surname>Solovyova</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            ,
            <surname>Markhasin</surname>
          </string-name>
          ,
          <string-name>
            <surname>V.S.</surname>
          </string-name>
          :
          <article-title>Mathematical model of the anatomy and bre orientation eld of the left ventricle of the heart</article-title>
          .
          <source>BioMedical Engineering Online</source>
          <volume>12</volume>
          (
          <issue>1</issue>
          ) (
          <year>2013</year>
          ), www. scopus.com
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Pravdin</surname>
            ,
            <given-names>S.F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Dierckx</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Katsnelson</surname>
            ,
            <given-names>L.B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Solovyova</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Markhasin</surname>
            ,
            <given-names>V.S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Panlov</surname>
            ,
            <given-names>A.V.</given-names>
          </string-name>
          :
          <article-title>Electrical wave propagation in an anisotropic model of the left ventricle based on analytical description of cardiac architecture</article-title>
          .
          <source>PLoS ONE</source>
          <volume>9</volume>
          (
          <issue>5</issue>
          ) (
          <year>2014</year>
          ), www.scopus.com
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Ri</surname>
            <given-names>enburgh</given-names>
          </string-name>
          , R.: Statistics in Medicine.
          <source>Elsevier Science</source>
          (
          <year>2012</year>
          ), https://books. google.ru/books?id=Pd4KCgJeXeEC
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Sozykin</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pravdin</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Koshelev</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zverev</surname>
            ,
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ushenin</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Solovyova</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          :
          <article-title>Leven { a parallel system for simulation of the heart left ventricle</article-title>
          .
          <source>In: Application of Information and Communication Technologies (AICT)</source>
          ,
          <year>2015</year>
          IEEE 9th International Conference on. pp.
          <volume>249</volume>
          {
          <issue>252</issue>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Young</surname>
            ,
            <given-names>R.J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pan</surname>
            <given-names>lov</given-names>
          </string-name>
          , A.V.:
          <article-title>Anisotropy of wave propagation in the heart can be modeled by a Riemannian electrophysiological metric</article-title>
          .
          <source>Proceedings of the National Academy of Sciences of the United States of America</source>
          <volume>107</volume>
          (
          <issue>34</issue>
          ),
          <volume>15063</volume>
          {
          <fpage>15068</fpage>
          (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>