邢东矿1121工作面甩陷落柱开采技术研究

邢东矿1121工作面内存在陷落柱,经探测分析该陷落柱长轴24m,短轴14m,为保证矿井正常生产,最大限度减少资源损失,决定甩掉陷落柱,采取补掘新切眼及配巷,剩余面形成新的生产系统,在新面推进的同时安排工作面陷落柱段撤架并进行新切眼支架的安装,保证了矿井正常生产.     

方柱截面驰振分析的能量方法

针对驰振Den Hartog判据的局限性,发展了驰振的能量分析方法:应用CFD动网格技术,计算截面做强迫简谐振动时气动力输入结构的能量大小,判断截面是否具备发生驰振的可能.以方柱截面为主要研究对象,分别通过Den Hartog判据和能量分析方法判断了其不稳定驰振区域,并对两种方法的计算结果进行比较.在验证能量分析方法可靠性的基础上,进一步分析了振动频率、振幅、来流风速对气动力输入能量的影响,确定了方柱截面驰振的最大振幅及抑制振动所需的最小阻尼比.研究结果表明:Den Hartog判据和能量分析方法的结果较吻合,能量分析方法能够用于评判截面的驰振稳定性能.     

梯形水平折梁的内力分析

本文对梯形水平折梁（０≤α＜∏２）和矩形水平折架（α＝∏２）用最小余能原理进行了内力分析，并导出了相应的计算公式，可在工程结构设计中采用     

拟半连续格

作为半连续格的推广,引入了拟半连续格和拟半代数格的概念,讨论了它们的一些基本性质.     

基于项目集格及位图索引的频繁项目集发现算法

以格论及位图索引技术为基础给出了一个新的频繁项目集发现算法.1)该算法利用有向图进行一次性数据预处理,在预处理过程中将数据库预先存贮为每个结点都用一个域来记录其支持度的项目集格,从而把复杂的频繁项目集的发现问题转化为图搜索问题,提高了频繁项目集发现过程的效率.2) 支持度计算是关联规则发现中I/O及计算开销都非常大,算法引入了位图索引技术,提高了项目集支持度的计算速度.存储完整位图需要较大空间,针对该问题算法对位图进行了分块管理并对其进行了有效的编码压缩;不仅可以有效地对原始位图进行有效压缩,另外也可以在较大程度上提高支持度的计算效率.最后,对算法进行了计算实验与分析.     

带的双闭子带和自由幂等元半环

给出带的双闭子带和它的性质及特征。在此基础上，给出加法半群为半格的幂等元半环簇中的自由对象。     

Hopenwasser猜想的一个注记

在[1]中K.R.Davidson提出了Nest代数和CSL代数中十个未解决的问题之一是A.Hopenicasser在[2]中的猜想。即对任意的交换子空间格&.是否有本文主要得到如下结果:rad(alg&)和以及都含相同的紧算子。     

下寒武统大林子组溶解蒸发岩系旋回层序及渗流构造成因

《科学通报》第44卷第16期发表了《华北中新元古代及早古生代地震灾变事件及与Rodinia的关系》[1]一文（以下简称《华北》）,涉及辽宁大连下寒武统大林子组的成因问题.我们曾先后于1984～1986,1993～1995和2001年对该组地层进行过详细的旋回层序、微层序和岩石学及微组构成因研究,对大林子组中段溶解蒸发岩系进行了几至几十厘米的超微层单元逐层观测取样,进行室内显微岩石组构和化学组分分析.本文按层序、岩石组构分析和比较