基于固件技术的mbedOS驻留方法

依据固件技术的设计原则,基于通用嵌入式计算机架构将操作系统与应用程序进行物理隔离,提出mbedOS实时操作系统的固件驻留方法,给出Flash和RAM空间的划分原则,为用户提供函数原型级的应用层接口和调用方法,以NXP的KL36微控制器为实践载体进行mbedOS的驻留测试.实践结果表明,mbedOS驻留于BIOS中,有效地降低了编程难度,缩短了编译时间,提高了写入速度,为提高应用程序的稳定性、实时性和可移植性等方面提供了技术基础.     

GIS支持下的煤矿底板突水预报研究

华北地区特别是太行山东麓、南麓的煤田在开采下组煤的过程中普遍地受到底板奥陶系灰岩岩溶水的威胁 ,突水淹井事故时有发生 ,传统的底板突水预测方法受到了前所未有的挑战。本文从分析煤层底板水文地质条件、突水因素、突水机理为切入点 ,在 GIS的支持下 ,建立了煤层底板突水预测模型 ,效果较好     

GIS支持下的煤矿底板突水预报研究

华北地区特别是太行山东麓,南麓的煤田在开采下组煤的过程中普遍地受到底板奥灰岩溶水的威胁,突水淹井事故时有发生,传统的底板突水方法受到了前所未有的挑战,本文从分析煤层底板水文地质条件,突水因素,突水机理为切入点,在GIS的支持下,建立了煤层底板突水预测模型,效果较好。     

煤层采动顶板水文地质参数演化与矿井涌水量动态计算方法

为预防煤矿采掘过程中突水事故的发生，开展矿井突水预测预报尤其是涌水量的精准计算尤为重要。以目前矿井涌水量计算普遍采用的解析法(也称“大井法”)为例，针对采动顶板水文地质参数演化与矿井涌水量动态精准计算之间的矛盾问题，在进一步分析笔者团队前期研究成果的基础上，阐述了采动顶板破坏过程中涌水形成机制和水文地质参数演化规律，探索性提出了变参条件下矿井涌水量动态计算方法，并进行了工程应用与可靠性评价。研究表明：采动诱发顶板直接充水含水层的渗透系数(K)呈“稳定增加—波动变化—恢复稳定”的变化特征，水位降深(S)和影响半径(R)呈“快速增加—略微下降—恢复稳定”的变化特征；传统解析法预计涌水量时在边界条件概化、参数选取以及计算过程存在误差，论文提出了矿井涌水量动态计算方法，即考虑采空区面积、水位漏斗动态变化过程的“移动大井”理论模型，以初次(周期)垮落步距为计算单元依次概化“移动大井”,渐次计算工作面推进过程中的动态涌水量；以徐矿集团下属某矿1306工作面为例，分别开展了工作面回采过程中引用影响半径(R₀)单参数变化和引用影响半径(R₀)、水位降深(S)...