检验工具的英文

• inspection tools

• "检验"英文翻译    checkout; test; examine; ins ...
• "工具"英文翻译    tool; means; implement; appl ...
• "检验工" 英文翻译 :    looker-over
• "试验工具" 英文翻译 :    test instrument
• "检验工程师" 英文翻译 :    qc engineer
• "检验工作" 英文翻译 :    examination work; inspection routine
• "深冲试验工具" 英文翻译 :    tiefungsprüfwerkzeug cupping test tool
• "潜水检验工作" 英文翻译 :    submarine survey work
• "空气动力试验工具" 英文翻译 :    atv
• "检验工件主轴转角" 英文翻译 :    work tests roll
• "枪炮的染蓝检验工" 英文翻译 :    bluer
• "润滑与检验工间" 英文翻译 :    lubrication and inspection department; lubricationandinspectiondepartment
• "质量检验工程师" 英文翻译 :    quality inspection engineer
• "转向系检验工间" 英文翻译 :    steering analysis department; steeringanalysisdepartment
• "最后一道检验工序" 英文翻译 :    final examination sequence
• "作为试验工具用的电动打字机的使用" 英文翻译 :    standard practice for use of the electric and electronic typewriter as a test instrument
• "商品检验工作在到货后一个月内完成" 英文翻译 :    the inspection should be completed within a month after the arrival of the goods
• "复验工" 英文翻译 :    reinspector
• "基于检验点的软件工具" 英文翻译 :    checkpoint-based software tool
• "核试验工厂" 英文翻译 :    nuclear test plant
• "化验工作" 英文翻译 :    laboratornoe delo
• "铆钉试验工" 英文翻译 :    rivet tester
• "实验工厂" 英文翻译 :    experimental plant; pilot plant; pilotplants; semiplant
• "实验工程师" 英文翻译 :    laboratory engineer
• "实验工作" 英文翻译 :    cut and try work; cut-and-try work; experimental work

• So the test tools for optimization theory are presented
  为本文建立的优化理论提供了检验工具。
• Establish incoming inspection plan , improvement inspection tooling
  建立来料检验指引,改进检验工具
• Road vehicles . garage equipment . engine testing and measuring equipment
  道路车辆.汽车车库工具.测量和检验工具
• Manage and maintain inspection tools to make them always functional and available for use
  管理和保养检验工具，使其一直处于可使用状态。
• The object of this paper is to verify security protocols with model checking tools
  本课题的研究目的是采用模型检验工具对安全协议进行验证。
• Learn how to identify design problems in your code with the code review tools within rational software architect
  本教程将教你学会在rational software architect中利用代码检验工具以寻找你的代码中的设计问题。
• After that the paper analyses the land using theory and raises the evaluation system as a method to check the utility of space
  再对城市空间结构的基础土地利用结构进行理论分析，提出土地利用结构的优化的评价体系，以此作为城市土地利用结构优化的检验工具。
• We have designed and implemented an uml - based model checking tool , uml - mc . it can verify the statecharts modeled by rational rose or i - logix rhapsody . the counter - examples will be given when system does not meet the properties
  我们设计并实现了一个uml模型检验工具uml - mc ，可以对rationalrose或i - logixrhapsody建立的statecharts模型进行验证，并能在性质不满足时给出反例路径。
• First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
  文章主要介绍了安全协议的概念、分类和性质，安全协议的形式化验证方法，以及小系统模型的原理；重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理，而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。
• We research different kinds of formal methods , particularly study the mechanism of symbolic model checking tool smv , and finally we decide to adopt smv as the tool for the model checking of security protocols . with smv , we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
  本文研究了验证安全协议的各种形式化方法，详细研究了符号化模型检验工具smv的工作机制；确定了使用smv作为工具对安全协议进行模型检验，验证了认证版needham - schroeder公钥协议和wooandlam对称钥协议。