等价关系

Let L and P be Lie color algebras and let M be a graded module over P, the crossed modules which make M as their kernal and P as their cokernal are considered. It is shown that under a suitable equivalent relation, there is a bijection between the set of the equivalent classes CML and the homogeneous components of degree zero of H~3.

从交叉模的定义出发，对于给定的Lie color代数L，P以及阶化P模M，考虑所有以M为核、以P为余核的L的交叉模，在这些交叉模之间定义了一个等价关系，由此得到交叉模的等价类集CML，证明了CML与三维上同调群H~3的零次齐次部分之间存在一一对应，从而可以利用三维上同调群对Lie color代数的交叉模进行分类。

Our first main result is (see §9.1) 9.1. Theorem. Let a =∈〓.χ={i =｜〓=〓}, where 〓 is the unique longestelement in Weyl group of complex semi-simple Lie algebra for type 〓. Thencorresponding to 62 equivalence classes in χ for certain equivalent relation ～,we have 62 monomial elements in canonical basis, each of them correspondsto a region which consists of six independent inequalities.

我们的第一个主要结果是群的唯一最长元素，那么与χ的关于某种等价关系～的62个等价类对应，在典范基中有62个单项式元素，每个单项式元素对应一个由六个独立不等式构成的区域。

At the beginning of this thesis, the author gives the definition and the equivalent definition of convex function, and then proves the equivalent relationship between them. Secondly the author proposes the decision theorem of convex function which provides a judgment basis of whether a function is a convex function. Thirdly the author summarizes and proves the convex function's operational, basic, differential and integral property. Finally the author proves several famous convex function inequalities, such as Jensen inequality, Holder inequality, Cauchy inequality. The author also provides the application of these inequalities and illustrates the importance of convex function's basic inequality and integral property in the proving process.

本文开始给出了凸函数的定义及等价定义，并证明了它们之间的等价关系；接着提出了凸函数的判定定理，对一个函数是否是凸函数提供判断依据；然后对凸函数的运算性质、基本性质、微分性质、积分性质四个方面的性质进行了总结，并给予了证明；最后证明了凸函数的几个著名不等式詹森不等式、赫尔德不等式、柯西不等式，给出了这几个不等式的一些应用实例，并举例说明凸函数的基本性质和积分性质在不等式证明过程中的重要作用。

At the beginning of this thesis, the author gives the definition and the equivalent definition of convex function, and then proves the equivalent relationship between them. Secondly the author proposes the decision theorem of convex function which provides a judgment basis of whether a function is a convex function. Thirdly the author summarizes and proves the convex function's operational ,basic , differential and integral property. Finally the author proves several famous convex function inequalities, such as Jensen inequality, Holder inequality, Cauchy inequality and Minkowski inequality. The author also provides the application of these inequalities and illustrates the importance of convex function's basic inequality and integral property in the proving process.

本文开始给出了凸函数的定义及等价定义，并证明了它们之间的等价关系；接着提出了凸函数的判定定理，对一个函数是否是凸函数提供判断依据；然后对凸函数的运算性质、基本性质、微分性质、积分性质四个方面的性质进行了总结，并给予了证明；最后证明了凸函数的几个著名不等式詹森不等式、赫尔德不等式、柯西不等式和闵可夫斯基不等式以及这几个不等式的应用，并举例说明凸函数的基本性质和积分性质在不等式证明过程中的重要作用。

Periodic punctured binary complementary sequence pair set is proposed.

研究了其等价变换性质，及其与非周期屏蔽二元互补序列偶集的等价关系。

According to the equivalence relation on the set of security protocol,equivalence class of security protocol is divided,so amount of researching security protocol is decreased.

利用安全协议集合上的等价关系，可以划分出安全协议等价类，从而减少了需研究的安全协议的数量。

A widely used method for checking real-time systems is,according to the real-time property to be checked,to use a proper bi-simulation equivalence relation to convert the infinite-timed state space to a finite equivalence class space.

一个被广泛用于验证实时系统的方法是根据被验证的实时性质，使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间。

Based on the method of similarity measure, it proves that the equivalence relation of rough set can be transformed into fuzzy equivalence matrix comp.

在这种相似性度量方法基础上，证明了粗集的等价关系可以被转化为模糊等价矩阵。

In this paper,we first establish an equivalence between a vector variational inequality problem and a generalized variational inequality problem.

文章首先建立了向量变分不等式与广义变分不等式之间的等价关系，然后利用这个结论，建立了向量变分不等式的Levitin-Polyak适定性与广义变分不等式的Levitin- Polyak适定性之间的等价关系。

The notion of weak fuzzy similarity relations,a generalization of fuzzy similarity relations,is used to represent indiscernibility of elements.

为此提出用模糊相似关系和弱模糊相似关系的概念来代替等价关系，同时引入了弱模糊相似关系的相似度概念和相似类概念，定义了基于弱模糊相似关系的广义粗糙集及标准的广义粗糙集上下近似；研究了两对上下近似算子的性质，讨论了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.

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