脱碳系统半贫液离心泵的腐蚀与防护

脱碳系统中的半贫液离心泵投用一年多后，由于受腐蚀严重，不能正常工作．本文从离心泵本身的结构及操作条件等因素出发，分析了产生湍流腐蚀、空泡腐蚀、缝隙腐蚀的原因，针对产生腐蚀的原因，改善输送介质的条件，改造离心泵的结构，经实际运行二年多，状况良好。     

88m跨钢桁架分段吊装施工技术

常熟发电厂一期工程中的干煤棚屋盖系排框架式大跨度三角形钢桁架结构,长120m,宽88m,建筑面积10600m~2,屋面安装14榀由2片平行坛钢屋架组成有檩大跨度三角形钢桁架,每木品钢桁架自重达40.4t,整个屋面制作钢结构工程量重计303t,是目前国内同类型跨度最大的工程。干煤棚工程由西北电力设计院设计,钢桁架用二片相同的钢屋架通过支撑系统连接成箱形断面,使其具有足够的空间刚度和稳定性。且     

拟态路由器BGP代理的设计实现与形式化验证

为确保拟态路由器中协议代理等“拟态括号”关键组件的安全性和功能正确性，设计实现了边界网关协议（BGP）代理，并采用形式化方法对BGP代理的安全性和功能正确性进行了验证。BGP代理通过监听邻居路由器与主执行体之间的BGP会话报文，模拟邻居路由器与从执行体展开BGP会话，实现各执行体的BGP状态一致。采用VeriFast定理证明器，编写基于分离逻辑的形式化规约，证明程序不会出现空指针引用等内存安全问题，并验证了BGP代理各功能模块实现的高级属性符合功能规约。BGP代理实现与验证代码量之比约为1.8:1，程序设计实现和程序验证所耗费的时间之比约为1:3。经过形式化验证的BGP代理处理100 000条BGP路由所花费的时间为0.16 s，约为未经过验证的BGP代理的7倍。研究工作为应用形式化方法证明拟态防御设备与系统中关键组件的安全性和功能正确性提供了参考。