构造学

Provable Security is a formal method for proving the security of cryptographic schemes, in which the difficulty of breaking a particular scheme is formally related to that of solving a widely believed computational hard problem. Provable security has already become an important theme of theoretical researches in modern cryptography. This dissertation investigates the provable security of public-key encryptions and hybrid encryptions of asymmetric and symmetric encryptions. This includes the various formal security notions and the constructions can be proved to achieve them. Among the constructions, hybrid encryptions are themselves an important way to obtain public-key encryption schemes with chosen ciphertext security. The main results are as follows:(1) The one-wayness of the trapdoor one-way function in NTRU depends on the randomness of the session key, which is different from previous ones. Based on this observation, a new kind of trapdoor one-way function, trapdoor one-way functions with an auxiliary random variable is proposed.

可证明安全性是一种证明密码学方案安全性的形式化方法，它将密码学方案的安全性归约为公认的计算难题，已成为现代密码学领域中理论工作的主线，本文主要研究公钥加密与单双钥混合加密的可证明安全性，这包括它们的各种形式化安全性定义以及达到这些安全性定义的方案构造，而单双钥混合加密本身也是一种构造选择密文安全公钥加密的重要方法，本文得到的主要结果如下：(1)在研究NTRU公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

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)旋转对称饱和最优函数的代数免疫和一类构造函数的代数免疫，证明了一类函数为代数攻击不变量，并对此性质作了进一步推广。

Coding;Communication;Communication systems;Communication technology;Components;Data;Data description;Data processing;Data processing system;Data records;Data representation;Data transfer;Definition;Definitions;Earth's surface;Encoding;Geodesy;Geographic information;Geographical;Geography;Geology;Geomatics;Geotechnics;Information;Information exchange;Information processing;Information technology;Schemes;Topology

中文标题地质信息。数据描述。传输中文主题词信息技术；信息；数据处理；地质的；信息交流；地球表面；地质信息管理；地质信息；定义；图表；数据处理系统；大地构造学；地质学；拓扑学；数据传送；信息处理；数据记录；通信系统；元部件；地理学；数据表示；传播技术；传播学；数据；编码；编码；数据描述；大地测量学

Communication;Communication systems;Communication technology;Components;Data;Data description;Data management;Data processing;Data processing system;Data records;Data representation;Data transfer;Definition;Definitions;Earth's surface;Encoding;Geodesy;Geographic information;Geographical;Geography;Geology;Geomatics;Geotechnics;Information;Information exchange;Information processing;Information technology;Metadata;Metafile;Quality;Quality assurance;Schemes;Specification;Topology

中文标题地质信息。数据描述。元数据中文主题词大地测量学；数据描述；编码；数据；传播学；传播技术；数据管理；数据处理；数据表示；地理学；元部件；通信系统；元数据；数据记录；信息处理；数据传送；拓扑学；地质学；大地构造学；数据处理系统；图表；定义；规范；地质信息；地球表面；地质信息管理；元文件；信息交流；地质的；信息；信息技术

The crisis in the present-day geotectonics consists in that leading specialists do not recognize the rotation of the Earth.

当今大地构造学的危机在于权威专家不承认地球是旋转的。

Based on Chen Guoda's historic-causationist geotectonics and the thought of four-dimensional space-time, the polygenetic compound metallogenic characteristics about the deposit is discussed, finally it is determined as a typical polygenetic compound deposit.

根据陈国达历史－因果论大地构造学提出的多因复成矿床概念和时空四维兼顾研究思路，讨论厂阿舍勒铜矿的多因复成矿床特徵，厘定其为一个多因复成型矿床。

For Southwestern Margin of Aqikekule Lake ophiolite, their field geological, petrological, minerological, petrochemical and geochemical characteristics show that:① it outcropped as tectonic slices along the near west-to-east strike Kunzhong fault and is composed of metamorphic perodotties, cumulates and volcanic rocks, in which, chromites are distributed in the upper part of metamorphic peridotites as pods, or in the lower part of cumulates as near-strata;② metamorphic peridotites include serpentinites, chromite-bearing serpentinites, chlorite-epidote schists and chromitites, of which, chromitites have nodular and orbicular structure, and cumulates include pyroxenits, serpentinites, chromite-bearing serpentinites, chromites and metamorphically mafic rocks and only basalts are seen in volcanic rocks;③ Cr# of chromites suggest that they formed in the SSZ and Al〓O〓 and TiO〓 of metamorphic peridotites also suggest SSZ environment;④ metamorphic peridotites have V type and enriched LREE patterns, cumulates have from strongly depleted LREE, flat REE to enriched LREE patterns with universally striking positive Eu anomalies and basalts show flat REE or slight enriched LREE patterns with no Eu anomalies;⑤ trace element and Sm-Nd isotope characteristics of metamorphic peridotites imply their strikingly heterogeneous mantle character ε〓(t+4.39～+26.20 and later Nb, Ta fertilization;⑥ trace element characteristics of basalts and their tectonic diagrams show they probably formed in the rifted island arc or back-arc basin environment.

对阿其克库勒湖西南缘蛇绿岩，野外地质、岩石学、矿物学、岩石化学以及地球化学等特征表明：①该蛇绿岩以近东西向、沿昆中断裂呈构造岩片出露，由变质橄榄岩、堆晶岩和火山岩三个单元组成，其中见铬铁岩呈豆荚状产于变质橄榄岩的上部，或呈似层状产于堆晶岩的下部；②变质橄榄岩包括蛇纹岩、含铬铁矿蛇纹岩、绿帘绿泥片岩和铬铁岩等类型，其中，豆荚状铬铁矿具有结核状构造和球状构造，堆晶岩包括辉石岩、蛇纹岩、含铬铁矿蛇纹岩、铬铁岩和变质基性岩等类型，火山岩仅见玄武岩；③铬铁矿的Cr#表明其形成在俯冲带，变质橄榄岩的Al〓O〓和TiO〓成分也指示了SSZ环境；④变质橄榄岩的稀土配分型式见V型和LREE富集型两种型式，堆晶岩表现出从LREE强烈亏损、REE平坦分布到LREE富集的配分特征，并且普遍具有醒目的正Eu异常，玄武岩的稀土配分型式表现为平坦型或LREE略富集，无Eu异常；⑤变质橄榄岩的微量元素及Sm-Nd同位素特征指示了其地幔的显著不均一性ε〓(t为+4.39～+26.20以及Nb、Ta在后期的富集；⑥玄武岩的微量元素特征及构造图解表明其可能形成在裂谷岛弧或不成熟的弧后盆地环境。

Volcanoes; plate tectonics; recent eruptions; USA; Hawaii; Cascade mountains; Alaska; calderas; active volcanoes

关键词：火山；板块构造学；新近的爆发；美国；夏威夷； Cascade山；阿拉斯加；喷火山口；活火山

He conceptualised a helicopter, a tank, concentrated solar power, a calculator, the double hull and outlined a rudimentary theory of plate tectonics.

达·文西概念化了直升机、坦克、计算器、太阳能电板、双船体船舶，阐释了板快构造学的基本原理。

Tapponnier P%Peltzer G%Armijo R On the mechanics of the collision between India and Asia Geol.

刘光勋 新构造学研究趋势的展望地学前缘， 1995，1

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。