查询词典 formalisms

Equipartition and virial theorems within general thermostatistical formalisms The energy equipartition and virial theorems are discussed within general thermostatistical formalisms.

均分和维里定理，在一般热的统计形式主义的能量均分定理和维里讨论了在一般热的统计形式主义。

For numerical computation,we can construct the schemesfrom the two different formalisms,and in some cases,we can prove that the twoschemes based on the two different formalisms are equivalent.

进行数值计算时我们也可以从这两个角度出发去构造算法，在一些情形，我们也能证明从这两个方面构造的算法的等价性。

However,in at early work of Dolan and Jackiw, after the analytic continuation ofthe imaginary time thermal propagator, the result was not the 2 × 2 matrix thermalpropagator in the real time formalisms, but only the 1-1 component of the matrix,which caused singularities like higher order δ function's.

然而在Dolan和Jackiw的工作中，由虚时热传播子解析延拓得到的结果不是实时方法中的二阶矩阵形式的热传播子，而只是其中的1-1矩阵元，从而会导致象高阶δ函数这样的奇异性，本文指出，这个结果是来源于一个隐含的假设，即认为实时方法的背景时空是一个明氏时空。

The relevant theories were information theory, categorical grammar, transformational-generative grammar, dependency grammar, and stratificational grammar in the 1950s and 1960s; artificial intelligence, non-linguistic knowledge bases, formalisms such as lexical-functional grammar, generalized phrase structure grammar, head-driven phrase structure grammar, definite clause grammar, priciples and parameters, Montague semantics in the 1970s and 1980s, neural networks, connectionism, parallel processing , and statistical methods and others in the 1990s.

与之相关的理论有：20世纪50年代和60年代的信息理论，范畴语法，转换生成语法，从属语法，和层次语法；70年代和80年代的人工智能，非语言知识基础，诸如词汇功能语法，广义短语结构语法，中心词驱动短语结构语法，有定从句语法，原则和参数，70年代和80年代的蒙太古语法等这些形式主义；90年代的神经系统网络，连接注意，平行处理，和统计学方法以及其他理论。

There are various nonmonotonic reasoning tools developed for the purpose of decision support with a good effort, which either belong to nonmonotonic formalisms such as defeasible reasoning or belong to nonmonotonic systems such as Truth Maintenance System.

非单调推理理论中的非单调逻辑形式和非单调系统不同的研究重点，可以用来满足系统的陈述性表示和过程性表示要求。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

Theother cross section is a pair of hyperbolic cylinder consisting of two four-dimensionalMinkowskian spacetimes, therefore can explain the doubling of degrees of freedomin the real time formalisms.

另一个截面是由两个四维明氏时空构成的一对超双曲柱面，因而可以解释实时方法的倍自由度。

The ideas and methods of modern differential geometry have found wide application in classical mechanics, in the theory of multibody system dynamics, and in the Lagrangian and Hamiltonian formalisms of mechanics.

微分几何动力学建模理论已经广泛应用于经典力学，多刚体动力学理论和Lagrange和Hamilton动力学建模理论当中。

In comparison, it is proved that the wave functions occuring in the two formalisms are identical, apart from a constant multiple which represents the scalar product of the wave functions of a bare nucleon and a dressed nucleon.

这个常数倍即是物理核子及裸核子的波函数的内乘积。第二，我们讨论了一般的含有二个h函数的Chew-Low方程的解，方程的形式使它们在实轴上在(1，∞)及(-1，-∞)二段上不连续。

Lots of hard work has been done, many new hypotheses hypothecated, and all sorts of formalisms formulated

人们已经做了大量的艰苦工作，提出了许多新的假设，并化成了各种各样的公式。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。