助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   structure sharing 的翻译结果: 查询用时:0.006秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
中国语言文字
更多类别查询

图标索引 历史查询
 

structure sharing
相关语句
  结构共享
     In the algorithms,using environment and structure sharing techn logy,theefficioncy has been considerably promoted.
     在算法中应用了环境与结构共享技术,提高了效率。 本文还给出了应用上述方法的计算实例。
短句来源
  “structure sharing”译为未确定词的双语例句
     The complexity and the delay of the critical paths of the circuit could be effectively decreased by using a tree-type structure,sharing sub-expression,limiting its maximum number,and balancing load technique.
     采用树型结构减少逻辑层次,选择适当的共享子表达式减少逻辑门的数量,并用限制共享子表达式的最大个数和负载均衡方法降低BCH长码的扇出瓶颈影响,减少关键路径的延时,提高工作速度。
短句来源
     The problems,such as representation of product structure,sharing parts,concentration management of documents and version management,are solved. These made PDM feasible in medium & small sized enterprises.
     在此信息模型的基础上解决了产品结构的树状表示、产品零部件的借用、各种技术文档和图形文件的统一管理以及版本管理等问题,使得PDM思想在中小型企业中得以实用化。
短句来源
  相似匹配句对
     The structure of C.
     剖析C.
短句来源
     " ,the structure
     兼及了“V他+……”结构的特征。
     On the Secret Sharing For Pyramidal Structure
     面向金字塔型组织结构的秘密共享
短句来源
     Research on Trust Structure and Knowledge Sharing
     员工的信任结构与知识共享
短句来源
     The Economics of Sharing
     共享经济学
短句来源
查询“structure sharing”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  structure sharing
A novel adjacent coefficient sharing based sub-structure sharing technique is introduced and used to reduce the hardware cost of parallel FIR filters.
      
This analysis revealed a factor structure sharing a good deal of overlap with the factor analyses of the DBC's developers.
      
We investigate a number of strategies for implementing lazy structure sharing and provide upper and lower bounds on their performance (how quickly they effect ideal configurations of our data structure).
      
We studylazy structure sharing as a tool for optimizing equivalence testing on complex data types.
      
We give an efficient unification algorithm of our structure sharing representation of quantified terms, and we prove the correctness of the algorithm.
      
更多          


This paper discusses the unification problem based on the computationmodel of stack A and stack B in a PROLOG system.The dynamic description of datastructure about substitution and environment is presented.Two algorithms of substitu-tion and unification are also given.According to the demand of the PROLOG system,the result of unification is ground most general unifior.In the algorithms,using environment and structure sharing techn logy,theefficioncy has been considerably promoted.

本文基于PROLOG 系统中A,B 栈计算模型,讨论了一致化问题,给出了关于替换和环境等数据结构的动态描述,并且给出了求一个目标的基例(ground instance)和一致化两个算法。一致化算法根据PROLOG 系统求解的要求得到基本的mgu(ground mostgeneral unifier)。在算法中应用了环境与结构共享技术,提高了效率。本文还给出了应用上述方法的计算实例。

In the implementation systems of logic programming language Prolog,mode information plays an important role in various optimizations.This paper presents a simplified version of unification process which can be applied to so-called variable seperated programs and gives the details of its application to a Prolog interpreter implemented by the structure-sharing technique.

给出了一种适用于变量分离型程序的简化合一算法,并就该算法在一个采用结构共享技术实现的Prolog解释器中的应用进行了详细的探讨。

BPU-SPAR system is a stream AND parallel Prolog system which is implemented on SUN workstation, based on BPU-Prolog system. It inherits the structure-sharing mechanism of BPU-Prolog, and yet the execution speed is comparable with the PARLOG based on WAM. BPU-SPAR provides the framework in which a parallel CLP(Constraint Logic Programming) system is being developed. This paper presents the implementation and optimization techniques used in BPU-SPAR

BPU-SPAR系统是在原BPU-Prolog系统的基础上研制开发出来的一个流并行prolog系统,已在SUN工作站上实现.BPU-SPAR继承了原BPU-Prolog的结构共享机制,其运行速度可以和基于Warren抽象机的PARLOG相比.BPU-SPAR是我们目前正在研制的并行约束逻辑程序设计系统的基础设施.本文主要给出BPU-SPAR的内部实现技术和特有的优化机制.

 
<< 更多相关文摘    
图标索引 相关查询

 


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

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