查询词典 lattice

Lattice reduction is not only an important task of lattice research but also a powerful tool for cryptology.

Lattice ；格基规约是格理论研究的一个重要内容，也是密码设计和分析中的一个重要工具。

E2PROM存储- Generate the VME file required for updating Lattice CPLD in embedded systems.

在嵌入式系统中对Lattice CPLD软件升级时所需的VME文件生成所需源代码。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

In this thesis, the models and algorithm of lattice Boltzmann method are studied.

本论文对Lattice Boltzmann方法的各种模型和算法进行了一系列的研究。

Based on the traits of dyadic wavelet decomposition of signal and that of the distribution of wavelet image coefficients, PLVQ and ZR are conjoined by making use of D\-4 lattice. Firstly, Pyramidal lattice vector quantization is adopted to quantize wavelet image coefficients. Nonzero lattice vectors and zero lattice vectors are formed. Secondly, nonzero lattice vectors are dealt with by adopting complex entropy coding. Finally, in order to fix on the position of nonzero lattice vector effectively, that is, to deal with zero lattice vectors effectively, the concept of significant map is introduced into. The significant map is scanned two times from down to up and from up to down.

根据信号的二进小波分解特点和小波图象系数的分布特点，利用D\-4格将PLVQ和零树结合起来，提出了一种基于零树和金字塔格型矢量量化的小波图象编码方法，该方法首先采用金字塔格型矢量方法来量化小波图象系数，以得到非零格点和零格点；然后采用复合熵编码来处理非零格点；最后为了有效确定非零格点的位置，也就是为了有效地处理零格点，又引进了重要图的概念。

This paper mainly discussed applications of Lattice LCMXO256 in portable cable test instrument, which is based on the principle of Electric Time Domain Reflectometry.

摘 要：本文介绍了一种使用 Lattice LCMXO256的便携式电缆测试仪，它采用了电时域反射原理。

In position based matching method, syllable lattice is explained as a sequence of some competition sets and then position specific posterior probability is calculated for all candidates.

在采用位置匹配机制的检索方法中，将音节Lattice解释为具有特定位置标号的若干竞争集的级联，给出了相应的搜索匹配方法，以及匹配路径处于特定位置的后验概率值的计算方法。

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）。

A new dynamic model for simulation of gas flow in fissured coal is established based on lattice Boltzmann method, and is used to simulate two-dimensional gas flow in fissured coal.

基于Lattice Boltzmann方法建立一个新的模拟裂隙煤体内瓦斯渗流的动力学模型，并利用该模型模拟二维裂隙煤体内瓦斯流动。

Lattice Boltzmann method was developed into a flow-field simulating scheme in the middle of 1980s.

Lattice Boltzmann方法是二十世纪八十年代中期发展起来的一种流场模拟方法。

I can not make it blossom and suits me

我不能让树为我开花

When temperatures are above approximately 80 °C discolouration of the raceways or rolling elements is a frequent feature.

当温度高于 80 °C 左右时，滚道或滚动元件褪色是很常见的特征。