查询词典 equivalence class

We focus on a particular class of subsets in the above topological space which is named support-bounded constructible subset as an analogue of constructible subsets in module variety and is invariant under derived equivalence.

我们研究了复形拓扑空间的一类特殊的子集合，称为支撑有界可构集，它是普通模簇上可构集在导出范畴上的类比并且是导出不变的。

In the text, first introduce the constitute, principle and characteristics of the cchp system which is a comprehensive energy system; in the following, overview the domestic development and the research situations of outside in this realm; immediately after, introduce in brief the research object"s engineering general situation and the design projects that be brought up aimed at this engineering in this text; then detailed discuss a kind of lately thermal economics cost absorption method- the method of share the cost of the product"s Exergy according to the ability class, and make use of this method and the product Exergy equivalence method and steam equivalence method to carry economics analysis to the design project respectively,and carry on the economy compared for the calculation of the several kind different cost absorption method from the point of view that the price of the energy Exergy.

文中，首先介绍了热电冷联产这一综合能源系统的组成、原理及特点；综述了国内外在这一领域的发展和研究概况；接着，简单的介绍了本文所研究对象的工程概况及针对本工程所提出的设计方案；然后详细讨论了一种新的热经济学成本分摊方法-按能级分摊产品火用成本法，并分别运用此方法和产品火用等价法、蒸汽等价法对设计方案进行经济性分析，从能量火用价格的角度对几种不同分摊方法的计算结果进行经济性比较。

Secondly,the deterministic equivalence problem of theprobabilistic inequality is discussed,and the expression formula of thedeterministic equivalences for several commonly used probabilitydistributions,such as normal,exponent,uniform,β and Γ distributions etc.,are given for the linear function with respect to random variables,which solvesthe problem of the deterministic equivalence for the linear-function-class.

其次，本章讨论了概率不等式的确定性等价问题，就随机变量的线性函数类，给出了与几种常用的概率分布，如正态分布、指数分布、均匀分布、β分布、Γ分布等等，相关的确定性等价问题。

Based on a kind of orthogonal complete functions in L2[0,1], another one (called V-system) which has equivalence relation with U-system is created. It is a kind of new and effective mathematical tool on signal multi-resolution analysis. Besides that V-system keeps the favorable properties of U-system and can accurately reconstruct geometry information which expressed in piecewise polynomials by finite sum of functions in V-system, it has more special properties, such as simple construction, abundant levels, convenience of application, quick calculation, local support, and so on. V-system is the generalization of Haar orthogonal functions, and to be a class of wavelet base. It has a good future for some applications in the fields of wavelet analysis and signal processing.

从L2[0，1]空间的一类正交完备函数系U系统出发，构造了另一类与之等价的正交完备函数系，称之为V系统，它是信号多分辨分析方面的一种新型的、有效的数学工具。V系统不仅保持了U系统的优良特性，对多项式表达的几何信息能够做到有限项精确重构，并且较之U系统，它更有结构简单、层次分明、计算快捷、局部支集等特点，应用起来将更加灵活方便。V系统可以看作是Haar函数系的推广，是一类小波基，在某些数字信号处理及小波分析问题中有良好的应用前景。

In Chapter 2, a class of fuzzy finite automata corresponding to the Mealy type of ordinary automata is formulated and two types of statewise equivalence relations are introduced.

在第二章中，对应于经典Mealy型有限状态自动机的一类模糊有限状态自动机-新Mealy型模糊有限状态自动机被建立。

Moreover, when changing the equivalence ratio of isocyanic acid ester and hydrogen class compound, solid's performances also change along with it.

并且，改变异氰酸酯和含活泼氢类化合物的当量比，因交联密度的不同，所得的固结体的性能也随之有所变化。

The invariant V (A , [1〓] that we used for unital case is the semigroup of Murry-von Neumann equivalence classes of projections in matrices over C〓-algebras together with the class of the unit.

我们用来分类的不变量（V，[1〓]）是A的矩阵代数中所有投影的Murry-von Neumann等价类所成的半群及单位元所在的等价类。

In order to facilely perform testing on C or C++ programs, a prototype tool called CppTest is designed and implemented. It can employ three levels'testing, namely (1) structural testing in method level by analyzing program's constructs, instrumenting probes, redirecting I/O stream, etc.,(2) state-based class level testing through modeling state transition behaviors using an extended finite state machine from the class specifications, and (3) system level black-box testing with some traditional strategies such as equivalence partitioning and boundary-value analysis.

以目前普遍使用的C/C++程序作为测试对象，实现了一个能进行方法级、类级和系统级三个级别测试的原型系统CppTest：基于程序CFG图分析、探针插装和I/O重定向等技术，实现方法级结构性测试；按照需求规约运用EFSM对类的状态转换行为进行建模，并依此自动生成测试用例集，实现基于状态的类测试；在系统级别上，运用等价类划分、边界值分析等常规策略进行黑盒测试。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失