助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   major 在 计算机软件及计算机应用 分类中 的翻译结果: 查询用时:0.206秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
高等教育
体育
外国语言文字
农作物
职业教育
安全科学与灾害防治
医学教育与医学边缘学科
会计
更多类别查询

图标索引 历史查询
 

major
    很抱歉,暂未找到该词条在当前类别下的译词。您可以查看在所有学科下的译词。
相关语句
  “major”译为未确定词的双语例句
    Reforming Current Curriculum of and Reediting Current Textbooks for the Major of Computerized Accounting
    关于现行高校会计电算化教材改革的探索
短句来源
    This paper introduces information retrieval course network five major function and structure of module of tutoring system that we design emphatically.
    分析了高校信息检索课网络化教学的优势,论述了网络教学系统开发设计的原则,着重介绍了开发设计的信息检索课网络教学系统五大模块的功能与结构。
短句来源
    This paper introduces that the experiment system of Linux designed based on C++6.0 can meet the need of students of computer engineering major in the experiment of the operating system course by which part of functions of the fedora core system can be achieved to make it easy for the students to study the basic operating skills of Linux under the system of Windows.
    使用Visuall C++6.0设计的Linux实验系统,可满足计算机专业学生的操作系统课程实验的需要,能够实现radhat的fedora Core系统的部分功能,方便学生在Windows系统下学习Linux的基本操作。
短句来源
    Full-text searching is one of the major technologies of intelligent information system,and Oracle Text has effective full-text searching technology as one of component of Oracle9i.
    全文检索技术是智能信息管理的关键技术之一,Oracle Text作为Oracle9i的一个组件,提供了强大的全文检索功能。
短句来源
    Research on Major Course CAI Multimedia Courseware Execution Means
    专业课多媒体CAI课件制作方法研究
短句来源
更多       
查询“major”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  major
Our major contribution in this paper is to show the following.
      
A major role in this study is also played by arbitrary ultraflat polynomials, that is, including those that are
      
Delivery of vaccine is a major impediment to ensuring vaccine efficacy and compliance.
      
The results indicate that thermodynamic and electronic parameters are major contributors to the activity.
      
The results indicate that electronic and thermodynamic parameters are major contributors to the activity.
      
更多          


This paper consists of two major parts. The first part shows how to reduce the unsatisfiable problem for ABA formulae to the halting problem for schemas conservatively. Thus we obtain the same results as Luckham-Park-Paterson's.The second part is related to the decidable cases of schemas. A much bigger deci-dable class than Ianov's is found out. It may be characterized by the restriction that the term which occurs in schemas is restricted to the form of f(y1,y2,…,yn).At the end of this paper, the differences...

This paper consists of two major parts. The first part shows how to reduce the unsatisfiable problem for ABA formulae to the halting problem for schemas conservatively. Thus we obtain the same results as Luckham-Park-Paterson's.The second part is related to the decidable cases of schemas. A much bigger deci-dable class than Ianov's is found out. It may be characterized by the restriction that the term which occurs in schemas is restricted to the form of f(y1,y2,…,yn).At the end of this paper, the differences between general mechanical theorem proving and mechanical schema property proving are considered. In general, it is not necessary to go through the whole Herbrand domain for eliminating qualifiers in mechanical schema property proving, but a subdomain. Furthermore, this subdomain can be arranged as an infinite tree with uniformly bounded branches at each node. And we may only test a special satisfiability, called path-satisfiability, instead of the general one.

本文给出了AEA公式的不可满足问题至程序模式的终止问题的归约,从而证明了程序模式基本特性的不可判定性,并使用谓词演算的判定方法,证明了一类广义Ianov模式的基本特性是可判定的。文末讨论了定理的机器证明和程序模式特性机器证明的本质区别。一般情况下,后者不必历经整个Herbrand域,而仅需考虑一个一致有界分叉的无穷树状子域。另外也毋需讨论通常的可满足性问题,为此,本文中提出了通路可满足的概念。

One of lhe major development in the application of process control computers is to set up users' software packages. After analysing the present situation in users' programming in our country, the following problems are discussed in this article: the preliminary approach, the theoretical tools used and the methods in designing the software package. It has been proved in practice that the software packages prepared in accordance with the principles and methods mentioned above are feasible. The accessory...

One of lhe major development in the application of process control computers is to set up users' software packages. After analysing the present situation in users' programming in our country, the following problems are discussed in this article: the preliminary approach, the theoretical tools used and the methods in designing the software package. It has been proved in practice that the software packages prepared in accordance with the principles and methods mentioned above are feasible. The accessory instrumental softwares and the specific algorithm of the modular form of users' programming will be dealt with in separate articles.

在过程控制计算机的应用中,建立用户的软件包,是主要发展方向之一。目前,在国内尚未看到有关这方面的资料。在分析国内目前用户程序编制情况的基础上,本文就建立软件包时所应考虑的问题、运用的工具及设计方法等问题加以讨论。实践证明,根据本文提出的一些准则和方法所建立起来的用户程序系统是有效的。至于与用户程序系统配套的工具性软件,及有关模块的具体算法,将在其他专题文章中分别予以介绍。

The next generation of the computer architeecture must be the Distributed Computer Systems. But there are a lot of vague ideas of the term "Distributed System"at the present time. In this paper the evolution and definition of distributed systems are discussed. The most important characterization and major desigu issues in the distributed systems are presented here as well.

下一代的计算机体系结构一定是“分布式计算机系统”。可是,目前对“分布式系统”这个概念存在着不少模糊看法。本文对分布式系统的历史发展以及概念的形成进行了初步探讨并指出了分布式系统的重要特征以及设计时应注意的主要问题。

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

 


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

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