孟威
- 作品数：3 被引量：1H指数：1
- 供职机构：清华大学计算机与信息管理中心更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 软件流水领域多维数组数据相关性的测试
- 2005年
- 体差不等式测试为适用于软件流水领域的高维数组数据相关性分析算法,通过使用更严格的限制条件,该算法可以获得比传统数据相关性分析方法更精确的结果。文章展开该算法的实验研究。实验表明,虽然体差不等式测试算法只能针对实可行解域进行数据相关性分析,但所得到的结果仍然与实际情况相吻合。对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等式测试算法可以获得很好的效果。
- 乔林黄维通孟威汤志忠
- 关键词：数据相关性分析
- 数据相关性分析中替代约束的有效性被引量：1
- 2006年
- 数据相关性分析经常使用诸如方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代约束有效性的几个测度,详细分析了什么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不等式约束要比方向向量约束更有效,体差不等式测试方法的收敛性要强于其它使用方向向量作为替代约束的传统数据相关性测试算法。
- 乔林黄维通孟威汤志忠
- 关键词：数据相关性
- 软件流水领域二维数组的体差不等式测试算法
- 2005年
- 给出了二维数组的体差不等式测试算法,并证明二维数组的体差不等式测试算法具有多项式时间复杂度。相对于直接求解,体差不等式测试算法的时间复杂度要小得多。实验表明,对于科学计算循环中出现的大多数数据相关性判定问题,使用体差不等式测试算法可以获得很好的效果。
- 乔林黄维通孟威汤志忠
- 关键词：数据相关性二维数组
