浅谈深基坑支护地下连续墙的质量控制

结合工程实际,阐述了深基坑支护地下连续墙施工监理质量控制要点。在深基坑支护地下连续墙的质量控制过程中,按照施工顺序流程,主要从检查导墙质量、检查引孔情况、检查泥浆质量、检查成槽质量、检查地下连续墙钢筋笼制作质量、检查钢筋笼的吊放准备工作及旁站吊放、检查锁口管的吊放、旁站检查地下连续墙混凝土灌注、及地下连续墙槽底注浆质量控制这些方面进行质量过程控制。加强深基坑支护地下连续墙的质量控制,旨在确保施工质量和提高施工监理人员的工作能力。     

改性剂用量对紫炭黑填充天然橡胶/顺丁橡胶并用胶性能的影响

研究改性剂（间苯二酚/六次亚甲基四胺共混物）用量对紫炭黑填充天然橡胶/顺丁橡胶并用胶性能的影响。结果表明：随着改性剂用量增大，胶料的硬度和定伸应力提高，拉伸强度、撕裂强度先下降后提高，阿克隆磨耗量先增大后减小；当改性剂/紫炭黑用量比为4%时，胶料的物理性能较好。添加改性剂可提高紫炭黑对胶料的补强作用，并在一定程度上改善胶料的热稳定性。     

锚栓用量对纯锚固岩棉保温系统抗风压性能的影响

采用ETAG 004:2013《外墙外保温薄抹灰系统欧洲技术认证指南》中规定的静态泡沫块法,测试在单位面积上使用不同数量锚栓的岩棉板外保温系统的抗风压性能。通过试验可以得出:在混凝土墙体上单纯采用敲击式锚栓锚固岩棉板外保温系统时,拉伸强度可达12.9 k Pa;单位面积增加锚栓的使用量可以提高系统的抗拉承载力,但在不同条件下增加相同数量锚栓对系统抗风载能力提高的程度不同;在普通混凝土墙中,单纯锚固岩棉板保温系统破坏时,单个锚栓承载力平均值的最大值约为其拉拔承载力的50.3%。     

陕南山地烟田不同植烟年限土壤养分的变化

为给陕南山地烟草生产布局及有针对性的施肥措施提供依据,分析了陕南山地烟田不同植烟年限(0~15年)与土壤养分含量的关系。结果表明:随着植烟年限延长,有机质线性下降,全氮和速效钾显著上升,有效磷先上升后下降;氯、有效铁、有效锰、有效硼和有效铜无显著变化或变化很小,有效锌则在第1年急剧下降,之后保持稳定,10年后再次显著下降。认为陕南山地烟区烟叶生产中应适当增加有机肥的施用而合理控制氮肥、磷肥和钾肥的施用,并要注意锌肥的补充。     

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

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

脉冲高度权重技术测量197Au中子俘获截面

脉冲高度权重技术是利用C_6D_6探测器测量中子俘获截面的一种数据处理方法。在中国散裂中子源(China Spallation Neutron Source,CSNS)的反角白光中子源(Back-n)靶站上,通过测量金靶(~(197)Au)的中子俘获截面,验证了该方法的可靠性。首先利用Geant4蒙特卡罗程序模拟给出了不同靶条件下的探测器效率,脉冲高度权重函数等基本项,使得加权后的探测器效率与γ能量成正比。然后通过实验测量了~(197)Au中子俘获截面。结果表明:测量获得的中子俘获截面数据和ENDF/B-VⅢ.0评价数据相符合,同时发现随着实验靶尺寸的不同和质子束功率的增加,会使得实验本底的扣除误差越来越大。     

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

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

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

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

Flotation Behavior,Collector Adsorption Mechanism of Quartz and Feldspar-Quartz Systems Using PEA as a Novel Green Collector

Silicon - A novel green cationic surfactant Poly (propylene glycol) bis (2-aminopropyl ether) (PEA) with multiple amine groups was utilized as a collector for flotation separation of quartz from...