考虑外委的露天矿剥岩计划的优化研究

针对“剥岩高峰”对矿山生产带来的不利影响，研究了设备配置更新策略与露天开采外委剥离的优化问题.基于铲运设备的运营成本与生产能力随设备役龄变化的关系，建立了决策单台设备退役时间的动态经济寿命计算模型，并根据此模型给出了具体的设备配置算法步骤.设置一系列不同的矿山自剥离量与外委剥离量的分界水平，计算各分界水平条件下的外委单价可行区间，然后在区间内确定外委商谈价格并分析得出与之对应的总成本净现值最低的外委方案.实例计算证明，采用该方法减少设备投资的成本要高于外委岩石剥离成本.     

4一致C-超图的最小边数问题

研究了上色数为3的4一致C-超图的最小边数问题，并给出了上色数为3的4一致C-超图的最小边数的一个上界．     

Hamilton线图中的泛圈性

对于图Ｇ的边ｅ＝ｕｖ，定义ｄ（ｅ）－ｄ（ｕ）＋ｄ（ｖ），这里ｄ（ｕ）和ｄ（ｖ）分分别表示ｕ和ｖ的度，该文的主要结果是：对阶为ｎ（ｎ≥４０）的简单连通图Ｇ，如果对Ｇ中任意两条边距离为２的边ｅ１，ｅ２都有ｄ（ｅ１）＋ｄ（ｅ２）≥ｎ，并且线图Ｌ（Ｇ）是Ｈａｍｉｌｔｏｎ的，则Ｌ（Ｇ）是泛圈的，并且条件Ｌ（Ｇ）是Ｈａｍｉｌｔｏｎ是必要的。     

基于Solidworks制图实验的研究与应用

从机械制图教学的特点出发.结合SolidWorks软件的特点,利用SolidWorks的三维立体造型功能.工程科功能.装配体功能及动态演示功能.通过基本体.组合体.相贯线及装毫体等制图实验,较大地缩短认知周期,提高教学效果.     

一类泛圈图

本文证明了如果G是2连通无爪图,G不是圈,n=|v(G)|>q,G的每个导出子图A都满足φ(a_1,a_2),且G中不存在W′作为其导出子图,则G是泛圈图。     

一类不确定非线性系统的鲁棒稳定控制器的设计

运用微分流形的分布为工具，先将一类多输入多输出不确定非线性系统通过对角状态反馈变换为一个状态矩阵为区间矩阵的不确定线性系统，把非线性系统的不确定性和对角状态反馈变换误差转化为区间矩阵。再对区间矩阵系统应用实对称矩阵集合的最小上界定理进行鲁棒控制器设计，从而达到对原非线性系统的鲁棒稳定控制。最后通过一个算例验征了该方法的有效性。     

区间动力系统稳定性分析的最新进展

综述了区间力系统稳定性,广义区间动力系统正则、无脉冲膜、稳定性方面的近期结果,并对其中一些结论所使用的工具及方法进行了总结.     

巷修锚杆支护的应用与探索

返修巷道时,应根据松动圈的发展特点,科学地、客观地设计支护方案。本文结合我矿三条巷道返修后的变形比较,从而证实了锚杆支护在我矿巷修中的成功应用。     

新型齿圈式切焦机在焦炭整粒中的应用

摘要：阐述了焦炭整粒在高炉冶炼中的必要性和重要性。针对临钢双齿辊切焦机的缺点进行了改造，研制出了CQD-80型齿圈式切焦机，介绍了CQD-80型齿圈式切焦机设备构造及改进，CQD-80型切焦机使用情况说明，其性能安全可靠，效果显著。