基于投影寻踪模型的我国国防科技工业科研创新能力实证研究

在有关成果数据库(2000~2006年)的基础上,运用投影寻踪模型分析我国国防科技工业的科研创新能力,结论认为:我国科技工业科研创新能力在最近这几年是逐年提高,进步显著;但与发达国家相比,我国国防科技工业自主创新能力还不够强,距离创新型国防科技工业还有较大的差距。     

Dirichlet空间上对偶Hankel算子的乘积

在Dirichlet空间上研究当对偶Hankel算子与共轭对偶Hankel算子乘积为零时，函数符号的性质关系．借助Bergman空间的相关理论知识，对函数符号进行分解，得到了关于解析函数符号的对偶Hankel算子母与共轭对偶Hankel算子Rg^＊乘积为零时的充要条件．     

分数阶初值问题解的存在性与唯一性

讨论了带有Riemann-Liouville微分算子的分数阶微分方程初值问题,利用混合单调算子理论,获得了初值问题解的存在唯一性定理, 并举例说明主要结果.     

齐型空间上Herz空间中的分数次极大算子

本文主要给出了分数次极大算子在齐型空间上Herz空间中的有界性:设0相似文献   

非双倍测度下多线性Calderón-Zygmund算子及其交换子在Herz型空间上的有界性

本文引入非齐型空间上的Herz空间,并证明了多线性Calderon-Zygmund算子及其交换子在这些空间上的有界性.     

提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

一类无界2×2上三角算子矩阵的谱

基于算子扰动理论,研究了一类无界2×2上三角算子矩阵的谱,并得到其谱可由对角块刻画的若干充分条件.最后,举例说明结果的合理性.     

一类算子矩阵的谱、点谱和剩余谱

对于斜对角元至少有一个可逆的算子矩阵,刻画了其谱,1、2、3、4-类点谱及1、2-类剩余谱,并举例验证了结果的合理性.     

用Fokker-Planck方程研究热噪声电路的特性

噪声普遍存在于各种电路中,文章通过采用算子分解法求解了白噪声作用下RLC电路的Fokker-Planck方程,得到与经典理论相符合的结论,进一步证明了布朗理论的正确性.     

新弱化缓冲算子的构造及其运用

将已有的弱化缓冲算子进行一些简单的数学运算后构造出新的弱化缓冲算子.在预测工作中如果系统行为数据出现前阶段增长(衰减)速度过快而后阶段增长(衰减)速度过慢的,以文章所构造的弱化缓冲算子再建模预测能使预测精度有显著提高,预测值也能更好的逼近观测值.