●《中文核心期刊要目总览》核心期刊
● 中国科技核心期刊（中国科技论文与引文数据库）
● 中国知网(CNKI)
● 中国科学期刊数据库(CSPD)
● 美国《化学文摘》(CA)
● 美国《乌利希国际期刊指南》(Ulrichsweb)
● 美国《剑桥科学文摘》(CSA)
● 俄罗斯《文摘杂志》(AJ)
探讨了利用消光法原理来测定密封油脂中煤尘含量的基本原理，给出了具体的测定方法和自动测定的软、硬件设计，测定结果经比对试验满足精度要求，方法简便、快速。
讨论了数据特性对ＤＥＡ评价结果的影响问题，并给出了消除这种影响的数据处理的方法。
福建罗厝山井田的煤炭资源勘查，是省内第一个由生产单位自筹经费完成的勘探报告，具有周期短、投资少、见效快、效益高的特点。其成功经验有一定的推广应用价值。
研究、讨论了现代变形监测网如何充分利用已有网的观测资料，补建和改建已有监测网的非线性动态优化设计问题，提出了优化设计的数学模型及相应的解算方法。
在杨庄煤矿８６０８工作面岩移观测研究中，通过地表和巷道岩移联合观测的方法，探讨了任意点、任意剖面线形式布设测站的观测内容、资料整理、综合分析的改进，为岩层与地表移动观测研究提供了一条新的途径。
针对煤矿顺槽巷道特点，采用ＴｕｒｂｏＰｒｏｌｏｇ和ＴｕｒｂｏＣ混合编程，研制成了锚杆支护决策专家系统（ＢＤＥＳ）。本系统具有较强的推理功能、丰富多样的知识库、良好的解释功能和反馈机制。在开滦、焦作等矿区现场初步应用表明，本系统易操作、运转可靠，具有良好的应用前景。
试验研究了冷轧带肋钢筋普通混凝土空心板，结果表明这种构件在承载力和裂缝宽度方面均具有良好的性能，较普通钢筋混凝土平板，可节约钢材４８％、混凝土用量９．３％。
分析了矿图图形的基本特征，将矿图图形要素分为三类，即点状、线状和面状符号。从这三种类型的图例符号特征出发，论述了矿图符号库的建立和调用方法。
给出一种新的跟踪同伦曲线的自由单纯形算法。算法的每一步都沿着同伦曲线方向构造一个单纯形，这个单纯形由某标准单纯形经正交变换得到；然后在单纯形上作线性逼近函数；最后求出线性逼近函数的解线段代替同伦曲线。如果要整个地很好地跟踪同伦曲线，还可以每步用牛顿法校正。文章最后给出一个实例。
详细地分析了煤炭行业工资水平及其影响因素，对其刚性增长进行了煤炭行业政策评价、产业结构分析，并给出了“九五”、“十五”规划期间工资水平预测。
论述了在我国建立社会保险会计的必要性和可行性，并就社会保险会计研究的内容、对象、目标等基本问题进行了探讨。
讨论了一类特殊矩阵变量ＤＬＭ的观测误差方差阵Ｖｔ为未知常数矩阵情况下的分布，并给出了修正递推及其预测公式。
贝叶斯动态线性模型（简称为ＢａｙｅｓＤＬＭ）是一种特殊的预测方法，它以一个动态方程组和先验信息为基础，通过一组递推修正方程预测指标的变化情况。本文给出递推修正方程的一个假定前提的理论证明，从而说明ＢａｙｅｓＤＬＭ的合理性和严密性
对于地下有压隧洞，根据流变力学的基本理论，分析了在两向等压条件下隧洞围岩流变引起支护衬砌内部及其衬砌本身流变而产生的应力和位移随时间的变化规律，建立了与时间有关的支护衬砌破坏依据，对隧洞支护设计和预计衬砌不同时期的受力和稳定性有一定的参考价值。
介绍了用于光测电压的晶体的选择与晶体加工设计中的光轴选定原则。以ＬＮ晶体为例介绍了晶体元件设计过程中的参数计算方法
通过大量的相似材料配比试验研究证明，在材料中加入一定浓度适量的Ｎａｃｌ溶液是实现覆岩破坏稳恒电场特征相似材料模拟的最佳方法。试验得出了相似材料电阻率与Ｎａｃｌ溶液浓度的关系。按照这一关系配制的相似材料模型的试验结果准确地反映了覆岩破坏稳恒电场的变化特征。
通过对新汶煤田太原组和山西组中的孢粉化石的研究，共鉴定出孢粉化石５２属１５４种，其中太原组３８属１４０种，山西组３２属１３５种。根据孢粉属种组成和含量在纵向上的变化共建立了两个孢粉组合带（自上而下）：ⅡＧｕｌｉｓｐｏｒｉｔｅｓｃｏｃｈｌｅａｒｉｕｓ－Ｓｉｎｕｌａｔｉｓｐｏｒｉｔｅｓｓｉｎｅｎｓｉｓ带和ⅠＬａｅｖｉｇａｔｏｓｐｏｒｉｔｅｓ－Ｔｈｙｍｏｓｐｏｒａ带。通过与华北部分地区石炭一二叠记孢粉组合带对比，新汶煤田的这两个孢粉组合所代表的地质时代分别为晚石炭世晚期和早二叠早期。
图Ｇ的一个（正常）路着色是一映射φ：Ｖ（Ｇ）→Ｃ，使得Ｃ中任一元素的原象的导出子图是路的不交并，使Ｇ有正常路着色所需要的Ｃ的最小基数｜Ｃ｜，称为Ｇ的路色数，用ｘ（Ｇ；Ｐ∞）表示。Ｊ．Ａｋｉｙａｍａ和Ｅｒａ［３］提出如下问题：是否存在平面图Ｇ使得ｘ（Ｇ；Ｐ∞）＝４？关于这一问题，已有人证明［３，５］；对于任意平面图Ｇ，都有ｘ（Ｇ；Ｐ∞）≤３，这里我们从路色数的角度给出该问题的一个更简单的证明
本文证明了：若Ｇ是Ｈａｌｉｎ图，则Ｇ的线性荫度为［△（Ｇ）／２］，点荫度和线性点荫度为２，路分解数等于它的奇数度顶点的一半。
考虑定常Ｓｔｏｋｅｓ方程的一种带惩罚项的变分形式，用局部非协调有限元求解，从而解决了这种变分形式在三维空间上不能应用于光滑区域的问题，并且得到了在本文所定义的范数意义下的最优误差估计。
用积分流形理论研究平面周期扰动系统，在强共振下获得了从二阶细焦点分支出不变环面的条件并给出应用例子。
建立了二阶超线性常微分方程ｘ″（ｔ）＋ｐ（ｘ）ｘ′（ｔ）＋ｑ（ｔ）｜ｘ（ｔ）｜αｓｇｎｘ（ｔ）＝０，ｔ≥ｔ０，的一个新的振动定理，它推广且统一了文献〔１〕—〔５〕中的某些结果。