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

图标索引 历史查询
 

逻辑区分
相关语句
  logical differentiation
     Logical Differentiation of World
     世界的逻辑区分——论莱布尼茨的差异逻辑
短句来源
  logic division
     The Logic Division of Basic Concepts for the Theory of the Juristic Acts of Real Right
     物权行为理论基础概念的逻辑区分
短句来源
  相似匹配句对
     Logical Differentiation of World
     世界的逻辑区分——论莱布尼茨的差异逻辑
短句来源
     The Logic of the Social Relation
     社会关系的逻辑
短句来源
     Fibring Logics
     纤维逻辑
短句来源
     The Logic Division of Basic Concepts for the Theory of the Juristic Acts of Real Right
     物权行为理论基础概念的逻辑区分
短句来源
查询“逻辑区分”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


Because the behaviors of digital system can be described by register transfer level (RTL) behavior exactly, RTL synthesis becomes the mainstream design method in EDA domain. RTL synthesis, which converts behavior descriptions of RTL into structural descriptions of gate level, uses the theory of combinational logic synthesis and sequential logic synthesis into HDL (hardware description language). The base of RTL synthesis is format discriminance — distinguish combinational logic and sequential logic from behavior...

Because the behaviors of digital system can be described by register transfer level (RTL) behavior exactly, RTL synthesis becomes the mainstream design method in EDA domain. RTL synthesis, which converts behavior descriptions of RTL into structural descriptions of gate level, uses the theory of combinational logic synthesis and sequential logic synthesis into HDL (hardware description language). The base of RTL synthesis is format discriminance — distinguish combinational logic and sequential logic from behavior description, so as to use combinational logic synthesis and sequential logic synthesis separately to implement RTL synthesis. On the basis of analysis and summary of the disciplinarian of RTL behavior description and the limitation of logic synthesis, this paper discusses indispensability, feasibility, validity of format discriminance, and puts forward a simple method to implement format discriminance. This method can divide complex behavior descriptions into several assignment statement groups, using middle data format whose kernel is assignment statement and inner format (cube) accepted by logic synthesis, determine whether the entire assignment statement group is combinational logic or sequential logic on the basis of different conditions of those assignment statements in assignment statement group, and generate different level and independent function RT units. Thus we can use corresponding logic synthesis to deal with those RT units, and use combinational logic and sequential logic to implement RTL synthesis simply. At last the paper gives some examples. Through testing several examples and analyzing the results, it is confirmed that the method presented by this paper not only distinguishes combinational logic and sequential logic from behavior description, but also reuses combinational logic synthesis and sequential logic synthesis furthest. So the time used to develop RTL synthesis is reduced greatly. This method has been used in author's RTL synthesis system.

由于寄存器传输级 (RTL)行为描述可以精确地确定数字系统的操作 ,所以寄存器传输级综合成为当前EDA行业的主流设计方法 .实现从寄存器传输级行为描述到门级结构描述转换的 RTL 综合 ,是组合逻辑 /时序逻辑综合理论在 HDL(硬件描述语言 )上的具体应用 .设计寄存器传输级综合工具的基础是格式判别 ,即将行为描述中的组合逻辑与时序逻辑区分开来 ,利用组合逻辑综合与时序逻辑综合分别进行处理从而完成寄存器传输级综合 .在分析和总结寄存器传输级行为描述规律以及逻辑综合局限性的基础上 ,论述格式判别的必要性、可行性、有效性 ,提出一种易于实现的格式判别方法 .该方法利用赋值语句为核心的中间数据格式以及逻辑综合所能接受的内部格式 (多维体 ) ,将复杂的寄存器传输级行为描述分解为各个赋值语句组 ,根据赋值语句组中的各条赋值语句的条件判断此赋值语句组是组合逻辑还是时序逻辑 ,并生成不同层次、功能相对独立的 RT单元以便利用对应的组合逻辑综合或时序逻辑综合处理此 RT单元 ,从而在实现 RTL 综合的过程中使组合逻辑综合和时序逻辑综合得到最大限度的重用 .最后文中给出一些测试实例和结果分析 .通过测试实例和...

由于寄存器传输级 (RTL)行为描述可以精确地确定数字系统的操作 ,所以寄存器传输级综合成为当前EDA行业的主流设计方法 .实现从寄存器传输级行为描述到门级结构描述转换的 RTL 综合 ,是组合逻辑 /时序逻辑综合理论在 HDL(硬件描述语言 )上的具体应用 .设计寄存器传输级综合工具的基础是格式判别 ,即将行为描述中的组合逻辑与时序逻辑区分开来 ,利用组合逻辑综合与时序逻辑综合分别进行处理从而完成寄存器传输级综合 .在分析和总结寄存器传输级行为描述规律以及逻辑综合局限性的基础上 ,论述格式判别的必要性、可行性、有效性 ,提出一种易于实现的格式判别方法 .该方法利用赋值语句为核心的中间数据格式以及逻辑综合所能接受的内部格式 (多维体 ) ,将复杂的寄存器传输级行为描述分解为各个赋值语句组 ,根据赋值语句组中的各条赋值语句的条件判断此赋值语句组是组合逻辑还是时序逻辑 ,并生成不同层次、功能相对独立的 RT单元以便利用对应的组合逻辑综合或时序逻辑综合处理此 RT单元 ,从而在实现 RTL 综合的过程中使组合逻辑综合和时序逻辑综合得到最大限度的重用 .最后文中给出一些测试实例和结果分析 .通过测试实例和结果分析表明该文提出的方法不但有效地区分了组合逻辑和时序逻辑 ,而且由于通过对组合?

