英语人>词典>汉英 : 构造论 的英文翻译,例句
构造论 的英文翻译、例句

构造论

基本解释 (translations)
constructionism

更多网络例句与构造论相关的网络例句 [注:此内容来源于网络,仅供参考]

This is an online edition of the book:'This Dynamic Earth: The Story of Plate Tectonics' that was authored by W.

本网站是由美国地质勘探局创建,提供了"动态地球:板块构造论"书刊的网络版,由W。

Using the concept of Boolean functions and combinatorics theory comprehensively, we investigate the construction on annihilators of Boolean functions and the algebraic immunity of symmetric Boolean functions in cryptography:Firstly, we introduce two methods of constructing the annihilators of Boolean functions, Construction I makes annihilators based on the minor term expression of Boolean function, meanwhile we get a way to judge whether a Boolean function has low degree annihilators by feature matrix. In Construction II, we use the subfunctions to construct annihilators, we also apply Construction II to LILI-128 and Toyocrypt, and the attacking complexity is reduced greatly. We study the algebraic immunitiy of (5,1,3,12) rotation symmetric staturated best functions and a type of constructed functions, then we prove that a new class of functions are invariants of algebraic attacks, and this property is generalized in the end.Secondly, we present a construction on symmetric annihilators of symmetric Boolean functions.

本文主要利用布尔函数的相关概念并结合组合论的相关知识,对密码学中布尔函数的零化子构造问题以及对称布尔函数代数免疫性进行了研究,主要包括以下两方面的内容:首先,给出两种布尔函数零化子的构造方法,构造Ⅰ利用布尔函数的小项表示构造零化子,得到求布尔函数f代数次数≤d的零化子的算法,同时得到通过布尔函数的特征矩阵判断零化子的存在性:构造Ⅱ利用布尔函数退化后的子函数构造零化子,将此构造方法应用于LILI-128,Toyocrypt等流密码体制中,使得攻击的复杂度大大降低;通过研究(5,1,3,12)旋转对称饱和最优函数的代数免疫和一类构造函数的代数免疫,证明了一类函数为代数攻击不变量,并对此性质作了进一步推广。

The idea of plate tectonics explains volcanoes as well as earthquakes.

板块构造论的概念解释了火山和地震。

An explanation of plate tectonics, the process that causes earthquakes.

关于板块构造论的解释,构造过程引发地震。

As the logical foundation of sematics, it is Known that the model theory treats the relationships between syntactic constructs and semantical features thereof, and that the model theoretic logic cares, under the frame of abstract logic, for the similarity, distinctness and interrelationships among various extended logics.

作为语义方法的逻辑基础,模型论是研究逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支;而模型论逻辑则是在抽象逻辑的框架中,用模型论的方法研究各种扩充逻辑系统的异、同及相互关系。

Through a new analysis on the essential relationship between Russell's Paradox and Cantor's proof on the uncountability of real number set and the proof on the Cantor's Theorem of , a mysterious error was found:the very same logic contradiction was applied in both Russell and Cantor's work.

分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系,发现康托在这两个非构造性证明中所依赖的、用对角线法所构造出的矛盾其实就是罗素悖论中所揭示的逻辑矛盾。

Through a new analysis on the essential relationship between Russell's Paradox and Cantor's proofs on the uncountability of real number set and the proof on the Cantor's Theorem of ,two mysterious errors were found: The very same idea was applied in both Russell and Cantor's work, but Cantor made wrong use of it with two logical mistakes.

分析了罗素悖论与康托的实数集合不可数证明及康托定理证明之间的本质性联系,发现康托的这两个非构造性证明与罗素悖论有完全相同的思路,但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。

At the end of the Permian Period have been complex amalgams of climate change perhaps rooted in plate tectonics movements.

:地质构造论中二迭纪发生的大范围地壳运动和气候的复杂多变可以解释这次起码到现在为止是最大规模的大量物种灭绝。

The revolution is based on the work of scientists who study the movement of the continents -- a process called plate tectonics.

一个研究陆地运动的科学家研究成果为这个变革奠定了基础,这种地质运动过程被称作板块构造论

The ESEU website includes information about ESEU activities. Worksheets for teaching earth sciences at key stages 3 and 4, used in INSET training, are available from the site. The documents (in PDF format, requiring Adobe Reader) cover topics such as the rock cycle, rock identification, the changing Earth and atmosphere, plate tectonics and outdoor activities. Resources available on the site include: a virtual rock kit with images of sedimentary, igneous and metamorphic rocks; links to related sites; and recommended textbooks.

网站内容包括机构信息及活动信息介绍、地球科学教学第三和第四阶段工作表内容介绍、网上地球科学培训资料、免费文件全文内容(主题涉及到岩石圈、岩石鉴别、地球表面及大气层变化、板块构造论以及各种室外活动等内容,为pdf格式)以及相关的资源(包括各种沉积岩、火成岩及变质岩照片、相关网站链接以及一些推荐教科书)等内容。

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

Conceptualism:概念论

从本体论角度来讲,这种观点是概念论(conceptualism)的变体,好比波普尔(Karl Popper)的"世界3". 这种对数学的理解,也遇到了激烈的反驳. 第一类批评来自关于数学基础的讨论,其论点是:构造主义和直觉主义的数学基础受到其规则概念的限制,

Constructionism:构造主义

constructional apraxia 结构性失用症 | constructionism 构造主义 | constructive alternativism 构建替换论

Constructionism:构造论

constructioninspector 施工检查员 | constructionism 构造论 | constructionitem 施工项目

genetic epistemology:发生熟悉论

constructivism 构造论 | genetic epistemology 发生熟悉论 | life-span perspective 毕生发展观

gradualism:渐进论

达尔文学说碰壁 达尔文的进化论,认为进化的机制作用是自然淘汰(Natural Selection):即 生物的生存优点经过极冗长的时间,一代代累积,成为新种的构造,这也叫做渐 进论(Gradualism).

pedology:儿童学

发生心理学 genetic psychology | 儿童学 pedology | 构造论 constructivism

theory of plate tectonics:板块构造论

地壳均衡论 theory of isostasy | 板块构造论 theory of plate tectonics | 霞斜岩 theralite

polarimeter:偏光计

(见图三)偏光计(Polarimeter)就是根据这个现象设计出来的. (图四)在少数例子中,我们可以从某一化合物的构造式看出此化合物能否有对应的镜像异构物. 例如C4H10O从构造论可预知此式子代表八种不同的异构物(Isomers)﹔其中有七种是拓扑上不同的构造(Topologically Distinct Structures)见(图五):若有两个同分异构物,

scheme:图解

Couper)分别提出一套图解(Scheme),这就是现今所说的构造论. 西元一八五八之后的几年,构造论有很重要的发展. 在西元一八五八年和一八六一年由古柏和布朗(Brown)先后提出用符号来表示化合物的构造. 一八五九年克古勒出版了一本书,

constructive theory of functions:函数构造论

函数符号|function symbol | 函数构造论|constructive theory of functions | 函数空间|function space