度

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

In the method, the equation of vorticity is simplified and combined with the definitions of vorticity and divergence , and then restrained by the equation of continuity to set the system of retrieval equations. Three-dimensional wind vector, vorticity and divergence can be got by solving the system of equations. Preliminary test has proved that it is feasible.

该方法从动力学角度出发，将柱坐标中的垂直涡度方程适当简化后，联系涡度散度的定义式，再以大气连续方程作约束，得到一个反演方程组，求解方程组就可得到不同高度层上的三维风场以及涡度、散度，初步检验证明其是可行的。

The following points are emphasized:The operation models of adiabatic and diabatic distillation have been set up and the operation block, thermodynamics model and mathematical model in the simulation have been determined as well;(2)Based on the simulation and exergy analysis with Aspen Plus program, shortcut distillation design—DSTWU model and rigorous distillation design—RADFRAC model, the author has determined the heat duty, exergy losses and the distribution of exergy losses along the adiabatic column, which will help the simulation and optimization of the diabatic distillation;(3)Diabatic distillation under various operation conditions has been simulated by using energy balance method and exergy analysis;(4)How the different mixture and the various degree of separation, number of trays and feed location influence exergy saving in diabatic distillation have also been discussed;(5)On the basis of the total exergy losses along the column, different schema of the heat transfer distribution along the column have been compared and analyzed;they can be classified in three categories: heat duty equipartition approach, empirical approach, separation degree matching approach. In conclusion, different heat transfer distribution along the column will have effect on total exergy losses. In particular, most satisfactory results have been obtained by using separation degree matching approach. In order to diminish the exergy losses, heat transfer distribution should meet the needs of the request of separation degree.And on this premise, the author makes his suggestion in increasing the proportion of heat supplied to the tray with minimum exergy losses and decreasing the proportion of heat supplied to the tray with the maximum exergy losses.

本文对透热精馏过程进行了模拟并对其节能效果的影响因素做了较为全面的分析和深入的研究，主要研究内容如下：(1)建立了常规精馏和透热精馏过程的模拟操作模块、热力学模型以及数学模型；(2)利用化工模拟软件Aspen Plus并分别采用DSTWU简捷模型和RADFRAC严格计算模型对常规精馏进行模拟计算和有效能分析，确定常规精馏塔的公用工程热负荷、有效能损失及有效能损失在塔内的分布，为透热精馏的模拟和优化提供数据参考；(3)对不同物系在不同分离度条件下进行透热精馏的模拟，分别采用能量衡算法和有效能分析法进行计算和分析；(4)探讨了各种因素如物系的选择、不同分离度、塔板数、进料位置对透热精馏节能效果的影响；(5)以全塔总有效能损失为比较基准，对热量在塔内的三种分布方案即热负荷平均分配法、经验法和分离度匹配法进行了对比分析并得出结论：塔内热量的不同分布方案对于全塔总有效能损失会产生影响，其中以分离度匹配法的节能效果最为理想，为减少有效能的损失，应使塔内的热量分布满足各塔板的分离度要求，并在此前提下，尽量减小有效能损失大的塔板的热负荷和增加有效能损失小的塔板的热负荷。

Above all, consider combination of 3 kinds of load and different constant load and alterable load effect to compare an effect, gave out representative ferroconcrete component is in give an environment to fall, the affirmatory principle that the reliability of different operating period analysed methodological; to put forward intended performance structure to design reliability level, namely index of reliability of component part of the construction inside intended performance cannot be under the standard; of active standard on foundation of expression of design of reliability of our country structure introduce wear to fold decrease coefficient, gave out the affirmatory method of this coefficient, assure in design phase through this coefficient and achieve target of reliability of component part of the construction inside intended performance not the standard under active standard.

首先，考虑三种荷载组合以及不同恒荷载和可变荷载效应比影响，给出了代表性钢筋混凝土构件在给定环境下、不同使用期的可靠度分析方法；提出了预期使用期结构设计可靠度水平的确定原则，即预期使用期内结构构件可靠度指标不能低于现行规范的标准；在我国结构可靠度设计表达式基础上引入耐久性折减系数，给出了该系数的确定方法，通过该系数在设计阶段保证和实现预期使用期内结构构件可靠度指标不低于现行规范的标准。

