区间向量相关论文
引入了区间向量的线性相关性概念以及数值线性相关性概念，讨论了他们的一些性质，用我计算说明了区间向量数值线性相关程度的判断方法......
为权衡对矩阵运算静态分析的精度和效率，针对程序中表示矩阵的变量，提出一种基于抽象解释的抽象与分析算法，即区间向量抽象域。将矩阵......
