多值逻辑定理机器证明的代数方法

由给定的多值逻辑系统中的一组公式，．．．，，出发，构造出了一组有理数域上的多项式ＰＳ，使得是，．．．，的逻辑结论，当且仅当ＰＳ定义的代数簇为空集，当且仅当ＰＳ生成的理想是平凡理想．从而，利用特征列方法和Ｇｒｏｅｂｎｅｒ基方法，给出了判定是否，．．．，逻辑结论的两种算法．

一类拟抛物型复方程的复合边值问题

先给出线性拟抛物型复方程在多连通区域上变态问题的解的估计式.再用叠代法证明此解的存在唯一性.进而导出线性拟抛物型复方程的可解性.最后利用Newton嵌入法讨论了一类非线性拟抛物型复方程的可解性.

公钥密码体制PKCY的破译

把PKCY的破译归结为其等效密码体制的破译,建立了用矩阵方程组求等效秘密密钥的方法.研究了解该类矩阵方程组的算法.实现了PKCY的唯公开密钥快速破译.

利用垂直阵列构作Cartesian认证码

利用垂直阵列构作了一类Cartesian认证码,计算了它们的参数,并且在编码规则按等概率分布选取时,成功的模仿攻击和成功的替换攻击概率也被算出。