查询词典 equivalence class

Music courses include:Amusing Djembe Group,Child Music Enlighten Class,Child Chorus Class,Wood Guitar Class,Child Piccolo Class,Child Melodihorn Class,Violin Class.

课程介绍 Course introduction 音乐课程包括：好玩齐学非洲鼓、儿童音乐启导班、儿童合唱天地、木结他班、儿童牧童笛班、儿童口琴班、小提琴班。

Wrights class theory has great significance in practice to our understanding of the new changes in class relations of contemporary capitalism and the development of Marxism according to the new changes: Firstly, Wright'theory of the new changes in contemporary capitalist class relations will enable our understanding of this class structure to be founded on more complete analytical data, and make us have a more accurate knowledge and understanding about the non-applicability of Marx's prediction in his class theory of polarized class relations in capitalism.

赖特的阶级理论对于我们认识关于当代资本主义社会阶级关系新变化并且根据这种新变化来发展马克思主义具有很大的现实意义：首先，赖特的当代资本主义社会阶级关系新变化的理论，使我们对当代资本主义的阶级结构的认识能够建立在比较完整的数据分析基础之上，也使我们对马克思所预言的资本主义阶级关系两极分化的阶级理论在当代的不适用性有了更加准确的认识和了解。

In opens the high school music appreciation class under the premise, through to the high school music appreciation class education present situation analysis, as well as to music appreciation class teaching classroom instruction present situation analysis, discovers at present the question which exists in the high school music appreciation class teaching, launches the massive discussions, then proposes concrete solution: Music have in the high school music appreciation class teaching system take is esthetic as the core, uses the suitable teaching method to carry on the teaching the main body though; In music appreciation class classroom instruction, must fully display the teaching material resources, the human resources, the modernized teaching aid resources.

在开设高中音乐欣赏课的前提下，通过对高中音乐欣赏课教育的现状的分析，以及对音乐欣赏课教学课堂教学现状的分析，找出目前在高中音乐欣赏课教学中存在的问题，展开大量的讨论，然后提出具体的解决办法：在高中音乐欣赏课教学体系中要以审美为核心，采用适当的教学方法进行教学的主体思想；在音乐欣赏课课堂教学中，要充分发挥教材资源，人力资源，现代化的教具资源。

The algorithm of combinational equivalence checking has become mature. But it is the basic of sequential equivalence checking.

组合电路的等价验证算法目前已发展比较成熟，但它是时序电路等价验证的基础。

In the last section of this chapter, we discuss the relation between flow equivalence and continuous flow equivalence for flows on a compact metric space.

在本章的最后，我们讨论了一般紧致度量空间上的流的流等价与连续流等价的关系。

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

This paper researches on equivalence problem of security protocol and presents the notion of security protocol equivalence.

研究了安全协议的等价性问题，提出了安全协议等价的概念。

It is an open problem for the equivalence principle of extended rotating bodies.It is significant for equivalence principle test for extended rotating bodies with a torsion balance to measure the internal friction torque of a gyroscope.

利用角动量定理对实验采用的电磁驱动机械陀螺的内部摩擦力矩进行测量，分析了这一摩擦力矩对宏观旋转物体等效原理扭秤方案检验的影响，并就此提出了几项改善措施。

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

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

To do so, we define an equivalence relation with finite equivalence classes over state spaces of DTITL models.

通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系，把DTITL的连续状态模型离散化为一阶区间时序逻辑模型。

It's rather showy.I'd like something plainer.

赶花了，我想要素净些的。

The Kremlins Spassky Tower and passers-by are reflected in the wet cobblestones of Moscows Red Square on Feb.

克里姆林宫的斯巴斯克塔和旅客的身影倒映在潮湿的鹅卵石墙上。