高级检索

    Sigma系统中数据依赖关系分析的完善与增强

    PERFECTION AND IMPROVEMENT OF DATA DEPENDENCE ANALYSIS IN SIGMA SYSTEM

    • 摘要: 文中在分析了Sigma系统中数据依赖关系测试算法的基础上,修正了其算法中的不足.同时,为提高测试的精确度,针对距离向量法提出了边界测试的思想;针对消元法提出了将消元法和Banerjee不等式相结合的思想;为提高系统效率,提出了不相交子方程组的思想.

       

      Abstract: The algorithm of data dependence test in the Sigma system is analyzed and its fault is modified.In order to increase the accuracy of test,the idea of bound test for distance vector test and the idea of combining the variable elimination with Banerjee inequality for variable elimination test are put forward.In order to increase the system efficiency,the idea of nonintersecting subequations is also presented.

       

    /

    返回文章
    返回