针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机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系统完全满足预期的安全需求.展开更多
随着航天领域的不断发展,航天器搭载的高精密仪器对振动环境的要求更加严格。本文针对航天器微振动的主动控制进行了分析。首先,根据隔振要求的不同,分别建立了单轴隔振器的扰动位移传递和干扰力传递的开环传递函数以及基于力反馈的闭...随着航天领域的不断发展,航天器搭载的高精密仪器对振动环境的要求更加严格。本文针对航天器微振动的主动控制进行了分析。首先,根据隔振要求的不同,分别建立了单轴隔振器的扰动位移传递和干扰力传递的开环传递函数以及基于力反馈的闭环传递函数;然后,以扰动位移抑制为例通过理论推导分析了基于力反馈PI控制与线性自抗扰控制的主动隔振效果,并讨论了巴特沃斯滤波器对主动隔振系统的影响。最后,搭建了单轴主动隔振实验平台,验证了理论推导结果的正确性,LADRC控制可以在20~500 Hz全频带取得较好的隔振效果。微振动的衰减率在低频段达10 d B,在谐振频率和高频处达20 d B。展开更多
文摘针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机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系统完全满足预期的安全需求.
文摘随着航天领域的不断发展,航天器搭载的高精密仪器对振动环境的要求更加严格。本文针对航天器微振动的主动控制进行了分析。首先,根据隔振要求的不同,分别建立了单轴隔振器的扰动位移传递和干扰力传递的开环传递函数以及基于力反馈的闭环传递函数;然后,以扰动位移抑制为例通过理论推导分析了基于力反馈PI控制与线性自抗扰控制的主动隔振效果,并讨论了巴特沃斯滤波器对主动隔振系统的影响。最后,搭建了单轴主动隔振实验平台,验证了理论推导结果的正确性,LADRC控制可以在20~500 Hz全频带取得较好的隔振效果。微振动的衰减率在低频段达10 d B,在谐振频率和高频处达20 d B。