ABCE:Java冗余数组越界检查消除

作为一个类型安全的程序语言,Java要求对每次数组访问提供越界检查.这些检查指令减慢了Java程序的运行速度.算法ABCE维护着一张不等式图,并在图中不断更新记录变量的取值信息,然后根据这些信息识另q出那些冗余的数组边界检查,最后删除它们,从而达到提高程序性能的目的.科学计算类测试集SciMark2.0的测试表明ABCE算法平均删除了76%的越界检查指令,其中LU子程序,该算法的加速近似达到理论最大值.     

前大梁封板翻边开裂及解决方案

对影响前大梁封板翻边开裂的毛刺、拉伤及最大失效值等原因进行了分析。通过在翻边前增加预变形工序,降低翻边过程中的切向拉应力,结合Autoform软件进行分析及优化,将最大失效值控制到0.8以下,并更改模具进行批量生产验证,解决了翻边开裂问题。