基于有限状态机的多状态图符显示方法、电子设备及存储介质技术

本发明专利技术公开了一种基于有限状态机的多状态图符显示方法、电子设备及存储介质，所述方法包括：选取TIDAS运控系统中的任一信号设备，将其有限个状态抽象化，并解析为一有限状态机；分析所述信号设备的若干个输出状态的外观，分别保存为若干个二进制数据文件，若干个所述二进制数据文件构成了所述信号设备多状态图符的若干个设备状态图；针对所述TIDAS运控系统中特定的设备，构造包含不同设备类型的多状图符库，本发明专利技术实现了对异常输出状态的过滤，提高了图形文件加载性能，大大提高了数据的维护迭代效率，增强了TIDAS运控系统人机界面的可视化，增强了组态软件系统界面显示的灵活性与多样性，提高了运营人员工作效率。提高了运营人员工作效率。提高了运营人员工作效率。

【技术实现步骤摘要】
基于有限状态机的多状态图符显示方法、电子设备及存储介质


[0001]本专利技术涉及轨道交通
，具体涉及一种基于有限状态机的多状态图符显示方法、电子设备及存储介质。

技术介绍

[0002]随着轨道交通系统的信息共享、子系统联动控制、画面融合等业务需求的发展，把信号系统和综合监控系统融合，构成行车调度指挥综合自动化系统(Traffic Integrated Dispaching and Automation System，TIDAS)是迫切的趋势。一体化TIDAS运控系统可以实现对列车运行情况和客流统计数据的实时跟踪，实现各个子系统之间的信息共享和协调互动，提前分析发现信号设备隐患，预防设备故障，保证信号设备系统的正常运行，在TIDAS运控系统的人机界面里，信号界面与其他业务画面融合，构成运营管理人员对各种场景联动分析控制的窗口。其中，TIDAS运控系统实时显示的设备运行的模拟量、开关量等值，就是运营人员综合分析系统状态，及时地进行异常情况的干预调整的依据。工程制作的与数据关联的设备状态图是静态的。存储在实时数据库中的采集变量是与现场状态同步本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于有限状态机的多状态图符显示方法，其特征在于，包括：选取TIDAS运控系统中的任一信号设备，将其有限个状态抽象化，并解析为一有限状态机；分析所述信号设备的若干个输出状态的外观，分别保存为若干个二进制数据文件，若干个所述二进制数据文件构成了所述信号设备多状态图符的若干个设备状态图；针对所述TIDAS运控系统中特定的设备，构造包含不同设备类型的多状态图符库；将所述有限状态机中所述信号设备的输入变量抽象为若干个自变量；数据采集转换为当前所述信号设备的输入信号后，得到所述信号设备的输出变量和输出状态；所述TIDAS运控系统的下位机接收所述输入变量后，使用所述有限状态机推导状态图符，并重绘当前所述信号设备的状态，以在界面上呈现确定的图符状态。2.如权利要求1所述的基于有限状态机的多状态图符显示方法，其特征在于，所述有限状态机具体描述为一个五元组(Q,q,∑I,∑O,h)，其中：Q表示有限且非空的状态集合；q表示初始状态，且q∈Q；∑I表示输入变量的集合；∑O表示输出变量的集合；表示状态转换的映射关系，所有的状态q∈Q构成的集合描述为q
′
∈Q表示下一状态。3.如权利要求2所述的基于有限状态机的多状态图符显示方法，其特征在于，假设某一所述信号设备包括k个状态q
i
(i＝1,...,k,k≥1),则对应的有限个状态序列q1,
…
,q
k
表示为τ＝(x1,y1),
…
,(x
k
,y
k
)∈(∑I
×
∑O)
*
，且满足(q,x1,y1,q1)∈h，...，(q
k
‑1,x
k
,y
k
,q
k
)∈h，其中，τ是描述q的输入输出序列，|τ|＝k。4.如...

【专利技术属性】
技术研发人员：陈钰，张立鹏，王曙光，宋振江，胡琰瑜，赵翠云，赵光旭，陈振宇，
申请(专利权)人：卡斯柯信号有限公司，
类型：发明
国别省市：