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

图标索引 历史查询
 

逻辑推论
相关语句
  logical inference
     APPLICATION OF PETRI NETS TO LOGICAL INFERENCE OF HORN CLAUSES
     Petri网用于Horn子句的逻辑推论
短句来源
     LOGICAL INFERENCE CLAUSES IN PETRI NET MODELS USING T-INVARIANTS
     使用Petri网T-不变量求解子句的逻辑推论
短句来源
     Social interaction: logical inference of the deteriorating circle model of hospital reimvursement mechanism
     社会互动: 医院补偿机制恶性循环模型逻辑推论
短句来源
     The result of data reasoning, together with the result of logical inference, literature induction and intention survey demonstrates that the model is scientific reasonable and reflecting the realistic meaning.
     模拟论证的结果与逻辑推论、文献归纳分析结果和意向论证结果一致 ,进一步表明本课题组推论的疾病防制功能难以切实落实到位作用机制模型具科学性、合理性和现实意义
短句来源
     This paper studies Petri net models for the clause logic rules and applies the Petri net analysis method to the logical inference. Introducing the four-valued logic and the conflict transition concept, the Petri net model of non-Horn clauses can be construe! ed and the inference problem of clauses can be solved using the Tinvariant method.
     本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论.基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决于句推论问题.另外,本文还显示了向前推论和向后推论在子句Petri网模型中的应用.
短句来源
  logical deduction
     Beauty, Appreciation of the Beautiful, and Historical Science of Aesthetics——A Logical Deduction Based on the Intersection of Aesthetics and Historical Science with Main Focus on the Development of the Latter
     美·审美·审美的史学——立足于美学与史学的交叉点并主要着眼于后者发展的逻辑推论
短句来源
     Based on the theory of Neo-historiography, culture analysis, social psychology and the results from the "Shanghai Study", this paper intends to build up the logical deduction on the description of this particular historical environment.
     本文以“新史学”和文化分析、社会心理分析等方法为主要理论资源,借鉴“上海学”的部分研究成果,力求将逻辑推论建立在对历史情境的描述之上。
短句来源
     The paper distinguishes the two styles from five aspects:"random discussion" and "affairs comment", "thoughts" and "judgment", "indirect speech" and "direct speech","critical" and "constructive","image exposition" and "logical deduction".
     本文从"杂谈"与"事评"、"思想"与"判断"、"曲笔"与"直言"、"批评性"与"建设性"、"形象论理"与"逻辑推论"5个方面对两种文体进行了辨析。
短句来源
  logical consequence
     Introducing the equivalence between interpretations and the equivalence between assignments with respect to a set of formulas, it is proved that the system is sound, that is, in a proof, the conclusion is a logical consequence of the premises.
     引进了解释之间和赋值之间关于公式集的等价性 ,从而证明了系统是可靠的 ,即一个证明中的结论是其前提的逻辑推论
短句来源
  “逻辑推论”译为未确定词的双语例句
     Third, the argument that social finance exist after extinguishment of a country, that is, in a communist society was deducted by analyzing some basic theory about individual and society, individual and nature while at the same time learning from public administration.
     关于在国家消亡后的共产主义社会仍然存在社会财政关系的结论,是通过分析马克思主义关于个人与社会、个人与自然的基本理论,同时借鉴公共行政学的科学成果,通过抽象分析和逻辑推论后得出的。 第三章,揭示了社会财政维护个体利益和公共利益的比例平衡;
短句来源
     The result of intention survey reasoning together with the result of logical reason, literature induction and survey demonstrates that the model is scientific reasonable and reflecting the realistic meaning.
     模拟论证的结果与逻辑推论、文献归纳分析结果和数据论证结果一致 ,进一步表明该课题组推论的疾病防制功能难以切实落实到位作用机制模型具科学性、合理性和现实意义
短句来源
     METHOD Model method and logic analysis.
     方法:模型方法和逻辑推论
短句来源
     The ruling position of the proletarian party in current constitution is that the science communism theories have the history materialism meaning logic reasoning in the socialism constitutional government of the national stage.
     无产阶级政党在现行宪法中的宪定执政地位是科学共产主义理论在社会主义宪政国家阶段具有历史唯物论意义的逻辑推论
短句来源
     Marx and Engels's view of the formation of communist society came both from scientific inference of general law of history and from scientific logical reasoning of the law of evolution of capitalist productive means and from scientific summerization of the experience of proletarian revolutionary practice.
     马克思恩格斯的共产主义社会形态观 ,既来自一般历史规律的科学推论 ,又来自资本生产方式演进规律的科学逻辑推论 ,也来自对无产阶级革命实践活动经验的科学总结。
短句来源
更多       
查询“逻辑推论”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法,我们为您准备了出自英文原文的大量英语例句,供您参考。
  logical inference
Then, based on matrix expression, the logical operators are extended to multi-valued logic, which provides a foundation for fuzzy logical inference.
      
This paper argues, however, that the balancing of normative arguments consists of an act of judgement, not a logical inference, and that models of deductive as well as of defeasible reasoning do not give an adequate account of its structure.
      
