急斜煤层顶板裂隙扩展诱导能量时-空演变特征

水平分段综放开采面顶板断裂失稳预测对急斜煤层开采动力灾害防治至关重要。以碱沟矿495 m水平B1+2煤层综放工作面为背景,基于现场开采条件分析,开展顶板能量演变理论计算,构建急斜煤层顶板裂隙扩展能量演变物理平面模型实验,采用声发射与红外热像综合监测手段,揭示急斜煤层顶板裂隙扩展诱导能量时-空演变特征。研究表明:急斜煤层顶板积储的可释放应变能大于耗散能,采动作用致使顶板岩体内部损伤加剧,裂隙扩展诱导能量释放速率必然骤增;采动岩体裂隙动态扩展过程中声发射信号与红外热量同时变化,其中声发射事件数与能率呈缓慢与快速演化特征,红外热像出现热量异常(区)迁移;顶板破裂过程中"声-热"时序演变特征的实质为裂隙扩展诱导能量非均匀释放,形成缓慢与加速释放迁移的时-空演化过程,能量加速释放易造成顶板断裂失稳并诱发动力灾害。这为现场灾害预报与防治提供科学依据。     

破碎围岩大采高回撤工作面防灭火工艺应用实践研究

破碎围岩环境下的大采高工作面开采空间大,顶板破碎范围广,采区空漏风率大,尤其是在工作面回撤期间采空区防灭火,是实现矿井安全生产的基础。以羊场湾煤矿Y120204大采高工作面回撤为工程实例,通过采用注氮防灭火,并辅以传统的灌浆、隔离墙等措施,在大采高破碎围岩工作面采空区组织实施防灭火,并严密监控了防灭火效果。现场实践表明,大采高工作面采空区火灾情况得到良好控制,该工艺对羊场湾以及宁东矿区其他大采高工作面采空区的防灭火管理具有借鉴意义。     

用Visual Basic编写滚动轴承寿命校核计算程序的探析

本文简述了用Visual Basic开发滚动轴承寿命校核程序的过程。根据滚动轴承的设计、计算特点,明确了Visual Basic程序设计的总体设计思路,并按照此思路编制了滚动轴承寿命校核程序。     

油库输油管线热力计算软件的研发

油库输油管线热力计算软件考虑了油库输油管线的环境和条件,在有限差分方法的基础上,能够对输油管线停输问题进行数值模拟。文中系统地介绍了该软件的结构、软件的功能、编制软件的程序框图及软件使用操作说明,为油库输油管线热力计算提供了一种好的方法。     

板形控制及相似形轧制

推导出冷轧制品平整度与铸轧板坯凸度和轧制过程中冷轧制品板形凸度的关系，分析了冷轧过程中板形控制的实质，指出控制铸轧板坯凸度对提高冷轧制品平整度的重要性。     

新课标高考概率统计试题浅析及启示

概率与统计在生产与生活中有着广泛的运用，由于概率统计应用的广泛性，使其成为每个公民的必备常识，成为高考持续的命题热点，今年是我省新课标高考的第一年，“概率与统计”内容应该显现新课标的特色。这一点从新课改省份（海南、广东、山东、宁夏、江苏）的高考试题上可见一斑。     

覆沙层下大采高工作面覆岩运移规律

大采高开采的方法是提高煤炭资源回收、实现矿井高产高效的重要发展方向,但也造成工作面覆岩破坏严重。为此,文中以宁东煤田赋存的覆沙层下特厚煤层为背景开展大采全高工作面覆岩运移研究,运用相似模拟的方法并综合多种监测仪器从模拟现象、力源两个角度对大采高工作面覆岩运移、下沉乃至垮落的特征进行了全程监测与分析。研究表明:大采高工作面覆岩垮落初次来压步距较大,支架带压移架后极易发生直接顶乃至老顶的突然垮落,工作面来压强烈、伴随有明显的支架动载现象;延伸至地表的裂隙有诱发地表覆沙层弯曲、有溃入工作面的可能;模型开采结束后形成了6条贯穿至地表且与工作面推进方向成60°的垮落裂缝;模型内部各岩层下沉范围随着工作面的推进而不断扩大,呈U字型下沉趋势。     

动植物检疫专业动物学课程教学改革初探

针对现代动物学的飞速发展和应用型本科人才培养的目标与要求,本文从教学内容、教学方法、教学手段、考核方式及实践教学环节等方面进行动物学课程教学改革,激发学生学习动物学知识的动机和兴趣,提高动物学课程教学质量.     

多场耦合下急斜煤层开采三维物理模拟(1)

复杂环境与多场耦合作用下,采空区煤岩体非对称变形诱致局部化失稳并演化为动力灾害.针对于西北强震作用下煤矿采空区(局部化)动力失稳定量预报,以乌鲁木齐矿区急倾斜煤层放顶煤开采为背景,首先系统分析了物理模拟复合材料损伤与破裂的"声-光-电"信号迁移途径与有效可靠的测试方法,继而构建了大型立体地球物理模拟装置与"声-光-电"指标信息测控系统,形成动力灾害源的识别技术和危险性分析技术(平台).这最终为急倾斜厚煤层放顶煤开采技术参数的合理确定、提高灾害识别能力和预测精度以及灾害控制奠定科学基础.     

基于无干扰理论的构件系统安全

研究一种构件系统中多安全等级的信息流无干扰问题。在现有接口结构的基础上,使用安全进程代数描述构件系统动态行为语法和语义来构建接口自动化计算模型。研究基于互模拟的无干扰属性,构造适用于构件系统的接口安全无干扰性质SIA_NI,并证明系统在添加、删除、组合算子等复杂操作下依然满足此安全性。最后举例分析了此无干扰属性在构件化系统中的具体应用,并使用CoPS工具自动检查多安全等级构件系统的安全性,验证接口安全无干扰性质的正确性。