- 更多网络例句与子格相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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.
关于格蕴涵代数的研究本文在已有的格蕴涵代数研究结果基础上,首先研究了格蕴涵代数中蕴涵滤子、素蕴涵滤子、极大蕴涵滤子和超滤等的性质和相互的关系,然后重点较系统地研究了两类覆盖面较广的格蕴涵代数:完备的且原子的格蕴涵代数和内射的格蕴涵代数。
-
The main results of this paper are given as follows: In the first chapter , the concept of fuzzy filter is introduced. Some of its properties are investigated. The structure of fuzzy filters is discussed and it is proved that the set of all fuzzy filters of a residuated lattice is a distributive and complete lattice .
本文的主要内容如下:本文的第一章在剩余格中引入了Fuzzy滤子的概念,得到了它的一些特征性质;给出了Fuzzy滤子的结构,证明了剩余格中的Fuzzy滤子之集构成完备的分配格;利用Fuzzy滤子的特有结构,在剩余格中定义了Fuzzy滤子间的两个运算"",""
-
Derivations of Green's functions, Green's function for the Laplacian operator, Green's function for the diffusion operator, Green's function for the wave operator.
格林函数:格林函数推导,广义格林函数,拉普拉斯运算子的格林函数,扩散运算子的格林函数,波运算子的格林函数。
-
Longworth is awfully sick, he said, after what you wrote about that old hake Gregory.
496"自从你写了那篇关于狗鳕婆子格雷戈里的文章,"他说,朗沃思就感到非常烦闷。
-
Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.
本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作,对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究,主要有以下两方面的研究成果:一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究,得到了当L为完备格蕴涵代数时,关于∨,∧,→运算的一些结果; 2、对格蕴涵代数的左幂等元进行了研究,证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和; 3、对格蕴涵代数的滤子的性质进行了研究,证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理; 4、给出了格蕴涵代数中弱滤子的概念,对弱滤子的性质个结构进行了研究,证明了格蕴涵代数的全体弱滤子构成一个拓扑结构,格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。
-
We prove a general formula for the maximum Mannheim weight in finite fields.
借助在图形上将有限域表达成二维平方格的子格,我们证明了确定有限域中最大Mannheim重量的一般计算公式。
-
I WENT down yesterday to the Piraeus [1] with Glaucon the son of Ariston, that I might offer up my prayers to the goddess; and also because I wanted to see in what manner they would celebrate the festival, which was a new thing.
我昨天恰好随阿里斯通之子格劳肯去了趟比雷埃夫斯 [2],怎么也得容我向女神上一柱香吧;还因为我想有人带我进去看看他们将会以怎样的方式去庆祝节日,那是件新鲜事儿。
-
Moreover, the ultraproduct lattice implication algebras and the fuzzy ultraproduct of fuzzy subsets of lattice implication algebras are proposed by using the concept of ultrafilters, with the corresponding properties of fuzzy filters, fuzzy associative filters and fuzzy lattice implication subalgebras being discussed.
另外,文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。
-
On the fuzzy ideals and the ultraproduct of BCK-algebras;2. On the Fuzzy Ideals and Their Ultraproduct of MV-Algebras;3. Moreover, the ultraproduct lattice implication algebras and the fuzzy ultrapr.
另外 ,文中借助于超滤概念提出了格蕴涵代数簇的超积及格蕴涵代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。
-
Concept lattice ; formal context ; sublattice ; subcontext ; horizontal union
概念格;形式背景;子格;子背景;横向合并
- 更多网络解释与子格相关的网络解释 [注:此内容来源于网络,仅供参考]
-
convex sublattice:凸子格
convex set 凸集 | convex sublattice 凸子格 | convex subset 凸子集
-
green operator:格林算子
green function 格林函数 | green operator 格林算子 | green space 格林空间
-
Lagrange multiplier procedure:拉格朗日乘子方法
Lagrange multiplier method | 拉格朗日乘子法[LMM] | Lagrange multiplier procedure | 拉格朗日乘子方法 | Lagrange point | 拉格朗日点
-
Lagrangian function:拉格朗日算子
lagrangian 拉格朗日算子 | lagrangian function 拉格朗日算子 | lagrangian operator 拉格朗日算符
-
Lagrangesche Funktion Lagrangian function:拉格朗日算子
Lagrange-Polynom Lagrange Polynomial 拉格郎日多项式 | Lagrangesche Funktion Lagrangian function 拉格朗日算子 | Lagrangesche Gleichung Lagrange's equation 拉格朗日方程
-
Lagrangian differential operator:拉格兰吉微分算子
舄湖陆侧地 lagoonside | 拉格兰吉微分算子 Lagrangian differential operator | 拉格兰吉函数 Lagrangian function
-
Lagrangian:拉格朗日算子
lagrange theorem 拉格朗日定理 | lagrangian 拉格朗日算子 | lagrangian function 拉格朗日算子
-
sublattice:子格
subjective probability 诸概率 | sublattice 子格 | sublinear functional 次线性泛函
-
complete sublattice:完全子格
complete stand | 完全林分, 郁闭林 | complete sublattice | 完全子格 | complete superstructure vessel | 完全上层建筑船只
-
LORI EVARSON:马克.伊文森 克里格与朱丽之子
朱丽.伊文森 克里格之妻 MARK EVARSON | 马克.伊文森 克里格与朱丽之子 LORI EVARSON | 萝利.伊文森 马克之妻 CLAY