查询词典 definitions

By proving the simulator-based and comparison-based definitions of semantic security both equivalent to the indistinguishability we obtain the equivalence of the two definitions. This conflicts with the conclusion of Watanabe, et al. The reason lies in that in the simulation-based definition they used, the adversary and its simulator are allowed to choose by themselves the auxiliary partial information about the plaintext to be input, which results in that the information chosen by them can be different.

该结论与Watanabe等人的结论相悖，原因在于他们采用的基于模拟器的语义安全性定义中允许敌手及其模拟器自己选择其输入的有关明文的附加部分信息，导致敌手模拟器与敌手选择的可能不同，使得该定义不等价于不可区分性，与公认的结论不符。

Moreover, ostensive definitions function on the condition of the understanding of a language, which means just the overthrow of the theories of meaning which take ostensive definitions as their starting points.

并且，实指定义以理解一门语言为前提，正是对以实指定义为基础来解释意义的意义理论的颠覆。

The viscosity solutions for partial differential equations of parabolic type havethree different basic definitions.The three definitions are equivalent when the equa-tions are continuous.But for the discontinuous equations,the equivalence of themare still unknown.

因为抛物型方程粘性解有三种基本定义法，它们在方程为连续时相互等价，对于不连续情况，它们间关系尚不明确，因而在本章里，我们特别证明了其中二个定义：定义1，定义2之间的关系。

Based on the above work, a method is presented for translating LFC function definitions into the intermediate representation, which includes analyses of recursive parameters and definition forms of functions, parameter substitution, representation translation of patterns and expressions, transformation of function definitions from incomplete construction forms to complete construction forms, and pattern-matching translation.

在此基础上，设计了LFC函数定义到中间表示形式的翻译和变换方法，包括对函数递归参数和定义形式的分析，参数一致化，模式和表达式表示形式的翻译，部分构造式到完全构造式的变换，和模式匹配翻译等。

Communications about compendial articles may be improved by including in this Pharmacopeia the definitions of terms and the contexts in which these terms are used. See Definitions below.

关于药典产品的交流，可以通过包括在该药典中的术语定义和使用这些术语的背景的方式得到改进。

Do not confuse the above definitions of lead/lag in the spatial domain with the electrical definitions of lead/lag in the radian domain.

不要把上面定义的空间域的超前/滞后定义与电学定义的弧度域的超前/滞后混淆）。

Based on the transformation between interval number reciprocal judgment matrix and interval number complementary judgment matrix, this paper proposes the definitions of additive consistency and multiplicative consistency for interval number complementary judgment and correlative definitions as well, and studies the particular proprieties of the consistency interval number judgment matrix. At the same time, it also puts forward a simple algorithm that can judge whether an interval number complementary has the propriety of satisfied transitivity.

利用区间数互反判断矩阵与区间数互补判断矩阵之间的转换关系，给出了乘性一致性与加性一致性区间数互补判断矩阵的定义，并研究了一致性区间数判断矩阵的一些特殊性质；同时给出了区间数互补判断矩阵满意一致性的一个简单的判断方法与算法。

NEW in 3ds max 7: The new optional remap: keyword allows parameter names in the definitions to be changed when updating existing definitions.

在3ds max中的新特征：新的可选remap：关键词允许定义中的参数名称当更新现有的定义时改变。

This paper approaches and analyzes some of the definitions and their English translations in seamanship terminology, and puts forward proposals that give correct definitions.

就船艺中若干名词术语的定义及英文翻译出现的问题进行了多方位的探讨与分析，并提出了如何正确命名的建议。

In Chapter 2, we recapitulate some fundamental definitions and propositions of topological degrees and some fundamental results about the computation of topological degrees;in Chapter 3, applying relative definitions and propositions of topological degrees, we establish product formulae of topological degrees in product space, in particular, the product formula of fixed point index on product cone, moreover, combining with the fundamental propositions and the computation of fixed point index, we obtain some fixed point theorems on product cone.

为此，在第二章中，我们给出了拓扑度的基本概念和性质以及拓扑度计算方面的基本结果；在第三章中，运用拓扑度的有关知识，我们建立了乘积空间中各类映射的拓扑度的乘积公式，特别是乘积锥上的紧连续映射的不动点指数的乘积公式，进一步，结合不动点指数的基本性质和不动点指数计算方面的基本结果，得到了乘积锥上的若干不动点定理。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。