东露天矿采空区塌陷爆破参数优化

为消除平朔东露天矿前期小煤窑开采破坏所形成的采空区给正常开采带来的危害,从采空区成因切入,对采空区爆破穿透孔进行探测以及预处理,采用穿透孔底部空气间隔器与岩渣0.6 m和0.4 m交替填塞的方式处理穿透孔,处理后的穿透孔起到了支撑承载上部大药量的作用。针对该矿在爆破生产过程中遇到的塌陷率低及塌陷深度低等问题,对爆破参数进行优化。利用数理统计和工程实测方法对爆破参数优化前后进行对比分析,通过改变和调整孔网参数、装药结构、连线方式等技术措施,使得上部覆盖层塌陷填实采空区,进而改善了塌陷爆破效果,验证了优化后的爆破参数的实用性,为煤矿的后续正常开采提供了安全保障。     

基于运行监测的图形用户界面自动化测试模型

为提高GUI自动化测试的覆盖率、故障定位的速率和精度,以及检测由于时空变化导致的空间错误引起的故障,建立基于运行监测的GUI自动化测试模型。模型将GUI分为窗口框架层、界面元素层、功能结构层和运行记录层四层。窗口框架层描述GUI所有窗口,界面元素层描述用户输入,功能结构层提出功能覆盖准则,运行记录层通过插桩记录代码动态监测软件每一次执行时路径和各个窗口的运行状态,从而提高测试的覆盖率,并根据运行记录中窗口的总执行次数和正确的执行次数为可靠性计算提供依据。由于监测代码的运行情况,因此故障能够定位到代码级,提高故障定位的精度和速率。最后以记事本程序为例验证了模型的有效性。