坚硬顶板爆破切顶在沿空留巷中的应用研究

当煤层上方为坚硬顶板时,在工作面回采期间容易出现大面积悬顶,导致巷旁充填体出现大变形破坏,极大威胁采煤安全.为解决这一问题,以某矿1205工作面沿空留巷为工程背景,分析了爆炸围岩裂隙范围和坚硬顶板破断特征,建立了切顶卸压围岩结构力学模型,研究表明,相邻炮孔爆炸后,炮孔间裂隙互相贯穿,降低了顶板强度,同时当切顶角为15°时,巷道稳定性较好.工程实践结果表明:采用爆破切顶技术后,顶板下沉量减小了62.3%,较好地保证了围岩稳定性.     

一类(0,1)-矩阵的最大积和式的积分表达式

给出了线和n-2的n阶（0，1）－矩阵的最大积和式的积分表达式，并证明了该积分表达式与[1]得到的组合表达式等价。     

M/G/1非空竭服务休假排队系统随机分解的简化算法

本文根据M／G／1非空竭服务休假排队系统稳态队长随机分解的结构特征提出一种统一算法，该方法简洁高效，避免了再生循环方法繁杂的运算。运用该方法得出的结果与已知的用再生循环方法得出的结论一致。并且修正了Levy(1989)关于Bernoulli闸门服务休假排队系统随机分解的一个错误。     

非空交定理及其应用

本文得到了广义区间空间中几个参数型非空交定理，并用此结果证明了一些新型极大极小定理，截口定理，重合定理，以及变分不等式解的存在性定理。本文中的结果包含（１，３，５－１２，１４－１６）中相应结果。     

新型二次顶出机构

这里针对薄壁桶型且中间有4个空心立柱要求的零件。介绍了一压铸模二次顶出机构。较传统工艺生产有较高的使用价值。     

顶夸克的发现

 今年3月2日,在美国费米国家实验室举行的报告会上,CDF和D0两个实验组分别报告了他们的实验结果,正式宣布发现顶夸克(Top Quark,也称t夸克)。     

郑开大道顶进箱涵临时支撑结构设计

下穿京港澳高速公路顶推箱涵是郑开大道的关键控制性工程,顶进过程中箱涵的裂缝控制是该顶推工程成功与否的重要因素。经实践结果表明,临时支撑结构达到了预期的目的,值得应用推广。     

Brick Walls for Nonstationary Black Holes

The validity condition of the brick-wall model is analysed in nonstationary space-time.It is shown that the model holds only in thin regions,only by using tortoise coordinates near the event horizon of a slowly varying(quasistationary)black hole.The reason for the use of tortoise cooridnates is that the stationary state solutions of quantum field equations in other coordinates do not exist for any region in nonstationary space-time.Meanwhile,the quantum corrections to the entropy of the Vaidya-Bonner black hole due to the spin fields are calculated in terms of the brick-wall model.     

Entropy in the NUT—Kerr—Newman Black Holes in the Background of de Sitter Spacetime

We calculate the entropy of the fermion field in the NUT-Kerr-Newman black holes in the background of the de Sitter spacetime by using the improved brick-wall method and the membrane model.Here the Euler characteristic of the black holes is over two.The results show that,as the cut-off is properly chosen,the entropy in the black hole satisfies the Bekenstein-Hawking area law.     

关于图的直径和平均距离

图的直径和平均距离是度量网络有效性的两个重要参数．Ore通过图的顶点数和直径给出无向图的最大边数．Entringer，Jakson，Slater和Ng，Teh通过图的顶点数和边数分别给出无向图和有向图平均距离的下界．该文提供这两个结果的简单证明，给出有向图类似Ore的结果，并通过图的直径改进Entringer等人的结果到更一般的情形．结合本文和Ore的结果，可以得到一个无向图和有向图平均距离的下界，它比Plesnik得到的下界更好．