1.
A Novel Circuit SAT Solver in Unbounded Model Checking
无界模型检验中融合电路信息的SAT算法研究
2.
Test and comprehensive model for non-destructive detection of egg freshness
鸡蛋新鲜度综合无损检测模型及试验
3.
The Comparison of Statistical Power of Two Types Critical Values for the LM Test of Nonlinear Timeseries Models;
非线性时序模型LM检验的两类临界值检验统计功效比较
4.
hypothesis testing model
假设检验模型 假设检验模型
5.
hypotheses testing model
假设检验模型假设检验模型
6.
The Research on Interfacial Bond Quality Inspection of New-to-old Concrete and the Prediction Model for the Pull Strength of the Bonding Interface;
新老混凝土界面粘结质量检验与粘结强度预测模型研究
7.
Financial Liberalization of China:from Segmented Market to Integrated Market
中国与世界金融市场从分割走向整合——基于DCC-MGARCH模型的检验
8.
Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence.
近十年以来，使用模型检查来验证有无某些特性已经成为主流。
9.
Model and Experimental Study of Neural Current Non-invasive Detection Based on Magneto-acoustic Technique;
基于磁声耦合的无损神经电流检测技术的模型与实验研究
10.
Tunnel Lining Quality Evaluation and Model Test Research on Non-destructive Testing by Ground Penetrating Radar;
隧道衬砌质量评价与探地雷达无损检测模型试验研究
11.
Non-destructive Test and Model Experiment of Anchorage System Based on Dynamic Response
基于系统动力响应的锚固结构无损检测及模型试验研究
12.
Model Experiments on the Length of Reinforcement Cage in Cast-in-Situ Pile Using Trenchless Technology
桩基中钢筋笼长度无损检测技术模型实验及认识
13.
Empirical Likelihood Ratio Test for Autocorrelation in Linear Model;
线性模型中自相关的经验似然比检验
14.
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术.
15.
Testing Serial Correlation and Heteroscedasticity in Partial Linear Models;
部分线性模型的序列相关检验与异方差检验
16.
Random Effect Tests for Frailty Models and Extended Residuals for the Fit of Models
脆弱性模型的随机效应检验和推广的拟合检验
17.
Study On The Dynamic Advanced Model Of The Pattern Of Trade & Experimental Analyses
贸易模式的动态演进模型与实证检验
18.
Event Simulation and the Test Power of Abnormal Return Model;
事件模拟与非正常收益模型的检验力——基于中国A股市场的经验检验