Model checking in parametric models

2015 ◽  
pp. 291-310
Keyword(s):  
Model Checking ◽  
Parametric Models

scholarly journals Improved model checking methods for parametric models with responses missing at random

2017 ◽  
Vol 154 ◽  
pp. 147-161 ◽  
Author(s):  
Zhihua Sun ◽  
Feifei Chen ◽  
Xiaohua Zhou ◽  
Qingzhao Zhang
Keyword(s):  
Model Checking ◽  
Missing At Random ◽  
Parametric Models ◽  
Improved Model

Non-Linear Dynamics of Cardiovascular Variability Signals

1994 ◽  
Vol 33 (01) ◽  
pp. 81-84 ◽  
Author(s):  
S. Cerutti ◽  
S. Guzzetti ◽  
R. Parola ◽  
M.G. Signorini
Keyword(s):  
Dimensional Space ◽  
Severe Heart Failure ◽  
Parametric Models ◽  
Deterministic Systems ◽  
Finite Dimensional ◽  
Return Maps ◽  
Pathological Conditions ◽  
Non Linear ◽  
Space State

Abstract:Long-term regulation of beat-to-beat variability involves several different kinds of controls. A linear approach performed by parametric models enhances the short-term regulation of the autonomic nervous system. Some non-linear long-term regulation can be assessed by the chaotic deterministic approach applied to the beat-to-beat variability of the discrete RR-interval series, extracted from the ECG. For chaotic deterministic systems, trajectories of the state vector describe a strange attractor characterized by a fractal of dimension D. Signals are supposed to be generated by a deterministic and finite dimensional but non-linear dynamic system with trajectories in a multi-dimensional space-state. We estimated the fractal dimension through the Grassberger and Procaccia algorithm and Self-Similarity approaches of the 24-h heart-rate variability (HRV) signal in different physiological and pathological conditions such as severe heart failure, or after heart transplantation. State-space representations through Return Maps are also obtained. Differences between physiological and pathological cases have been assessed and generally a decrease in the system complexity is correlated to pathological conditions.

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software

REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM

2019 ◽  
Vol 13 (3) ◽  
pp. 1
Author(s):  
ALIYU E. O. ◽  
ADEWALE O. S. ◽  
ADETUNMBI A. O. ◽  
OJOKOH B. A. ◽  
◽  
...  
Keyword(s):  
Model Checking

Perkembangan Bahasa Anak Usia 12 Hingga 24 Bulan di Semarang

2018 ◽  
Vol 1 (2) ◽  
pp. 66
Author(s):  
Marini Marini ◽  
Khasanah Khasanah
Keyword(s):  
Data Analysis ◽  
Data Collection ◽  
Model Checking ◽  
Language Development ◽  
Qualitative Method ◽  
Questionnaire Data ◽  
Daily Lives ◽  
Analysis Techniques ◽  
Development Of Language

Abstract The  problem  of this research is : How is the language development of children age 12 to 24 months in Semarang ?. The purpose of this study is to describe widely and deeply about language development the children age 12 to 24 in Semarang. The method used in this research is qualitative method. Data collection is done by observation, interviews, and questionnaire. Data analysis techniques using Miles Hubermen’s model. Checking the validity of the data using triangulation data. The results showed that the development of language of children aged 12 to 24 months in Semarang in expressive is: can produce sound almost perfect in several words; Some of the letters of the words missing from the pronunciation; The missing letters are usually consonants; Haven't been able to pronounce the letter s and r; In General, most people are able to understand the speech of the children is an adult who is close to the child; There is a word that can be spelled perfectly by the child. The words are by and large is the words that are simple and close to the children's daily lives. As for the generally receptive: children can follow and obey what is spoken by adults; The children seem to understand when the adults were talking about them; and children  can understand  to the words that they  heard more than that they can speak.   Keywords: Language, children, expressive, receptive, word.    

Sign in / Sign up

Export Citation Format

Share Document