查询词典 complemented lattice

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

In the second chapter we introduced the lattice vibration of the integrated lattice, discussed the one dimensional monoatomic chain and one dimensional diatomic chain, and drew out clear picture of the lattice

对一维单原子链和一维复原子链的情况分别进行讨论，给出了明晰的晶格振动图像。

In this paper, the determinant and adjoint for a lattice matrix are studied, and some properties of the determinant and adjoint for lattice matrices are given.

研究了格矩阵的行列式与伴随矩阵，给出了它们的一些代数性质，同时给出了由一个格矩阵构造一个传递矩阵的方法。

Lattice implication algebra is an algebraic system combinating lattice with implication algebra.

格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。

The lattice is a kind of important algebraic structure. In our life, many phenomena can be described by lattice, especially non-comparability.

格是一类重要的代数结构，现实世界中的很多现象都可以用格来刻画，尤其是不可比较性。

Lattice is an important kind of algebraic structure. In our life, many phenomena can be described by lattice, especially non-comparability.

格是一类重要的代数结构，现实世界中的许多现象都可以用格来刻画，尤其是不可比较性。

The angle of every diffraction line of ZSM-5 molecular sieve determinedby X-raydiffraction, we obtained accurate lattice constant by using the least square method, and SiO_2/Al_2O_3 ratio of ZSM-5 molecular sieve according to empirical formula of lattice constant connectedwith SiO_2/Al_2O_3 ratio .

用x射线衍射最小二乘法测定ZSM－5分子筛的晶胞参数，经ZSM－5分子筛硅铝比与晶胞参数关联的经验公式，得到ZSM－5分子筛的硅铝比。

And the lattice distance expands anomalously with decreasing particle size. Using the model of long-range interaction and its cooperative phenomena altered by particle size, the size-induced cubic-tetragonal phase transition, the anomalous lattice expansion, and the change in chemical bonding characters have been well understood.

采用长程相互作用的晶粒尺寸效应模型，对钛酸钡纳米晶结构相变、晶格间距异常增加、价键性质变化等实验现象给出了合理的统一的解释；并把该模型扩展到解释与钛酸钡晶体具有不同共价性成分的氮化镓等纳米体系的相变以及晶格结构变化现象。

In order to further the research on intellectualizing of arborescences, lattice theory is applied on arborescences by defining zero element. At the same time, it is proved that an arborescence coith zero element is a lattice under a partially ordering relation.

为了促进树形图结构的智能化研究，通过引入零元的概念将树形图结构转化为格结构，证明了加入零元的树形图可在给定序关系下构成格，进而将格的有关理论引入树形图的逻辑运算中。

In this thesis we have studied the lattice vibration of one dimensional atomic chain, researched the lattice vibration and the location of the localized modal while adding the impurity atom.

本文主要对一维原子链的晶格振动以及加入杂质原子后晶格的振动情况与局域振动模的分布情况进行了细致的研究。

Although translator has turned from being a crystal ball by which the original culture can unrestrainedly penetrate to another crystal ball by which the target culture can freely traverse, the translator's personal embodiment, in the process of cognitive act, are still absent in translation studies. Translators are still subjects without body or simply disembodied subjects.

译者虽然由原语文化可以自由穿透的玻璃球变成了译语文化可以自由穿越的玻璃球，但译者认知过程中的个体体验在翻译研究中依然缺席，译者依然仅仅是一个没有躯体体验的主体。

Chillingly, he claimed our technology is 'not nearly as sophisticated' as theirs and "had they been hostile", he warned 'we would be been gone by now'.

令人毛骨悚然的，他声称我们的技术是'并不那么复杂，像他们一样，和"如果他们敌意"，他警告说，'我们将现在已经过去了。