环保设备设计优化及新技术采用

我国燃煤电厂安装了大量的脱硝、脱硫、除尘等环保设备,但环保设备的投入相应增加了运行能耗和投资。一些电厂为了最大限度地降低环保设备的运行费用和投资,对环保装置的工艺进行优化设计,并且应用一些新技术以达到节能目的,如:脱硝装置采用的SCR、SNCR、SNCR+SCR工艺,脱硫装置采用的脱硫无GGH、无旁路烟道、增压风机与引风机合并、烟塔合一技术,以及电袋复合式除尘器等。但这些技术的应用也给电厂运行带来一些问题,针对这些问题进行深入分析探讨,查找原因并提出解决方法,降低系统运行存在的安全隐患,确保机组长期稳定运行。

基于Event-B的细化需求建模及验证

Event-B通过为每个event添加环境、变量及常量等限制条件,从而细化及快速扩展系统功能,避免数据冗余问题。以账单分摊系统为例,通过添加成员支付账单、账单全部付清及成员加入和退出小组的日期及时间等三点细分需求,详细描述了使用Rodin工具集细化需求建模及通过Pro-B animator进行规范性验证的方法和过程。

基于Event-B方法的需求建模及验证

Event-B是国外新兴的一种通过形式化方法,主要用于对系统功能性需求建模并验证,在Rodin工具集中,通过给出环境、变量、常量和相关事件,对每一个抽象需求建模。其后,使用Pro-B animator进行验证。它通过逻辑分析产生验证规约并且自动抛除无关紧要的验证规约来取代传统的编译,解决了传统的软件工程过程中系统分析与设计阶段非形式化方法带来的低效率,错误率高,不易纠错,不灵活,编码复杂以及常常不够符合实际的缺陷。以账单分摊系统为例,详细描述了Event-B方法的需求建模和规范化验证的思路和过程方法。