Sentence examples for model simulator was from inspiring English sources
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.
With this step, the model simulator is calibrated for our experiments (prober station electrical test).
The MODEL simulator is used for the calculation of additional resistance pressure drop.
Although physical model simulators are known to simulate looping more realistically than these devices, they lack published validation evidence.
The simulator mirrors the functioning of the control system and the dynamics of the indoor environment, where the thermal model of the simulator was developed in the Dymola/Modelica environment, while the illuminance model was developed and parameterized as a black-box model on the basis of measurements in the Matlab environment.
Previously, a three-dimensional computational model of the simulator was developed and verified using a simplified and instrumented analog knee.
Based on this resulting posterior model, forward simulator is used to generate predicted posterior model values for the future mining operations (for next two days).
The Fully-integrated Immune Response Modeling (FIRM) simulator is a differential equation based integration of multiple existing models of the immune system [ 5, 8, 10].
GemSIM, or General Error-Model based SIMulator, is a next-generation sequencing simulator capable of generating single or paired-end reads for any sequencing technology compatible with the generic formats SAM and FASTQ (including Illumina and Roche/454).
To resolve these issues, we applied Just-In-Time modeling based on the historical data modeling technique with the tracking simulator, and the plant model coverage of the tracking simulator was expanded for various processes.
Matching PVT experimental data with an equation of state model, a commercial simulator (Eclipse simulator) was used to calculate the solution gas oil ratio (Rs) values used in this study.