Conditionals may be classified into real conditionals and non-real conditionals. This paper is limited to the study of real conditionals with the subordinate clause beginning with the conjunction IF.

由连词if引起的条件句可分为真实条件句和非真实条件句。本文只涉及真实条件句。真实条件句分句表示的条件有两种情况:真正的条件和非真正条件。从逻辑上说,条件是使某事得以发生、发展、变化的缘由或依据;经典逻辑区分三种条件:必要条件、充分条件、充要条件,这些条件判断的依据是客观知识。条件句的条件是这样的条件就是真正的条件,是从知识延伸出来的条件。当条件句在一定的语境之中运用时,条件的关系可能发生变化,最明显的是充分条件会成为充要条件,所以条件句的条件又有非逻辑性的一面。条件运用的非逻辑性的一面,主要表现为对条件的考虑参杂了发话人的情感、意愿。条件句中这样的条件通常是非真正条件,并不能成为主句事件发生、发展、变化的缘由和依据;这些条件是由情感、意愿延伸出来的,是在心理上通过情感、意愿将其他关系映射为条件关系,是一种“心理条件”。这些心理条件落实为条件句的语言处理时,通常会经过降格、升格和错位的处理。条件句的真正条件和非真正条件构成一个连续统,这表明条件句的条件是一个模糊变量,这些条件形成一个模糊范畴。原型范畴理论认为,在一个范畴里有些范畴是典型的,还有一些范畴是理想化的、非典型的、边缘的、规约性的。非真正条...

由连词if引起的条件句可分为真实条件句和非真实条件句。本文只涉及真实条件句。真实条件句分句表示的条件有两种情况:真正的条件和非真正条件。从逻辑上说,条件是使某事得以发生、发展、变化的缘由或依据;经典逻辑区分三种条件:必要条件、充分条件、充要条件,这些条件判断的依据是客观知识。条件句的条件是这样的条件就是真正的条件,是从知识延伸出来的条件。当条件句在一定的语境之中运用时,条件的关系可能发生变化,最明显的是充分条件会成为充要条件,所以条件句的条件又有非逻辑性的一面。条件运用的非逻辑性的一面,主要表现为对条件的考虑参杂了发话人的情感、意愿。条件句中这样的条件通常是非真正条件,并不能成为主句事件发生、发展、变化的缘由和依据;这些条件是由情感、意愿延伸出来的,是在心理上通过情感、意愿将其他关系映射为条件关系,是一种“心理条件”。这些心理条件落实为条件句的语言处理时,通常会经过降格、升格和错位的处理。条件句的真正条件和非真正条件构成一个连续统,这表明条件句的条件是一个模糊变量,这些条件形成一个模糊范畴。原型范畴理论认为,在一个范畴里有些范畴是典型的,还有一些范畴是理想化的、非典型的、边缘的、规约性的。非真正条件是条件句范畴里的约定性成员。

Instituting the propositional theory is necessary for a scientific study of sociology. Lewis Coser attempted to construct the theory that comprised some propositions about social conflict and its functions, but there were some deficiencies in his analysis. They include that: 1) The concept of social conflict was somewhat vague. He confused the functions of conflict with that of specific institutions that serve to drain off hostile and aggressive sentiments. He did not clearly distinguish the concepts of social...

Instituting the propositional theory is necessary for a scientific study of sociology. Lewis Coser attempted to construct the theory that comprised some propositions about social conflict and its functions, but there were some deficiencies in his analysis. They include that: 1) The concept of social conflict was somewhat vague. He confused the functions of conflict with that of specific institutions that serve to drain off hostile and aggressive sentiments. He did not clearly distinguish the concepts of social conflict and group conflict. 2) He neglected to differentiate the categories of propositions about social conflict, which led the logic of his writing to be in disorder. 3) The constraint conditions of the theory about the functions of social conflict were vague. The concepts of the basic values and social structure were not defined definitely. This article aims to emphasize the principle of instituting the theory that comprised some propositions through pointing out several shortcomings in Coser's book The Functions of Social Conflict.

建构命题化的理论是社会学研究科学化的必然要求。刘易斯·科塞试图构建关于社会冲突功能的命题化理论,但是在他的努力中存在一些不足,主要表现在:(1)社会冲突的概念有些含混,对冲突与敌意的释放、社会冲突与群体冲突之间没有做出很好的区分。(2)关于社会冲突的有关命题没有做出很好的逻辑区分与排序,使全文的谋篇布局略显混乱。(3)对于社会冲突理论的前提条件和命题的约束条件没有做出很好的区分,特别是对社会冲突功能理论的前提条件的界定不够清晰明确。指出科塞《社会冲突的功能》一书在研究方法上的不足是为了强调建构命题化的理论的一些基本原则。

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

 


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

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