模型检验

模型检验（modelchecking）是一种重要的自动验证技术。

Model checking is an important technology of automatic verification .

SET协议支付过程的符号模型检验

Symbolic Model Checking the SET Protocol

增广NCⅡ设计的模型检验和参数估计

Model Test and Parameter Estimates of Augmented NC ⅱ Design

第二阶段是通过面板数据（PANELDATA）模型检验影响企业技术创新效率的因素。

And in the second phase , a Panel Data Model is employed to test factors which influence TIE in corporations .

近年来，二叉判定图BDD（BinaryDecisionDiagram）和符号模型检验在形式化验证数字电路设计中取得了突破性进展。

Binary Decision Diagram and symbolic model checking has made breakthrough in digital circuit design .

而基于SAT的有界模型检验方法虽然能较快地发现反例，但它不支持包含数学公式的系统规范，因而难以用于验证运算电路。

SAT-based bounded model checking is powerful in bug finding , but it does not support specification with mathematic formula .

本文以上海股票市场为例，选择合适的ARCH族模型检验了市场上每一天的所有信息对市场波动性总的影响。

In this paper , we research the effect of all information of Shanghai stock market every day on the market volatility with ARCH models .

并以苯酚降解反应为模型检验合成的具有光催化性的TiO2修饰的MCM-41的光催化活性。

The photocatalytic properties of the titania modified MCM - 41 were tested in the decomposition of phenol .

基于LSC的模型检验研究与实现

Model Checking of LSC Specifications

模型检验表明，与传统的水平分层的共转换点偏移叠加方法相比，Kirchhoff偏移方法能够实现转换波的有效归位，消除水平分层共转换点偏移叠加造成的假象。

The model experiment shows that Kirchhoff migration can implement effective image of converted phases , remove the fictious image , in contrast to ray-based horizontal common-converted-point stacking method .

GavinLowe首先使用CSP和模型检验技术对密码协议进行分析，它克服了逻辑验证的上述缺陷。

Gavin Lowe firstly uses CSP and the model check technology to analyses the security protocol , and it overcome the defect mentioned above that the logic verify .

文中阐述了建模工具的基本功能、组成模块，并针对CWM的特点提出了一套模型检验机制，最大程度地保证了建模工具中产生的元数据的正确性。

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 .

用Granger因果关系模型检验了国内外投资者间会不会存在价格先导性的问题，从而分析和研究了国内外投资者投资行为特征和相互关系。

We test whether there exist price determination between international and domestic investors using Granger causation , so that make an analysis on the characteristic of investment behavior and inter-relationship between international and domestic investors .

为了满足模型检验的需要，本文在研究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 .

文章利用描述实际GDP增长率波动成分的各种GARCH模型检验发现，在我国经济运行当中，紧缩性货币政策对于经济的减速作用大于扩张性货币政策对于经济的加速作用。

By detrending the time series and using the GARCH model with asymmetry , we find out in China that tight monetary policy slow the economy in the boom more than easy monetary policy accelerates the economy in the recession .

采用模型检验算法来验证FSA指示的状态在PDA中是否可达，即PDA表示的所有可能的操作序列中是否存在FSA所指出的错误操作序列。

Then it uses model checking techniques to identify whether any state of FSA is reachable in the PDA . That means to verify whether the wrong operation sequence of FSA exists in all possible operation sequences of PDA .

最后，本文利用TAR模型检验了这些市场间的价格传导机制的非对称性问题，即出口地区的粮价上升或下降会不会以不同的速度影响到进口地区的粮价。

Finally , this paper examined the asymmetry of price transmission mechanism between these markets using the TAR model , that , the increase or decrease of the food price in exporting regions will transmit to importing regions with different speeds , or not .

这个问题实际上是所谓的模型检验问题。

In fact , this is a problem on model checking .

基于时态逻辑的硬件设计形式化验证技术&模型检验

Hardware design 's formal verification based on temporal logic & model checking

经模型检验，该模型合格。

Being tested , the model reaches qualified grade .

早期需求工程中的形式化建模与模型检验应用研究

The Applied Research of Formal Method and Model Checking in Early Requirement Engineering

电子合同签订协议的符号模型检验分析

Symbolic Model Checking Analysis for Electronic Contract Signing Protocol

作物模拟研究中的模型检验

The Model Verification in Crop Simulation Model ing

模态转移系统的三值逻辑模型检验

Three Valued Model Checking on Modal Transition Systems

动态神经网络的模型检验

Trends the model validation of dynamic neural networks

微处理器的分级模型检验验证研究

Hierarchical Model Checking Study on Microprocessor Verification

但是我们通过模型检验发现，在我国经济运行的不同价格变化阶段，这种新凯恩斯经济学的政策命题并不成立。

By model testing we find this view is invalid for China 's economic situations .

一种用于模型检验的符号检验法

An Amended Sign Test for Model Validation

并发和实时系统的模型检验技术

Model checking for concurrent and real-time systems

仿真模型检验的新工具

A New Tool for Checking Simulation Model