一种基于并行技术的死锁检测算法

在介绍基于资源分配图的、传统的死锁检测算法基础上，提出一种新的基于并行技术的死锁检测算法，并用1个实例说明该算法的执行过程。新的死锁检测算法是基于矩阵表示方法，在最坏情况下，运行时间复杂度是O(min(m，n))，其中m和n分别是进程和资源的数量。新的死锁检测算法与传统的算法相比，执行时间大大减少，需要内存也比较小，系统能够很好地检测死锁的发生，并且释放占有资源。     

广义和强广义一致凸Banach空间

引入了广义一致凸Banach空间和强广义一致凸Banach空间的概念．证明了一致凸Banach空间是强广义一致凸Banach空间，广义一致凸Banach空间X是弱局部一致凸和严格凸的；X中任一元在以0为顶点的闭凸锥中有惟一最佳逼近；强广义一致凸Banach空间中任一元在其闭凸子集中有惟一的最佳逼近元。     

基于Kruppa方程的相机分步自标定方法

提出一种运动变焦相机分步自标定的,邓事先标定相机的纵横比和主点，在假设像素为矩形及主点为图像中心的情况下，基于Kruppa方程线性求解焦距，算法中只需输入基础矩阵，不必预先进行任何类型的投影阵分解或投影束校正。线生求解焦距避免了非线性法的不确定性，实际数值实验表明该方法简单实用。     

一个广义Ramsey数r(C5,K7)

该文证明了25≤r(C5，K7)≤26。     

线性流形上广义次对称矩阵反问题的最小二乘解

讨论了线性流形上广义次对称矩阵反问题的最小二乘解及其逼近问题。利用矩阵的奇异值分解和矩阵分块方法，得到了最小二乘解的一般表达式。给出了线性流形上矩阵反问题的可解的充分必要条件。而且就相应的逼近问题，利用Frobenius范数的正交不变性和闭凸维上的逼近理论，得到了最佳逼近问题惟一解的表达式。     

一类具有不确定性时滞大系统的鲁棒稳定条件

根据微分方程理论和矩阵指数特性，讨论了一类具有时变时滞线性大系统的稳定性，并导出了具有时滞相关和时滞无关线性系统稳定性的充分条件，然后讨论了此类大系统的鲁棒稳定条件，并与相关文献进行了比较，计算实例表明，所得出的结果改进了现有的研究成果。     

图的代数连通度及其点连通度

G是一个简单图.a(G),k(G)分别为G的代数连通度和点连通度,该文刻画了满足a(G)=k(G)的图.G=(V,E)是一个n阶简单图,点连通度为k(G)≤[n/2].H是G的任意最小点割集,则a(G)=k(G)当且仅当对任意u∈H和v∈V\H,有uv∈E.     

对称循环矩阵的逆矩阵

介绍了求对称循环矩阵逆矩阵的简便方法,并用这种方法给出几类特殊对称循环矩阵的求逆公式。     

线性互补问题的若干注记

首先给出Murthys等在[SIAM J.Matrix Anal.Appl.22(2000)]中提出的公开问题的肯定回答，然后讨论了R0－矩阵和Q－矩阵的一些关系。     

t2阶Kirkman三连系的构造

提出了t2阶Kirkman三连系的构造方法,阐明了t2阶Kirkman三连系构造的基本理论,介绍了9×9阶Kirkman三连系构造的过程.