模型检验
网络释义专业释义
模型检验(Model checking)方法是一种很有前途的形式验证方法,它的验证方法是通过对限状态空间的遍历来确认规范说明(Specification)是否得到满足.
基于216个网页-相关网页
...模型检验 [gap=786]drainage network； modelling code；hydraulic model software for drainage net–work； model verification ...
基于28个网页-相关网页
模型识别 calibration of numerical model 模型检验 verification of numerical model 地下水模拟预测 groundwater model forecasting ..
基于12个网页-相关网页
符号模型检验 Symbolic Model Checking ; Symbol Model Verification
模型检验软件 Model Checking Software
数学模型检验 verification of mathematical model
有界模型检验方法 Bounded Model Checking
条件模型检验 Conditional Model Checking
模型检验集成规划系统 Model Checking integrated planning System
有界模型检验 BoundedModel Checking ; BMC
模型检验. Model Checking
-
model test - 引用次数：20 参考来源 - 管理者过度自信与企业融资关系研究model checking - 引用次数：9
Through questionnaire survey, data processing, model checking, and ultimately arrived at the conclusion of the study.
通过问卷调查、数据处理、模型检验等环节,得出研究结论。
参考来源 - 装备制造企业利用供应商网络提升企业技术能力的机理研究 -
model-verifying - 引用次数：2
We also expatiate the basic function and modules in modeling tool, advance a series of model-verifying mechanisms to ensure the correctness of metadata as much as possible.
文中阐述了建模工具的基本功能、组成模块，并针对CWM的特点提出了一套模型检验机制，最大程度地保证了建模工具中产生的元数据的正确性。
参考来源 - 基于CWM的元数据管理的研究
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
既然已经建立了主题模型检验，就可以使用断言实际测试上面的检验了。
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.
-
在这里可以找到可以在类范围中定义的Active Record模型检验列表。
You can find a list of the Active Record model validations that can be defined in the class scope here.
-
So you start with your basic model, then you add in, you enrich the model, and you see if the results change, and that'll help you explain why you're getting different results in different settings.
你们从最原始的模型开始,加入约束条件来丰富这个模型,然后检验结果是否有变,这能帮助我们解释,为什么在不同条件下结果是不同的
应用推荐