查询词典 equivalence

The equivalence of canonical equation and Heisenbergs Equation to harmonic oscillator systems are verified.

从而验证了海森伯方程和哈密顿正则方程对谐振子系统的等价性。

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.

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

These problems include the selfadjointness of the coefficient matrix operator, the functional of the matrix operator equation, the equivalence between variational problem and boundary value problem of eddy-current fields, and the extreme value principle of the functional.

本文首先从求解时谐涡流场的〓-ψ法与〓-Ω法的矩阵算子方程出发，提出了时谐涡流场的统一矩阵算子方程，进而系统地讨论了该方程的系数矩阵算子的自伴性、矩阵算子方程的泛函、涡流场边值问题与对应变分问题的等价性以及泛函的极值原理。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。