面向对象程序的上下文敏感指针分析研究

指针分析是编译优化、程序静态分析中的基础,很多应用都需要基于指针分析,低精度的指针分析会给这些应用带来高误报率和漏报率,通过添加上下文敏感信息是提高指针分析的精度的一个重要手段.自从面向对象的概念被提出来之后,该概念得到了广泛的应用,Java、C++、.NET、C#等主流语言都支持面向对象的特性,面向对象程序的指针分析...     

淮北矿区采掘机械化发展的制约因素及对策

认真分析了淮北矿区采掘机械化发展的现状和发展制约因素，重点提出了发展采掘机械化的对策，并在合理选择采掘设备、发挥设备潜能方面提出了自己的观点。     

托顶煤巷道锚杆支护应用

煤巷锚杆支护是一种先进的支护形式。为扩大其应用范围，向大家介绍托顶煤巷道使用锚杆支护在设计、施工和监测等方面的经验。     

高岭岩探矿平巷施工中临时中线的应用

在煤系地层高岭岩矿层中施工探矿平巷必须正确把握层位，否则破顶或破底，造成顶底含铁量高的岩石混入，影响矿物质量。通过采用临时中线的方法，保证了产品质量，取得了明显的经济效益和社会效益。