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

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

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

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

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

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

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

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

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

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

广义导算子的奇异值不等式的推广

利用增生算子的性质及奇异值最大最小值原理研究了广义导算子的奇异值.给出一些奇异值不等式,推广了最近一些关于导算子的结果.     

精度与程度的逻辑差近似算子及其性质

首先研究了程度近似与变精度近似的关系与转化,再利用变精度近似算子与程度近似算子定义了精度与程度的逻辑差近似算子,其具有与精度与程度2个量化指标相关的逻辑含义,最后研究并得到了精度与程度的逻辑差近似算子的一般性质与幂作用性质.精度与程度的逻辑差近似算子部分拓展了程度近似算子与经典近似算子,进而得到了这些已有近似算子幂作用...     

Banach空间二阶非线性脉冲积分微分方程边值问题解的存在性

利用Darbo不动点定理．讨论了二阶非线性脉冲积分微分方程的边值问题,在较弱的条件下得到广解的存在性。     

二阶p-Laplacian算子的奇异边值问题多解的存在性

应用锥拉伸和锥压缩不动点理论讨论了有关p-Laplacian算子的二阶微分方程奇异边值问题多个正解的存在性。     

一类非齐次核的最佳Hilbert型积分不等式的搭配参数条件

首先利用权函数方法,考虑如何确定搭配参数,使具有非齐次核G(xλ1 yλ2)(λ1λ2>0)的Hilbert型积分不等式具有最佳常数因子;其次给出最佳搭配参数的充分必要条件及快速判定最佳常数因子的判别式;最后讨论最佳搭配参数在积分算子理论中的应用.