大台井"川法"密集柱支撑力分析

从单体液压支柱的特性出发，结合大台井实际的煤层和顶板条件，计算了俯伪斜走向分段密集采煤法密集柱的支撑力。影响密集柱支撑力的相关参数主要有煤层厚度与倾角、采深、控顶距等。密集柱支撑力的大小随煤层厚度增加而增大，顶板压力主要由密集柱承担；随煤层倾角的增大而减小；随采深增加而线性增大，深部开采时应考虑适当增加支护强度；随控顶距增大而增加，但增加幅度较小。所得到的结论为大台井“川法”采煤的实施提供了理论依据。     

SL(2,R)上的Hardy-Littlewood极大函数的性质

本文给出了SL(2,R)上的Hardy-Littlewood极大函数mf的定义,利用Ergodic定理证明了Hardy-Littlewood极大函数的强(p,p)型性质,p>1.     

城市规划辅助审批系统中的相似度研究

城市规划的审批是一件难于量化的工作，它受政治经济等多方面因素影响，是城市规划领域关注的一大焦点．本文尝试将CBR技术用于城市规划辅助审批，让政府的审批依据达到历史与现实的统一．实现CBR的一个关键是相似度的设计，本文结合城市规划辅助审批领域的特点，设计了可行的方案，并应用于实际的办公系统中．     

论追诉时效超期适用程序

分析了设立追诉时效超期适用程序的必要性,论证了该程序适用的条件,并就该程序的内容设计了相应的法律条文,供立法机关将来修改刑事诉讼法时参考。     

四维空间相交定理的几何证明

为解决研究四维空间几何元素相交时思维图象的困难，对四维空间中的相交定理用几何的方法进行了证明，并配以直观图。     

基坑支护中土压力主、被动区的互换分析

以太原市某工程为例，从实际的基坑设计中得出，基坑支护中土压力设计值一般都比实际值偏大；支护桩周围的土压力的主动区、被动区并不是一成不变的。提出用位移分析的土压力模型来区分实际工程中的主、被动区，而后进行土体受力定量的分析。     

卡尔曼滤波过程的稳定性研究

卡尔曼滤波器的稳定性并不能保证实际的滤波器算法具有收敛性,而传统的关于滤波发散的判定方法是基于量测不能出现野值这一严格的假设条件,具有一定局限性;并且通常关于滤波发散只是一种定性的描述,具有一定模糊性。为此,考虑到量测可能出现野值的情况,从滤波发散的具体数学形式出发,提出了卡尔曼滤波过程的稳定性概念,在此基础上给出了滤波发散的判定定理,既消除了通常关于滤波发散描述的模糊性,又降低了通常判定方法的要求。     

模型化推理与理论的建构

理论模型并不完全与理论一致.模型化推理的逻辑特征在于在原型与模型之间,以及模型与理论假设之间尽可能地建立起可靠的、完善的逻辑联系.利用模型化推理建构理论时,首先是提出模型,然后对其进行检验,最后根据检验结果,看看这个模型是否代表待说明现象的内在结构.理论的延伸可沿两条不同的路线进行.一是形式化的延伸;二是非形式化的延伸,它又可区分为两类:展开与发展.     

理工科院校法学专业走出就业困境之策略探析

经过几年的扩招之后，各理工科院校培养出的法学专业毕业生已经开始陆续走向市场，从各理工科院校所统计的数据来看，法学专业毕业生的就业问题已显得十分突出。突出法学教育在理工科院校的专业特色，多方面强化学生的实践能力是理工科院校法学专业走出就业困境的必由之路。各理工科院校应理性地面对目前的艰难与困境，充分依据各自的资源来追求自己在法学教育上的比较优势。     

试析新中国户籍制度形成的历史背景

新中国户籍制度的形成，既有其深刻的历史渊源，更是中华人民共和国成立后重工业优先发展战略和计划经济体制的必然产物。