查询词典 lattice

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.

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

A complete lattice L is a quasicontinuous lattice iff the lattice of all Scott open subsets of L is hypercontinuous and hypercontinuous lattices are continuous lattices which are Hausdorff in their interval topology.

Heckmann从幂domain的构造角度研究了拟连续domain并给出了拟连续domain的拓扑式刻画(见[25])，超连续格具有良好的性质，如可用有限正则关系进行表示，有纯序论的刻画等。

Analyze the nature and characteristic of lattice-ordered structure,andstudy the relation between lattice-ordered preference and the incompleteinformation set of decision-makers;By discussing the relation betweenlattice-ordered preference structure and independence axiom and continuityaxiom,study whether or not independence axiom accords to continuity axiomwith lattice-ordered preference structure,which is for setting up theoreticalbase for weakening the rational behavior axioms.

分析了偏好关系的格序特征，并研究了格序偏好关系与决策人决策信息集不完备性之间的关系；从理论上研究和论证格序偏好关系与VonNeumann-Morgenstern理性行为公理中独立性公理和连续性公理的相容性问题，为公理弱化奠定理论依据

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语言作了一定的探讨。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。