综放高瓦斯矿井煤层瓦斯涌出量综合预测

为了成功预测竹林山煤矿综放高瓦斯矿井大采高工作面煤层瓦斯涌出量,以主采3号煤层为主要研究对象,针对3号煤层以往开采情况,通过布设测点测量其煤层瓦斯含量和了解相邻矿井瓦斯含量,采用分源预测法、回归法及统计法等预测方法得到了3号煤层瓦斯含量的分布规律,并绘制了3号煤层的瓦斯含量等值线图。对矿井不同生产时期的瓦斯含量进行预测,得到了生产前期、中期及后期采区的最大绝对瓦斯涌出量和最大相对瓦斯涌出量,说明了竹林山煤矿各个时期均属于高瓦斯矿井。     

大口径光学元件装夹转运结构设计及分析

为了实现大口径光学元件的安全装夹、转运,通过光学元件开槽与不开槽两种装夹方式的分析,得出开槽夹紧转运方式将带来微裂纹、应力集中、成本高等缺陷,提出了利用摩擦力克服光学零件的重力和惯性力的低应力装夹转运方案。通过对光学元件低应力夹紧结构设计,并利用有限元分析方法,得到不开槽装夹方式下,光学元件的最大主应力为1.11 MPa,最大切应力为0.73 MPa,远低于光学元件破坏的强度极限,且受力均匀,无应力集中现象。     

绿色化工技术在精细化工中的应用研究

社会经济快速发展,科学技术不断进步,针对我国现代工业化工行业发展,所产生的新型化工技术应用,促进我国化工生产效率的提升。工业的发展不可避免地会带来污染物的产生,如果不能有效控制化工排放污染物,温室效应问题会更加严重。本文对绿色化工技术在精细化工中的有效应用进行研究,降低工业废气污染物排放量,维护生态环境平衡。     

VaspCZ:一个提高效率的VASP计算辅助程序

VASP(Vienna Ab-initio Simulation Package)是基于密度泛函理论的通用材料计算模拟软件。随着高性能计算平台的广泛使用和高通量计算的兴起,VASP计算任务的复杂性和数据量也大幅度提升。为了提高材料理论计算的方便程度,减少大量重复的指令和结果检查的复杂性,本文提供了一个基于Python语言的VASP计算辅助程序VaspCZ,能够大幅提高研究者的科研效率。该程序包含软件部分和API部分,软件部分提供了命令行用户界面,基于基本的Linux命令即可一键完成VASP计算的相关操作,为无编程语言基础的研究人员提供了便利。应用程序接口部分服务于具有Python语言基础的研究者,提供了底层库,使得自定义计算(如高通量计算、编写高级应用等)更为简单快捷。本程序包可以显著提高VASP的计算效率,并已经通过Github开源项目公开,提供了详细的使用文档、使用示例和API接口,有望能为广大材料理论研究者提供便利。     

300M超高强钢在中性盐雾环境中的腐蚀行为及机制

摘要：为了研究300M超高强钢在中性盐雾环境中的腐蚀行为及腐蚀机制，采用失重法，宏观、微观腐蚀形貌分析，三维表面轮廓分析及电化学分析的研究方法，来表征腐蚀实验现象并进行分析。结果表明：300M超高强钢在中性盐雾环境中的腐蚀产物为FeOOH、Fe2O3、Fe(OH)3和Fe3O4；腐蚀速率随着腐蚀时间逐渐降低，腐蚀后期（72h）腐蚀速率降低50%；腐蚀初期以点蚀为主，点蚀坑通过横向扩展，逐渐发展为后期的均匀腐蚀，腐蚀表面形貌呈沟壑状；外腐蚀层对基体的保护能力很弱，Cr元素在锈层靠近基体的一侧偏聚使内腐蚀层具有一定的抗腐蚀性。     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

川西彭州地区雷口坡组潮坪相薄储层辨识机理研究

川西彭州地区三叠系雷口坡组雷四上亚段潮坪相薄储层识别难度极大。围绕如何从复合地震强反射中区分并识别上、下两套储层面临的地球物理难题,采用先“分”后“合”的研究思路,基于实际地层结构及不同储层叠加样式建立正演模型,利用全波场波动方程正演模拟技术,剖析了不同主频条件下薄储层的地震响应特征,通过波形差异化分析,从复合地震响应中“剥离”出了两套储层所引起的地震响应特征及变化规律,明确了两套储层在不同频带下的地震识别标志和识别方法,为该区强反射界面干扰下两套薄互层储层辨识机理分析及精准预测奠定了基础。基于不同频带下薄储层辨识机理的分析结果,定性预测了薄储层平面展布,提出了深层潮坪相薄储层识别和预测难题的解决方案,为该区地震资料品质评价、面向薄储层的地震采集技术设计、地震资料处理及薄储层预测提供了依据和指导。     

中国菊花主题花展及其对行业发展的作用

中国的菊花主题花展(菊花展览)是最重要的赏菊形式,对我国3种主要类型的菊花展览,即综合性菊花展览(中国菊花展览会、国际博览会菊花专项展和各级城市菊花展)、菊花专类园和菊花花田花海的发展现状进行了研究,并分析了菊花展览在促进菊花产业发展、弘扬菊花文化、服务生态文明及美丽乡村建设、加强菊花非物质文化遗产保护中的重要作用,为推动我国菊花展览水平的提高提供借鉴。     

积分中值屈服准则解析厚板轧制椭圆速度场

为解决非线性Mises比塑性功率积分困难以及由此导致的轧制功率解析式难以获得的问题,本文通过建立并利用线性比塑性功率表达式对提出的椭圆速度场进行能量分析,得到了轧制力能参数的解析解.文中通过对变角度屈服函数求积分中值,构建了一个新的屈服准则,它是主应力分量的线性组合,在π平面上的轨迹是逼近Mises圆的等边非等角的十二边形,其基于Lode参数表达式的理论结果也与实验数据吻合较好.同时,根据厚板轧制时金属流动速度从入口到出口逐渐增大的特点,提出了水平速度分量满足椭圆方程的速度场,该速度场满足运动许可条件.通过相应的轧制能量分析,获得了基于线性屈服准则的内部变形功率以及基于应变矢量内积法上的摩擦功率与剪切功率.在此之上,通过泛函的极值变分导出了轧制力矩、轧制力以及应力状态系数的解析解,并与现场实测数据进行了对比,结果表明利用本文提出的屈服准则与速度场所建立的轧制力矩与轧制力模型与实测值吻合较好,其中轧制力误差小于5.3%,轧制力矩误差在6%左右.