查询词典 classical

Sophisticated community. House clean, elegant type, tomorrow is the first city of the classical type.

社区成熟。房子干净整洁，户型美观大方，算是明天第一城经典户型。

Let n ≥ 4 be a fixed integer, R be a unital commutative ring of characteristic not 2, and D_n be a D_n-type classical Lie algebra over R.

假设n是一个大于等于4的整数，R是特征非2的有单位元的交换环，D_n是环R上的D_n型李代数，N是D_n的一个极大幂零子代数。

The experiment results indicate that V-system is an effective tool used to reconstruct complicated geometric information with both continuous and discontinuous signals. This is the essential difference among V-system, the classical complete orthogonal system with continuous functions and Walsh and Haar system which include intense discontinuous functions.

利用三角域上V-系统进行三维复杂几何模型的重构实验，实验结果表明，V-系统对复杂的、连续间断并存的几何信息重构特别有效，这与经典的连续正交函数系及强间断的Walsh及Haar函数系有本质的不同。

The soundness and completeness theorem of this method were proved at last. This part consists of the following points: 1. The properties of the indecomposable extremely simple form of LP were discussed, the theorem shown that every logical formula of LP was equals of a generalized conjunction normal form. 2. The method for judging a logical formula is a indecomposable extremely simple form or not was discussed, the necessary and sufficient conditions of a logical formula with not more than three implicative connective being a indecomposable extremely simple form was given. 3. The α-resolution fields of the indecomposable extremely simple form of LP were discussed, some elementary results were obtained. 4. The automated reasoning method based on the resolution principle of classical logic was discussed, the author given a method to describe the set of clauses by using a matrix, and translated the resolution of two clauses to column operations of this matrix.

二、关于格值命题逻辑系统LP中α-自动推理方法的研究 1、对LP中不可分极简式的性质进行了研究，证明了LP中任何一个格值逻辑公式等值于一个广义合取范式； 2、对LP中不可分极简式的判定方法进行了研究，讨论了含有不超过3个蕴涵运算的格值逻辑式为不可分极简式的充分必要条件； 3、对LP中不可分极简式的α-归结域进行了研究，得到了一些基本结果； 4、对经典逻辑中基于归结原理的自动推理方法进行了研究，给出了用符号矩阵表示子句集合的一种方法，把不同的归结过程转换成矩阵的列变换。

However, classical manufacture methods cannot meet its special machining requirements because of its complex surface equation.

但由于非球面的复杂结构特性，常规的方法已经不能满足其高精度、高效率的加工要求。

If ψ coincides with ψ, then we get the classical case of a single composition operator C〓.

特别地对于φ=ψ的情况，得到对应情况下关于单个复合算子C〓的经典情形的结果。

It is necessary to point out that our results not only extend the classical results of composition operators C〓 on Hardy spaces, Bergman space, Dirichlet space and Nevanlinna class, but also expand composition operator C〓 to sequence {C〓} or C〓C〓 and C〓C〓, and expand basic spaces to the vector-valued analytic function spaces, etc.

应该指出的是，本文不仅涵盖了经典Hardy空间、Bergman空间、Dirichlet空间、Nevanlinna类上复合算子C〓的原有结果，而且进一步弄清了不同空间之间的复合算子的性质，同时扩展了单个复合算子C〓至复合算子序列{C〓}及乘积算子C〓C〓与C〓C〓的情况，基本空间扩展至向量值解析函数空间的情形等等。

In addition, we note that the Newton limit of the relativistic hydrodynamics equations is the classical compressible fluid Euler equations system. This is one of the motives that we research the relativistic hydrodynamics equations.

此外，我们注意到相对论流体力学方程组的Newton极限即为经典的可压缩流体力学Euler方程组，这也是我们研究相对论流体力学方程组的动机之一。

It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

There are two main types of technical analysis: classical and computerized.

有2种主要的技术分析：经典的和计算机分析的。

The role of the environment is very important.

的作用，环境是非常重要的。

At that time, the High Court of England and Wales Court of Queen's Bench president of William Murray, Lord Mansfield in June 22, 1772 ruling:"No matter then there is the inconvenience, but there must be a decision, I can not say that this case under the law in England are permitted or authorized; are so black should be released."

当时的英格兰及威尔士高等法院王座法庭院长William Murray， Lord Mansfield于1772年6月22日宣判：「无论有那麽不便，但总要有个决定，我不能说这件案在英格兰法律之下是准许或认可；所以黑人是应该被释放。