查询词典 lattice

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.

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

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

The liquid crystal display module is by certain 5*8 lattice block composition demonstration character group;Have 80 bytes RAM ;Every lattice piece is a character place, both character spacing and space be a width.

液晶显示模块是以若干个5*8点阵块组成的显示字符群；具有80个字节的RAM；每个点阵块为一个字符位，字符间距和行距都为一个点的宽度。

Lattice dynamics simulation of ice Hi and clathrate hydrates has been carried out to study the corresponding structural and dynamic properties. Comparisons in PDOS of them were performed and it was found that the spectra resembled each other in both translational and librational regions, which seems to contradict the substantially different lattice structures.

论文用晶格动力学的方法模拟了六角冰和笼型水合物的结构和动力学性质，通过比较其声子振动谱密度得出两者的振动谱在平动区和摆动区都有很强的相似性，这与两者差异巨大的晶格结构很不相称。

It also constructs a lattice graph of frequent closed itemsets and generates association rules base on lattice graph.

GRG构造频繁项集的格关系图并在它的关系上生成关联规则。

By a complemented lattice L we mean a lattice with O, I and supplemented with an unary operation "′"satisfying O′=I, I′=O.

本文讨论可补格的一种分类问题，它是由于考虑多值逻辑的判定问题而引起的。

This paper investigates the problem that the structure of lattice order is not complete in lattice order decision making theory.

研究了格序决策理论中格序结构不完整的问题。

At completeness in theory, we give the base of mathematical morphology-complete lattice, and some nature of complete lattice.

作为理论上的完备性，我们给出了数学形态的代数学基础——完备格理论，并简单的介绍了完备格及其性质。

In this chapter,it investigates a new representative theorem under the condition of which themembership degree's lattice is only complete lattice.

本章也正是在值格仅为完备格的条件下，研究一种新的模糊集表现定理。

We will see more and more activist government policies that distinguish economic activities according to the nationality of the actors.

我们将看到越来越多激进的政府政策，这些政策根据企业的国籍来区分经济活动。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。