三维有限射影几何空间上二阶曲面x1x2-x23-x24=O的元素数目

首先研究了有限域GF(pr)上不定方程x2+y2=0解的情况:(1)当p=2时,有P'-1组非零解;(2)当4|Pr-1时,有2(pr-1)组非零解;(3)当p为奇数且4Pr-1时,只有零解.在此基础上给出了三维有限射影空间S3,q(q=pr)上二阶曲面x1x2-x23-x24=0点的个数:(1)p=2时,二阶曲面由q2+2q+1个点组成;(2)当4|q-1时,二阶曲面由q2+2q+1个点组成;(3)当q为奇数且4q-1时,二阶曲面由q2+1个点组成.     

一类同余方程nΣ（i=1）（aixi^2）≡d（modp）的解数

本文给出了ｎ顶二次同余方程模ｐ的解数。     

关于不定方程ax^4＋x^3—3ax^2—x＋2a=y^2

本文研究不定方程ａｘ＾４＋ｘ３－３ａｘ＾２－ｘ＋２ａ＝ｙ＾２,主要结果为：当ａ＝１,２,３时无正整数解,当ａ＝４时有正整数解ｘ＝４,ｙ＝３０。     

A（n,4）与A（n,5）的精确公式与简单公式

设Ａ（ｎ,ｋ）表示不定方程ｋ∑ｉ＝１ｉｘｉ＝ｎ非负整数解的个数,给出了Ａ（ｎ,４）与Ａ（ｎ,５）的精确公式及求得应简单公式的方法。     

量子通讯中的十个数学结果

本文利用组合计数理论、不定方程理论、数列和级数知识，采用构造证明的方法研究了量子计数问题，解决了量子通讯中的十个教学问题。这些结果即将在其他学科中得到广泛的和深入的应用。     

一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·