查询词典 complemented lattice

In the doctoral dissertation,which focuses in lattice-ordered preferencestructure theory and lattice-ordered decision-making theory,lattice-orderedpreference relation displaces complete preference relation in order to makecharacterization of preference structure general,and in order to propose a newthinking of weakening completeness axiom,and also in order to put forward atheoretical base for setting up the rational behavior axioms and utility theorywith lattice-ordered preference structure.

本文有关格序偏好关系理论的研究将Von Neumann-Morgenstern理性行为公理中偏好关系的全序描述推广为格序描述，使得对偏好结构的描述更为一般化，并且为弱化公理体系中完全性或连通性假使提供一条新思路，为建立基于格序理论的理性行为公理及其相关的效用理论提供理论依据。

It is proved that a complete lattice is completely distributive lattice if and only if it is both semi-Smooth lattice and semi-continuous lattice.

证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格。

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个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

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'.

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