查询词典 equivalence problem

It has been showed that the quantum PCII can be still valid for the general case Jacobi J 1, which is different from quantum Noether theorem. The equivalence between quantum canonical equation and PCII is deflved at the quantum level. The comparisons of these results in quantum level with those in classical theories are discussed in detail. The relationship of canonical transformation with quantum PCII is obtained.

结果表明，当变换的Jacobi行列式不为1时，量子PC积分不变量仍然存在，从而把PC积分不变量推广到了最一般情形；在量子水平上，证明了量子正则方程与该积分不变量之间的等价性；比较了经典与量子PC积分不变量以及PC积分不变量与Noether定理；给出正则变换与量子PC积分不变量间的关系。

The year 1600 was one of the most important landmarks in musical history, witnessing the rise of recitative, cantata, opera and its religious equivalence, oratorio.

1600年是音乐史上一个具有里程碑意义的年份，在这一年中相继出现宣叙调、康塔塔、歌剧以及反映宗教情绪的音乐形式清唱剧。

The midpoint and equivalence point for carbonic acid are much higher.

碳酸滴定中点和等量点也高得多。

The scoring criterion of learning chain graphs induced by the evaluating criterion is score equivalent, so it is appropriate to search among equivalence classes of chain graphs.

这个原则具有得分等价性，即等价的链图有相同的得分，这样我们就可以使用搜索+得分的模型学习方法进行链图的学习。

An important method of graphical model selection is to use scoring criteria to measure how well the graph structures fit the data. We present seven operators which can be applied to representations-largest chain graphs of equivalence classes.

由观察数据学习链图的结果仍然是一个等价类，当采用具有得分等价性的得分原则时，最好选择链图等价类空间作为搜索空间，这样可以避免对等价的链图重复得分。

Based on the methods and techniques of covering theory, the structure of module category of tame concealed algebra, one-point extension, vector space category, finite enlargement, degeneration theory, stable equivalence and combinatorial method, we will classify all of the three-point algebras with Gabriel quiver the system quiver Q according to representation type. We get the classification theorem: Let A=kQ/I be a three-point algebra given by the system quiver Q.

本文综合利用覆盖理论，tame concealed代数模范畴的结构，单点扩张，向量空间范畴，有限enlargement，退化理论，稳定等价以及组合的方法等多种方法和技巧，将所有由系统箭图Q给出的三点代数按表示型进行分类，得到如下分类定理：Q是系统箭图，I是kQ的一个admissible理想。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

The algebraic and coalgebraic methods in computer science is investigated in general, including its basic ideas, the categorical properties of algebras and coalgebras, initial algebra and final coalgebra, bisimulation and behavior equivalence, coalgebraic specifications, and coalgebraic logics.

对代数方法与共代数方法的基本概念、代数与共代数范畴的性质、初始代数与终结共代数、双模拟与行为等价、共代数规范以及共代数逻辑进行了比较全面和深入的研究。

There is a slight difference between the change in indicator color and the actual equivalence point of the titration.

指示剂颜色的改变与真实等当点之间存在着微小差异。

Finally, we study the equivalence theorem and the comparison theorem of semiconvergence for the second quasi-nonnegative splitting.

最后讨论了第二型quasi非负分裂半收敛的等价定理和比较定理。

World War II: Battle of Saipan - Americans take Saipan.

1944年的今天，美国在塞班战役中拿下塞班岛。

When the scorner, the rejecter of truth, has become presumptuous; when the routine of work in the various money-making lines is carried on without regard to principle; when the student is eagerly seeking knowledge of everything but his Bible, Christ comes as a thief.{DA 635.3

当讥诮和拒绝真理的人，到了任意妄为时，当追求财利者罔顾按道义经营谋利时，当学人正在兢兢业业地研究各种知识，而单把圣经丢在一边时，基督要像贼一样来临。