Sentence examples for model simulator the from inspiring English sources

In order to illustrate the integration of Mudi with a model simulator the model checker was executed initially without making available any STML files.

This paper starts with a finite-element modeling simulator to model the induced electric charge of a ring electrode and to find the electrode sensitivity.

For the chemotaxis case study a Bash script was created to execute the Linux version of the Morpheus model simulator and translate the simulation output to STML.

Algorithm 1 shows the pseudo code of IC model simulator which takes the seed set S as a parameter, and returns the number of activated actors by S. The experimental results in the next section support the assumption that the T and HT measure can identify important attractors in time-varying networks while it boils down to indegree if time is neglected.

The MODEL simulator is used for the calculation of additional resistance pressure drop.

Since no path to an external model simulator was specified the model checker did not have enough evidence to decide using the frequentist statistical model checking approach if the PBLSTL statement holds.

Firstly, the model simulator has been calibrated in order to replicate the experiments, and secondly, the thermal conductivity of the porous silicon layer has been evaluated.

Reference [16] contains more details of the EV fleet characterization and the model simulator equation and restrictions.

With this step, the model simulator is calibrated for our experiments (prober station electrical test).

In case STML files are generated on demand a user-defined script calling the model simulator needs to be made available.

All the model code has been implemented in C under the Development System for Auditory Modeling (DSAM) library, and the Auditory Model Simulator (AMS) application derived from it 1.