关于丢番图方程|6x2y2±(x4-3y4)|=Z2

利用初等数论及Fermat无穷递降法，证明了丢番图方程|6x2y2±(x4-3y4)|=Z2和丢番图方程6x2y2±(x4-3y4)|=2Z2都仅有平凡解。     

机械知识的教学

当代教育家认为，21世纪的机械知识教学更多的是一门学习思考的学问，就是强调学生的参与。对提高课堂教学中学生参与程度的意义，创设教学情境、激发学生主动参与等方面进行了探析。     

加强基层人民检察院量刑建议工作的设想

现阶段基层人民检察院量刑建议工作不容乐观，今后一个时期应在积极、慎重、稳妥原则的指导下，围绕思想、组织、业务、制度四个方面进行有益的探索。我们相信，随着刑事法治建设的日臻完善和司法体制改革的深入推进，量刑建议工作定能取得实质性进展和突破。     

关于判别孪生伪素数的充要条件

证明了存在无穷多个伪素数,获得了判别伪素数和孪生伪素数的充要条件,建立了伪素数和孪生伪素数的计算程序,从而获得了许多伪素数和孪生伪素数.     

Selfridge猜想与伪素数的判别

证明了任何Ｍｅｒｓｅｎｎｅ数Ｍｐ和任何数Ｎｐ＝（２＾ｐ＋１）／３都是素数或伪素数，获得了伪素数的计算公式及Ｍｐ与Ｎｐ合数的充要条件。     

关于判别孪生伪素数的充要条件

证明了存在无穷多个伪素数，获得了判别伪素数和孪生伪素数的充要条件，建立了伪素数和孪生伪素数的计算程序，从而获得了许多伪素数和孪生伪素数。     

不定方程x4+3y4=z2的正整数解

利用Fermat无穷递降法,证明了方程x4+12y4=z2无正整数解,方程x4+3y4=z2与x4-12y4=z2均有无穷多组正整数解,并且获得了方程无穷多组正整数解的通解公式,同时还编拟了方程正整数解的计算程序,从而完善了Aubry等人的结果.     

一个置换极值问题

研究一个车队探险问题的推广,证明了这个问题等价于一个置换极值问题,得到了最优解的一组必要条件.设计了一个近似算法,并提出了若干公开问题,且对一般的置换极值问题做了初步讨论.     

Selfridge猜想与伪素数的判别

证明了任何Ｍｅｒｓｅｎｎｅ数Ｍｐ和任何数Ｎｐ＝（２ｐ＋１）／３都是素数或伪素数，获得了伪素数的计算公式及Ｍｐ与Ｎｐ为合数的充要条件