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

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

一阶最优性条件研究

本对由Botsko的关于多变量函数取极值的一阶导数检验条件定理^[1]进行了分析研究，给出了更实用而简捷的差别条件。最后，举出若干例子予以说明。     

Structural and thermodynamic properties of AlB2 compound

We employ a first-principles plane wave method with the relativistic analytic pseudopotential of Hartwigsen, Goedecker and Hutter (HGH) scheme in the frame of DFT to calculate the equilibrium lattice parameters and the thermodynamic properties of AlB₂ compound with hcp structure. The obtained lattice parameters are in good agreement with the available experimental data and those calculated by others. Through the quasi-harmonic Debye model, obtained successfully are the dependences of the normalized lattice parameters a/a₀ and c/c₀ on pressure P, the normalized primitive cell volume V/V₀ on pressure P, the variation of the thermal expansion α with pressure P and temperature T, as well as the Debye temperature \Theta_D and the heat capacity C_V on pressure P and temperature T.     

外FO-群

如果群 G 的所有真商群都是 FO-群,但是群 G 本身不是 FO-群,则称 G 为外 FO-群,本文将给出外 FO-群完全的结构描述．     

Kthe-Bochner空间的凸性(英文)

本文利用Kothe函数空间的性质以及Kothe函数空间与Kothe-Bochner空间的关系,讨论了Kothe-Bochner空间E(X)的凸性,主要结果如下: (a)给出E(X)的端点的充分条件,得到了E(X)严格凸的判据,相应地推广了Lp(μ,X) 以及Lφ(X)的结果; (b)讨论了E(X)的弱局部一致凸和局部完全k-凸; (c)刻画了E(X)的强凸,给出了F(X)强凸的充要条件．     

完全非线性偏微分方程解的Gevrey微局部正则性

本文中，我们首先简要回顾了Gevrey类中的仿微分运算，然后考察了相关的完全非线性偏微分方程的象征的一些性质。作为应用，我们得到解在椭圆点附近的Gevrey微局部正则性。     

熔融LiCl及其急冷非晶键取向序的分子动力学模拟研究

本文进一步讨论了我们新近提出的等近邻数键球谐函数方法,并通过分子动力学模拟研究了熔融LiCl及其急冷过程。对计算机模拟各时间步产生的瞬态构型进行平均,计算了不同温度下键序Q_l谱.将模拟Q_l谱与线性组合模型Q_l谱比较,观察到模拟Q_l谱与含90％局部正四面体结构的组合模型十分相似,表明熔融Licl及其急冷非晶中局部键取向序明显倾向于正四面体序。急冷过程中不同温度下局部键取向序可用同一线性组合模型描述,但模型方差随模拟温度明显变化。方差随温度而降低,且在发生玻璃态转变时有一显著下降。不同温度下的键角分布也作了计算,观察到键角分布在109°(正四面体局部结构键角)附近且分布峰随温度升高而展宽,与键序Q_l得到的结论一致。     

K(o)the-Bochner空间的凸性

本文利用K(o)the函数空间的性质以及K(o)the函数空间与K(o)the-Bochner空间的关系,讨论了K(o)the-Bochner空间E(X)的凸性,主要结果如下:(a)给出E(X)的端点的充分条件,得到了E(X)严格凸的判据,相应地推广了Lp(μ,X)以及LΦ(X)的结果;(b)讨论了E(X)的弱局部一致凸和局部完全k-凸;(c)刻画了E(X)的强凸,给出了E(X)强凸的充要条件.     

Banach空间上有界可逆线性变换逆变换的结构

Fillmore在[1]中得到一个定理:设A,T是Banach空间X上的线性变换,A有界,若Lat(A) Lat(T)且AT=TA,则T是A的多项式.在本文里,以此作为引理,讨论了Banach空间上可逆线性变换A在什么情况下,A-1可表示为A的多项式.本文最主要的结论是定理3.4:设X是Banach空间,A是X上的有界线性变换,且可逆,则A-1是A的多项式当且仅当A-1是A的局部多项式.