查询词典 formalisms

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.

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

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

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

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

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

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.

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

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。