放顶煤工作面瓦斯抽放与防火技术

本文论述了厚煤层放顶煤工作面瓦斯抽放和利用抽放钻孔进行防灭火的实践。有效地解决了工作面的瓦斯治理问题,控制了采空区浮煤自然发火。     

Banach空间半直线上奇异脉冲积分-微分方程初值问题解的存在性和唯一性

本文在更广泛的情况下,利用Sadovskii不动点定理研究了Banach空间中半直线上一类非线性奇异脉冲积分-微分方程初值问题解的存在性和唯一性,推广并改进了已有文献中的相关结果。     

BDY滑移支架成功替代∏型钢放顶煤工艺的实践

本文对BDY型并联顶梁滑移液压支架与∏型钢梁放顶煤工艺基本性能进行比较,以提高对BDY并联顶梁液压支架的认识,使该支架更好的应用并发挥其效能,为实现煤矿安全生产服务。     

抽象空间中二阶非线性奇异边值问题的正解

本文在一个特殊的Banach空间中研究了一类二阶奇异边值问题正解的存在性,其中的非线性项含有一阶导数,并且在自变量的端点处和该空间的零元处具有奇异性.通过构造一个特殊的非空凸闭集,利用Kuratowskii非紧性测度理论和Monch不动点定理,获得了该类问题正解的存在性.与已有文献相比,本文没有利用近似逼近方法.因此,即使退化到纯量空间,本文所用方法也完全不同于已有文献,并且得到了更为有效的结果.最后给出了两个例子说明其应用.     

抽象空间中微分系统弱解的局部存在性

考虑在抽象空间中，微分系统{x′=(x′/y′)={f1(t1x1y)/f1(t1x1y)}=f(t1x)x(0)=(x(0)/y(0))=x4=(x4/y4)弱解的局部存在性．其中f1f2分别满足弱紧性条件与弱耗散性条件．得到的结果包含了文[2～4，6]的有关结果．是上述结果的改进和更一般化推广。     

抽象空间中微分方程弱解的存在性和唯一性

考虑了在抽象空间Ｅ中初值问题ＩＶＰＸ’＝ｆ（ｔ，Ｘ）Ｘ（０）＝Ｘ０∈Ｅ弱解的存在性问题，改进了文［１～５］中的唯一性函数和弱耗散型条件，得到了更为广泛和一般化的结果。     

不连续条件下二阶非线性微分方程的边值问题

考虑了不连续条件下二阶非线性微分方程的一般边值问题．第2、3部分在单边Lipschtis条件下，建立了比较定理并利用上下解法得到了解的唯一性和存在性结果;第4部分，利用单调迭代方法，得到了极解的存在性，以上的有关结果分别改进和推广了Nieto(1992)与Hdrkkila(1994)等人相应结果。     

基于矩阵方法的Banzhaf值的计算及应用

在合作博弈中,Banzhaf值提供了每个参与者形成大联盟的预期边际贡献,因此Banzhaf值的求解是一个重要的研究内容.本文首先回顾合作博弈及Banzhaf值的定义,并且运用矩阵半张量积,给出合作博弈特征函数的代数表示.然后给出了Banzhaf值的等价的代数形式和简捷的计算方法.最后将所得结果应用于生物网络中,用Banzhaf值度量遗传疾病基因相关性的可能性,确定与遗传疾病发病高度相关的基因.     

Banach空间中二阶微分方程的无穷边值问题

利用Monch不动点定理研究了Banach空间中一类无穷区间上的二阶微分方程的边值问题，在比较弱的条件下得到了解的存在性。     

Banach空间一类奇异脉冲微分方程的边值问题

讨论了Banach空间中一类具有奇异性的脉冲微分方程的边值问题，利用Moench不动点定理，获得了该边值问题的存在性，并给出在无穷维奇异脉冲微分方程组中的应用。