定义为...

Than one assembler instruction can be used. The macro may use the register

推荐定义这个宏为一个assembler macro，在这这样定义了就可以使更多的汇编指令应用。

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公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

2 X User Defined Acceleration Range, 0-XXX-0, Maximum Velocity, Average Velocity, Peak Longitudinal Acceleration, 2 x User Defined Deceleration Range, Time to and Speed at (100m, 200m, 400mm, 1km, 1/8mile, 1/4 mile, 1/2mile, 1mile), BHP, Power Losses. Minimum apex speed.

0-60， 0-100， 2 x用户自定义的加速范围，0-XXX-0，最大速度，平均速度，最大纵向加速度，2 x用户自定义减速度范围，以时间为基准及到100m， 200m， 400mm， 1km， 1/8mile， 1/4 mile， 1/2mile， 1mile时的速度，BHP，功率损失，最小峰值速度。

If you define colors for your web elements, you should also define the background color.

如果你为你的网络元素定义了颜色，那么你也应该定义背景色。

And then some ellipses that AUGR estimator is better than the OLS estimator and AUGL estimator is better than the OLS estimator are given, respectively.Second, the definition of the almost unbiased unified biased estimator is proposed. This definition includes the familiar almost unbiased estimators in literatures, and it is the unified expression of the familiar almost unbiased estimators. Followed the biased and variance are compared of AUUB estimator and the unified biased estimator, respectively. AUUB estimator has smaller bias than UB estimator and the variance of AUUB estimator is between the variance of UB estimator and 4 times of the variance of UB estimator. Finally the properties of AUUB estimator are discussed. The conclusion is gained that there are parameters made AUUB estimator is better than OLS estimator in terms of their mean square error. The sufficient and necessary condition that AUUB estimator is admissible is given. The ellipse is given that AUUB estimator is

然后给出了几乎无偏统一有偏估计的定义，该定义包括了文献中常见的几乎无偏估计，实现了常见几乎无偏估计的统一表达式；接下来我们比较了几乎无偏统一有偏估计与统一有偏估计的偏度与方差，得出了几乎无偏统一有偏估计比统一有偏估计有较小的偏度，几乎无偏统一有偏估计的方差介于统一有偏估计的方差与统一有偏估计的方差的四倍之间的结论；最后我们对统一有偏估计的主要性质作了讨论，证明了存在参数K，S使得几乎无偏统一有偏估计在均方误差意义下优于最小二乘估计的结论，给出了几乎无偏统一有偏估计为可容许估计的充要条件，还给出了在均方误差阵意义下几乎无偏统一有偏估计优于最小二乘估计的椭球。

This paper includes five parts. Part one is an introduction which introduces the definition of the circular chromatic number and its equal definition, and then it presents theories and conclusions cited later.

本文一共分为五个部分，第一部分为引言，介绍了圈色数的定义及其等价定义，还总结了后面常会引用的定理和结论。

In more formal language, the set of all left-hand Riemann sums and the set of all right-hand Riemann sums is cofinal in the set of all tagged partitions.

积分是线性定义的，即如果，则。特别地，由于复数是实数向量空间，故值为复数的函数也可定义积分。

The elastic stress diagram design method is behind the times and cant meet the command in practice.In the paper the author collected and analyzed a large amount of data about the SLRCP on several typical domestic model experiments and the projects in practice. By summarizing and analyzing the data, the author set up a typical computing model and analyzed the model by the software ANSYS, by reading the output data of the stress and the crack from the program, combined with the experimental results, the author summarized the destroy procession of the stock. The paper also discussed the influence of other main factors to the crack and the stress besides the internal water pressure, such as the concrete material, the dimension of stock and the way of laid-out steel bars.

本文通过对大量实际工程中的坝后背管资料的收集、归纳和分析，选取了具有代表性的计算模型；用有限元软件ANSYS计算了典型坝后背管结构在实际内水压力作用下的应力分布和裂缝发展情况；以国内几个有代表性的模型试验和有限元计算的成果为依据，分析了在内水压力作用下钢衬钢筋混凝土压力管道管壁裂缝的特点，并尝试总结出此种管道的裂缝出现的原因及其发展规律，同时确定了坝后背管结构极限状态的新的定义方式——以坝后背管的裂缝宽度来定义。

