基于条件范围约束的越界访问检测方法

程序执行时的越界访问将导致异常的行为,已有的越界检测方法存在效率低或精度不高的缺点.分两步检测程序中的越界访问语句在约束产生阶段,提出一个流敏感、过程间的约束状态产生算法,为每条语句建立一个范围约束集合和值约束集合;在约束求解阶段,利用线性规划计算程序访问的内存大小和偏移量,报告可能的越界访问漏洞.实验表明,检测效率明显高于路径敏感的范围分析方法,而平均检测精度高于80%.

临近闭坑露天矿境界优化研究

露天矿终了境界圈定结果的优劣直接决定了矿山的整体经济效益,露天矿境界优化工作是一个受金属价格、生产成本、边坡角影响的动态优化过程。临近闭坑露天矿的境界优化工作受到较多因素的制约,境界优化工作较为复杂,其特殊性就在于部分边帮已靠帮。对于已靠帮区域是否值得再扩帮,获得经济效益最优的境界优化结果,一直是矿业领域重要的技术问题。为此,以国外某矿山为研究案例,深入研究临近闭坑的境界优化工作,通过在Whittle软件中对开采区域添加约束条件,控制开采范围,从而获得采场上部已靠帮并段区域扩帮与不扩帮的境界优化结果。对比分析优化结果,得到结论:不扩帮的境界优化结果好于扩帮的境界优化结果,采矿量多230万t,剥采比低0.2 t/t,净现值高2500万美元。且扩帮的境界优化结果存在可执行性较低的问题,基于目前的金属价格情况下,且考虑到矿山服务年限较多,金属价格相对稳定,因此,通过综合对比分析,确定上部不扩帮的境界优化方案为最优优化方案。