关于线性丢番图方程组和线性同余式组

在本文中我们证明了整系数线性方程组a11x1+…+a1lx1b1,a21x2+'…+a2lx1= b2,ak1x1+…+sk1x1,有整数解当且仅当对任何1≤i1＜…＜ih≤k及1≤ji＜…＜jh.≤l诸行列式(j= 1, …,l )的最大公因数整除我们还证明了,k＞l时含未知数x1,…,x1的k个线性同余式有公解当且仅当其中任何l+1个同余式有公解.     

利用Petri网方法求解二次同余式:ax2+bx+c≡0(modp, p≥3,素数)

首先给出判定a是奇素数模p的平方剩余的增广Petri网模型,然后给出求解二次同余式x2≡a(modp,p≥3,素数,(a,p)=1)的增广Petri网模型.同时给出这种类型增广Petri网的矩阵分析和状态方程,从而导出由EXN网的输入求其输出的算法.     

关于同余式组解的一般表达式

本文去掉孙子定理中同余式组的模为互素的限制,在有解的情况下,给出同余式组 x=C_i(mod m_i),i=1,…,n 解的一般表达式,从而,推广了孙子定理。     

有限域上一类方程的解数

给出了计算有限域Ｆｑ上一类方程的解数的简便方法。     

带余数除法定理应用的一个注记

利用带余数除法定理,给出根据中国剩余定理求一次同余式组时参数M'i的一个简单求法.     

多元CS阵及子块定理

给出了一元及多元覆盖系ＣＳ（Ｃｏｖｅｒｉｎｇ Ｓｙｓｔｅｍｓ）的概念及性质,定义了ｋ模ｎ元ＣＳ阵,并证明了子块定理。     

关于同余式2n-2≡1(mod n)的解的注记

我们指出,1991年,Sinisalo已经求出了同余式2n-2≡1(modn)在区间[3,1011]上的所有解,共有88个,其中满足n≡9(mod10)的解n有6个.本文利用计算机,借助Maple软件,得到了该同余式的大于1011的4个解,它们的个位数字是9.     

二项同余式的解数公式

设ｐ是素数，ａ，ｃ，ｎ是整数，ａ，ｎ〉０，本文给出了二项同余式ｘ＾ａ≡（ｍｏｄｐ＾ｎ）的解数的直接公式。