Model Check Error 就会出现
model check system 模型检测系统
model check method 模型检验方法
software model check 软件模型检测
Check model 检查模型 ; 过切检查 ; 要处理好 ; 模型检查
Check model for redundancy 检查模型的数据冗余
system check model 系统校验模型
DATA QUALITY CHECK MODEL 数据质量检查模型
Theoretical analysis and experiments show that the scheme can effectively reduce a program’s state space and satisfy the safety requirement imposed by software model check.
理论分析和实验结果表明,条件化可以有效缩减程序状态空间,并且满足软件模型检测对状态缩减的安全性要求。
参考来源 - 用于克服程序状态空间爆炸的条件化预处理 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
When the Assume Linear Model check box in the Solver Options dialog box is selected, there is no limit on the number of constraints.
当“规划求解选项”对话框中的“采用线性模型”复选框处于选中状态时,对约束条件的数量没有限制。
When the Assume Linear Model check box on the Solver Options dialog box is selected, there is no limit on the number of constraints.
当“规划求解选项”对话框中的“采用线性模型”复选框被选中时,对约束条件的数量没有限制。
The trick of writing cross–browser event handling scripts is not to use an overall event model check but to answer all these questions separately.
写跨浏览器的事件处理程序的的技巧在于不要用整体的事件模型而是分别的回答每一个问题。
应用推荐