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

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

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

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

推进水安全保障体系建设 强化依法治水管水工作

总结了海河流域水安全保障体系建设现状,分析了流域水利工作面临的新形势和新要求,提出海委要积极践行新时期治水思路,进一步深化水利改革,全面提升水安全保障能力,扎实落实依法治水管水要求,抓住机遇,乘势而上,为流域经济社会可持续发展提供有力的水利支撑。     

南源玉带河

<正>目前,《宁强县志》中的有关汉江源头记载是:"玉带河是汉江的源流,发源于宁强县西北箭竹岭水池垭。境内干流长87.5公里,流域1022.8平方公里,据史志记载,县北嶓冢山石牛洞为正源,另有源于五丁关至陈家大梁一带的石钟沟之说。近几十年,经专家多次踏勘论证,《辞海》1989年版,正式确定汉江源流为玉带河。"1994年深秋,在嶓冢山石牛洞前,我们二人躺着晒了半天太阳,懵懵懂懂揉揉眼下山,说继续"革命"。那时候年轻气盛,回到古桂旁的烈金坝,继续南行10公里从一个叫宽川的地方弃公路复东行,入     

赤峰金剑铜业澳斯麦特熔炼炉炉衬改进

介绍内蒙古赤峰金剑铜业有限公司澳斯麦特熔炼炉炉衬的使用情况和技术改造效果。分析铬铝砖衬损毁机理的基础上,提出以铜水套炉衬替代砖衬的技术改造方案。实践证明,铜水套使用寿命达5年以上,熔炼炉产能和经济效益显著提高。     

水泥砂浆固化土在酸性条件下物理特性的研究现状

这里介绍了水泥土的基本概念和特点,从水泥砂浆固化土力学特性及酸性溶液侵蚀下水泥土变化的国内外研究现状方面,对水泥砂浆固化土的研究现状进行了综合分析。     

110kV GIS微水超标原因分析及其处理

结合泸天化公司110kV变电站GIS微水超标处理情况,对GIS微水超标的原因和危害进行了分析,并对GIS微水超标处理的关键过程和质量控制环节进行了介绍。在保证安全供电的前提下,通过对GIS设备进行相关维护检修,达到消除电气设备隐患、保证核心供电设备运行安全的目的。