查询词典 modular lattice

The thermodynamical properties of the two dimensional square lattice and the three dimensional simple cubic lattice transverse Ising model with spin - 1/2 are investigated within the framework of the finite cluster appraximation.

本文在有限集团近似的框架内研究了自旋为1/2的二维平方晶格和三维简立方晶格横场伊辛模型的热力学性质，得到了相应的相图，临界温度和临界横场。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

A hybrid method is proposed to study microcosmic characteristics of nanofluid multiphase flows in a lattice Boltzmann approach. Multicomponent lattice Boltzmann model on fine mesh is used in regions where physical parameters, such as density and velocity change tempestuously, otherwise a single component one on coarse mesh is used.

针对纳米流体多相流动的微观特征，提出一种基于格子Boltzmann的多尺度耦合方法，在速度和悬浮纳米粒子分布变化比较剧烈的区域采用细网格多相模型，在其它区域视纳米流体为均匀混合的单相流体，使用粗网格单相模型。

Through studying the variation of lattice constants of Al_2TiO_5 withtemperature, the authors discovered am abnormal phenomenon that lattice constant c of Al_2TiO_5decreases with the increase of temperature.

通过仔细分析钛酸铝的晶格常数随温度变化的特点，发现钛酸铝的晶格常数C随温度升高而降低这一反常现象。

Through studying the variation of lattice constants of Al2TiO5 with temperature, the authors discovered an abnormal phenomenon that lattice constant c of Al2TiO5 decreases with theincrease of temperature.

通过仔细分析钛酸铝的晶格常数随温度变化的特点，发现钛酸铝的晶格常数c随温度升高而降低这一反常现象。

The irregular variation of lattice constants of the a-LiIO3 single crystal originated in the growth process and the fluctuation phenomena of lattice constants under the action of an electrostatic field were investigated by an X-ray double-crystal spectro-meter in the arrangement.

本文用X射线双晶衍射平行排列的方法，观察了α-LiIO_3单晶体生长过程点阵常数a与c不规则的不均匀性以及在静电场作用下c的起伏现象。观测出在静电场作用下a与c的变化和沿电场方向晶体表面层存在点阵常数的梯度。

The statistical property of the wavelet coefficients was analysed and the feasibility of the product lattice vector quantization algorithm based on cubic lattice applied for random variables of generalized Gauss distribution was proved.

分析了小波变换系数的统计特性，通过模拟实验论证了基於立方网格的Product LVQ算法对广义高斯分布随机变量的可行性。

In our study of data compression, an entire research is given to the problem of the index of lattice points in pyramidal lattice vector quantization ,and index algorithms are presented to index the Iattce points of some usually-used lattices,such as ZL, DL, E8 and A16so on.

我们在数据压缩课题研究中，对塔式网格矢量量化中格点的标号进行了探索，给出了常用的几种网络诸如ZL、DL、E8、A16等格点的标号算法。

A new method for indexing large amounts of points inhigh-dimensional space is proposed.The basic principle is as follows:uniformly partition the data space by Lattice vector quantization,store the lattice points by Inverted File,organize the inverted file by Trie tree,and fast access the inverted file by Trie parallel search algorithm.

本文提出一种新的高维空间中点数据的索引方法，其基本原理是用格矢量量化均匀划分数据空间、用倒排文件存储格点、用Trie树实现倒排文件的组织和存储、用Trie并行搜索算法实现倒排文件的快速访问。

This paper presents an efficient algorithm for mining association rules based concept lattice called Arca（Association Rule based Concept lAttice）.

提出了一种新有基于概念格的关联规则挖掘算法Arca（Association Rule based Concept lAttice）。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。