The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p-polynomials, as well as the permutation theory over finite field: The new definition of Chrestenson linear spectrum is given and the relation between the new Chrestenson linear spectrum and the Chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field; The distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field GF (2) and prime field F〓; The relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of Chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed; Using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized Bent functions over its prime field; The existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p-polynomials over finite field.

重新定义了有限域上逻辑函数的Chrestenson线性谱，考察了新定义的Chrestenson线性谱和原来的Chrestenson循环谱的关系，并利用一组对偶基给出了有限域上逻辑函数的反演公式；给出了有限域上随机变量联合分布的分解式，并利用随机变量联合分布的分解式对有限域上逻辑函数的密码性质进行了研究；给出了有限域上逻辑函数与相应素域上向量逻辑函数的关系，探讨了它们之间密码性质的联系，如平衡性，相关免疫性，扩散性，线性结构以及非线性度等；讨论了有限域上逻辑函数各类线性结构之间的关系，并给出了任意点都是线性结构的逻辑函数的全部构造，由此引出了有限域上的"泛仿射函数"的概念；考察了有限域上逻辑函数的退化性与线性结构的关系、退化性与Chrestenson谱支集的关系；给出了有限域逻辑函数非线性度的定义，利用有限域上逻辑函数的非线性度与相应素域上向量逻辑函数非线性度的关系，考察了有限域上逻辑函数的非线性度与线性结构的关系；利用有限域上逻辑函数与相应素域上向量逻辑函数的关系，揭示了有限域上的广义Bent函数与相应素域上的广义Bent函数的关系，以及有限域上的完全非线性函数与相应素域上向量广义Bent函数之间的关系；给出了任意有限域上任意n元完全非线性函数存在性与否的完整证明，并利用有限域上平衡的p-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

Through the study of relationship between generatrix linearity and axes linearity of deep bore, we proposed the new principle and method to measure axes linearity of gunbarrel by measure of generatrix linearity.

从深孔的母线直线度与轴线直线度之间的关系入手，论述了在火炮身管直线度测量中，如何通过测量母线直线度求得轴线直线度的原理和方法。

Results indicated that simmering treatments generally increased diameter, green and yellow hues of the emulsified meatballs but decreased their adhesiveness, viscosity, cohesiveness, elasticity, chewiness, gumminess and lightness.

结果显示慢煮处理增加大部份贡丸之直径、绿色度及黄色度，但降低其粘著度、黏度、聚合度，弹性度、嚼度、胶度和亮度。

You can taste a few for free before you decide, but most people opt for the high-test 58-proof variety ($15.60 for a 750-milliliter bottle).

酒精浓度有28度、30度、38度和58度的。你可以免费品尝，不过大多数人会选择58度的高度酒（一瓶750毫升的高粱酒售价为15.6美元）。

In this paper, we study various features of hyperlinked web pages including indegree and outdegree distribution, content similarity, link similarity and etc.

在本文中我们研究了链接网页间多种属性，包括网页的入度、出度分布，内容相似度和链接相似度等，并且引入了语义相似度的概念。

Although Chen Tianzhong is in,negotiation ever had with Baidu company for many times before appealing to, but sue according to him " shameless person -- Chen Tianzhong - Baobao- sina BLOG " link, the premise that be not supplies the address that gives Baidu the company, and after Chen Tianzhong is sued, baidu company also had corresponding operation to this address, before Chen Tianzhong proves without evidence the address of place bargaining, had not disconnected, in maintaining Baidu snapshot then, the court operates place experience website, company of indemonstrable Baidu is put in fault and tort behavior, satisfy pair of Chen Tianzhong accuse the court decision does not grant to support.

虽然陈田忠在诉前曾多次与百度公司进行交涉，但依据他起诉的"无耻之徒——陈田忠-baobao-新浪BLOG"链接，并非之前提供给百度公司的地址，而且在陈田忠起诉后，百度公司对该地址也进行了相应的操作，陈田忠无证据证实之前所交涉的地址，没有断开过，法院遂认定百度快照中操作所涉网站，并不能证实百度公司存在过错和侵权行为，遂对陈田忠之诉判决不予支持。

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。