计算的

The last but not least, it is also owning to the rapid development in computer science and information technology. Such as, some computational task, which previously must be executed by using super-computer, now can be carried out by personal computer, and at the same time, the network speed and band width of data bus and input/output equipment have increased several times. In addition, the improvement of the high quality graphic displaying is available. All these provide strong support for cryoEM high-resolution reconstruction study.

目前，在低电子剂量的情况下，冷冻电镜照片可以记录到3-4 〓的信息，使用冷冻电子显微镜进行高分辨三维重构工作，已经获得6.5-8〓高分辨率水平的结果，可以分辨出蛋白质的α螺旋、识别出蛋白质的β折叠等蛋白质二级结构；其次是，三维重构算法效能的不断提高，使得对二十面体取向和中心参数计算的可靠性大大提高；再次是，由于计算机和信息技术迅猛发展，例如，以往需要使用大型计算机的计算任务已经可以被一般的个人电脑完成，网络速度、数据总线和硬盘等I／O设备的带宽成倍增长，以及图像显示能力的提高都为冷冻电子显微镜高分辨三维重构技术提供了强有力的支持。

Nowadays, in the low electron dose condition, the information about 3-4〓 can be recorded on the cryoEM micrograph, and the high-resolution reconstruction using the cryoEM has reached 6. 5-8〓 levels. The reconstruction can reveal the protein α helical and recognise β fold secondary structure. Secondly, it is due to the development in 3D reconstruction method, which can be more efficient to determine the orientation and center parameters. The last but not least, it is also owning to the rapid development in computer science and information technology. Such as, some computational task, which previously must be executed by using super-computer, now can be carried out by personal computer, and at the same time, the network speed and band width of data bus and input/output equipment have increased several times. In addition, the improvement of the high quality graphic displaying is available. All these provide strong support for cryoEM high-resolution reconstruction study.

目前，在低电子剂量的情况下，冷冻电镜照片可以记录到3-4 〓的信息，使用冷冻电子显微镜进行高分辨三维重构工作，已经获得6.5-8〓高分辨率水平的结果，可以分辨出蛋白质的α螺旋、识别出蛋白质的β折叠等蛋白质二级结构；其次是，三维重构算法效能的不断提高，使得对二十面体取向和中心参数计算的可靠性大大提高；再次是，由于计算机和信息技术迅猛发展，例如，以往需要使用大型计算机的计算任务已经可以被一般的个人电脑完成，网络速度、数据总线和硬盘等I／O设备的带宽成倍增长，以及图像显示能力的提高都为冷冻电子显微镜高分辨三维重构技术提供了强有力的支持。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

This paper mainly consists of three parts:(1) Based on the Reddy's higher-order shear deformation plate theory and general von Kármán-type equations, put forward the governing equations of pre- and post-buckled vibration of several hybrid FGM plate forms which have not been studied adequately, triumphantly applying the perturbation technique combined with Galerkin method into equations solving, and get the comparatively simple result forms with complicated deduction at last;(2) As a new type of materials, piezoelectric fiber reinforced composite actuators were applied to optimal vibration control, interrelated informatons be depicted in this paper;(3) During the investigative cource, some factors not been considered adequently in other researches were discussed fully in the postbuckled vibration analysis, such as the temperature-dependent material coefficients, heat conduction and nonlinear vibration characteristic etc.

本文的研究工作主要包括：(1)基于Reddy高阶剪切变形板理论和广义Kármán型方程，给出了几类现有研究成果较少或没有彻底解决的FGM混合板结构的屈曲前和屈曲后振动特性研究的控制方程，成功将摄动-Galerkin混合法应用于求解过程，并给出了各控制方程相对直观且易于计算的解析解形式；(2)单向压电纤维增强复合材料(Piezoelectric Fiber Reinforced Composite，简称PFRC)是一种新型压电材料，本文将其应用到了结构振动控制研究当中，发现通过压电纤维体积含量的选择可以实现混合板结构的优化振动控制；(3)围绕几种有代表性的FGM混合板结构，讨论其屈曲后的振动特性，在分析中同时考虑热传导，材料物性参数的温度相关性，以及机/热/电荷载耦合效应对非线性振动特性的影响，最后给出了大量数值计算结果。

In order to get the more accurate data of atmospheric capacity about this type of area, such as Yueyang, this paper analyzed the characteristics of Yueyang meteorology, gathered the features of atmospheric pollution sources, worked out the main problems in environmental protection. In addition, we analyzed the rule of atmospheric transport and diffusion, and took the Frequency of lake and breeze to modify the data of atmospheric capacity of Yueyang, which was achieved by A-P index, and compares the modified data of atmospheric capacity with the data of atmospheric capacity achieved by multi-source. The results indicated that according to the fact of lake and breeze, taking the frequency of lake and breeze to modify the data of atmospheric capacity of the field with stable lake and breeze, which is achieved by A-P index, made the atmospheric capacity more accurate. Accordingly, the result could be more reliable if the modified data is taken to calculate the atmospheric capacity when we assess the impact on the environment of the field with stable lake and land breeze.

为准确地求得这一类型地区的大气环境容量，本文研究了岳阳市城区大气环境的主要特点，收集大气污染源数据并进行分析，查明岳阳市城区主要环境问题，分析岳阳市城区主要大气污染物的迁移转化规律，对A-P指数法求得的岳阳市大气环境容量值用湖陆风频率进行修正，并将修正后的大气环境容量与多源模型(区域大气环境容量计算模型)求得的大气环境容量进行对比，得出结论：根据湖陆风环流情况下的大气扩散方式，对有稳定的湖陆风环流的地区，采用湖陆风频率修正A-P指数法求大气环境容量，进一步提高了计算的准确性。

