助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   与函数 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:0.106秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
数学
中等教育
一般化学工业
互联网技术
自然地理学和测绘学
农业基础科学
农艺学
机械工业
更多类别查询

图标索引 历史查询
 

与函数
相关语句
  and function
    System Call and Function Call in LINUX
    LINUX的系统调用与函数调用
短句来源
    Research and Design of Thermal Physical Database and Function Database
    热动类基本数据库与函数库的研究与开发
短句来源
    The concepts of automaton and function seem to be contradictory.
    自动机与函数这两概念似乎是矛盾的。
短句来源
  “与函数”译为未确定词的双语例句
    Comparision between Cooper Transformation and Functional Inversion Transformation
    程序变换中的Cooper变换与函数反演变换之比较
短句来源
    2. the intersection between two function surfaces;
    2.函数曲面与函数曲面的交线;
短句来源
    The formula and functions in the software are the core of Excel worksheets.
    公式与函数是Excel工作表的核心。
短句来源
    COMBINATION OF LOGICAL PROGRAMMING STYLE WITH FUNCTIONAL PROGRAMMING STYLE
    逻辑式与函数式两种程序设计风格的结合
短句来源
    SPEED—UP THEOREM AND HIERARCHY OF THE RECURSIVE FUNCTIONS
    加速定理与函数分层
短句来源
更多       
查询“与函数”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  and function
Compactly supported orthogonal refinable functions and function vectors can be used to construct orthonormal wavelet and multiwavelet bases of L2(?n).
      
The inversion formula for the short-time Fourier transform is usually considered in the weak sense, or only for specific combinations of window functions and function spaces such as L2 and modulation spaces.
      
Allosteric Regulation of Binding and Function at GCPRS
      
However, for the national and international experts, researches on radial sawn timber and its role and function in sound emission have not yet been developed.
      
The status and function of understory woody species were judged by the analysis of the important value (IV).
      
更多          


This paper describes the design and implementation of the core language in the software generating system NDHD as well as its application status. This system is based on the ideas of system programming language and bootstrapping technique. The essence of the system is the selfcompiler AC0 of the core language L0 (in 655 machine language). By applying bootstrapping technique, the selfcompilers of the succeeding languages L1, L2, …? Ln may be automatically generated in turn. At present selfcompilers of the first...

This paper describes the design and implementation of the core language in the software generating system NDHD as well as its application status. This system is based on the ideas of system programming language and bootstrapping technique. The essence of the system is the selfcompiler AC0 of the core language L0 (in 655 machine language). By applying bootstrapping technique, the selfcompilers of the succeeding languages L1, L2, …? Ln may be automatically generated in turn. At present selfcompilers of the first and second generations have been successfully generated by this system. The results indicate that not only production rate has been increased by four times, but also compiler capabilities can be easily extended. The data structure, control structure, program structure, input-output components in L0 as well as the compiling algorithms used in AC0 have been briefly described

本文介绍了软件自动产生系统NDHD中的核心语言的设计,实现与试用情况。NDHD软件自动产生系统是一个依据系统程序设计语言和自展技术进行研制的系统。它的基础是用655机的机器语言编写的核心语言L_0的自编译程序AC_0。采用自展技术可以依次自动产生各层语言L_1,L_2,…L_n的自编译程序。现已产生出两代这种自编译程序。试验表明,本系统不仅使编译程序的生产率提高了四倍,其功能亦有所扩充。文中对L_0设计中的数据结构,控制结构、程序结构、输入输出等成分,以及实现中的间接变量、下标变量、域变量、过程与函数、输入输出及运行等部分的处理算法,均作了简要的介绍。

By the design theory of relational database, the relationship between the candidate key word and the functional dependency is studied and some rules for finding the candidate key word are obtained. Two useful algorithms are given.

本文利用关系数据库设计理论,深入研究了候选关键字与函数依赖的关系,得到了求解候选关键字的规律并提出了具体求解算法。文中有关定理拓展了文献[1]、[2]中的有关理论。

Data dependencies play a very important role in the database design. Since functional dependency and multivalued dependency were put forward by E. F. codd and R. Fagin respectively many other kinds of dependencies have been introduced by database designers according to the requirements in their designs. These dependencies can be divided into two large categories depending on whether there is a finite complete axiomatization for the dependencies, because the finite cemplete axiomatiza-tion is generally a prerequisite...

Data dependencies play a very important role in the database design. Since functional dependency and multivalued dependency were put forward by E. F. codd and R. Fagin respectively many other kinds of dependencies have been introduced by database designers according to the requirements in their designs. These dependencies can be divided into two large categories depending on whether there is a finite complete axiomatization for the dependencies, because the finite cemplete axiomatiza-tion is generally a prerequisite for efficient decision algorithms. In this paper, a suffi cient and necessary condition for finite complete axiomatization to exist is given. Based on condition, the paper proves several kinds of dependencies (EMVD, EJD and FD interaction with IND) have no finite complete axiomatization.

数据依赖在数据库设计中起着十分重要的作用。自Codd提出函数依赖,Fagin引入多值依赖后,近年来人们又根据设计中的需要引入了许多种新的依赖。然而对这些依赖可从原则上控是否具备完备的公理系统划分为两大类,因为完备公理系统往往是具有有效判定算法为先决条件。本文给出了一种具有完备公理系统的充要条件,并利用它来证明几种依赖(嵌入型多值依赖、嵌入型联接依赖、包含依赖与函数依赖)不具备完备的公理系统。

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

 


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

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