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

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

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

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

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

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

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

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

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

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

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

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

急斜煤层水平分段综放开采围岩失稳特征分析

针对急斜煤层水平分段综放开采围岩失稳特征,通过对围岩力学模型分析,研究围岩结构的失稳过程和演化途径.根据急斜煤层围岩的非对称分布特点,所产生的非对称作用极易使围岩发生局部变形.局部变形的不断扩展进而将导致围岩发生失稳,这种动力学失稳极易演化为灾害.为了控制这种灾害的发生,借助声发射和钻孔窥视实时监测围岩"损伤-破裂-失稳"的全过程,将为工作面开采扰动区围岩失稳与控制提供了值得借鉴的依据.     

急倾斜煤层煤岩变形局部化特征现场监测

急倾斜煤层开挖扰动区煤体动态变形具有明显局部化特征,易诱致动力学破坏。以大洪沟矿巷道动压防治为目标,通过煤岩局部化变形指标分析,室内测试、现场光学观测和表面变形监测等方法,定量分析了动压巷道两帮和顶板不同深度的侧向与垂直变形及演化特征。结果表明:巷道局部化变形差异性显著,在两巷交汇区域,B3巷道最大侧向变形达0.5 m,顶板最大垂直变形达0.6 m.确定动压破坏严重区域范围为15.0～20.0 m.这为现场灾害预测和调控提供判据。     

急倾斜煤层顶煤超前预爆破工艺分析

急倾斜煤层综放面顶煤弱化是实现安全高效开采关键技术之一。水平分段放顶煤开采已成为乌鲁木齐矿区目前采用的主要开采方式。以乌鲁木齐矿区急斜特厚煤层高阶段综放开采问题为研究背景,通过对碱沟煤矿东三+564 mB3+6综放工作面煤层赋存与开采条件调查,辨识了影响安全开采的灾变源,实施了顶煤超前预爆破弱化工艺,并采用多种监测手段,保障了安全开采。     

板形控制及相似形轧制

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