利用“球壳失稳”理论确定煤与瓦斯突出瓦斯压力临界值

通过实验分析得出了马家沟矿9—12、12煤层初始释放瓦斯膨胀能与瓦斯压力的线性关系，从而确定了马家沟矿深部水平9—12、12煤层煤与瓦斯突出瓦斯压力临界值，为深部水平煤与瓦斯突出预测提供了依据。     

在网络监控软件中利用钩子函数监控系统

以教学网络监控软件为例，介绍了网络监控软件设计中利用钩子函数监控系统或事件进程的编程方法和技巧。     

带有临界Sobolev和Hardy项的半线性椭圆方程的解（I）

设Ω包含R^N是有界光滑区域，0 ∈Ω ,N≥3,2^＊：=2N/N-2,0≤s〈2,2^＊（s）：=2（N-s）/N-2,2〈r〈2^＊（s）．对于满足一定条件的参数λ和μ，证明了带Diriehlet边界条件的奇异椭圆问题-△u-μu/｜x｜^2=｜u｜^2＋-2u＋λ｜u｜^r-2/｜x｜^1u的一些重要性质．     

拟线性椭圆方程共振问题解的存在定理

考虑具有无界非线性项的椭圆方程在任意特征值的共振问题. 运用临界点理论中的极小极大方法得到了边值问题-Δpu =λ| u |p-2u g(u) - f(x)　　　在Ω内u =0　　　　　　　　　　　　　在Ω上的解.     

支承松动故障转子系统共振区动态特性分析

根据工程实际,建立了松动故障转子系统的非线性动力学模型,利用KBM法对模型进行分析,得到故障转子在共振区的动力学行为特征如共振区提前且持续区间较长,二倍频、三倍频等高次谐波明显以及故障转子系统具有"软式"非线性特性等;分析了支承刚度、转轴刚度等系统参数对松动故障转子系统非线性特性的影响·与已有文献的实验结果比较,结论与实验结果比较吻合·结果可为该类故障转子系统的监测和故障诊断提供参考·     

失效树中门重要度的算法分析

把失效树中基本事件级的重要度推广到门事件级的重要度,分析了怎样用通常的失效树算法计算门重要度,给出了计算门可靠性重要度的计算公式。并通过例子来比较改进前后的算法,说明该算法的简单实用和精确性,及其易于在计算机上实现。     

复合非光滑最优化线搜索方法的全局收敛性

考虑复合非光滑最优化问题minh(f(x))，其中f是一个局部Lipschitzian函数，h是一个连续可微凸函数。本文给出了复合非光滑最优化问题的一个线搜索算法，并且在一定条件下证明了该算法的全局收敛性。     

Progress in the study of tectophysicochemistry

Tectophysicochemistry is a research area that deals with the interrelations between physical and chemical changes of crustal materials caused by tectonism. A given tectonic force may be resolved into two parts: homogeneous stress and differential stress. Homogeneous stress refers to isotopic pressure, which is superimposed on the original pressure and affects the equilibrium of various chemical reactions. It is also a factor that influences petrogenesis,metallogenesis and metamorphism. Differential stress is commonly produced when external forces act on a given solid body. It may cause deformation of crustal materials and generate various kinds of structural features. Tectophysicochemistry pays special attention to pressure, temperature and other physicochemical conditions produced or induced by tectonism and studies the influences of additional tectonic parameters on various chemical equilibria, so it gradually develops into an independent area of science.     

一类Neumann边值问题的多重正解

通过没有(PS)条件的山路引理和对最佳Sobolev常数及能量泛函的分析，得到了一类具有次线性及临界增长组合非线性项的齐次Neumann问题多重正解的存在性。     

用事件-条件-动作规则表示模糊知识的方法

提出了模糊触发器的概念，采用模糊事件、模糊条件和模糊动作来对触发器进行模糊推理，为在主动数据库及其应用领域表达不精确的应用语义特性提供了可行的方法．通过一个“过热警报”的应用实例说明了模糊事件-条件一动作(ECA)触发器的建立及其实现方法．