查询词典 lattice

The study of lattice implication algebras On the basis of previous results of lattice implication algebras, we firstly studied some properties of implication filters, prime implication filters, maximal implication filters and ultrafilters. Then we laid stress on the study of two kinds of relatively general lattice implication algebras, i. e. complete and atomic lattice implication algebra and injective lattice implication algebra.

关于格蕴涵代数的研究本文在已有的格蕴涵代数研究结果基础上，首先研究了格蕴涵代数中蕴涵滤子、素蕴涵滤子、极大蕴涵滤子和超滤等的性质和相互的关系，然后重点较系统地研究了两类覆盖面较广的格蕴涵代数：完备的且原子的格蕴涵代数和内射的格蕴涵代数。

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滤子是一一对应的。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

A special kind of prime dual ideals are defined in a lattice implication algebra, then their structures and properties are discussed. It is proved that the implication operation on this lattice implication algebra is determined by these prime dual ideals, and all of these prime dual ideals compose a lattice implication algebra which is lattice implication isomorphic to the former lattice implication algebra.

在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数，它和原格蕴涵代数具有格蕴涵代数同构关系。

The concepts of weight lattice structure, sphere lattice structure and lienor lattice structure are introduced to describe it, some properties of the k-error lattice structure are given, and a relationship between the k-error lattice structure and the k-error linear complexity is presented. These create a elementary frame of the stability theory of the lattice structure.

提出了伪随机序列格结构的稳定性问题，引入重量格结构、球体格结构、k-错格结构等概念来描述之，给出了k-错格结构的一些基本性质，并研究了k-错格结构与k-错线性复杂度的关系。

The third part proposes in Luk the concept of lattice-valued truth degrees based on the second part by generalizing truth values from the MV-unit interval(a special MV-algebra) to a general MV-algebra. And the properties of lattice-valued truth degrees suggest that this generalization is natural and reasonable. Because of the equivalence between the two algebra systems, i.e. MV-algebra and lattice implication algebra, it's natural and easy to grade the truth of formulas in lattice-valued propositional logic whose basic algebra system is the lattice implication algebra.

中。 本文第三部分在第二部分的基础上，将Luk中公式的真度值推广到了一般的MV代数上，相对于第二部分的数值真度，给出公式的格值真度，并通过格值真度的性质说明格值真度是数值真度的合理推广。

Secondly, in a more generalized framestructrue--lattice-ordered monoids,the notion of lattice-valued Mealy-type automata is introduced,we traverse some algebraic properties of this automata and investigate the congruences and homomorphisms of this type automata.Our main results indicate that the algebraic properties of lattice-valued Mealy-type automata have Close links to the algebraic properties of lattice-ordered monoids which automata take values in.Futhermore we study the minimization of lattice-valued Mealy-type automata and provide an algorithm to achieve the minimal lattice-valued Mealy-type automata within finite steps.

其次，在更一般的框架—格半群意义下，提出具有输入和输出字符的自动机——格值Mealy自动机的概念，从代数角度出发较详细地研究了此类自动机具有的性质，同时研究了此类自动机的同余和同态，揭示了此类自动机的代数性质和格半群的紧密联系，最终研究了格值Mealy自动机的极小化问题，并给出了在有限步可实现此极小化的算法。

Do you know, i need you to come back

你知道吗，我需要你回来

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

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