针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统...针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE(safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.展开更多
大量可再生能源接入电网给配电网的控制带来了巨大挑战,传统配电网的被动控制已经不能满足对配电网能量双向流动的实时控制,发展研究主动配电网分层分布控制能实现对可再生间歇式能源的有效消纳及控制。文中将主动配电网(ADN)划分成3层...大量可再生能源接入电网给配电网的控制带来了巨大挑战,传统配电网的被动控制已经不能满足对配电网能量双向流动的实时控制,发展研究主动配电网分层分布控制能实现对可再生间歇式能源的有效消纳及控制。文中将主动配电网(ADN)划分成3层控制结构,根据全局优化及馈线控制误差(feeder control error,FCE)提出定交换功率控制、区域协同控制、区域自治控制3种模式及它们之间进行主动切换的条件、方法。最后通过MATLAB/Simulink建立一个简单的ADN配电系统模型进行仿真,算例仿真结果验证了这3种模式之间切换的正确性及有效性。展开更多
配电网大量接入分布式电源和储能装置后,集中式的管理模式实时性较差,因此文章提出3层控制结构,将主动配电网进行区域划分,并在每个区域中配置协调控制器进行区域自治控制。根据馈线控制误差(feeder control error,FCE)指标,建立了实时...配电网大量接入分布式电源和储能装置后,集中式的管理模式实时性较差,因此文章提出3层控制结构,将主动配电网进行区域划分,并在每个区域中配置协调控制器进行区域自治控制。根据馈线控制误差(feeder control error,FCE)指标,建立了实时平抑区域运行状态与最优目标之间差异的区域控制机制,据此提出了分层分布控制器与源网协调控制器的模型。根据FCE指标的不同形式,提出馈线定交换功率、区域独立自治和区域协同自治3种控制模式,以适应不同电网需求。最后通过广东某主动配电网示范现场算例的仿真分析,验证了所提分层分布控制策略的合理性和有效性。展开更多
文摘针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM(timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC(zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE(safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.
文摘大量可再生能源接入电网给配电网的控制带来了巨大挑战,传统配电网的被动控制已经不能满足对配电网能量双向流动的实时控制,发展研究主动配电网分层分布控制能实现对可再生间歇式能源的有效消纳及控制。文中将主动配电网(ADN)划分成3层控制结构,根据全局优化及馈线控制误差(feeder control error,FCE)提出定交换功率控制、区域协同控制、区域自治控制3种模式及它们之间进行主动切换的条件、方法。最后通过MATLAB/Simulink建立一个简单的ADN配电系统模型进行仿真,算例仿真结果验证了这3种模式之间切换的正确性及有效性。
文摘配电网大量接入分布式电源和储能装置后,集中式的管理模式实时性较差,因此文章提出3层控制结构,将主动配电网进行区域划分,并在每个区域中配置协调控制器进行区域自治控制。根据馈线控制误差(feeder control error,FCE)指标,建立了实时平抑区域运行状态与最优目标之间差异的区域控制机制,据此提出了分层分布控制器与源网协调控制器的模型。根据FCE指标的不同形式,提出馈线定交换功率、区域独立自治和区域协同自治3种控制模式,以适应不同电网需求。最后通过广东某主动配电网示范现场算例的仿真分析,验证了所提分层分布控制策略的合理性和有效性。
