构造论

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格式）以及相关的资源（包括各种沉积岩、火成岩及变质岩照片、相关网站链接以及一些推荐教科书）等内容。

On closer examination, though, this is not a vote for multilateralism but just the opposite.

仔细审视后我们发现，这并非是对多边主义投出的赞成票，而是恰好相反。

Uncovering their weak spots, so I can defeat them.

揭露出他们的弱点，这样我就可以打败他们了。