| 
			
		 | 
	
	
	
	
		| 
			 
				说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
			 
		 | 
	
	
	
	
		
		| 
			
		 | 
		
		
		
			 您的位置: 首页 ->  词典 -> 格蕴涵代数不等式   		
							
			
				
				
		 
				
					1)  lattice implication algebra inequality
					 	
					
				 
				格蕴涵代数不等式 
			 
				
					2)  lattice implication algebra
					 	
					
				 
				格蕴涵代数 
				
					1. 
					
						On Method of a Class of Finite Lattice Implication Algebraic Equations;
					  
					
						 
						关于一类有限格蕴涵代数方程的解法 
					 
				 
				
					2. 
					
						Prime Dual Ideals of Lattice Implication Algebra;
					  
					
						 
						格蕴涵代数的素对偶理想 
					 
				 
				
					3. 
					
						Some Remarks on Structure of Lattice Implication Algebras;
					  
					
						 
						关于格蕴涵代数的结构的一些讨论 
					 
				 
		
			 
				
					3)  lattice implication algebras
					 	
					
				 
				格蕴涵代数 
				
					1. 
					
						In this paper, the concept of ultrafilter of  lattice implication algebras is proposed.
					  
					
						 
						文中提出了格蕴涵代数中超滤的概念,研究了它与素滤子及有限交性的关系,并证明了它与极大真滤子的等价性,为进一步研究相应的超积理论打下了基础。 
					 
				 
				
					2. 
					
						Furthermore,the relations between commutative weak R_0-algebras and lattice implication algebras are found out.
						 
						探究了可交换弱R0代数与格蕴涵代数之间的关系,以及与MV代数之间的关系。 
					 
				 
		
			 
				
					4)  pseudo lattice implication algebra
					 	
					
				 
				伪格蕴涵代数 
				
					1. 
					
						To provide a logical foundation of reliability for intelligent information processing and artificial information theory,especially for the fuzziness,the incomparability in uncertain information in the inference,the paper proposed a class of pseudo logical algebra-pseudo lattice implication algebras in the research framework in lattice implication algebras(LIA).
						 
						为智能信息处理、人工智能理论提供一个可靠的逻辑基础,特别是含有模糊性和不可比较性的不确定性信息处理,提出了一类伪逻辑代数——伪格蕴涵代数,它是格蕴涵代数的非交换推广。 
					 
				 
			 
				
					5)  lattice implication algebraic equation
					 	
					
				 
				格蕴涵代数方程 
				
					1. 
					
						On Method of a Class of Finite Lattice Implication Algebraic Equations;
					  
					
						 
						关于一类有限格蕴涵代数方程的解法 
					 
				 
				
					2. 
					
						According to the theory about logic algebraic equation,the notion of lattice implication algebraic equation was proposed.
						 
						根据逻辑代数方程理论,提出了格蕴涵代数方程的概念。 
					 
				 
		
			 
				
					6)  lattice H implication algebra
					 	
					
				 
				格H蕴涵代数 
				
					1. 
					
						In this paper, the properties of lattice H implication algebra are researched, some equivalent conditions about lattice H implication algebra are given, and the proper class problems and the cardinal problems of lattice implication algebra are discussed.
						 
						本文研究了格H蕴涵代数的性质,给出了它的一些等价条件,讨论了格蕴涵代数类的真类问题和基数问题。 
					 
				 
	 
	 
		补充资料:Harnack不等式(对偶Harnack不等式) 
																																												Harnack不等式(对偶Harnack不等式) 																			quality (dual Hatnack inequality) Harnack in-																			     【补注】一直到G的边界的H助nack不等式,见【AZI.l翻..‘不等式(对停H山丸朗k不等不)[ Har.改沁-勺函勺(d切红Hat’I犯‘k如为uaJ卿);rap.姗二p魄HcT助(月加湘oe)]    给出正调和函数的两个值之比u(x)/“(y)的上界和下界估计的一个不等式,由A.Hai,剐火(汇IJ)得到.令u)0是n维E议当d空间的区域G中的一个调和函数;令E。(y)是中心在点y处半径为;的球{x:}x一y!<;}.若闭包万了刃.CG,则对于所有的、“凡(,),o 0是常数,亡“(省:,…,氛)是任一。维实向量,叉‘G.不等式(2)中的常数M仅依赖于又,A,算子L的低阶项系数的某些范数以及G的边界与g的边界之间的距离.                                fy,1,  …粤馨    对于形如u:+Lu“0的一致抛物型方程(算子L的系数可以依赖于t)的非负解:(x,t),类似于1压ar-恤比不等式的不等式也成立.在此情形下,对于顶点在点(y,动处开口向下的抛物面(图a)  {(x,t川x一,I’<。,(T一t),:一v,簇t簇:}的内部的点(x,t),只能有单边的不等式(fs」):              u(x,r)(M妇(y,T),这里,M依赖于y,T,又,A,料,,,算子L的低阶项系数的某些范数,以及抛物面的边界与在其中“(义,t))0的区域的边界之间的距离.例如,如果在柱形区域                Q二Gx(a,b],中“〕O,此外,歹CG,并且如果刁G与刁g之间的距离不小于d(>0),而d充分小,那么在gx(a一矛,bJ中不等式    。(、.t、___/,、一。1,.:一:.八    1。,二之二止,二止匕成几11止二一一丈‘.+一+11        u气y,T)\下一I“/成立(协J).特别地,如果在Q中u)0(图b),且如果对于位于Q中的紧集Q,和QZ有              占“们山n(t一:)>0,                          (义,t)‘Q-                          (y.下)〔QZ那么有          n知Lxu(x,t)簇M nunu(x,t),              (x,‘)‘QZ(x,‘)‘Q-其中M“M(占,Q,QI,QZ,L).函数    ·、·,‘卜exn(‘睿,、‘一暮“:)—对于任意的k,,…,气,它是热方程u,一△拟“0的解—表明在抛物型情形下双边估计的不可能性,     
		  
		说明:补充资料仅用于学习参考,请勿用于其它任何用途。 
	 
	
			
 
					参考词条 	
					
		 
			
		 |