弱MTL代数的演绎系统与同余关系的对应定理

通过在剩余格L中引入条件:a,b∈L,(a→(a→b))∨(b→(b→a))=1,建立弱MTL代数结构,讨论弱MTL代数中极大(素)演绎系统和极大(素)同余关系的基本性质以及两者之间的联系,证明了弱MTL代数中(极大,素)同余关系与(极大,素)演绎系统一一对应。     

关于Pell方程,,是素数ax2-mqy2=±1(m∈Z+,2▕a,q≡±1(mod4)是素数)

Pell方程ax2-by2=±1(a,b∈Z+,a,b不是完全平方数)可解性的判别是一个非常有意义的问题.运用Legendre符号和同余的性质给出了形如ax2-mqy2=±1(m∈Z+,2 a,q≡±1(mod4)是素数,a,m,q是非完全平方数)型Pell方程无正整数解的几个结论.这些结论对研究狭义Pell方程x2-Dy2=±1(D是非平方的正整数)起了重要作用.     

PMS-代数的同余理想

给出PMS-代数L的主同余θ（0,b）及θ（a,1）的一个新的刻划,利用这个刻划,得到理想I=（d]是同余理想的充要条件,从而断定L的同余理想只能是正则理想．     

M_3与一次同余方程之解的一种关系

我们姑且界说f=f(a,b,…,c)的显式为:对a,b,…c只进行固定的有限次数四则运算及取〔〕运算。本文证明了:如果能给出M_3的显式,则能给出一次同余方程之解的显式。     

同余关系格是完全 Stone格的格

本文主要研究具有完全Stone同余关系格的格,为此我们给出一个条件(S):称格L的真商u/v满足条件(S),如果对L的任意满足的真商a/b,c/d,存在真商x/y,满足通过条件(S),我们给出了格L的同余关系格C(L)的骨架S(C(L))中原子(如果存在)的形式及S(C(L))为原子格时格L的特征,最后我们得出本文的主要结果:格L的简余关系格C(L)是完全Stone格的充要条件是:对任意a,b∈L,a>b,存在有限链使得对每个i_0,x_(i-j)/x_i满足条件(S)。     

MS-代数的一类主同余关系

讨论了MS-代数的主同余关系的性质，当a=a^00或b=b^00时给出了MS-代数的主同余关系θ(a，6)的一个新的表达式．     

关于Pell方程ax~2-mqy~2=±1(m∈Z~+,3|a,q≡±1(mod6)是素数)

Pell方程ax2-by2=±1(a,b∈Z+,ab不是完全平方数)可解性的判别是一个非常有意义的问题.本文运用Legendre符号和同余的性质给出了形如ax2-mqy2=±1(m∈Z+,3|a,q≡±1(mod 6)是素数,amq是非完全平方数)型Pell方程无正整数解的几个结论.这些结论对我们研究狭义Pell方程x2-Dy2=±1(D是非平方的正整数)起了重要作用.     

多线性分数次积分交换子在加权Morrey空间上的估计

设m∈N,b=(b_1,…,b_m)是一个局部可积函数族,I_(a,m)~(Πb)和I_(a,m)~(∑b)是由多线性分数次积分算子I_(a,m)与函数族b所生成的多线性交换子.当b∈BMOm时,考虑了交换子I_(a,m)~(Πb)和I_(a,m)~(∑b)在加权Morrey空间上的有界性.     

关于a(mod p)≤b(mod p)+1

ERDO S等于1987年曾证明了:对于正整数a,b,如果对所有素数p,a,b被p除所得余数分别为a(m od p),b(m od p),都有a(m od p)≤b(m od p),则a=b.该文则研究对哪些正整数a,b,满足对所有素数p,恒有a(m od p)≤b(m od p) 1,对1≤a≤5,确定了所有的b.即当a=1时,b可取一切正整数;a=2时,b=2k,k=0,1,2,…;a=3时,b=2,3,4,9;a=4时,b=3,4;a=5时,b=4,5.     

关于D.H.Lehmer数及其相关问题

设p是奇素数.对任一整数a且1≤a≤p-1,显然存在唯一的整数0≤b≤p-1,使得ab≡1modp.设N(p)表示同余方程ab≡1modp满足1≤a,b≤p-1,且a和b具有相反的奇偶性的所有整数a的集合,S(p)表示满足a+b≡1modp的所有a,b∈N(p)的解的个数.利用解析方法以及Gauss和的性质,研究了D.H.Lehmer数的相关问题,证明了存在两个整数a,b∈N(p),使得a+b≡1modp,并得到了关于S(p)的一个较强的渐近公式.     

应用拉格朗日中值定理证函数不等式

