国网安徽合肥公司进行线路清障消缺保障城市供电

<正>4月1日,国网合肥供电公司配电运检室顺利完成该市锦绣社区及汇林园小区的配变及低压线路消缺与树障清理工作,并同步对此处4台配变的老旧低压总断路器进行了更换。近期,合肥供电公司有计划地推进城区重点供电线路的消缺与树障清理工作,多个工作小组每天对城市供电线路段进行巡视,每周召开1次工作推进会,对巡视中发现的道路、小区及配变台区缺陷故障进行梳理,并与城市园林、交警部门一起讨论实施计划,确定具体线路清障消缺的     

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

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

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

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

废无纺布-生物膜反应器处理城市生活污水研究

为研制成本低廉、性能优良的生物膜填料,以废无纺布(NWF0)、空气热氧化改性废无纺布(NWF1)和微波改性废无纺布(NWF2)作为生物膜填料,组建生物膜反应器,开展处理污水的实验研究。结果表明,含NWF2生物膜反应器(NWF2-R)具有更好的污水处理效果。较佳的DO的质量浓度、填料填充率和HRT分别为3 mg/L、6.0 g/L和8 h;稳定运行时,NWF2-R对实际城市生活污水中COD、NH_4~+-N和TP的去除率分别为92.1%、76.4%和53.7%左右。NWF1和NWF2表面增加了羰基和羟基等官能团,改善了无纺布填料的表面亲水性,更有利于挂膜;3种填料表面生物膜的脱氢酶活性大小为NWF2 NWF1 NWF0。研究可为废弃无纺布的综合利用提供了新途径。     

公交运行的安全防范

发展公共交通是城市可持续发展的一个重要保证。公共交通与私人交通的竞争，除了在能源节约、环境保护、方便快捷以外，还要安全可靠，才能吸引更多的乘客。因此政府部门和公交经营者都把安全作为一项必须认真对待和深入研究的问题。