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

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

基于模拟器评估交通规则对多道高速公路表现的影响

在高速公路上,车辆行驶规则对交通的影响一直以来是一个问题,这主要是因为缺乏合理的统计结果和对抽象因素的估计。针对这一问题,我们提出了一个基于模拟器的方法,用于评估不同行驶规则对多车道高速公路性能的影响。基于元胞自动机模型,我们建立了一个离散时间模拟器,以模拟汽车在高速公路上行驶。通过收集相关的统计信息,采用多元回归分析的方法,在给定限速、交通负荷等条件下,使用层次分析法和雷达图的方式评估了各种规则下的交通状况。

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

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

浅析纵梁冲压模具自动化设计

纵梁冲压自动化生产过程中,因制件细长,容易出现制件定位稳定性差、传感器不能稳定感应到制件、制件卡在下模及废料排出困难等问题。在模具设计过程中,通过在拉伸工艺补充面上设置筋条、设置传感器浮动机构及顶料浮动块等措施,解决了纵梁冲压自动化生产的问题。