同余式2n-2≡1（mod n）的一些新解

1991年,Sinisalo求出了同余式2n-2≡1（mod n）在区间[3,1011]上的所有解,共有88个,其中满足n≡9（mod 10）的解有6个.本文证明了,当n〈3.462＊1014时,同余式2n-2≡1（mod n）不存在有平方因子的解.利用一种新方法,借助计算机的Maple软件,得到了该同余式的9个含有平方因子的解.利用该方法,也可得到该同余式的许多大于1011的新解.     

k紧优双环网的无限族的构造

双环网是计算机互连网络和通讯系统的一类重要拓扑结构,已广泛应用于计算机互连网络拓扑结构的设计中.利用L形瓦理论,结合中国剩余定理和二次同余方程的性质,给出了不同于参考文献中的任意k紧优双环网的无限族的构造方法,证明了对任意正整数k,若n(t)=3t2 At B,A=1,3,5,对于一定的B＞(k 1)2,均存在正整数t,使得{G(n(t);s(t))}是k紧优双环网的无限族,而且这样的无限族有无穷多类.作为定理的应用,给出了多类新的k紧优双环网的无限族.     

联立Pell方程组x~2-ay~2=1和y~2-bz~2=1的解数

设a,b是正整数.我们研究了联立Pell方程组x~2-ay~2=1,y~2-bz~2=1的正整数解(x,y,z)的个数.本文利用Bennett关于联立Padé逼近的一个结果,证明了该方程组至多只有两组正整数解(x,y,z),从而改进了Bennett(1998),袁平之(2004)等人的结论.     

一些完全非线性函数的原像分布值

确定完全非线性函数的原像分布值,是决定和分析完全非线性函数以及构造相应线性码的公开问题和重要课题之一.本文讨论了完全非线性函数的原像分布所满足的基本方程的求解问题,完全解决了该方程当m=5以及m=6时的情形.     

关于Kenichiro的一个丢番图方程问题

研究了Kenichiro提出的轮换对称形式的丢番图方程,即方程ab bc ca=ya+b+c3的求解问题,利用素数整除的一些性质,证明了该方程仅有平凡解a=b=c以及非平凡解(a,b,c)=(k,k,4k),(k,4k,k),(4k,k,k)(k∈N),从而完全解决了这个方程.     

一类三阶中立型时滞微分方程的渐近稳定性

讨论了一类三阶中立型时滞微分方程的零解的渐近稳定性,借助于构造函数、推广的Halanay一维时滞微分不等式及泰塔格利亚公式,得到了判定其零解是渐近稳定的且与时滞无关的一个充分条件.     

关于指数丢番图方程a~x+(3a~2-1)~y=(4a~2-1)~z的正整数解(英文)

本文通过计算Jacobi符号,运用代数数的对数线性型的下界估计,证明了:当整数a>1时,指数丢番图方程a~x+(3a~2-1)~y=(4a~2-1)~z仅有正整数解(x,y,z)=(2,1,1).     

一类指数丢番图方程的解

设m为正整数,且a=8m~3+3m,b=3m~2+1,c=4m~2+1.本文同时使用两个代数数的对数线性型下界估计,两个有理数方幂之差的P-adic赋值的下界估计的一些结果,以及二次域的类数与本原素因子的深刻结论,证明了,当m为任意正整数时,指数丢番图方程a~x+b~y=c~z仅有正整数解(x,y,z)=(2,1,3).     

Bremner定理的初等证明

运用Pell方程和Jacobi符号的基本性质,给出Bremner定理的初等证明.即证明了丢番图方程3X⁴－4Y⁴－2X²+12Y²－9=0仅有正整数解(X,Y)=(1,1),(3,3).从而回答了柯召和孙琦在1983年提出的一个问题     

广义Ramanujan-Nagell方程x~2+D~m=p~n的解的注记

设a为偶数,p为素数,D=3a~2+1,p=4a~2+1。本文指出了乐茂华文献中的错误,并利用两个对数的线性型上界估计的P-adic形式以及广义Fermat方程的解的一些新结论,证明了方程x~2+D~m=p~n仅有两组正整数解(x,m,n)=(0,1,1),(8a~3+ 3a,1,3)．