如果函数y=f(x),在[a,b] 内连续,在区间(a,b)内可微,则有 f(b)-f(a)/b-a=f′(ξ) 其中ξ∈(a,b),b>a这时设y=f′(ξ)是[a,b]上的有界函数,则有如下结论:(1)若f′(ξ)≥m f(b)-f(a)≥(b-a)m(2)若f′(ξ)≤m f(b)-f(a)≤(b-a)m(3)若n≤f(ξ)≤m n(b-a)≤f(b)-f(a)≤m(b-a)     

两类G_t~s(a,b;c,d)图的着色

在综述国内外关于广义多边形树Gst(a,b;c,d)着色研究的基础上,对一些广义多边形树Gst(a,b;c,d)(s t=2)组成的图类2ξ(a,b;c,d)的着色、色唯一和色等价类等相关问题进行了研究,得到了两类特殊图2ξ(m,m;m,m)(m≥2)和2ξ(a,a;b,b)(a≠b)且min{a,b}≥2是两个色等价类的结论.     

两类Gst(a,b;c,d)图的着色

在综述国内外关于广义多边形树Gst(a,b;c,d)着色研究的基础上,对一些广义多边形树Gst(a,b;c,d) (s t=2)组成的图类ξ2(a,b;c,d)的着色、色唯一和色等价类等相关问题进行了研究,得到了两类特殊图ξ2(m,m;m,m) (m≥2)和ξ2(a,a;b,b) (a≠b)且min{a,b}≥2是两个色等价类的结论.     

关于不定方程(2n-1)(an-1)=x2

目前为止,F.Luca和P.G.Walsh几乎解决了在2≤b＜a≤100 范围内,方程(ak-1)(bk-1)=x2的解的情况.在本文中,我们使用同余和二次剩余的有关理论,考虑了一些给定的a,方程(2n-1)(an-1)=x2的解的情况.     

毕竟正则半群上的群同余

设S是一个半群,a∈S.如果存在x∈S,使得x=xax,则称x为a的一个弱逆.用W(a)表示a的所有弱逆的集合.本文利用元素的弱逆给出了毕竟正则半群S的群同余的若干等价刻画及一个表示.通过S的w-自共轭的、闭的,全子半群H定义了S上的一个二元关系(a,b)∈ρH( )(( )a'∈W(a),a'b∈H),证明了如果H是S的w-自共轭的、闭的全子半群,则ρH是S上的以H为核的群同余.反过来,如果ρ是S上的群同余,则kerρ是S的w-自共轭的,闭的全子半群,并且ρ=ρker ρ.     

矩形基板上LED芯片阵列热分析

分析偏心热源在矩形基板上热分布理论,利用局部模拟和理论论证的方法,获得m′×n′阵列中各芯片的质心温度一致的排布.利用这种排布方法,得出能求解芯片质心过余温度(CTEC)的简单关系式.同时,模拟了4×4,6×6阵列芯片的过余温度分布的情况.结果表明:m′×n′阵列中LED芯片以芯片间距(a/m′,b/n′)在尺寸为a×b的矩形基板上对称排布时,各芯片的CTEC都相同.     

关于Diophantine方程(36n)x+(323n)y=(325n)z的整数解

Jesmanowicz猜想Diophantine方程(na)x+(nb)y=(nc)z仅有正整数解(x,y,z)=(2,2,2),其中a,b,c是两两互素的正整数且满足a2+b2=c2.主要运用简单同余法、奇偶分析法、二次剩余理论以及分类讨论等初等方法,证明了对任意的正整数n,Diophantine方程(36n)x+(...     

关于以自然数为模的一次同余方程组的转换定理

设m为大于1的任意自然数,a_(ij)(1≤i≤t,1≤j≤s)为st个整数,记(?)=max(1,|x|),定义(a)_m是满足(a)_m≡a(modm), -(m/2)<(a)_m≤m/2的整数。考察两组对偶的一次同余方程组     

两类二面体群的三度Cayley图的比较

对4m阶拟二面体群G=〈a,b｜a2m=b2=1,ab=am＋1〉和4阶半二面体群G=〈a,b｜a2m=b2=1,ab=am-1〉且m=2r,r〉2的3度Cayley图作比图。得到两者均有一个图是正规Cayley图且同构,且A1≌Z2的结论。     

限制性m元分拆函数的同余性质

设b(s,a)m,j(n)为n的m元分拆函数,其中分拆项mi允许重复的次数为a,a s,a 2s,…,a (i j)s.设b(s)m(n)为n的m元分拆函数,其中分拆项mi允许重复的次数为s的倍数.本文得到了关于b(s,a)m,j(n)和b(s)m(n)的两个同余式.