查询词典 finite

OWL DL supports those users who want the maximum expressiveness without losing computational completeness (all entailments are guaranteed to be computed) and decidability (all computations will finish in finite time) of reasoning systems.

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

In the digital part, the algorithm of the decimator is discussed including the comb filter and the finite impulse response filter.

在数位方面探讨的是降频数位滤波器的演算法设计，包含了梳型滤波器以及有限脉冲响应滤波器。

With the aid of the spectral decomposition and finite expression formula of matrix we can compute matrix function.

利用矩阵函数的谱分解与有限表示形式计算矩阵函数。

Based on S R decomposition theorem and Fourier optical theory, a new technique using computer to analysze laser spectral image s of finite deformation automatically was put forward.

在 S- R和分解定理和 Fourier光学理论的基础上，提出了一种使用计算机对有限变形激光频谱图像进行自动分析的新方法。

Based on S-R decomposition theorem and Fourier optical theory, a new technique using computer to analysze laser spectral images of finite deformation automatically was put forward.

在S-R和分解定理和Fourier光学理论的基础上，提出了一种使用计算机对有限变形激光频谱图像进行自动分析的新方法。

In the paper,an optimal method for node labels in the finite element is presented,which is an inductive and deductive method.

通过对在网格半带宽最小时的节点排列的一些特征进行分析，从其中归纳出3条规律，通过算例验证了该规律的正确性和可靠性。

In the paper, an optimal method for node labels in the finite element is presented, which is an inductive and deductive method.

为提高有限元的计算效率，减少计算数据所需在存储量，提出节点编号优化算法。

Time is finite and infinite. i def

时间既是有限的又是无限的。

Using finite difference time domain method, the electromagnetic field distribution of THz wave is simulated in a THz 2D PC splitter and by plane wave expansion method the dispersion relation and defect modes are achieved in a THz rotated PC waveguide.5. A woodpile three-dimensional (3D) PC with face-centered-tetragonal symmetry is one of the most popular 3D PCs because of its favorable band gap characteristics. Based on the woodpile fct lattice structure, we propose a novel woodpile THz lattice structure with comparatively decreased symmetry, better band gap properties and easy fabrication by varying some structure parameters.

计算结果为利用非线性光学差频方法产生THz辐射源的实验研究提供了深入和全面的理论基础；四、利用平面波展开法，通过改变二维THz光子晶体的结构参数，对二维THz光子晶体完全带隙进行了优化，分析出两种适合工作在THz波段的二维光子晶体结构；采用时域有限差分法和平面波展开法，计算出THz波在二维光子晶体"T"型分束波导，45度旋转波导中传输的电磁场分布以及缺陷模；五、Woodpile面心立方四角结构是三维光子晶体中被研究最广泛的结构之一。

Putt your way through 36 fun-filled holes of minigolf on 3D designed courses with elevated greens, bunkers, bridges and water hazards, among other crazy obstacles.

您的推杆方式，通过36个有趣的填孔迷你的三维设计的课程，以提升绿党，掩体，桥梁和水的危害，除其他疯狂的障碍。

Some participles can be used either as attributes or as predicatives.

有些分词既可当定语用，也可当表语用。