| 单词 | model checking | ||||||||||||||
| 释义 | model checking
更多释义 收起释义 例句释义: 模型检测,模型检验,模型置信度 1. This method, known as model checking, is now used extensively to verify integrated-circuit designs. 这就是「模型检查」（modelchecking），目前广泛应用在积体电路设计的检验上。 192.192.169.81 2. then CTL based colored Petri nets model checking approach is applied to verify Web service compositions for error detection. 然后使用着色Petri网的模型检测技术分析、验证具体的组合Web服务，发现其中潜在的逻辑错误。 www.say666.com 3. At present, the main methods of analyzing the security of e-commerce protocols are BAN logic, model checking and inductive method, etc. 目前分析电子商务协议安全性的方法主要有BAN逻辑、模型检测和归纳方法等。 www.13191.com 4. By separating the model checking rules and the model checking engine, the scalability and agility of the checking mechanism are improved. 通过将模型验证规则与模型验证引擎相分离的方式，提高了验证机制得可扩展性和灵活性。 211.103.157.156 5. The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking. 对于并发传值系统抽象模型的选取直接影响其模型检测的效率。 www.fabiao.net 6. Model checking is then used to check whether a program has a given property. 然后使用模型检查来检验一个程序是否有某个给定特性。 www.pediy.com 7. As a formalized method, model checking has many advantages. It is fully automatic, and also can provide faulty traces. 模型检查作为形式化验证方法的一种，有着自动化和提供反例等诸多优点。 www.joces.org.cn 8. The capability of model checking to output counterexamples provides a basis for automated test generation. 模型检验输出的反例提供了一种自动产生测试用例的有效途径。 fcst.ceaj.org 9. Flow analysis and language transform are two main methods for program model checking, but both are limited in practice. 基于流分析的程序模型检测和基于语言转换的程序模型检测是当前程序模型检测的主要方法，它们都存在各自的局限性。 www.ceps.com.tw 10. Model checking is a formal method for verifying the temporal logic properties of finite state systems. 模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。 www.joces.org.cn 1. A bounded model checking method for the high-level design verification using Wu's method is proposed. 以吴方法为理论基础，提出一种针对高层次设计验证的定界模型检验方法。 www.ceps.com.tw 2. Model checking alone regrettably cannot handle states with complex structures, which is characteristic of most software designs. 可惜的是，单单模型检查，并无法应付结构复杂的状态，这却是大多数软体设计的特性。 192.192.169.81 3. Model checking is a critical technology in Model Driven Service-creation approach. 模型验证是模型驱动的业务生成技术中的关键技术。 www.fabiao.net 4. Through questionnaire survey, data processing, model checking, and ultimately arrived at the conclusion of the study. 通过问卷调查、数据处理、模型检验等环节，得出研究结论。 www.fabiao.net 5. For most safety properties and some liveness properties, model checking can be reduced to reachability analysis. 实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。 www.ceps.com.tw 6. This paper proposes an approach to data flow testing for components using model checking. 提出了一种用模型检验进行构件数据流测试的方法。 fcst.ceaj.org 7. There are hybrid theorem proving systems which use model checking as an inference rule. 有混合定理证明系统，使用模型检查的推理规则。 blog.sina.com.cn 8. Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic. 模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。 kns50.chkd.cnki.net 9. We analyse the security of e-commerce protocols in failure environments using the model checking approach. 本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。 www.dictall.com 10. In this thesis, we study the model checking problem for EGF logic on pushdown systems and BPP. 在本文中，我们研究下推系统和BPP上EGF逻辑的模型检测问题。 www.boshuo.net 1. While in model checking, the aim is to check if a given infinite-state system satisfies a given formula. 模型检测则是给定一个无穷状态系统和一个逻辑公式，判定这个系统是否满足这个公式。 www.boshuo.net 2. State space explosion is the key problem in software model checking. 软件模型检验面临的难题是状态空间爆炸问题。 www.ceps.com.tw 3. This is similar to what is known as model checking. 这与我们所知道的模型检测相似。 www.infoq.com 4. Chapter4. How to use the timed automata model checking tool -UPPAAL is introduced here. 第四章。介绍了基于时间自动机理论模型检验工具UPPAAL的使用方法。 paper.pet2008.cn 5. MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。 www2.chkd.cnki.net 6. we can also check if a system satisfies a given property through model checking. 我们也可以通过模型检测来判定一个系统是否满足某个给定的性质。 www.boshuo.net 7. Compositional Model Checking and Compositional Refinement Checking of Concurrent Reactive Systems 并发反应式系统的组合模型检验与组合精化检验 scholar.ilib.cn 8. Development and Verification of High Confidence Embedded Software by Combining Model Checking and Theorem Proving 模型检测与定理证明相结合开发并验证高可信嵌入式软件 www.ilib.cn 9. Algebraic Model for Distributed State Machine and Its Model Checking Algorithm 分布式状态机的代数模型及其模型检验算法 service.ilib.cn 10. Diagnostic Information Generation in Model Checking Value-Passing Processes 传值进程模型检测中诊断信息的生成 www.ilib.cn 1. Symbolic Model Checking Analysis for Electronic Contract Signing Protocol 电子合同签订协议的符号模型检验分析 168.160.184.82:8080 2. Strand Spaces Some Bounds on Security Protocol Analysis--Combining Model Checking and Strand Spaces 安全协议分析的界--综合模型检查与 www.ilib.cn 3. Symbolic model checking analysis for cryptographic protocol 密码协议的符号模型检测及分析 www.ilib.cn 4. Strategy to Group Partitioned Transition Relationship in Model Checking 模型检验中迁移关系的分组策略 www.ilib.cn 5. Model Checking Analysis of Probabilistic Non-repudiation Protocol 概率非否认协议的模型检测分析 www.ilib.cn 6. Bounded Model Checking for Temporal Epistemic Logic in Synchronous Multi-Agent Systems 有界模型检测同步多智体系统的时态认知逻辑 www.ilib.cn 7. Model Checking Analysis for Atomicity of Electronic Commerce Protocol 一种电子商务协议原子性的模型检验分析方法 www.ilib.cn 8. Applying Program Conditioning to Reduce State Space for Software Model Checking 程序条件化用于软件模型检测中的状态空间缩减 service.ilib.cn 9. Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking 时间自动机的模型检验中消除无关原子约束 jcst.ict.ac.cn 10. Optimization Technique for Shared Variables in Real-time System Model-Checking 实时系统的模型检验中针对共享变量的优化技术 www.ilib.cn 1. Discussion of Manufacturing Process of Automobile Master Model Checking Fixer 关于汽车主模型检具制造工艺问题的讨论 www.ilib.cn 2. Research On Model Checking Based Software Security Static Analysis 基于模型检验的软件安全静态分析研究 www.ilib.cn 3. Model Checking of Authentication Protocols 身份认证协议的模型检测分析 service.ilib.cn 4. A Model Checking Algorithm for Temporal Logics of Knowledge in Multi-Agent Systems 多智体系统时态认知规范的模型检测算法 www.ilib.cn 5. Survey of Abstraction Technologies for Model Checking 模型检验中抽象技术研究综述 www.ilib.cn 6. Abstraction Refinement for Large Scale Model Checking 大尺度模型检定用抽象细化 book.cnpeak.edu.cn 7. An Operational Semantics for UML State Machines in Model Checking Context 面向模型检验的UML状态机语义 service.ilib.cn 8. Slicing Concurrent Programs for Model Checking 并发程序的切片模型检验方法 www.ilib.cn 9. Research and Development of Model Checking Software Architecture 模型检验软件体系结构研究与进展 www.ilib.cn 10. Model checking based on compositional reasoning for cryptographic protocols 密码协议的一种基于组合推理的模型验证 www.ilib.cn 1. Research on Model Checking Technology of Workflow Model 工作流模型的模型检验技术研究 www.ilib.cn 2. Three Valued Model Checking on Modal Transition Systems 模态转移系统的三值逻辑模型检验 www.ilib.cn 3. Application of Model Checking in Software Testing 模型检测在软件测试中的应用 www.ilib.cn 4. Model Checking Distributed Control Systems Based on Software Architecture 基于体系结构模型检查分布式控制系统 www.ilib.cn 5. A Model Checking of Real-Time Systems in Linear Temporal Logic with Clocks 基于线性时序逻辑的实时系统模型检查 www.ilib.cn 6. Abstraction in Software Model Checking 软件模型检测中的抽象 service.ilib.cn 7. Model Checking on Duration Properties of Real-time Systems 实时系统时段性质的模型检验 www.ilib.cn 8. An Application of Dense Time-based Model-checking of Real-time Systems 基于稠密时间的实时系统模型检测的一个应用 www.ilib.cn 9. Using model checking to generate test cases for class testing 一种基于模型检验的类测试用例生成方法 www.ilib.cn 10. Analysis of Contract Signing Protocol Based on Probabilistic Model Checking 基于概率模型检测的合同签订协议分析 www.ilib.cn 1. A Model-Checking Tool with Non-Trivial Data Structures 带复杂数据结构的模型检测工具 www.ilib.cn 2. Symbolic Model Checking the SET Protocol SET协议支付过程的符号模型检验 www.ilib.cn 3. CAPM Model Checking in Real Estate Stock Market CAPM模型应用于房地产股票市场的有效性检验 www.ilib.cn 4. New Approaches for Model Checking 模型检测新技术研究 www.ilib.cn 5. Software Model Checking Based on Abstract-verify-refine Paradigm 基于抽象-验证-细化范例的软件模型检测 www.ilib.cn 6. Study on workflow model checking 工作流模型检测研究 service.ilib.cn 7. Survey of planning as model checking 基于模型检验的规划综述 www.ilib.cn 8. Model Checking of UML State Machines UML状态机的模型检验方法 service.ilib.cn 9. Research on model checking of software process based on UML activity graph 基于UML活动图的软件过程建模合理性问题的研究 www.ilib.cn 10. Planning with Domain Constraints Based on Model-Checking 基于模型检测的领域约束规划 www.ilib.cn 1. Dynamic model checking method based on residual entropy 一种基于残差熵的动态模型检验方法 www.ilib.cn 2. Hierarchical Model Checking Based on Modules 基于模块的层次化模型判别 service.ilib.cn 3. E-Commerce Protocol Analysis Under the Failure Environment Based on Model Checking 基于模型检测的不可靠环境下电子商务协议分析 www.ilib.cn 4. An e-business assurance technique based on model-checking 基于模型检测的电子商务鉴证技术 www.ilib.cn 5. Verification of PIC Based on Symbolic Model Checking 基于符号模型检验的硬件验证 www.ilib.cn 6. Model Checking of System on Chip 片上系统的模型检验 www.ilib.cn 7. Security Protocol Model Checking Based on SMV 基于SMV的安全协议模型检验 service.ilib.cn 8. A Method of Intrusion Detection Based on Model-Checking 一种基于模型检查的入侵检测方法 ilib.cn 9. The Study of Model Checking Based on Mission Flow 任务流模型检验的研究 www.ilib.cn |
||||||||||||||
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。