构造上的

Based on the method of multi-objective fuzzy optimization and the overhead traveling crane design, a mathematical model of fuzzy optimization for main box beam section is established. A fuzzy goal anthology is constructed. The fuzziness of multi-objective function and constraints is defined. The transformation of the fuzzy constraints set to normal constraints set in real number domain is realized by applying optimal level cut set method. The optimal solution and optimal constraint value of sub-objective function in the feasible field are found using the genetic algorithms.

应用多目标模糊优化方法，以工程设计中桥式起重机箱形主梁设计为实例，建立了桥式起重机箱形主梁多目标模糊优化设计的数学模型，构造了模糊目标集，确定了多目标函数的模糊性和约束的模糊性，并应用最优水平截集法实现了模糊约束到实数论域上的集合转换，从而用遗传算法寻求到子目标函数在可行域空间的最优解和约束最优值。

The collision and orogenesis, the intrusion of magmas and the formation of ore deposits were occurred sequentially.

两者在时间上的连续性，进一步说明了成矿作用与构造时间的耦合，碰撞造山-岩浆侵位-矿床的形成是一统一的连续过程。

Firstly, a two-dimension tensor product space is constructed, in which reproducing kernel exists. Secondly a multiresolution analysis is constructed in the reproducing kernel space. Then an orthonormal basis in is obtained. Thus,the reproducing kernel space can be expressed by wavelets spaces. Wavelets approximation formula and sampling formula can also be obtained in the space. Besides, the wavelets approximation formula is simple and easy for calculation. That completes the theory of multiresolution analysis in finite interval fully and provides theoretical base and algorithm for application.

首先，构造二维张量积空间，并证明该空间具有再生核；其次在再生核空间中，建立多尺度分析，获得该空间的一个标准正交基，使得再生核空间可以由小波空间来刻画，进而得到小波级数和相应的采样公式，而且给出的小波级数形式简单易于数值分析，进一步完善了有限区间上的多尺度分析方法，也为实际应用提供了良好的理论基础和算法。

In the first part of this paper, we give some basic concepts of regular Sturm-Liouville problems and some Sturm-Liouville problems with eigenparameter in the boundary conditions and the definition and properties of the Krein space. Using the Krein space, we describe a class of Sturm-Liouville problems with eigenparameter in two boundary conditions and prove that it can generate a self-adjoint operator in Krein space with only point spectrum.

第一部分我们介绍了一些基本概念如正则Sturm-Liouville问题、边界条件含参数的问题、Krein空间等，并利用Krein空间的定义和性质描述了一类参数边界条件的Sturm-Liouville问题，证明它可构造一Krein空间上的自伴算子，并且谱全为点谱。

Because of the ambiguity of inspection authority property, kinds of constitutes and laws in world prescript its entity structure without definite its property.

世界各国的宪法或法律都规定了检察权的实体构造，但都没有明确指出检察权的性质，检察权性质具有法理上的不明确性。

The configuration of ID-based Encryption is analyzed. A new ID-based Encryption is realized with the Elliptic curve over the residue class ring.

分析了基于身份加密体制的构造框架，利用剩余类环上的椭圆曲线密码实现了一种新的基于身份的加密机制。

From the above theorem,（1） compositional invariant security properties and constructive security properties are proved to exist, and （2） security properties are degraded under operators of process algebra, which is known as "bucket principle", i.e, a composed system cannot be securer than the weakest link of the system.

根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上的存在性，并且在安全性质集合上证明了安全性质的"木桶原理"，即复合系统的整体安全性不强于系统中最弱的部分。

In Part 3, We obtain the existence of positive solutions of semilinear evolution impulsive differential equations under the suitable conditions by using the same method. And example is given to illustrate main result.

我们采用相同的方法利用抽象锥上的不动点定理，在合适的条件下获得正解的存在性，并构造例子说明所得结果的应用。

And then, by regarding the curve and surface as a map from differential manifold to topological manifold, we present the framework of GRPCS and discussed its basic properties in detail. GRPCS provides a unified framework for parametric curve and surface.

然后通过势函数来构造微分流形上的单位分解，将曲线曲面看作微分流形到拓扑流形的映射，给出了广义有理参数曲线曲面的整体理论框架，并对广义有理参数曲线曲面的基本性质进行了讨论。

The results show that the proposed scheme can not only resist conspiracy attacks and forgery attacks essentially, but also provide anonymity and traceability simultaneously. In addition, itcan realize the unknowability ofgroup's secretby constructing a secure distributed key generation protoco.l As a resul,t the proposed scheme is more secure than the two schemes.

结果表明：该方案不仅能够从根本上抵抗合谋攻击和伪造签名攻击，而且在保证匿名性的前提下，能够真正实现签名成员身份的可追查性，同时通过构造安全的分布式密钥生成协议保证群私钥的不可知性，因此比现有方案具有更高的安全性。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。