对任务流模型检验技术进行了讨论。
The technology of model checking based on mission flow is discussed in this paper.
基于IMC的模型检验。
模型检验是自动检验有限状态并发系统的技术。
Model checking is a technique for automatically verifying finite-state concurrent systems.
经系统模型检验，得到满足整体稳定性的最优解。
Proved by simulation model the global optimum which meets the integer stability of crane is obtained.
提出了一种用模型检验进行构件数据流测试的方法。
This paper proposes an approach to data flow testing for components using model checking.
经过模型检验、参数反演，确定了水力参数和入渗补给系数。
The hydraulic parameters and infiltration supplement coefficient are ascertained by model testing and parameter inversion.
通过问卷调查、数据处理、模型检验等环节，得出研究结论。
Through questionnaire survey, data processing, model checking, and ultimately arrived at the conclusion of the study.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
最后，通过结构方程模型检验了品牌信任和象征价值的中介效应。
At last, by the Structural Equation Model it studies the mediator effect of brand trust and brand symbolic value.
模型检验进一步证明该模型系统提供了最好的直径和材积预测精度。
Model validation further confirms that this model system provides the best precision of diameter and volume prediction.
既然已经建立了主题模型检验，就可以使用断言实际测试上面的检验了。
Now that we have the subject model validation in place, we can actually test the above validation using an assertion.
竞争能够塑造自然群落并由其给出可用备择模型检验的一般性聚集规则。
Competition can shape natural communities and give rise to general assembly rules that can be tested with null models.
叙述回归分析用于交通工程建模中的一般流程，即模型设计和模型检验。
The general process of regression analysis in traffic engineering is displayed in this paper, including model design and model test.
在这里可以找到可以在类范围中定义的ActiveRecord模型检验列表。
You can find a list of the Active Record model validations that can be defined in the class scope here.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
在扰动项分布未知的情况下，直接采用传统的空间模型检验方法是存在问题的。
It is problematic to use classical spatial model tests under the condition that the distribution is unknown.
总之，高精度的天文观测的地球自转系列可以作为全球环流模型检验的一种重要参考依据。
In general, the highly accurate astronomically observed Earth rotation series might serve as an important reference for the verification of global circulation models.
然后，应用均值GARCH (GARCH - M)模型检验预期收益与预期风险的关系。
Then we test the relation between expected returns and expected risk with the GARCH-M model.
通过引入模型检验技术可以改进变异分析方法中等价变异体的判断和测试用例自动生成的不足。
The drawbacks of the determination of equivalent mutants and the automatic generation of the test-cases in mutation analysis can be improved through the introduction of model-checking technology.
通过模型检验得出模型能较好反映萃取的过程，为进一步优化模型参数和工艺研究提供了参考。
Through model checking, this model can reflect the process of extraction, it can be use as a reference for further optimizing the model parameters and technology research.
讨论了利用仅含一个隐层的前馈多层神经网络来辨识离散时间非线性动态系统时的模型检验问题。
This paper investigates the problem of the model validation in identifying discrete-time-nonlinear dynamic systems by using neural networks with a single hidden layer.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
最后采用浙江省11市的面板数据，建立固定效应变截距模型检验各市金融结构与经济增长的关系。
Finally it establishes a fixed effect variable intercept model to check financial structure differences with panel data of 11 cities in Zhejiang.
采用跨时期、跨市场、反事实的方法对规制前后的效果进行对比验证，利用计量经济学模型检验规制的解释力度。
Using the cross time, the cross market, the counter-fact method observe the effect under regulation or not and using metrological model to carry on an examination.
为了满足模型检验的需要，本文在研究LSC语法语义的基础上提出了一种生成与LSC等价的状态迁移模型的方法。
Model checking utilizes the state model of systems, thus, we present a method that generates the stale models from LSC models based on the LSC semantics.
借助LISREL软件对调查所得的数据进行分析，得出这六条路径都通过了模型检验，并画出了相应的模型路径图。
Using LISREL analyses the data got from the survey, the six paths all pass the test of the model. The model path graph is also given by LISREL.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
采用基于决策图的模型检验方法对整数乘法器验证时会出现内存爆炸，解决该问题的一种有效途径是采用反向替换方法。
Model checking based on decision diagram causes memory explosion in integer multiplier verification. An efficient solution to this problem is backward substitution method.
应用推荐