非线性 向量化算法 分析方法 向量运算 标量 判别定理 程序变换 标准型 严重影响 基本条件 技术研究 关系矩阵 循环分布 数组元素 下标 线性化 向量指令 坐标