电力调控运行中的电网安全性分析与改善

电力系统的稳定运行,如同社会秩序一般,维护它的安全关乎其生死存亡。本文理清了电力系统的安全关键点,是在塑造一个更安全、更稳定的电力环境。首要的工作便是理科电力系统的安全走向,建设一套评估电力系统安全性的评价模型,就如同明白一只钟表的走向,便能掌握时间的规律一般,使人对电力系统的控制更加得心应手。电网安全的问题在电力市场日趋繁杂的环境中显得尤为重要,本文从电力调控运行的视角对其进行分析,提出了解决这一问题的新方略,如同人们巧妙的解决生活中的难题一样,提升电力系统的安全是在实名电力系统的稳定,不断优化、迭代才是关键。这篇文章并不反倒,也给那些钻研电力市场改革的人们开出了一剂良药。研究量的进步在推进电力系统的运行和管理中提供了理论支柱。

一种安全性关键软件的评估模型

安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性。传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性。为此,基于软件失效本质及对安全性关键场景的研究,提出软件交互行为模型,给出从各软件运行条件的关系中构造交互模式依赖图的方法,设计基于软件过程行为的安全性评估模型。实例分析表明,该模型能识别出所有软件过程行为及其发生率、失效率,为每个过程行为赋予风险指数,并计算得到整体的软件风险指数。

基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。