查询词典 lattice function

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.

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

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

Though comparing Canny operator and center B spline dyadic wavelet, the following conclusion is proven in this dissertation: a Center B spline function has tight support and Canny operator hasn't. b Center B spline function asymptotic convergence to Gaussian function and the derivative of Center B spline function asymptotic convergence to Canny operator. c The derivative of fourth order center spline B function is more suitable as a optimal edge detector than Canny operator. d Center B spline function can balance the smoothing and approximation of original data, and the fourth center B spline function is the only optimal solution of two order smoothing problem. e The error between the valve of time-frequency uncertainty of the fourth center B spline function and the lower bound of time-frequency uncertainty does not exceed 0.143% of the lower bound. f The derivative of center spline B function can construct a stability dyadic wavelet and can give a fast algorithm for multiscale edge detection, but Canny operator can do neither.

作者给出了Canny算子与中心B样条二进小波严格的比较证明，得出如下结论：a中心B样条函数具有紧支集，Canny算子不具有紧支集。b中心B样条函数的极限收敛于高斯函数，中心B样条函数的导数收敛于Canny算子。c四阶中心B样条函数的导数比Canny算子更接近最佳边缘检测滤波器。d中心B样条函数比高斯函数更能兼顾对原函数平滑和逼近的折中要求，并且四阶中心B样条函数是二阶逼近问题的唯一最优解。e四阶中心B样条函数的时频测不准关系值与时频测不准关系下界的逼近误差不超过0.143％。f中心B样条函数的导数可以构成稳定的二进小波，存在快速的多尺度算法；而Canny算子不构成稳定的二进小波，无法给出快速的多尺度算法。

There are two types of gold deposits in this area, namely altered rock type and quartz vein type.

本区金矿床包括两种类型：柴胡栏子金矿床为蚀变岩型金矿；莲花山和红花沟金矿床属石英脉型。

You were home and it was two weeks ago.

你回到了家里。当时是两周前。