助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   机械核对 的翻译结果: 查询用时:0.655秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

机械核对
相关语句
  相似匹配句对
     Software Machinery
     软件机械
短句来源
     and mechanical exfoliation.
     机械剥蚀。
短句来源
     Effectiveness of editors' checking up on foreign language references
     编辑核对外文参考文献的效果
短句来源
     Frankfurt Airport's "FRA-BRS"──the Global Leader in Automated Baggage Reconciliation
     法兰克福机场行李核对系统
短句来源
     Discussion on Controlled Capacity Experiment for VRLA
     核对性容量试验方法的探讨
短句来源
查询“机械核对”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  mechanical checks
Fans must undergo yearly checks, including electrical readings, mechanical checks and vibration analyses.
      
  mechanical verification
Mechanical verification of a strategy is accomplished by proving that the corresponding planner solves all instances of the given problem.
      
Our work is motivated largely by the pragmatic issues arising from mechanical theorem proving - we discuss some of the practical benefits and limitations of our scheme for mechanical verification of software and hardware systems.
      
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
      
We present in this work the first complete mechanical verification of the equivalence between these two algorithms.
      
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
      
更多          


没有找到相关文摘
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关机械核对的内容
在知识搜索中查有关机械核对的内容
在数字搜索中查有关机械核对的内容
在概念知识元中查有关机械核对的内容
在学术趋势中查有关机械核对的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社