正则半群上的完全单半群同余

研究了正则半群上的完全单半群同余,给出了这类同余的若干等价刻画,证明了≤*是任意正则半群上的最小完全单半群同余,(≤∪≤-1)t是任意局部逆半群上的最小完全单半群同余,是任意逆半群上的最小群同余.     

柱下钢筋混凝土单独基础有效高度h0计算公式的探讨

依据《建筑地基础设计规范》GB50007-2002中矩形基础的受冲切承栽力公式，进一步推导出了柱下钢筋混凝土单独基础有效高度h0的计算公式，使计算过程更加简单、实用；然后根据新旧规范不同公式进行计算和结果比较，建议按实际受冲切面积计算基础有效高度h0的公式更加经济合理。     

确定低渗岩心渗透率随有效覆压变化关系的新方法

低渗储层岩心在有效上覆压力增大的过程中会表现出较强的应力敏感性。提出了一种定义应力敏感系数的新方法,通过室内物理模拟实验,分析得到了应力敏感系数与初始渗透率的关系式。结果表明,用该方法定义的应力敏感系数不受实验中所测数据点个数的影响,并且与实验岩心所受的最大围压无关;用二重乘幂函数式可表征出任意初始渗透率随有效覆压变化的关系,能方便地确定地层条件下储层渗透率,并能对油气井产能作出正确评价。应用该方法可以计算非均质油气储层开发过程中任意渗透率的变化动态,为建立低渗变形介质油气藏渗流模型及进行数值模拟奠定了基础。     

陕西淳化口镇—圣人桥地区地层变形特征及其地质意义

运用区域构造与局部变形相结合的方法对口镇－圣人桥地区的地质构造进行综合研究，并对断层系统进行区域追索调研。揭示出该地区的沉积盖层大致经历了加里东期和燕山期两期挤压褶皱变形及喜山期的拉张断陷作用。着重论证了该区不整合于加里东的构造层之上的上古生蜀和中生界燕山期的构造特征，组合样式及其变形机制。厘定了作为鄂尔多斯地块南缘燕山期构造活动带与稳定的地块界的老龙山－圣人桥冲断带的存在及其区域地质意义。     

Hilbert空间中逼近广义均衡问题和有限族非扩张映射不动点集的公共解新的迭代方法

在Hilbert空间中引入一种新的迭代方法,以寻找广义均衡问题和有限族非扩张映射的不动点集的公共元素,并证明了给出的迭代强收敛于变分不等式的唯一解,同时也强收敛于最小值问题的最优解.     

基于自适应逆推设计的STATCOM非线性鲁棒控制

针对受内部及外部扰动影响的含STATCOM(StaticSynchronousCompensator)的单机无穷大系统 ,使用自适应逆推方法构造出系统的存贮函数 ,进而同时获得非线性L2 增益干扰抑制控制器及参数替换律·该控制器不仅能够抑制干扰对系统输出的影响 ,而且由于在内部扰动中重点考虑了阻尼系数的不确定性 ,因此该控制器对系统参数变化也具有很强的鲁棒性·同时 ,该方法的设计过程系统、简明 ,易为工程人员所接受·仿真结果表明自适应逆推方法设计的控制器拥有更优越的性能     

浅埋煤层长壁采场覆岩活动规律的研究

基于某煤矿2305综采工作面工程地质条件和开采技术条件,应用数值模拟（RFPA）和现场实测方法,深入研究了浅埋煤层开采后伪顶、直接顶和基本顶的破坏、运动规律,从而对指导、评价采场围岩控制提供理论依据。     

淤泥质粘土层非开挖定向钻进高分子植物胶冲洗液研究

针对淤泥质粘土层非开挖定向钻进过程中孔壁稳定问题,采用微观分析和实验研究相结合的方法开展了高分子植物胶冲洗液体系的研制。首先,通过室内实验分析了添加剂对基浆流变性能及失水性能的影响,并采用扫描电镜对添加剂进行微观形貌分析。最后,通过标准岩心浸泡实验对添加剂的防塌性能进行了评价。在此基础上,研制出了适用于淤泥质黏土层的高分子植物胶冲洗液。研究成果对于保障淤泥质黏土层快速非开挖定向钻进具有重要意义,同时,在解决其它类似地层的快速非开挖钻进方面也具有一定参考价值。     

薄基岩厚冲积层倾斜采场覆岩破断及裂隙带发育高度研究

针对新河煤矿3302工作面薄基岩厚冲积层条件下煤层开采易发生透水事故的隐患,建立"砌体梁"结构模型并分析其稳定性,利用数值模拟的方法模拟倾斜工作面覆岩导水裂隙带发育高度,最后通过现场测试进行验证。结果表明:薄基岩厚冲积层条件下的倾斜工作面基本顶在发生破断后形成的"砌体梁"结构易发生回转变形失稳和滑落失稳,采空区导水裂隙带发育高度为55.3m,裂采比为11。     

中药路路通化学成分的研究（Ⅰ）——一种新的五环三萜的结构测定

从生药路路通分离得到２个齐墩果烷骨架的五环三萜类化合物．通过１３ＣＮＭＲ，ＤＥＰＴ，１ＨＮＭＲ，２Ｄ１Ｈ－１３ＣＣＯＳＹ，２Ｄ１Ｈ－１ＨＣＯＳＹ，ＩＲ，ＭＳ和元素分析阐明了它们的结构．（１）为２α，３β－二羟基－２３－去甲－齐墩果－４（２４），１２（１３）－二烯－２８－羧酸，（２）为２α，３β，２３－三羟基齐墩果－１２（１３）－烯－２８－羧酸，（１）未见文献报道，（２）是首次从这一植物中分离得到