查询词典 lattice

Whereas, what worth to say is thatthe representation theorem in most of literatures is obtained by strengthen thecondition of the membership degree's lattice. Such as it needs the membershipdegree's lattice was dense complete lattice, completely distribute lattice or unitinterval, ect.

但是，值得指出的是，多数文献中的表现定理是对模糊集的值格加强限制条件下得到的，例如有些文献要求值格为稠密完备格、完全分配格或者实单位区间等等。

Is proved to be a residuated lattice. In the second chapter, the concept of congruence relation on a residuated lattice is introduced. It is proved that the quotient algebra of a residuated lattice about the congruence relation is still a residuated lattice. Then as a generalization of the congruence relation, the concept of fuzzy congruence relation is brought in.

本文的第二章首先定义了剩余格上的同余关系，证明了剩余格中的滤子对应一个同余关系，并由该同余关系确定的商代数仍是剩余格；然后将同余关系自然推广，定义了Fuzzy同余关系，证明了Fuzzy同余关系与Fuzzy滤子是一一对应的。

We have established some properties of languages of Lattice of Quantum Automata. For example, the definitions of Right-Linear Grammars of Lattice of Quantum, Regular Sets of Lattice of Quantum and Regular Expressions of Lattice of Quantum have been given.

我们证明了量子自动机格有一些重要的性质：它是分配格当且仅当自动机的基格是分配的；它是模格当且仅当自动机的基格是模格；它是完全格当且仅当自动机的基格是完全格。

The study of operation of lattice dicision-making By applying the concept, theory, method of lattice theory and graph theory, defining and stipulating the method which can reflect the superior or inferior relation among different elements on lattice, and the variable, parameter, operation rule and the compare method, For example, the preference distance and it's working with relecting the superior or inferior relation among different elements on lattice.

借助格论和图论中的有关概念、理论和方法，定义和规定了能描述格上不同元素之间优劣关系及其联系强度的变量、参数、运算规则及其比较方法，如反映不同决策方案的优劣程度差别的"偏好距离"及其计算，并将此理论运用到了具有区间数的群决策问题中去，给出了区间数的一种格序排列方法。

In Chapter 2, a detailed survey on digital image watermarking is presented. InChapter 3, an optimal scheme is proposed to use Human Visual System model tocompute masking function. It will be used to control the strength of watermark signalfor optimal embedding. In Chapter 4, we propose a novel watermarking scheme based on lattice vectorquantization. Some important transform coefficients of the original image are firstlymapped into the nearest neighboring lattice points by using lattice vector quantizer,then watermark signal is added to the lattice points.

本文讨论了数字图像水印及其在多媒体安全中的应用，主要围绕下列问题进行研究和创新：1、优化的水印嵌入模型：本文对基于直接序列扩频技术的水印算法进行了改进，根据人类视觉系统感知模型，提出了优化的水印嵌入模型，在不可感知性条件的限制下，使水印的鲁棒性达到最高。2、基于格矢量量化的图像水印：本文提出了基于格矢量量化的多比特盲水印算法，不需要原始图象就可以实现水印信号的检测和译码。

It is obvious that, in the interface between substrate and diamond film,there exists the lattice strain effect resulting from lattice misfit because ofthe difference between the lattice constants.The lattice strain effect willcause some nonnegligible influences on the processes of diamond films′growth.

在本论文中，我们首次提出了在异质衬底上研究金刚石薄膜生长机理时必须引入晶格应变效应微扰修正的物理思想，并借鉴固体能带应变微扰理论，首次在分子轨道理论框架下建立起计算晶格应变微扰效应的理论，其中包括提出了计算单个化学键应变张量的方法和由分子轨道波函数计算应变微扰Hamilton矩阵元的方法。

Tautologies and F-Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed. As examples,α-Tautologies and F-Tautologies in lattice valued logic systems L〓P and L〓P are discussed in detail.

本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式，作为两个实例，详细讨论了两个格值逻辑系统L〓P和L〓P中的重言式和F-重言式的结构。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

As a special case, we studied the resolution-like procedures of lattice-valued Horn-clause with truth-value in lattice implication algebra, and discussed the lattice-valued Prolog language based on that kind of lattice-valued Horn-clause.

作为特殊情形，特别研究了基于格蕴涵代数的格值Horn子句的类归结方法，并对建立其上的格值Prolog语言作了一定的探讨。

Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.

格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。

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.

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