定义的

Otherwise, the program does not conform to the ABI and has undefined behavior.

否则，该程序将不符合 ABI 并带有未定义的行为。

I'm not convinced that Firefox or Linux is actually safer than Microsoft products in any absolute meaning of the term.

在术语没有明确定义的情况下，我不确信火狐或Linux确实比微软产品更安全。

This the framework has an abstract class defined, and two template

这个框架有一个抽象类中定义的，以及两个模板

An obligation from a State to a consumer is not within the definition of an account receivable.

有义务从一个国家向消费者是不定义的应收账款。

Every custom control state active, inactive, disabled,...

每一个自定义的控制状态（活动，活跃，残疾人，。。。

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

In this chapter, three kinds of target recognition methods are performed, which are:①Target recognition method based on the description of polarization parameter plane. The echo polarization states of target are projected onto the polarization state plane described by the ellipticity ε and the tilt angle τ of the polarization ellipse, the change of parameter following ferquency becomes the chart. According to the changing trait of the chart, the multidimensional polarization feature space of target has been contructed. Furthermore, a series of polarization feature parameters used in designing the structure of target recognition device are extracted, and they are insensible to the posture of target.②Target recognition method based on the description of Poincare polarization sphere. The echo polarization states of target expressed by Stokes vector are projected onto the Poincare polarization sphere. The conception of polarization ferquency stability, which is used in describing the dynamic distribution characteristics of the target echo polarization states on Poincare polarization sphere, has been defined. A group of polarization feature parameters used in designing the structure of target recognition device are extracted, and they are insensible to the posture of target.③Target recognition method based on the description of frequency sensitivity. In accordance with the conception of the polarization state distance defined on Poincare polarization sphere, the frequency sensibility of the physical structure property of target has been investigated, the frequency distribution feature curves in PSD domain are obtained, and targets'features are extracted by means of the curve-fitting method with Least Square Criterion.

这章具体研究了基于三种极化散射特性描述的相应的目标识别方法：①基于极化参数平面描述的目标识别方法，将目标回波极化状态投影到以极化椭圆参数，即椭圆率角ε和倾角τ表征的极化状态平面上，参数随观测频率的变化就形成了图，根据图的变化特点构造了目标的多维极化特征空间，并提取了不敏感目标姿态变化的极化特征参数组来设计目标的识别器结构；②基于Poincare极化球面描述的目标识别方法，采用Stokes矢量表征目标回波的极化状态，并将其投影到描述极化状态的Poincare极化球面上，定义了极化频率稳定度的概念用以刻画目标回波极化状态在Poincare极化球面上的动态分布信息，提取了准方位不变性的目标极化特征，最后设计了目标的识别器结构；③基于频率敏感性描述的目标识别方法，通过在Poincare极化球面上所定义的极化状态距离的概念，研究的是复杂目标物理结构特性对探测信号频率的敏感程度问题，获得了在极化状态距离下的频率分布特性曲线，采用最小二乘估计曲线拟合方法，它既用于极化特征的降维，同时又直接将拟合参数作为目标的分类特征。

For 2p〓-periodic binary sequences, a new weight function, according to the above presented vector expression of the linear complexity, is defined. By analyzing the weight of the product of a special kind polynomial in finite field, the upper and lower bounds on minimum error, expressed by the here denned weight of the linear complexity, are given in different cases.

对于2p〓-周期二元序列，利用所给出的线性复杂度的向量表示定义了一种新的重量函数，通过研究有限域上一类特殊多项式乘积的重量，分情况给出了用线性复杂度的重量表示的最小错误minerror的上界和下界，这里的重量是由我们所定义的重量函数确定的。

G To guarantee support and/or secure either with or without consideration the payment of any debentures, debenture stock, bonds, mortgages, charges, obligations, interest, dividends, securities, monies or shares or the performance of contracts or engagements of any company or person and in particular (but without prejudice to the generality of the foregoing) of any company which is, for the time being the Company's holding company as defined by Sections 736 and 736 of the Companies Act 1985 as amended by the Companies Act 1989 or another subsidiary, as defined by the said section of the Company's holding company or otherwise associated with the Company in business

试译：旨在提供担保支持和/或在有或无对价的情况下，保证无担保债券、公司债券、有担保债券、抵押、押记、债务、利息、股息、证券、款项或股票的支付，或者保证任何公司或个人履行合同，尤其是保证（但不妨害上述规定的普遍性）以下公司履行合同：按1985年颁布、后经1989年《公司法》所修正的《公司法》第736节和第736节定义的暂时为公司的控股公司，或者是这些节所定义的公司控股公司的另一个子公司或与公司业务相关的其他公司。

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。