软件黑匣子技术的研究与应用

软件运行过程中的故障迅速定位以及解决是提升软件质量必须关注的一个重要环节。由于传统方式的局限性，使用该方式来进行故障跟踪定位异常困难，从而影响了产品质量的提升。借鉴飞机黑匣子的设计理念，该文提出了软件黑匣子系统。该系统主要通过记录信息（用SBBR）和存取信息（用SBBM）这两大模块来获取故障状态下的软件运行情况，甚至获取故障时系统的内存和堆栈信息。实验结果表明，该技术能使通信设备的故障处理时间缩短并使故障的排除效率大大提高，设备的稳定性也得到增强。

短壁块段式充填采煤矸石充填材料重金属离子“下行”迁移规律及控制技术

现阶段煤炭开采产生的废弃矸石广泛利用于矿山充填领域,然而矸石内部重金属离子对矿区水资源产生的潜在污染风险愈发突出。结合短壁块段式充填采煤技术,综合分析重金属离子析出与迁移的敏感性因素,建立矸石充填材料重金属离子“下行”迁移模型,揭示矸石充填材料重金属离子“下行”迁移规律,提出重金属离子“下行”迁移控制技术。研究表明:矸石粒径、煤层埋深、底板岩性以及重金属离子析出浓度是关键性影响因素,且重金属离子迁移距离随底板岩层的渗透率及重金属离子析出浓度的增大而增大,随矸石粒径及煤层埋深的增大而减小,确定底板岩层的渗透率及重金属离子析出浓度为核心影响因素。提出了重金属离子“下行”迁移控制技术,包括顶板注浆封堵技术、底板铺设防渗层技术、pH值调控技术以及矸石粒径控制技术。