矩阵方程A^HXA=B的反自反解及其最佳逼近

利用广义奇异值分解定理，得到了矩阵方程A^HXA=B的反自反解存在的一个充要条件，并获得了相应的通解表达式和最佳逼近解，最后获得了最小范数解。     

矩阵方程AHXA=B的反自反解及其最佳逼近

利用广义奇异值分解定理,得到了矩阵方程AHXA=B的反自反解存在的一个充要条件,并获得了相应的通解表达式和最佳逼近解,最后获得了最小范数解     

可分离变量奇异非线性Sturm-Liouville问题的正解

本文考察了如下情形奇异非线性Sturm-Liouville问题-(Lφ)(x)=h(x)f(φ(x)),00,q(x)∈C[0,1],q(x)≤0;α1,α2,β2≥0,β1≤0不但允h(x)许在x=0,x=1处奇异,而且允许f(s)在s=0处奇异。     

广义特征方程及正解的存在性

研究了一类二阶非自治线性时滞微分方程的广义特征方程及正解的存在性，利用泛函分析理论及不动点原理，分别得到时滞微分方程正解存在的充要条件以及广义特征方程的根与时滞微分方程正解之间的关系。     

一类非线性中立型时滞差分方程的振动性

讨论了一类高阶中立型多时滞差分方程△＇（x（n）-p（n）x（n-k）＋q（n）^mП（j=1）｜x（n-σi）｜a^Sgnx（n-σ1）=0，n=0,1,…的振动性，获得了方程在[^m∑（j=1）]αi=1条件下振动的一个充分条件，同时又给出该方程非振动解趋于零的判据。     

西藏自治区图书情报业发展研究探析

旧西藏,西藏图书情报事业一片空白,实行民主改革以来,国家和自治区人民政府十分重视和关心西藏图书情报事业的发展,尤其是实施西部大开发5年来,西藏已初步形成了图书情报事业的雏形,在各项工作中取得了很大的成绩,文章分析了西藏图书情报业发展现状,存在的问题,提出了发展图书情报业的对策和策略。     

广义Sylvester矩阵方程AX-XF=BY的显式解

给出了广义Sylvester矩阵方程AX-XF=BY当F为任意矩阵时的一种完全的解析通解.该通解由矩阵对(A,B)构成的能控性矩阵,一个对称算子矩阵和矩阵对(Z,F)构成的能观性矩阵组成,这里Z是一个任意的参数矩阵,用来表征该方程的解的自由度.利用著名的Levverrier算法,该解析解的一个等价形式被给出.给出的结果是参考文献[13]的推广,在[13]中F被假设为友矩阵.     

一类含扩散与时滞的竞争型Lotka-Volterra系统的周期解

研究一类含扩散与周期时滞的生态模型,通过特征值问题以及模型自身的特点来构造上下解,应用比较原理得到了周期解存在与全局渐近稳定的一个充分条件.     

变量有上界的线性规划的对偶单纯形方法

给出变量有上界的线性规划问题的对偶单纯形算法, 该算法包含了一般线性规划问题的对偶单纯形算法, 为解变量有上界的线性规划问题提供了又一种方法.     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。