基于偏序的矿井导线网NF2嵌套关系模型

首先应用偏序空间理论,提出了井下测量对象的数据库论域命题,并论证了该命题的成立;然后提供了井下测量对象的NF2嵌套数据模型和测量对象的存储数据结构.根据上述理论、命题及数据模型和数据存储结构,提出了基于偏序空间的井下测量对象操作代数,最后给出了一个工程实例,验证了文中的理论和方法的正确性.图3,参5.     

磨刀坑矿井紧密褶皱煤层采煤方法的研究与应用

本文通过生产实践，理论联系实际，分析、研究、总结出永春县煤矿磨刀坑矿井紧密褶皱煤层采煤方法的研究、采用。     

隧道掘进技术在斜井井筒施工中的应用

文章阐述了山西新元矿井副斜井采用隧道掘进工艺，达到快速掘进施工的生产经验，重点介绍了该工程的施工组织管理和机械配备。     

用似双重介质模型进行岩体应力与渗流耦合分析

将宏观裂隙按裂隙渗流模型分析,微观和细观裂隙按等效连续介质模型处理,给出了一种非线形耦合分析模型———似双重介质模型。基于该模型导出了岩体应力场与渗流场的非线形耦合分析有限格式。通过对煤矿矿井突水预报问题进行分析研究,验证了所提出的方法是可行和实用的,并给出了一些有实际应用参考价值的结论。     

矿井通风网络风流调节的优化

本文提出矿井通风网络灵敏度的概念,通过对矿井通风网络灵敏度的分析,得到最优树的一次性选择方法。根据通风网络的树枝和余树弦集形成独立回路矩阵的方法,在程序设计时,采用稀疏矩阵技术来存贮独立回路矩阵和解线性方程组,提高了解算速度和节约内存。     

轻型放顶煤技术在密集村庄下的开采应用

密集村庄下应用轻型放顶煤技术在我国具有很大的推广价值。林南仓矿业有限公司根据自身村庄密集，村庄压煤严重的状况，积极将轻型放顶煤技术应用于建筑物下条带开采。并进行课题研究，提高了煤炭资源回收率和生产效率，降低了成本。     

矿井通风网络最小独立路集不交化可靠度的计算

运用可靠性工程理论及不交型积之和定律 ,在大型网络系统可靠度计算的基础上 ,提出了矿井通风网络系统最大线性无关最小独立路集予以真子集涤除的不交化可靠度计算的实现方法 .根据不交化可靠度计算法 ,当最小独立路集按所含网络分支的多少进行升序排列时 ,还可进一步减少中间过程的计算量 ,从而达到最佳不交化简化计算的效果 .实例分析表明 :采用升序排列的最小独立路集并按不交型积之和定理予以真子集涤除的不交化处理后 ,不仅计算值等同于一般网络分析中用全概率公式计算的矿井通风网络系统可靠度 ,而且 ,计算工作量大为简化 .     

用PLC对提升机控制系统的改进

针对国产矿井提升机控制系统采用继电器存在的接线复杂、事故点多、准确性差、维修困难等问题,提出用PLC控制矿井提升机,并具体介绍用PLC代替继电器控制的硬件和软件方法。     

矿井直流电透视方法技术研究

利用三维有限元计算方法对矿井直流电透视的七种装置形式进行正演模拟。计算结果表明，矿井直流电透视法属于体积勘探，但不同的测量方式对应不同的电场分布特性，能突出探测目的层(煤层内或顶底板岩层)内的异常特征，为采煤工作面内的具体地质问题选用相应的装置形式提供了理论依据。     

矿井充水机理、水害成因与治理

通过对矿井充水机理和水害成因的分析研究，提出了水害治理的技术和管理措施，具有应用与推广价值。