英语人>词典>汉英 : 归结 的英文翻译,例句
归结 的英文翻译、例句

归结

词组短语
put in a nutshell
更多网络例句与归结相关的网络例句 [注:此内容来源于网络,仅供参考]

In real life, People often will be the success or failure of certain things, gains and losses attributed to the good or bad luck, some of the results will be attributed to the emergence of accidental coincidence.

中文摘要:在现实生活中,人们经常将一些事情的成败、得失归结于运气的好坏,将一些结果的出现归结于偶然的巧合。

The soundness and completeness theorem of this method were proved at last. 5. The a-automated reasoning method based on the a-resolution principle of LP was discussed, the author given a method to describe the set of simple generalized clauses (veriables and non-subregular 1 - IBSFs are only contained) by using a matrix, and translated the a-resolution of two clauses to column operations of this matrix.

最后,证明了该方法的可靠性和完备性; 5、对格值命题逻辑系统LP中基于α-归结原理的α-自动推理方法进行了研究,给出了用符号矩阵表示一类简单的广义子句集合(只含命题变元和非正则1-IESF广义文字)的方法,把α-归结原理转换成矩阵的列变换。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究,证明了LP中任何一个格值逻辑公式等值于一个广义合取范式; 2、对LP中不可分极简式的判定方法进行了研究,讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件; 3、对LP中不可分极简式的α-归结域进行了研究,得到了一些基本结果; 4、对经典逻辑中基于归结原理的自动推理方法进行了研究,给出了用符号矩阵表示子句集合的一种方法,把不同的归结过程转换成矩阵的列变换。

Design and implement the experimental systems RM and GRM which are based on Reso-lution and Generalized Resolution respectively. Prove all the theorems in Section A and Section Bin Part Ⅰ of " Principia Mathematica " using RM and GRM respectively, and then compare andanalyze the efficiency of RM and GRM.

设计实现了基于归结和基于广义归结的实验系统RM和GRM,分别用RM和GRM证明了《数学原理》第一部分Section A和Section B中的全部定理(350个),并对RM和GRM的效率进行了分析比较。

The fact of the matter is , however , that proportionate blame should be assigned to the lackadaisical approach to developing new markets , failure should to improve product quality and government inaction in the realm of support .

然而,事实是一部分原因应归结为开拓新市场的不得力的方法,原因应归结为开拓新市场的不得力的方法,改进产品质量的失败以及政府没有表示支持的行动。

In the fifth chapter, I induce the Confucian to the humanism, Taoism to the naturism and Buddhism to the psychologism, and from these ideas, I analyze the emptiness space, the entity space and gardens which base on the traditional culture, then the elements that can be used for reference are abstracted.

第五章把儒家思想归结为人文观,道家思想归结为自然观,释家思想归结为心理观,以"儒道释"思想为主线,分解在传统文化为根源影响下的虚空间,实空间和环境景观元素,提取传统民居中可以借鉴的建筑因素。

constant ; propositional variable ; generalized literal ;α-resolution field

文献[1]中给出的α-归结方法,是一种半可判定算法,能够归结出一类格值

Fifthly,as far as the deep layer of philosophy is concerned,Maoexposed limitations toward the understanding of fundamental contradictions.On onehand,he exaggerated the retroaction of production relations and superstructure.Heregarded"superstructure→production relation→the development of productivity"asthe general rule of socialist revolution and construction,the essential of which was toimpel the constant improvement of the socialization degree of production material bymeans of class struggle so as to promote the development of productivity.On the otherhand,Mao had not correctly commanded the specific manifestation of the fundamentalcontradictions.He attributed"the inadaptability of productivity to production relations"to the phenomena that socialization degree of ownership was not high enough,its scalenot large enough,and its nature not pure enough.He also attributed superstructureproblem to the fact that"capitalist-roaders"had usurped a part of leadership from thegrass-root level to the central level.

其一是对基本矛盾理解的局限性:一方面夸大生产关系、上层建筑的反作用,把先上层建筑、再生产关系、再发展生产力当作社会主义革命和建设的一般规律,其实质是通过阶级斗争,推动生产资料公有化程度的不断提高,认为这样就能促进生产力的发展;另一方面是没有正确把握基本矛盾的具体表现形式,把与生产力不相适应的生产关系方面主要归结于所有制的公有化程度不够高、规模不够大、性质不够纯,上层建筑方面主要归结于资产阶级、反动势力的存在,后来则认为"走资派"篡夺了从基层到中央的部分领导权。

They attribute the failures to the betrayal from their friends, copartners and even compatriots or brothers.

不是归结于朋友的背叛,就是归结于合作者的背叛,甚至归结于同胞手足的背叛。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域,因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

更多网络解释与归结相关的网络解释 [注:此内容来源于网络,仅供参考]

apodosis:归结子句

apodictic 绝然的 | apodosis 归结子句 | apoferritin 去铁铁朊

be reduced to:归结于

In the case of 就.......的情况 | Be reduced to 归结于 | give shape to 1使成形2 表达, 使...具体[条理]化

boil down to:归结起来是;其结果是

body and breeches 完全 | boil down to 归结起来是;其结果是 | boiling point 爱情的沸点

boil down to:归结起来是,问题是

boilv.沸腾;(感情)激动;煮沸 | boil down to归结起来是,问题是 | bolda.大胆的;无耻的;醒目的

come down to sthg:归结为(某事物)

come down with sthg [非正式]患...病 | come down to sthg 归结为(某事物) | come down on sbdy 严惩(某人),斥责(某人)

come down to sth:归结为(某事物)

come down on sb 严惩(某人);斥责(某人) | come down to sth 归结为(某事物) | come down with sth 患......病

Explain away late arrival by blaming it on traffic jam:迟到的人喜欢把原因归结为交通阻塞

explain away 为...辩解 | Explain away late arrival by blaming it on traffic jam. 迟到的人喜欢把原因归结为交通阻塞. | → explanation 解释,说明,阐述

resolution refutation:归结反演,分解反驳

resolution proof tree 分解证明树 | resolution refutation 归结反演,分解反驳 | resolution theorem proving 归结定理证明

resolution refutation:归结反驳

resolution reading 分辨力读数 | resolution refutation 归结反驳 | resolution requirement in the primary image 三基色析像能力

semantic resolution:语义分解, 语义归结

gradient speed 定斜法感光度 | semantic resolution 语义分解, 语义归结 | piling 打桩, 打桩工程