基于离散状态的性能建模方法受系统规模和复杂性的限制,在分析过程中极易产生状态空间爆炸问题.针对这一问题,基于随机进程代数的性能评估进程代数(performance evalution process algebra,PEPA)模型的流体逼近方法,分析了PEPA模型流体...基于离散状态的性能建模方法受系统规模和复杂性的限制,在分析过程中极易产生状态空间爆炸问题.针对这一问题,基于随机进程代数的性能评估进程代数(performance evalution process algebra,PEPA)模型的流体逼近方法,分析了PEPA模型流体逼近的基本性质:唯一性、有界性、收敛性和正性,证明了PEPA模型导出的常微分方程组解的收敛性,为随机进程代数流体逼近方法在性能建模领域的应用提供相关理论基础.数值仿真实验结果进一步验证了流体逼近的相关性质,有效缓解了状态空间爆炸问题.展开更多
本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的...本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。展开更多
文摘基于离散状态的性能建模方法受系统规模和复杂性的限制,在分析过程中极易产生状态空间爆炸问题.针对这一问题,基于随机进程代数的性能评估进程代数(performance evalution process algebra,PEPA)模型的流体逼近方法,分析了PEPA模型流体逼近的基本性质:唯一性、有界性、收敛性和正性,证明了PEPA模型导出的常微分方程组解的收敛性,为随机进程代数流体逼近方法在性能建模领域的应用提供相关理论基础.数值仿真实验结果进一步验证了流体逼近的相关性质,有效缓解了状态空间爆炸问题.
文摘本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。