If two parties want to sign a contract C over a communication network, they must "simultaneously" exchange their commitments to C Since simultaneous exchange is usually impossible in practice, protocols are needed to approximate simultaneity by exchange partial commitments in a piece by piece manner The party of secondly sending commitments may have a slight advantage; a "fair" protocol must keep this advantage within acceptable limits The protocol for signing a contract is improved based on the research result of secure multiparty computation In this protocol, the parties obliviously transfer the signed bit and the committed bit; the other parties can prove the validity of this bit based on the confirming sub protocol, but he can't gain more information about the whole signature by accumulating the signed bit or the committed bit After the parties exchange the whole signed information, they declare the commitment about the signature respectively, and gain the whole signature of the other party At this moment, the party doesn't care about the advance quit of the other party, because he has gained the whole signed information Finally, it is proved that this protocol is quit fairness

作者中文名：曲亚东；侯紫峰；韦卫摘要：在网络环境中解决合同签订问题需要保证信息交换的同时性，以前提出的协议都会给第2个发送者部分计算特权，利用不经意传输协议则可以解决这个问题。在协议执行过程中，参与者将合同的签名位以及他对签名位的承诺不经意传输给对方，对方可以利用验证子协议证明该位的有效性，但是他却不能通过位交换次数的增加获取更多的完整签名的信息；在完成签名位的交换之后，参与者分别宣布承诺，并得到对方对合同的完整签名；在宣布承诺时，协议参与者已经获得全部的签名内容，要么是签名位，要么是对方对该位的承诺，因此参与者并不需要担心对方提前终止协议。在文章的最后利用多方安全计算的结论证明了该协议满足终止公平性。

The majior contributions are summarized as follows:1. Enhanced the concept of min-max transfer capacity, which is the conservative transfer ability against the optimistic transfer ability that ATC evaluates.2. Constructed a TRM model of bi-level optimization based on leader-follower decision-making model, and an analytic method of computing TRM is proposed. A bi-section search algorithm simplifies and speeds up the calculation.3. Proposed the min-max transfer capability model considering steady voltage stability. The BiGA algorithm used in this model is shown to be robust.

本文针对这些问题，补充、提出了一些方法和见解，具体研究成果如下：1、针对ATC评估的是&乐观&情况下电网输电能力，提出了&保守&情况下的电网输电能力-至少传输容量的概念。2、提出基于主从决策的TRM双层优化模型，给出了TRM计算的解析方法，两次一维搜索的算法减小了TRM求解的难度，提高了计算速度。3、提出考虑静态电压稳定约束的至少传输容量评估模型，针对模型特点提出的BiGA算法具有较强的鲁棒性。

Starting with the elevation of underground water resources and a safe level of mining through variable system theory, this paper analyzes the conditions of underground water resources based on the well-studied determination method of determining the two hydrographical coefficients: rainfall infiltration replenishment rate and irrigation replenishment rate. Then considering irrigation, rainfall, drainage and other related factors, a mathematical model is set up for the calculation of underground water storage,exploitation on water regulation. After analyzing the adaptability of molepipe drainage, an underground water table regulation is given out.

论文从灌区的地下水资源及其可开采量评价分析方面入手，在对两个主要的水文地质参数即降雨入渗补给系数、灌溉入渗补给系数确定方法研究的基础上，对灌区的地下水资源状况进行分析，依据灌区的灌溉、降雨、排水条件及各种现状因素，建立了地下水资源量计算的数学模型，西安理工大学工程硕士专业学位论文计算得到青铜峡灌区地下水的最大补给量和可开采量；另外对在开发利用地下水资源过程中的地下水位的调控进行了初步的探讨，在银北灌区开展对暗管排水调控地下水位的试验研究。

Then detailedly introduces the principle of pole-changing modulating speed and design feature in times pole proportion and non times pole proportion in the Mixed pole-changing simplex winding multispeed asynchronous motor , carry on discuss to the main parts of electrical machinery electromagnetism computation; by using VISUAL BASIC under WINDOWS platform for computer-aided design method for the mixed pole-changing simplex winding multispeed asynchronous machine, carries on profound analysis for the computer-aided design in the following aspect such as rotor and setting flush piece size, groove shape size, the rotor and setting winding connection, and start performance.

本文在介绍了单绕组多速电动机的概况，阐述了目前多速电机的发展现状与前景；利用槽号相位图以及混相原理对变极绕组进行了研究，确定了绕组的混相方案；并详细地介绍了混相变极单绕组多速电机在倍极比与非倍极比时的变极调速原理以及设计特点；对电机电磁计算的主要几个部分进行了讨论；介绍了使用WINDOWS平台下的VISUAL BASIC对混相变极单绕组多速异步电机的计算机辅助设计方法，对混相变极单绕组多速异步电机的定转子冲片尺寸、槽形尺寸、定转子绕组接法、定转子相带、起动性能的几个方面的计算机辅助计算进行了深刻分析；最后，对混相变极单绕组多速异步电机的样机检测试验结果进行了分析。

In a method for retrieving sequences having a minimum PAPR in an OFDM (orthogonal frequency division multiplexing) system, by using characteristics in which all sequences of the OFDM system are classified into cosets having the same PAPR, PAPRs of sequences in which early two elements are fixed as '0' are calculated. A sequence having a minimum PAPR is selected from among the calculated PAPRs, and sequences allocated to the coset in which the selected sequence is included are retrieved as sequences having the minimum PAPR.

在一种用于在OFDM通信系统中恢复具有最低PAPR的序列的方法中，通过利用在其中将OFDM系统的所有序列分成具有相同PAPR的同余类序列的特性，计算两个开始项被固定为&0&的序列的PAPR，在所计算的PAPR中选择具有最小PAPR的序列，并且恢复分配至在其中包含所选同余类序列的序列作为具有最小PAPR的序列。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。