乐滩灌区输水隧洞穿合山煤矿采空区处理设计

分析了乐滩灌区工程北干渠溯河隧洞段长约1.06 km穿合山煤矿采空区的地质情况.借鉴高速公路煤矿采空区的成功处理经验,通过科学分析,对采空区变形和区域内覆岩的稳定性做了评价,论述了输水线路穿采空区段采取全充填压力注浆法的工程处理方法.     

关于天然气水合物钻采工艺技术进展的研究

目前全球正面临着前所未有的能源危机，天然气水合物由于储量大、能量密度高而将成为一种诱人的新型能源。天然气水合物主要存在于冻土带和海洋，在地下处于低温和高压状态，以现有的技术，钻井和开采都存在很大的困难。简要介绍了天然气水合物的性质及储量，阐述了天然气水合物钻井的六个挑战及目前国外天然气水合物的两种钻探方法；同时阐述了以热力法、降压法和化学试剂注入法为主的天然气水合物开采方法，并针对天然气水合物钻采技术现状指出了下一步的研究方向。     

炼钢中间包塞棒液压伺服比例控制系统的应用

济钢第三炼钢厂中间包塞棒液压伺服比例控制系统采用伺服比例阀和伺服缸等,系统设计完善,功能齐全,可实现塞棒位置的闭环控制,保证了结晶器中钢水液面的稳定。     

澳大利亚进口焦煤煤质特性与结焦特性研究

通过质量检测、煤的岩相分析和20kg试验焦炉炼焦试验，对澳大利亚两种进口焦煤诺维茨煤和峰景煤的煤质和结焦特性进行了研究，两种进口焦煤低灰、低硫，为单一煤层煤，煤质稳定，配煤炼焦有利于焦炭质量稳定。峰景煤和国内柳湾煤的结焦性能相当，诺维茨煤的结焦性能与国内恒山煤和祁县煤的结焦性能接近。     

基于FusionWidgets Gauges开发高职院校人才培养工作状态数据仪表盘

提出使用FusionWidgets Gauges仪表盘套件展示高职院校人才培养工作状态数据量化指标的仪表盘方法,给出了实现原理,文末给出实现实例。     

非晶态Pd—Cu—Si合金的晶化动力学研究

本文应用DSC研究了非晶态Pd-Cu-Si合金的晶化过程动力学.根据Kissinger峰移法和Arrhenius方程分别计算了晶化激活能,发现等温晶化动力学在0.15相似文献   

铁道车辆轮对超声波探伤半轴试块的研制

主要介绍了RD2、提速车和DF4轴型超声波探伤半轴试块的研制，同时介绍了主要的技术要求及制作工艺。该试块适用于在役轮轴超声波探伤，为现场检测提供了统一的探伤基准。     

含C_4A_3早强矿物的硅酸盐水泥熟料体系的研究

研究了在硅酸盐水泥熟料中引入C4A3的条件、生料的易烧性、适宜的煅烧温度及水泥的性能。研究结果表明,合理的矿物组成、掺入适量的石膏和助熔剂是实现C3S-C4A3共存的前提条件。通过在C3S-C4A3S-C2S-C4AF熟料体系中引入5%～20%的C4A3S,所制备的熟料体系具有良好的强度性能,其3d强度在15～30MPa,7d强度在25～40MPa,28d强度在45～65MPa之间。     

天然原料碳热还原氮化合成β′-SiAlON的研究进展

本文介绍β′-SiAlON的结构、基本性能及应用领域,阐述了合成β′-SiAlON的原材料和各种合成方法,重点介绍了利用天然原料合成β′-SiAlON的还原剂外加法和还原剂内加法即有机插层法。详细阐述了各工艺条件(反应原料的组成、反应温度、反应时间、反应气氛、流速及反应物颗粒尺寸、添加剂等)对合成β′-SiAlON反应结果的影响。同时本文指出目前该研究可能存在的问题及解决的途径。     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.