CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。CBTC区域控制子系统是一实时控制系统...CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性。本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型。同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性。展开更多
根据机组响应控制指令时间长短不同,提出一种多时间尺度协调的区域控制偏差(area control error,ACE)超前控制方法。首先分析了现有ACE超前控制方法的不足,给出目标时刻控制区理想总发电的预测模型;然后分析了计划机组计划与执行的关系...根据机组响应控制指令时间长短不同,提出一种多时间尺度协调的区域控制偏差(area control error,ACE)超前控制方法。首先分析了现有ACE超前控制方法的不足,给出目标时刻控制区理想总发电的预测模型;然后分析了计划机组计划与执行的关系,提出计划机组出力偏差的预估方法;进而综合考虑总发电、计划机组发电和自动发电控制(auto generation control,AGC)机组的希望运行点,计算出目标时刻协调AGC机组的希望总出力;最后,通过一个优化模型把协调AGC机组的希望总出力分配到各协调AGC机组上。文章所提方法已在四川电网投入现场试运行,结果证明了该方法的可行性。展开更多
针对现有模型解决航空器滑行轨迹优化时冲突约束能力不足问题,提出了一种新的混合整数线性规划(mixed integer linear programming,MILP)模型。利用区域划分和区域公共节点网络构建层次化滑行道结构模型,提高了滑行道建模精度,并在此基...针对现有模型解决航空器滑行轨迹优化时冲突约束能力不足问题,提出了一种新的混合整数线性规划(mixed integer linear programming,MILP)模型。利用区域划分和区域公共节点网络构建层次化滑行道结构模型,提高了滑行道建模精度,并在此基础上应用区域控制规则实现对滑行道的无冲突占用。同时,基于滚动时域策略对复杂的滑行轨迹优化问题分阶段求解,提高了滑行规划模块的灵活性和求解速度。实验结果表明,利用该模型能够有效回避滑行冲突,降低平均滑行时间和距离,提高场面运行效率。展开更多
针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机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系统完全满足预期的安全需求.展开更多
文摘CBTC(Communication Based Train Control)系统可有效提高轨道交通的列车运营效率,降低系统建设和维护费用。在系统研发过程中需对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性。CBTC区域控制子系统是一实时控制系统,它要求控制时间的精确性和控制过程的准确性。本文通过分析城市轨道交通CBTC区域控制子系统的结构,给出满足该子系统安全性的功能和性能要求,并结合时间自动机理论方法提出包含列车、速度距离控制器、区域控制器和多车控制队列的时间自动机网络模型。同时,应用UPPAAL验证工具对CBTC区域控制子系统进行仿真建模,并验证该子系统功能和性能要求,从而保证了系统模型的安全性和受限活性。
文摘根据机组响应控制指令时间长短不同,提出一种多时间尺度协调的区域控制偏差(area control error,ACE)超前控制方法。首先分析了现有ACE超前控制方法的不足,给出目标时刻控制区理想总发电的预测模型;然后分析了计划机组计划与执行的关系,提出计划机组出力偏差的预估方法;进而综合考虑总发电、计划机组发电和自动发电控制(auto generation control,AGC)机组的希望运行点,计算出目标时刻协调AGC机组的希望总出力;最后,通过一个优化模型把协调AGC机组的希望总出力分配到各协调AGC机组上。文章所提方法已在四川电网投入现场试运行,结果证明了该方法的可行性。
基金国家自然科学基金(the National Natural Science Foundation of China under Grant No.20206033)湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.06JJY4073)湖南省教育厅科研资助项目(No.06C791)
文摘针对现有模型解决航空器滑行轨迹优化时冲突约束能力不足问题,提出了一种新的混合整数线性规划(mixed integer linear programming,MILP)模型。利用区域划分和区域公共节点网络构建层次化滑行道结构模型,提高了滑行道建模精度,并在此基础上应用区域控制规则实现对滑行道的无冲突占用。同时,基于滚动时域策略对复杂的滑行轨迹优化问题分阶段求解,提高了滑行规划模块的灵活性和求解速度。实验结果表明,利用该模型能够有效回避滑行冲突,降低平均滑行时间和距离,提高场面运行效率。
文摘针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机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系统完全满足预期的安全需求.