导函数的极限与在该点的导数的关系

在高等数学的教学中，常用导函数的极限判断函数在某点是否可导．这种方法使用起来非常地方便，但是这种方法并不总是正确的．     

大采高俯采综采工作面过断层期间防灭火综合技术应用

以国投新集刘庄煤矿171303综采工作面过断层期间煤自燃防治为例,分析了大采高俯采工作面过断层期间煤易自燃的原因,结合该矿井实际情况,提出了调整工作面风量、施工防灭火钻孔灌浆、喷注高分子材料、采空区注氮的综合治理措施。结果表明:此措施的应用使171303综采工作面架间CO浓度由674ppm降低至20ppm,保证了该工作面在过断层期间的安全生产。     

煤与瓦斯突出工作面突出危险预警技术的研究与实施

根据煤与瓦斯突出的特点,瓦斯一般呈条带状分布,另外受地质构造影响较为明显,针对突出事故的这些特点,我们提出了研究工作面突出危险性预警技术,就是结合邻近工作面、工作面掘进期间所结论的瓦斯地质情况,提前预警划分出工作面瓦斯异常区域,在异常区域内采取有针对性的防突措施,在确保安全的基础上提高工作面生产     

综采大倾角俯采工作面开采技术研究

在大倾角俯采工作面开采过程中,我们针对俯采工作面不利开采因素,加强设备改进及施工工艺改进,从而有效提高了三机配套,在大倾角俯采综采工作面应用效果,为今后类似条件下开采有较为重要的指导意义。     

关于可递代数性质的一点注记

证明了一类非完全NP核空间上移位算子Mz具有可递代数性质,这是对已有相关结果的一个重要推广.     

对局部Lipschitz函数正则性的一个注记

给出了局部Ｌｉｐｓｃｈｉｔｚ函数弱正则的概念，得到了局部Ｌｉｐｓｃｈｉｔｚ函数弱正则的充要条件，并说明了局部Ｌｉｐｓｃｈｉｔｚ函数弱正则与弱方向Ｄ－正则的关系     

浅谈凸函数的分析性质

讨论凸函数的连续性和可微性，从而得到凸函数良好的分析性质。     

T可剖空间的χ′指数的计算

在“作为Ｔ空间Ｔ伦型不变量的特异指数”一文中，作者指出了一般Ｔ空间的χ′指数一特异指数为Ｔ伦型不变量，在本文中则进一步指出了计算Ｔ可剖空间的χ′指数的途径并给出了计算这类空间的χ′指数的例子     

Verilog HDL语言RTL级描述的可综合性

所谓逻辑综合就是将较高抽象层次的描述自动转换到较低层次描述的一种方法。由于Ｖｅｒｉｌｏｇ ＨＤＬ（Ｖｅｒｉｌｏｇ Ｈａｒｄｗａｒｅ Ｄｅｓｃｒｉｐｔｉｏｎ Ｌａｎｇｕａｇｅ）本身的特点，许多面向仿真的语句虽符合语法规则却是不能综合的，这在设计中必须加以避免。同时讨论了如何写出Ｖｅｒｉｌｏｇ ＨＤＬ可综合风格的ＲＴＬ（Ｒｅｇｉｓｔｅｒ Ｔｒａｎｓｆｅｒ Ｌｅｖｅｌ）级语言描述的程序。