带电检测技术在配电线路设备运检中的应用

为提升电力设备运行状态的管控水平,带电检测技术在配网架空线路设备运检中的应用尤为重要。研究了红外热成像技术和超声波局放检测技术在配网架空线路设备运检中的应用,并通过几个典型的事例分析这两种带电检测技术的实际应用效果。     

醇处理减缓低渗气藏水锁效应的实验研究

水锁效应是低渗透砂岩气藏开发中普遍存在的问题.为提高低渗透砂岩气藏的气体有效渗透率,尝试用醇来减缓低渗透砂岩气藏水锁效应.以室内实验为基础,时醇处理原理进行了探讨,评价并比较了几种醇溶液用于减缓低渗透砂岩气藏水锁效应的应用效果,实验结果显示:醇处理措施可以有效的减缓低渗透砂岩气藏中由水锁效应产生的伤害.     

华能福州电厂给煤机自动控制系统

华能福州电厂一期2×350MW机组的锅炉是日本三菱重工的亚临界一镒中间再热燃煤强制循环汽包锅炉。制粉系统(见图1)采用正压直吹式,配有5台RP—903型碗式中速磨煤机,5台G82—26MPC型称量给煤机,每台磨煤机供一层煤粉喷燃器,进入磨煤机的一镒风与煤粉混合后形成粉流由喷燃器喷入炉膛悬浮燃烧,其中磨煤机的出口温度及一次风量分别由冷热风挡板进行调节。给煤机为日本Stock公司产品,配有8085A微处理机,可实现煤量计量和速度自动控制。磨煤机、给煤机、燃烧器的起停控制和煤量自动调节分别由MIDAS—8000计算机系统中的DABS和DAPC两个子系分别控制,具有全程控制功能。     

对时间自动机中时钟约束的处理

在实时系统建模中,时间自动机是一个普便使用的工具,在求解状态可达性关系时对时钟约束的处理是关键,本文在分析已有理论的基础上提出了如何对含有不同时钟相互约束的系统处理.     

基于均匀k均值和高维局部二值模式的人脸识别算法

针对传统局部二值模式(LBP)及其一些改进方法会将具有不同灰度特征的邻域赋予相同的特征值和特征维数倍增的问题,提出一种基于均匀k均值和高维局部二值模式的算法.该算法首先对原图进行切割得到子图;然后提取子图的高维局部二值模式特征,利用均匀k均值对高维特征进行降维处理;最后级联所有的子图特征进行分析.为了验证该算法的性能,在ORL人脸库和YALE人脸库以及FERET人脸库上进行对比实验,结果表明该算法在保证特征维数不递增的前提下,能够明显提高LBP算法的识别率.     

基于串空间模型的Andrew RPC协议的分析与验证

本文首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。     

串空间和认证测试在协议分析中的应用

串空间模型是一种新兴的密码协议形式化分析工具.分别采用串空间模型争认证测试这两种前沿的形式化分析方法对X.509协议的认证性进行了分析,指出了该协议在认证正确性方面存在的缺陷.然后针对分析结论提出了改进协议,并使用认证测试方法证明了改进的协议能够实现认证的正确性.通过比较发现应用认证测试方法分析安全协议,比单纯应用串空间模型更为简洁和直观.     

基于认证测试的一种安全协议一致性分析方法

认证测试^[1]技术是串空间（strand space）理论的进一步发展,不仅用于认证协议的安全性分析而且还用于指导认证协议的设计^[2]。但在分析安全协议为何不正确以及如何改进方面,与其他的形式化验证方法一样,也不能提供更深入有效的分析。本文提出了参数一致性矩阵的概念并运用参数一致性矩阵对协议的一致性进行分析,说明了协议失败的原因并给出改进的方向。分析过程的形式化有利于协议分析自动化工具的实现。     

双向受不等值均布载荷的简支矩形板稳定问题的精确解

本文基于非线性弹性理论的稳定概念,推导出双向受不等值均布载荷的四边简支矩形板屈曲的临界载荷公式。并就单向受均布载荷的特例予以着重讨论,给出了有关的便于工程实用的近似算式,同时与相应的经典薄板理论加以比较并进行了数值分析。     

采取多种措施 提高电厂经济效益

介绍了华能福州电厂为提高电厂的经济性，采取加强参数调整，完善机组大修，优化汽轮机真空及调度辅机运行的一些有效措施，提高了电厂经济效率并就以机组经济性指标在线监督为基础，强化运行管理提出了一些看法。