The system allows easy input of mathematical expressions, application of standard proof strategies and logical inference rules, application of mathematical rules, and verification of logical inference.
      
A logical inference procedure called the relative entropy method with fractile constraints (REF) is formulated within this framework and extended to solve the regional physical-modelling problem.
      
Imperative programs can be inverted directly from their forward-directed program code with the use of logical inference.
      
更多          
  logical deduction
Method of invariant transformations and logical deduction
      
The key is to generalize the linear programming dual used in the classical method to an ``inference dual.'' Solution of the inference dual takes the form of a logical deduction that yields Benders cuts.
      
The only logical deduction is that pruritus ani remains "idiopathic" at least as far as we are concerned after making this study.
      
Through analysis of successful student responses, we show how dynamic software tools can not only scaffold the solution process but also help students move from argumentation to logical deduction.
      
It allows a great degree of expressiveness and is suitable for extensive logical deduction.
      
更多          
  logical consequence
The possibility of this fragmentation process is a logical consequence of the concept of a dinuclear system for the complete fusion of nuclei.
      
It is therefore a logical consequence to investigate the use of ICDs for primary prevention of sudden death in different patient groups; such studies are currently ongoing, others have been terminated and published.
      
The emergence of two essentially different techniques, the 'normal phase' and 'reversed phase' modes, will appear as a logical consequence of simplified theory.
      
The emergence of two essentially different techniques, the 'normal phase' and 'reversed phase' modes, will appear as a logical consequence of simplified theory.
      
The same theory is shown to contain an exact gravitational radiation equation derived as a logical consequence of field equations without extra postulates.
      
更多          


In this paper a complete axiomatic system of classical mechanics has been constituted according to D'Alember's and Hilbert'sp roposition.By use of the theory of non-standard analysis,it has been proved that Newton's Second Law,Third Law,Law of independence of the actions of forces and all the theorems and formulas of classical mechanics are only the logic corol- laries of this axiomatic system.

本文试图按达兰贝尔和希尔伯特的要求,给经典力学建立一个完备的公理系统。文中应用《非标准分析》理论,证明了牛顿第二、第三定律、力的作用互不相关定律以及经典力学的全部定理、公式都只是这个公理系统的逻辑推论

This paper consists of three parts. In the first part, based upon the lastest experimental progress and achievements of theoretical thinking in modern physics, the four postulates about the properties of space-time which are different from special relativity are presented and used as the fundamental postulates to establish the standard spacetime theory. The space-time coordinates transformation between a general inertial frame of reference and the standard inertial frame of reference, i. e. Generalized Galilean...

This paper consists of three parts. In the first part, based upon the lastest experimental progress and achievements of theoretical thinking in modern physics, the four postulates about the properties of space-time which are different from special relativity are presented and used as the fundamental postulates to establish the standard spacetime theory. The space-time coordinates transformation between a general inertial frame of reference and the standard inertial frame of reference, i. e. Generalized Galilean Transformation (GGT), is derived strictly from the above four postulates.In the second part kinematical formulas of subluminal and superluminal particle about transformation of velocities, length contraction, time dilation and interval between two events are found out from GGT. These results indicate that FitzGerald-Lorentz contraction hypothesis and Larmor-Lorentz dilation hypothesis are a part of logic inference of the above four postulates and included in the standard spacetime theory. The third part deals with the dynamical problems of subluminal and superluminal particle in the light of the standard spacetime theory. The mass of a moving particle and the effect of mass increase are discussed in detail. The dynamical equation of the standard spacetime theory is set up and the mass-energy relation is obtained. And the transformations of mass, momentum, energy and force are also given.

本文根据现代物理学的最新实验进展和理论思维成果,提出了与狭义相对论不同的关于时空性质的四个假设作为建立标准时空论的基本假设,严格地从这些假设出发,导出了一般惯性系和标准惯性系之间的时空坐标变换即推广的伽利略变换.从推广的伽利略变换出发,求得了亚光速运动和超光速运动的速度变换,长度收缩,时间延缓和事件之间的间隔等运动学公式,其结果表明,斐兹杰惹-洛伦兹长度收缩假设和拉摩-洛伦兹时间延缓假说,作为四个基本假设的逻辑推论的一部分,被包括在标准时空论之中.最后,本文统一地处理了亚光速运动和超光速运动的动力学问题,讨论了运动粒子的质量和质量增加效应,建立了标准时空论动力学方程,求得了质能关系式,给出了质量,动量,能量和力的变换式.

Based on her experience in Higher mathematics teaching, the author states her viewpoints concerning how to decide on the focal points in the textbook, how to stimulate the students' conscientiousness in Learning, how to tackle new problems based on the students' present knowledge, as well as how to combine the training of calculating strategies with up-to-date medium.

本文主要通过教学实践对“高等数学”教学中如何确定教材的重点,如何提高学生的学习自觉性,如何利用学生的已知知识讲解新课等方面,提出了自己的看法。讨论了根据不同的学科要求,将严密逻辑推论放在适当地位的问题,以及在培养学生运算技能方面,要与现代化的计算手段相结合的问题。

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

 


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

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