In order to allow main modules to declare functions for local use within the module without defining a new namespace, XQuery predefines the namespace prefix local to the namespace http://www.w3.org/2004/07/xquery-local-functions , and reserves this namespace for use in defining local functions.

为了允许主模块在不定义一个新的命名空间的情况下，为模块内本地使用声明函数，XQuery预定义了到命名空间 http：//www.w3.org/2004/07/xquery-local-functions的命名空间前缀local，并为定义本地函数使用保留这个命名空间。

Main points of the thesis are as follows:(1) The main function models and information relations between these models in the CAPP system in the integrated CAD/CAM project are explained, a new process plan design method is mentioned based on analyses of process plan design. This method is based on the process plan prototype, and develops the prototype little by little until the perfect process plan is completed, the prospect of this method is discussed;(2) The feature abstracting rules and methods are studied, a feature coding system is developed based on GT, all the defined feature models are described by the mathematical methods;(3) The integrated method of CAD/CAPP based on features is mentioned, this method defines a feature exchanging model, and develops an interface software to exchange design data into technology data base, this technology data base includes the design and technology information of the parts;(4) The process plan reasoning method based on features is created, this method uses Mycin algorithm to solve the reasoning of the feature process plan. A process plan making system is developed. In this system part process plan is made by the semi-intelligent method, this method uses the feature reasoning, feature process chain searching and man-computer talking together;(5) The main structure of the HOPE system is introduced, a shaft drawing and its process plan made by this system are shown, the data process problem in process drawing making is also discussed;(6) A new method of describing process rule is introduced, this method uses IfThen rules and neural nets weight values together to describe process rules, the BP algorithm is adopted in this method;(7) The optimal machining sequence problem of the process steps on the same fixturing is discussed, optimal algorithms SA is applied to solve this problem, the result shows that this method is more efficient than the traditional method;(8) All jobs in the thesis are summarized. In order to carry out the research in the future, some rational proposals are given.

全文论述的内容主要有下列几个方面：(1)较为系统地阐述了CAD／CAM一体化工程项目中CAPP系统的主要功能模块及其信息流程，在分析工艺设计过程的基础上，提出了基于特征原型的渐进式工艺设计方法，并探讨了该方法的应用前景；(2)研究了零件特征提取的原则和方法，在成组技术的基础上，开发了一套基于特征的分类编码系统，并在提取零件特征的基础上，定义了零件特征的数据模型，开发了基于轴类零件特征的参数化设计系统；(3)研究了基于特征的CAD／CAPP集成的方法，通过定义零件特征数据模型的存储结构，开发了将设计数据转换到工艺数据库中的接口程序，为后续的CAPP系统提供必要的零件形状和工艺信息；(4)研究了基于特征的工艺推理方法，将Mycin算法应用到工艺决策中，开发了基于特征的工艺推理及工艺方案生成系统，在系统中综合运用特征推理、特征加工工艺链查询及人机对话相结合的半智能化方法确定零件加工工艺；(5)介绍了整个HOPE系统的总体结构，通过运行HOPE系统绘出了一轴类零件的零件图，并生成了该零件的加工工艺方案，初步探讨了基于特征的工序图生成技术中数据处理问题；(6)研究了工艺设计过程中知识如何有效表示的问题，提出了将显式的IF-THEN规则表示与隐式神经网络权值表示相结合的工艺知识表示方法，并利用BP算法进行了工艺知识表示的初步研究；(7)研究了工艺设计过程中同一安装下工步优化排序问题，利用神经网络中基于模拟退火的理论来解决该工步优化排序问题，实践证明该方法较传统的算法具有更高的效率；(8)总结了本文所进行的研究工作，为今后进一步开展工作提出了较为合理的建议。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。