潞安集团王庄矿井后备区(深部)3#煤层瓦斯赋存特征研究

随着王庄矿井后备区开采深度的增加,矿井转为高瓦斯矿,使得瓦斯地质规律的研究势在必行。针对矿井的构造格局,采用瓦斯参数的方法定性分析了构造分区控制瓦斯分区的瓦斯赋存特征。结果表明:后备区主体是NE-SW向的安昌断层与二岗山北断层夹持与呈反"S"形的NNW、NW向宽缓的背、向斜贯穿之中的构造格局,控制着瓦斯赋存具有南北分段、东西分带的特征:南北上受断层的切割作用,呈南北边界瓦斯低,中部高的分段特点;东西上受近南北向褶曲的控制,呈现沿轴部条带分布的特点;后备区域内伴生次生构造(陷落柱)受主体构造控制,陷落柱主要发育在主干断层与褶曲轴部附近,容易造成局部低瓦斯区。     

环氧化天然橡胶/三元乙丙橡胶混合交联网络并用胶的制备及性能研究

研究环氧化天然橡胶(ENR)/三元乙丙橡胶(EPDM)混合交联网络并用胶的制备及性能。结果表明:固定硫化剂DCP用量,随着丙烯酸锌用量的增大,ENR/EPDM并用胶的100%定伸应力和拉伸强度呈增大趋势,拉断伸长率先增大后减小;固定丙烯酸锌用量,随着硫化剂DCP用量的增大,ENR/EPDM并用胶的100%定伸应力呈增大趋势,拉伸强度、拉断伸长率和撕裂强度呈减小趋势;具有混合交联网络结构的ENR/EPDM并用胶兼具ENR和EPDM的特征结构,反复拉伸性能优于ENR和EPDM胶料。     

浅析煤矿综采放顶煤安全开采问题

以煤矿放顶煤安全开采问题为对象开展分析探究。结合具体工程实际,在分析综放工艺技术特征的基础上,对综采放顶煤安全开采需注意的问题与防范措施开展深入分析,希望能够为其他矿井综放开采的有效开展提供借鉴和帮助。     

白豹-南梁地区长4+5_1油层组储层特征及综合评价研究

鄂尔多斯盆地白豹-南梁地区延长组长4+5油层段是重要的储集层之一,包括长4+51和长4+52。由于白豹-南梁地区长4+51油气富集规律尚未明确,亦有必要对白豹-南梁地区4+51储层开展评价。通过岩心铸体薄片、物性分析、压汞分析等资料对研究区长4+51储层特征进行了研究。结果表明,研究区岩石类型以长石砂岩和岩屑长石砂岩为主,分选性以中-好为主,磨圆度以次棱角状为主;孔隙类型主要为粒间孔、长石溶孔,孔隙空间分选性较差,喉道分布不集中;研究区整体以Ⅱ类储层分布为主。     

论城市山水画的艺术魅力

城市山水画概念的提出虽只有短短的二十多年,但随着社会、经济、文化的发展,城市山水画作为一个崭新的绘画题材越来越受到业界人士的关注。城市山水画作为传统山水画的一个分支,丰富了现代化人文都市的艺术意境,满足了人们的精神需求。该文阐述城市山水画的概念和发展历程,结合相关实例,分析当下城市山水画的艺术魅力,以促进城市山水画的发展。     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.