关于矩阵方程AXB=CYD

应用矩阵的初等变换技巧，给出了任意域上矩阵方程AXB=CYD的通用表达式及解法。     

一类四阶方程边值问题正解的存在性

得到了一类四阶方程边值问题相应的Green函数。从而将该问题转化为相应的Hammerstein型积分方程，并利用锥拉伸与锥压缩不动点定理，证明了它在一定条件下，至少有一个正解。     

再保险对时间盈余风险模型破产概率的影响

研究时间盈余风险模型中再保险对调节系数或破产概率的影响，分别讨论了理赔分布为均匀分布和指数分布时。调节系数或破产概率与自留水平的关系，并得到相应的表达式。     

一阶非线性非完整系统的改进的Routh方程

导出了一阶非线性非完整系统的改进的Ｒｏｕｔｈ方程并举例说明其应用，从而提供了建立非完整系统的运动微分方程的一种新方法。该方程的特点在于其第一组方程中只包含系统的独立的广义动量，而第二组方程中不包含任何广义动量。同时，本文结果也是对黄昭度先生的“改进的Ｒｏｕｔｈ方程”一文中的某些错误的修正。     

最优控制系统综合问题中首次积分的应用

在具有固定时间和自由右端的变分问题中，利用自由未控制对象运动方程的首次积分．较详细讨论了最优控制系统综合方法．     

一类双曲方程反问题的存在性和唯一性

讨论了如何确定下述双曲方程中反问题中的未知系数ｑ（ｘ），用压缩映像原理证明了反问题的存在性和唯一性定理。     

一个快速的二进制多重精度gcd算法

求两个整数的最大公因子（gcd)的经典的Euclid算法时间复杂度为O（ln^3n)，不适宜于多重精度运算。论文证明了gcd的相关性质，提出了一个基于二进制的、适用于多重精度运算的改进算法，其时间复杂度为O（ln^2n)。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

一般Schr(o¨)der方程亚纯函数解的级

对一般Schr(o¨)der方程亚纯函数解的级在放宽方程系数的限制之下给出一个估计,改进了Gundersen等人关于此方程亚纯解级的相应估计结果.