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

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

过渡金属离子液相催化氧化低浓度烟气脱硫

对Mn2+,Fe2+,Zn2+3种过渡金属离子液相催化氧化低浓度烟气脱硫的效果进行了对比,并对Mn2+液相催化氧化烟气脱硫的相关工艺参数进行了优化;运用溶液化学原理,对SO2及Mn2+在溶液中的组分进行了计算,研究了Mn2+液相催化氧化烟气脱硫的机理.研究结果表明:Mn2+,Fe2+和Zn2+3种过渡金属离子对烟气脱硫都有催化作用,Mn2+的催化效果最佳;在烟气中,当SO2体积分数为1.4%,O2体积分数为10%,烟气流量为140L/h,吸收液体积为200mL,温度为24℃,吸收液pH为5～6及吸收液中Mn2+浓度为0.15mol/L时,经过一段吸收反应,SO2转化率大于80%,烟气脱硫率大于75%;当吸收液pH=5～6时,锰主要以Mn2+形式存在,SO2主要以HSO-3的形成存在;其催化反应的机理为:Mn2+与HSO-3反应形成络合物,成为反应链的引发剂来诱发氧化反应.     

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

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

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

讨论了线性流形上广义次对称矩阵反问题的最小二乘解及其逼近问题。利用矩阵的奇异值分解和矩阵分块方法，得到了最小二乘解的一般表达式。给出了线性流形上矩阵反问题的可解的充分必要条件。而且就相应的逼近问题，利用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.     

钇稳定的二氧化锆(YSZ)的导电性能分析

从钇稳定的二氧化锆(YSZ)晶体结构中可能存在的氧空位跃迁类型,分析了钇稳定的二氧化锆(YSZ)的导电率随着钇掺入量增加有一个最大值的原因。     

对称循环矩阵的逆矩阵

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

线性互补问题的若干注记

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

t2阶Kirkman三连系的构造

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