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

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

基于单片机的机载千兆交换机系统设计与实现

针对机载千兆交换机系统配置与自测试(BIT)要求,设计了一种基于单片机的嵌入式交换机系统。针对软件的移植性、扩展性要求,采用基于UML的面向对象设计方法,建立了软件的静态模型,给出了软件运行流程图及设计。通过在单片机平台上实现,表明硬件功能正常,软件能实现交换机系统的配置与自测试。     

某水电厂励磁系统跨接器故障分析

本文对一起机组起励时灭磁电阻严重烧坏并最终导致停机的事故进行分析,查找出灭磁电阻严重烧坏的原因.通过一系列试验,模拟机组起励停机过程,证明此次故障是由于机械跨接器在实际运行中存在缺陷造成的.最后,为防止此类事故再次发生,提出相关技术改造意见,以保证励磁系统安全稳定运行.     

大型烧结生产线供配电系统研究及设计

结合某钢铁企业新建大型烧结生产线供配电系统设计实践，分析供电负荷、高压配电系统、低压配电系统等，对于企业的生产及节能降耗有着重要参考意义。     

门架式堆取料机在铜冶炼中的生产实践

针对铜冶炼工艺的特点,从门架式堆取料机对前后工序衔接、结构、原理出发,介绍了其在熔炼炉系统和吹炼炉系统中的应用情况。经过试生产期的生产实践证明,门架式堆取料机具有场地利用率高、取料量大,自动化程度高和安全环保等优点。     

核电机组辅助给水系统水温超运行技术规范限值的改造研究

针对夏季高温天气下，辅助给水系统（ASG）水温超过运行技术规范限值而导致机组后撤的问题，提出了对辅助给水贮水箱（ASG001BA）加装热交换器的改造方案，从工艺设计、仪控修改和运行控制角度进行了详细分析和论证。机组实践表明，在蒸汽发生器冷却正常停堆模式下，本文提出的改造方案保证了ASG001BA的水位和水温在运行技术规范要求的范围内，保证了机组安全经济的运行。本文的研究对机组大修优化、提升机组核安全水平具有参考价值。      

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

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

金矿通风中自动化技术的应用

金矿的开采挖掘工作向来都是极为复杂的,在金矿的通风系统中融合相应的自动化技术可以有效节省企业所需要投入的经济成本,对金矿资源利用率的提升以及保障开采生产过程中的安全性而言,具有极为重要的意义。下面,本文从多方面着手,针对性地分析了金矿通风中自动化技术的有效应用,以求能够为有关单位提供借鉴作用。     

半封闭变频螺杆制冷压缩机降噪方法及试验

变频螺杆制冷压缩机因其部分负荷节能特性已成为一种螺杆制冷压缩机的发展趋势,宽频的脉动噪声是限制其市场应用与竞争力的关键因素。基于变频螺杆制冷压缩机结构特点与噪声原理,提出排气端面脉动衰减装置和排气管路消声器两种降噪设计方法,并通过试验研究分别验证了各降噪方法的有效性。研究结果表明,排气端面衰减装置对压缩机不同位置的噪声都有衰减作用;排气管路消声器只对排气侧噪声有显著削弱;同时采用两种降噪方法后,压缩机不同转速下平均降噪效果能达到5.0～10.0dBA,压缩机运行噪声不高于85.5dBA,且压缩机平均降噪效果随转速增加而增强。基于上述研究结果,排气端面脉动衰减装置和排气管路消声器两种降噪方法都能降低排气侧基频和倍频噪声,进而促进变频螺杆制冷压缩机的技术发展。