这与我们所知道的模型检测相似。
模型检测技术是形式验证方法中的一种。
被动性回避行为学模型检测小鼠记忆能力；
One-trial passive avoidance model was carried out for determining memory retention in mice.
研究模型检测(1)模型检测技术分析协议的方法。
Study the model checking (1) model checking technique analyzed protocol 's method.
对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
模型检测基于概率系统的反例产生问题，在最近引起人们的关注。
Model checking probabilistic systems have been studied well these years, but counterexample generation for probabilistic system model checking has just drawn some attentions recently.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。
We analyse the security of e-commerce protocols in failure environments using the model checking approach.
而异常检测模块，它采用基于统计分析模型检测“异常”的网络行为。
But anomaly detection USES based-on statistic analyzed model detection "anomaly" network actions.
最后利用得到的块码书模型检测运动目标，并且同时更新此码书模型。
Lastly the moving object can be extracted through the model and update the codebook model.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
Model checking is a formal verification by exhaustive search to finite state automata.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
通过图像试验验证表明，该模型检测效果良好， 具有一定的实用价值。
Then, using the threshold, the model can find ships from SAR images. Some tests show this model working well.
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。
Model checking is one of the most successful automatic verification techniques in the past thirty years.
模型检测通过遍历系统所有可达的状态空间来验证系统是否满足特定的安全属性。
Model checking verifies whether a desired property holds over a given system through an exhaustive exploration of all the states reachable by the system.
通过包含区域信息的背景模型检测目标，减少在同一背景区域中目标的误判和漏判。
With the spatial areas information, the algorithm decreases the number of small fake objects and reduces the fragmentation of objects that caused by all kinds of noise.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
在诸多的系统分析和验证方法中，模型检测技术是近二十年来最成功的自动验证技术之一。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
各种形式化方法都有它的优缺点，模型检测的优点是完全自动化，但存在空间开销大的问题。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
结果表明，利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
在分析已有模型检测技术的特点及其弊端的基础上，提出了面向复杂曲面产品的模型检测技术。
Based on analyzing the characters and abuses of existent model measurement techniques, it was presented a model measurement technique for complicated surface product.
详细阐述了工作流建模和仿真工具的需求分析、设计和实现；重点讨论了工作流模型检测和仿真分析。
This paper expatiates on requirement analysis, design and implementation of workflow modeling and simulation tool, and mainly discusses workflow model check and simulation analysis.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。
Based on the model checking theory, we derive the running mode analysis method of three party cryptographic protocols from the running mode analysis method of two party cryptographic protocols.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
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.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
在这方面已取得的重要成果有：基于图规划所做的一系列改进如cgp、SGP，基于模型检测方法生成各种通用规划等。
The remarkable fruits have been made: the improvements on Graphplan including CGP, SGP, the different class of universal plan via model checking.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
基于模型检测的形式化方法就是这样一种技术，并已成功地在实践中应用于对复杂的时序线路设计和通信协议的正确性验证。
Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.
应用推荐