EBZ260H型掘进机在全岩石大断面中的运用

全岩巷的大断面巷道采用炮掘施工工艺,劳动强度大,单进水平低,不能满足该矿的接续要求。因此,该矿引进了EBZ260H型掘进机,该机从地面运输到井下应用,都取得了较好的效果。该岩巷掘进机在全岩石大断面巷道中快速掘进具有推广价值。     

二部图匹配的一个判别条件

根据Hall定理,二部图G=(V1,V2;E)有一个浸润V1匹配的充要条件是:SV1,N(S)∩V2≥S,即V2中与V1的任一子集S相邻的顶点数不小于S中的顶点数。当V1中的顶点数较多时,用该条件判定较为困难。本文给出了一个基于顶点度判别二部图有浸润匹配的条件,并应用该条件解决了一个关于图的二划分的问题。     

截割减速器密封结构的分析与改进

针对EBZ320掘进机的性能要求设计截割减速器的密封结构，并通过相关理论分析，合理的对密封结构给予改进，从而可以有效的避免出现截割减速器的漏油现象。     

波兰表达式构成图及顶点数的探讨

基于Wong波兰表达式的理论,引入图论的方法来研究版图设计.构造以波兰表达式为顶点的图,并建立树与Dyck path的一一对应最终计算出此图的顶点个数.     

《授时历》中的招差法和弧矢割圆术研究

研究了《授时历》中的招差法和弧矢割圆术的构建原理。结果表明，前者即现在的三次内插法，古代是从一些实测数据出发，利用代数方法构造一个确定天体在每一时段所处位置的算法，并用表格和公式的形式表示出来；后者是中国历法计算中首次使用的球面几何方法，系应用古代的勾股算术和沈括的“会圆术”并结合高次方程来解决天文测量问题。通过中外比较认为，牛顿内插法晚于中国招差示近400年，而弧矢割圆术的使用标志着中国数学上的球面三角法思想的出现。     

关于图的顶点划分数

该文讨论了无爪图的顶点划分数,给出了完全n部图的顶点划分数的计算公式,最后证明了任意图的点线荫度不大于它的边线荫度且不等式是精确的.     

关于顶点凝聚度的几个定理

本文研究图Ｇ的顶点、是负点（Ｃ（ｖ）＝Ｋ（Ｇ）－Ｋ（Ｇ－ｖ）＜０， 零点（Ｃ（ｖ）＝０）、正点（Ｃ（ｖ）＞０）的充要条件。     

机器人路径规划的凸点法

在具有障碍物的凸多边形或凹多边形的二维环境中，用不断搜索凸点的方法规划任意两点间的无碰路径，与其他方法相比，其规划速度快，优化后的路径质量较好．     

一种改进的逐步进行法

对线性多目标决策问题提出了与逐步进行法（ＳＴＥＭ）不同的交互方法。讨论了如何在每一步提供给决策者一个非劣解进行交互以及决策者对当前非劣解不满意时，可直接提出要求改进某个目标，这样的交互方式相当于每一步加上一个割平面。最后用算例说明了改进的逐步进行法的有效性。     

整数线性规划的一种混合算法

本文是将分支定界法与改进的割平面法、隐枚举法相结合,提出一种解决整数线性规划的混合型方法。用这种方法解决整数规划问题,能节省较多的计算量。