摘要：安全监察是矿山安全中很重要的环节。利用VC的强大计算功能和VB的编程简单性采用VB与VC优化配合使用的方法开发安全监察软件系统是快速、简单、高效的设计方法。文章对系统的整体结构和信息流程作了简单的介绍 。

摘要：针对网络信息时代的迅猛发展 ,提出用新一代软件设计方法———组件化设计方法设计适用于网络结构的通风计算模型。组件技术给通风计算带来很大的方便 ;适合通风计算的网络结构计算模型 (B/S)提供了适合时代潮流的应用形式。

摘要：洞室开挖会使围岩周边产生应力集中 ,产生拉应力与压应力。围岩出现拉应力对洞室稳定十分不利 ,通常通过改变洞室形状和轴比来消除围岩中的拉应力。本文提出一种使洞室拉应力σθ=0 ,而压应力最小的确定洞室最优几何形状的方法。

摘要：通过实验测定煤的自燃特性参数 ;由现场观测和理论分析确定综放面采空区浮煤、漏风和氧浓度的分布情况 ,然后根据实际条件下浮煤自燃的极限参数 ,将采空区划分为窒熄带、氧化升温带和散热带 ;最后根据综放面实际推进速度和最短自然发火期判定出采空区自燃危险区域 。