1.
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术.
2.
Model Checking and Boolean Satisfiability Problem;
模型检验及其布尔可满足问题的研究
3.
hypothesis testing model
假设检验模型 假设检验模型
4.
hypotheses testing model
假设检验模型假设检验模型
5.
Empirical Likelihood Ratio Test for Autocorrelation in Linear Model;
线性模型中自相关的经验似然比检验
6.
Testing Serial Correlation and Heteroscedasticity in Partial Linear Models;
部分线性模型的序列相关检验与异方差检验
7.
Random Effect Tests for Frailty Models and Extended Residuals for the Fit of Models
脆弱性模型的随机效应检验和推广的拟合检验
8.
Study On The Dynamic Advanced Model Of The Pattern Of Trade & Experimental Analyses
贸易模式的动态演进模型与实证检验
9.
Event Simulation and the Test Power of Abnormal Return Model;
事件模拟与非正常收益模型的检验力——基于中国A股市场的经验检验
10.
A Verification Method of Security Model Based on UML and Model Checking
基于UML和模型检测的安全模型验证方法
11.
The test samples reveal that the method is correct.
实例检验证明了该模型的正确性。
12.
This paper means to ameliorate the model and demonstrate it.
本文试图对模型做出改进,并实证检验。
13.
Competency Modelling and Validation of Chinese Civil Servants;
公务员胜任力模型的构建与检验研究
14.
The Estimators and Tests of Variance Components in Longitudinal Data Model;
纵向数据模型方差分量的估计和检验
15.
Generalized p Value Testing in Panel Data Model;
Panel数据模型的广义p值检验
16.
A Goodness-of-fit Test for Linearity of a Stochastic Regression Model with Ranked Set Sample;
秩集样本随机回归模型的线性性检验
17.
Consistency Test and Improvement of Actuarial Assumptions of PROST;
PROST模型精算假设的一致性检验与改进
18.
Comparison of Methods Checking Local-Independence Assumption s to Rasch Model;
Rasch模型下检验局部独立性的方法比较