浅谈GIS的漏气问题

文章主要介绍GIS产品漏气对产品质量的影响,强调工艺控制对产品质量的重要作用,并通过漏气原因的分析,制定出相应的解决措施。     

稠密时间区间时序逻辑的可满足性判定

定义了稠密时间区间时序逻辑(DTITL),它是区间时序逻辑的一种实时扩充．通过定义DTITL无穷状态空间上的具有有限个数等价类的等价关系,把DTITL的连续状态模型离散化为一阶区间时序逻辑模型．定义了一套规则来构造DTITL公式对应的有界整数域上一阶区间时序逻辑子集SFO的公式,从而把DTITL的可满足性判定问题等价地转化成了SFO的判定问题．利用多个命题变量等价表示有界整数,把SFO的可满足性判定问题等价转换为可判定的命题区间时序逻辑的判定问题．解决了DTITL的可满足性判定问题．     

高压磨料射流钻割一体化防突设备的研究

为了解决目前高瓦斯低透气性煤层消突困难的问题,从磨料射流的角度开发出一种新型防突设备.介绍了设备工作原理、设备总成,并通过实验室实验摸索了设备的主要运行参数,得出影响磨料射流割缝效果的主要因素--系统运行压力、割缝时间、磨料硬度及结构不规则程度.为设备进一步优化,提高割缝能力奠定基础.     

索膜结构分离分析和整体分析研究

索膜结构由柔性材料组成,其成形及承载都依靠预应力来实现,故其设计首先需要进行找形分析和荷载分析。本文对索膜结构的分离分析和整体分析进行了对比研究,通过计算实例表明两种方法的差别是巨大的,指出了整体协同找形分析的必要性。     

多孔割缝后煤层变化规律对卸压效果影响的数值分析

文章针对高压水射流多孔割缝对煤层的应力及位移的变化影响,研究了该技术在煤层整体卸压方面的作用效果.通过FLAC3D软件分析得出,煤层进行割缝后的1m区域内,应力降低65%以上,位移变化4.11mm以上,同时在3m以内的范围能够达到整体卸压的效果.经现场应用表明,该技术可以使割缝孔之间相互作用,形成裂隙网络,煤体得到充分卸压,增加煤层的透气性,提高瓦斯的抽采率.     

府谷新区供水系统优化调度研究

结合府谷新区供水系统的特点和管理现状,建立了供水系统优化调度模型,并采用动态规划法对模型进行求解,得出一个调度周期内泵站开机的最佳时段,计算出经验运行时和优化运行后泵站的耗电量。优化结果表明,供水系统优化运行后的经济效益明显,通过优化调度,日耗电量明显少于经验运行方式,优化节电率达6.28%。     

本钢FTSR薄规格带钢稳定生产能力的提升

热轧薄规格带钢代表着热轧机组轧制薄规格产品的能力。文章分析了本钢热连轧厂提高出炉温度、优化轧制工艺、提高轧机设备精度,改善本钢FTSR产线生产薄规格产品的稳定性,促进了1.2 mm厚度的产品产量提升。通过减少过渡材,进一步增加了1.2 mm厚度的产品产量。本钢FTSR产线生产薄规格产品单周期生产770 t左右,厚度为1.2 mm的产品比例占65%以上,单轧制周期最佳产量比例77.11%,1.2 mm厚度产品月产能力提升至5000 t。