煤矿采掘失调的原因分析及对策探讨

本文主要介绍了煤矿矿井采掘失调的原因，采掘失调对矿井生产及安全的影响；科学的规划部署，机械装备的加大投入、新工艺新技术的使用以及培训一批高水平的操作队伍，培养一批综合素质好的管理队伍，矿井的采掘失调是可控的，采掘平衡是矿井实现安全长效机制的坚实基础，是企业顺利健康发展的根本保证。     

非正规子群的共轭类类数为3的p^aq^br^c阶群

给出了非正规子群的共轭类类数为3的p^aq^br^c阶群的分类。     

广义布尔函数的正规性

基于布尔函数的正规性,提出了广义正规Boolean函数的概念,给出了一些广义正规Boolean函数的构造方法,证明了广义正规Bent函数及其对偶函数所具有的一些独特性质.     

计算平均中子辐照量新公式的验证

最近的研究结果指出,低质量AGB(asymptotic giant branch)星辐射s-过程核合成模型氦壳层核合成区域的中子辐照量分布,同以前的对流核合成模型一样仍然非常接近指数分布;但是每个脉冲的中子辐照量Δτ和平均中子辐照量τ0之间的关系却不再是τ0=-Δτ/lnr,而近似为τ0=-Δτ/ln{q[1.002 0+0.660 2(r-q)+4.612 5(r-q)2-10.896 2(r-q)3+13.913 8(r-q)4]}(r为重叠因子,q为13C壳层占氦壳层的质量比例).利用文献对26颗Ba星以及太阳系s-过程元素观测丰度恒星模型核合成数值计算的拟合结果,以及经典模型的拟合结果,对新关系式进行了检验.结果表明,该关系式对其中的19颗Ba星以及太阳系都是适用的,对于另外7颗Ba星,关系式的失效可从模型参量数值的选择以及2种拟合机制的差异性等方面得到解释.研究结果证明了新关系式的可靠性.     

具有X-s-半置换的准素子群的有限群

设X是群G的非空子集,H是G的子群,如果H在G中有一个补充T使得H和T的所有Sylow子群X-置换,则称H在G中X-s-半置换.利用子群的X-s-半置换性得到下列结果：①设F是包含所有超可解群的饱和群系,X是群G的可解正规子群,则G∈F当且仅当存在H G使得G/H∈F且H的每个Sylow子群的每个极大子群在G中X-s-半置换.②设F是包含所有超可解群的饱和群系,X是群G的可解正规子群且H G.如果G/H∈F且~F（H）的每个Sylow子群的每个极大子群在G中X-s-半置换,则G∈F.③设X是群G的一个p-可解正规子群,p是｜G｜的最小素因子.如果G是A4-自由的,且存在H G使得G/H是p-幂零的并满足H的每个Sylowp-子群的每个2-极大子群在G中X-s-半置换,那么G是p-幂零的.     

GL(n,k)在GL(n,F)中的扩群

当F是无限域,K是F的子域,且[ F:K] < n(n - 1) 时,本文给出了GL(n ,k)在GL(n ,F) 中的全部扩群,从而得出GL( n,F) 的一类极大子群     

Cesaro空间的一个注记

本文讨论Cesaro空间的几何性质.(1)证明Cesaro空间不是一致凸的(UR),回答了P.Y.Lee教授的一个问题.(2)指出Cesaro空间是接近一致凸(NUC)但不具一致正规结构(UNS)空间的例子.     

具有循环Sylow P—子群的有限群的P—可解性

令P是一个固定素数,G是一个有限群,具有循环Sylow p~-子群.如果G满足下述条件之一,那么G是P~-可解的:(1)存在正规子群N使p|(|G/N|,|N|);(2)对G的每个不可约复特征标x,或者P|x(1),或者x(1)是一固定素数q的方幂.第一个结果首先被Feit W证明,这里给出一个新的并且简短的证明.     

p－闭群的若干充要条件

本文用子群π－拟正规和半正规的条件给出了ｐ－闭群的若干充要条件，由此得到幂零群的许多新刻划．本文的不少结果推广或强化了现有的结论．     

lω1ω的一个子逻辑系统及其特征

给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。