助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   completion of system 的翻译结果: 查询用时:0.01秒
图标索引 在分类学科中查询
所有学科
汽车工业
更多类别查询

图标索引 历史查询
 

completion of system
相关语句
  进行系统完备化
     By testing Church-Rosser property of a reduced special Thue system, the completion of system can be decided.
     对于所考虑的 Thue系统 ,检验 Church-Rosser性质可进行系统完备化判定 .
短句来源
  “completion of system”译为未确定词的双语例句
     The second level of verification named logic verification, which processes model checking on result of logical synthesis based on the completion of system verification;
     第二层次是逻辑级检验,是在系统级验证的基础上,对已完成的逻辑综合结果进行模型检验,以确保系统状态正确,以及所设计的逻辑结构能正确合理地实现所需要的状态;
短句来源
     Based on the above analysis, the sequence between the system roles and the system interactions are studied. Then after the completion of system demand analysis and database design, the model building on the basis of demand analysis is refined with unified model-building programming language.
     在此基础上分析了系统角色与系统交互的顺序,完成了系统的需求分析和数据库设计,并使用统一建模语言对已经完成的需求分析进行细化建模。
短句来源
  相似匹配句对
     Intelligent well completion system
     智能完井综合系统
短句来源
     system).
     系统)。
短句来源
     system;
     油气系统是最有利的系统 ;
短句来源
     On the Completion of Civil Lawsuit Procuratorate System
     论民事诉讼检察制度的完善
短句来源
     On the completion of China' s textiles standards system
     浅论我国纺织品标准体系的完善
短句来源
查询“completion of system”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  completion of system
Upon completion of system integration we will test the system's perfor mance.
      
Upon completion of system installation and testing, flush the system to remove all foreign objects and purge to remove all air.
      
Specifically, CoSQ can be plotted against defect density at the completion of system testing.
      
On completion of system installation, including outlet fittings and devices, inspect exposed finish.
      
Inspection shall be conducted following completion of system installation, prior to seeding and/or sodding.
      


A decision method of the completion of a finite commutative special Thue system is given. By testing Church-Rosser property of a reduced special Thue system, the completion of system can be decided. When the rule is expressed in the vector form, the overlap conditions that make Church-Rosser property hold true can be attributed to those that several properties should be satisfied by the components of rule. In so doing, an algorithm of linear time complexity is obtained finally, which is to be used to decide...

A decision method of the completion of a finite commutative special Thue system is given. By testing Church-Rosser property of a reduced special Thue system, the completion of system can be decided. When the rule is expressed in the vector form, the overlap conditions that make Church-Rosser property hold true can be attributed to those that several properties should be satisfied by the components of rule. In so doing, an algorithm of linear time complexity is obtained finally, which is to be used to decide whether a special commutative Thue system is complete.

给出了判定可交换特殊 Thue系统完备化的方法 .对于所考虑的 Thue系统 ,检验 Church-Rosser性质可进行系统完备化判定 .而使 Church- Rosser性质成立的重叠条件在规则的向量形式表示下 ,可归结为规则的分量满足若干性质 ,最终得到了判断一个特殊可交换 Thue系统是否完备化的线性时间复杂度算法 .

 
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关completion of system的内容
在知识搜索中查有关completion of system的内容
在数字搜索中查有关completion of system的内容
在概念知识元中查有关completion of system的内容
在学术趋势中查有关completion of system的内容
 
 

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