基于多因素耦合分析的冲击地压卸压技术研究

为有效预防ZF2803工作面的冲击地压,本文采用多因素耦合分析法研究了初次来压、见方、煤柱、断层、邻近空区支承压力、煤层厚度变化及巷道底煤等7个因素的单独影响区域及叠加效果,确定了7个危险区:中等冲击危险区4个、强冲击危险区3个,给出了相应的煤层及底板大钻孔预卸压措施,工业性应用取得了良好的防治效果。     

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

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

PLC与SEW多轴伺服驱动总线集成在玻璃生产线控中的应用

本文介绍了一种将西门子PLC与SEW多轴伺服驱动通过PROFINET总线组合集成的一套玻璃生产线线控系统的应用方案。     

电潜泵堵塞复合解堵技术在渤海油田的应用

目前渤海油田许多稠油井电潜泵在运转一段时间后,即发生电流异常波动、泵效明显下降的问题,而同时井底流压上升,说明电潜泵发生堵塞。研究发现,电潜泵堵塞主要是吸入口堵塞,其堵塞物主要为聚合物胶团、重烃垢、碳酸钙(镁)垢、粘土、腐蚀产物、细粉砂等组成的混合垢。由于常规酸液和氧化解堵体系具有强烈的腐蚀性,对电潜泵和电缆损害较大,不适用于电潜泵解堵,因此项目组针对电潜泵堵塞物特征,优选出一种低伤害高效电潜泵复合解堵技术,并成功应用于渤海油田,取得良好的解堵增产效果。     

镁改性活性炭强化活性污泥处理混合污水研究

基于序批式活性污泥法(SBR)工艺,将镁盐改性活性炭(MgO-PAC)与传统活性炭(PAC)混合而成MPAC材料,用于处理生活与工业混合污水。通过连续30 d的运行实验,探讨了MPAC材料对生活与工业混合污水中COD、NH4^+-N和TP的去除效果以及对污泥的比耗氧速率、沉降性能和微生物多样性的影响。结果表明,投加MPAC材料对污水中COD的去除率提升了12.7百分点,对TP的去除率提升了17.5百分点,对NH4^+-N的去除率超过86.4%。投加MPAC后处理效果更好的重要原因,在于MPAC使得活性污泥的沉降性能和比耗氧速率得到明显改善,也提升了污泥的微生物丰度。MPAC对活性污泥处理生活与工业混合污水具有强化作用。     

基于多目标优化的创意平板折叠桌设计

在任意给定折叠桌高度和圆形桌面直径时，为满足产品稳固性好、加工方便、节省用料的设计要求，通过建立多目标优化模型对创意平板折叠桌进行优化设计，利用线性加权法确定折叠桌的平板尺寸、钢筋位置、开槽长度等最优设计参数。     

甘肃省肃南县黄沙泉铁矿矿床成因及找矿标志

黄沙泉铁矿床位于北祁连褶皱造山带西段元古代镜铁山-朱龙关裂谷中,其成矿受地层、构造控制。本文通过本区大地构造背景、矿床地质特征的研究,探讨分析了控矿因素、矿床成因,指出了找矿标志。