Simulations for model verification and intervention analysis
VERIFICATION AND VALIDATION OF CFD SIMULATIONS
... Sources of errors and uncertainties in results from simulations can be divided into two distinct sources: modeling and numerical. Modeling errors and uncertainties are due to assumptions and approximations in the ...
54
Application of generalized intervention analysis model
... Keywords: intervention event, jump function, unit impulsive function, generalized intervention analysis model, Hainan GDP. JEL Classification: C53. Copyright @ 2019: This is an open-access ...
7
Verification of the model of predisposition in triathlon - structural model of confirmative factor analysis
... The second highest factor loading was detected in running predispositions (–0.85; 0.28), followed by swim- ming (–0.61; 0.63) and cycling predispositions (0.53; 0.72). This fi nding is in accordance with earlier stud- ies ...
12
A wide-range model for surge arresters : verification analysis
... A verification analysis of different surge arrester models has been ...IEEE model is the most accurate representation for surge arresters because it provides lowest deviations compared to the values ...
5
Verification of model transformations
... Some forms of analysis apply regardless of the constraint type. Each con- straint should use correct syntax and should be type-correct in the context of the source and target metamodels. Internal completeness ...
60
A Security Domain Model for Static Analysis and Verification of Software Programs
... Domain Model (DM) for conducting static analysis of programs to identify illicit information flows, access control flaws and covert channel ...Invariant Model, which defines the generic concepts of ...
6
Neighborhood-Based Verification of Precipitation Forecasts from Convection-Allowing NCAR WRF Model Simulations and the Operational NAM
... Forecasting Model (WRF; Skamarock et al. 2005) simulations conducted during April–July 2004–08 by the National Center for Atmospheric Research (NCAR) to operational North American Mesoscale (NAM; Janjic´ ...
17
Monte Carlo simulations to replace film dosimetry in IMRT verification
... precisely model realistic radiation transport through the accelerator treatment head, the MLC and the patient ...plan verification [14], and suitable TPS are currently put on the ...
23
Simulations for designing and interpreting intervention trials in infectious diseases
... conducted. Simulations can help capture the im- pact of heterogeneity in the trial population on power and on the size of the effect being ...However, simulations showed that, under certain assumptions, ...
8
Verification and sensitivity analysis of a model for determination of probability of a working day for tillage
... a model in order to determine the probability of a work day for tillage practices in different regions by different weather and soil ...computer model was developed to estimate the soil moisture at tillage ...
9
Model-Based Fault Diagnosis System Verification Using Reachability Analysis
... reliable verification technique for FDI algorithm using reachability ...reachability analysis tool for continuous- time systems using zonotopes to represent uncertainties in [19] and [20] is employed due to ...
10
Process verification of a hydrological model using a temporal parameter sensitivity analysis
... dominant model processes (Saltelli et ...in model parameter values influences the variance of the model output ...sensitivity analysis methods, TEDPAS uses the direct model output ...
12
TESTING, ANALYSIS, AND MODEL VERIFICATION OF MINIATURE LINEAR PERMANENT MAGNET GENERATORS
... The wire sizes shown in Table 6.1 were chosen as inputs in the optimization script. A MATLAB script was written to vary the coil width and height in the given range with a step size of 0.2mm. The MATLAB script opened and ...
129
A framework for model transformation verification
... for verification, we recommend the combination of syntactic analysis, satisfaction checking and correctness-by-construction synthesis to develop new ...
51
Concepts of Model Verification and Validation
... a model for every unit problem, component, and subsystem defined in the validation ...sensitivity analysis of the full-system model and identify the important problem characteristics that require ...
41
Correct model to model transformation for formal verification
... used model, the expressive power of UML is not sufficient for model verification ...formal model with underlying theory enables further analysis and formal verification of sys- ...
422
Formal verification of RFID system using model verification agent
... in model checking approach with the performance of an excellent ...the model checking is able to aid the ...the analysis and verification using model checking is competent to support ...
28
Monte Carlo LINAC simulations using PRIMO for IMRT Treatment Verification
... 53 4.3 PRIMO output problem The simulation results made with PRIMO are shown in images and graphs, as can be seen in Figure 4.18. This output shows a dose distribution with a 10x10 cm 2 open field simulated by PRIMO, for ...
101
Application of Intervention Analysis Model in Yu Ebao Yield Prediction
... Keywords Yu Ebao, Yield, Intervention Analysis Model 1. Introduction Recently, a series of internet financial products were launched by many internet companies and fund manage- ment companies, which ...
6
Formal Analysis of an Agent Support Model for Behaviour Change Intervention
... reactive intervention can be supported to obtain an improved behaviour change intervention is still lacking in most previous ...formal analysis of agent support model for behaviour change ...
7