查询词典 classical
- 与 classical 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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种主要的技术分析:经典的和计算机分析的。
-
A molding for a cornice, having a partly concave and partly convex curve in profile, used especially in classical architecture.
反曲线饰纵断面部分为凹线,部分为凸形的檐口的线脚,尤用在古典建筑中
- 推荐网络例句
-
However, as the name(read-only memory)implies, CD disks cannot be written onorchanged in any way.
然而,正如其名字所指出的那样,CD盘不能写,也不能用任何方式改变其内容。
-
Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.
镀锌钢托盘多用于出口,替代木托盘,免薰蒸,符合欧盟、北美各国对出口货物包装材料的法令要求;喷涂钢托盘适用于重载上货架之用,托盘表面根据需要制作成平板状、波纹状及间隔形式,满足不同的使用要求。
-
A single payment file can be uploaded from an ERP system to effect all pan-China RMB payments and overseas payments in all currencies.
付款指令文件可从您的 ERP 系统上传到我们的电子银行系统来只是国内及对海外各种币种付款。