[发明专利]一种基于逻辑梯形图的列车功能故障诊断方法及装置

权利要求书

1.一种基于逻辑梯形图的列车功能故障诊断方法，其特征在于，该方法包括：

通过图形界面对列车的功能设置逻辑关系，并保存设置好的逻辑关系；所述逻辑关系由逻辑项点、关系线组成，每个关系线有一个输出节点，即最右节点；

根据设置好的逻辑关系生成对应的XML文件，根据所述XML文件画出对应的逻辑梯形图；

将列车下发的输出信号通过逻辑项点的编码找到对应的逻辑关系，并将逻辑项点的值渲染到所述逻辑梯形图对应的节点上；

根据列车的功能受输出逻辑项点的影响，进行列车下发的输出信号与理论值比较，判断输出逻辑项点是否有故障；

所述逻辑项点包括逻辑项点属性、逻辑项点类型、逻辑项点状态和逻辑运算表达式；

所述逻辑项点属性包括显示名称、编码、类型、值，其中，逻辑项点的值包括0和1；

所述逻辑项点类型包括输入类型、输出类型、中间变量类型、继电器类型、时钟类型；

所述逻辑项点状态包括红色和绿色，红色表示列车功能故障，绿色表示列车功能正常；

所述逻辑运算表达式包括与|2种运算，表示一个关系线组成，关系线上至少有一个逻辑项点；|表示由多个关系线组成，每个关系线上有至少有一个逻辑项点；

一条所述关系线上有一个或者多个逻辑项点；

所述的根据列车的功能是受输出逻辑项点的影响，进行列车下发的输出信号与理论值比较，判断输出逻辑项点是否有故障；其中，判断逻辑为：

若列车下发的输出信号和理论值不一致，则该列车的功能存在故障；

若列车下发的输出信号和理论值一致，则该列车的功能不存在故障；

所述的若列车下发的输出信号和理论值不一致，则该列车的功能存在故障；具体包括：

若列车下发的输出信号和理论值不一致，首先就将该节点标红，表示故障节点；然后根据该节点所在的逻辑关系从右到左推导下一个节点是否存在故障；

如果下一个节点存在故障则推导子逻辑项点是否有故障，根据关系线获取逻辑运算表达式，并计算逻辑表达式，生成计算结果，判断计算结果的值和最右项点的值是否一致：若不一致，则循环查找下一个逻辑表达式，直到查找到逻辑运算的计算结果的值和最右项点的值一致；若逻辑表达式计算出来的计算结果的值与最右项点的值一致，则循环查找表达式里面的运算逻辑项点，判断逻辑项点的值与最右项点的值是否一致：若不一致，则返回继续循环查找表达式里面的运算逻辑项点；若一致，则将该节点标注成红色显示，表示该节点对应的列车功能存在故障；反之绿色显示，表示该节点对应的列车功能不存在故障；

所述的根据所述XML文件画出对应的逻辑梯形图，是从右往左画逻辑梯形图。

2.根据权利要求1所述的一种基于逻辑梯形图的列车功能故障诊断方法，其特征在于，所述列车的功能由一个或者多个逻辑关系组成。

3.一种基于逻辑梯形图的列车功能故障诊断装置，其特征在于，该装置支持如权利要求1至2中任一所述的一种基于逻辑梯形图的列车功能故障诊断方法，该装置包括：

列车功能的逻辑关系设置单元，用于通过图形界面对列车的功能设置逻辑关系，并保存设置好的逻辑关系；所述逻辑关系由逻辑项点、关系线组成，每个关系线有一个输出节点，即最右节点；

XML文件生成单元，用于根据设置好的逻辑关系生成对应的XML文件；

逻辑梯形图生成单元，用于加载所述XML文件，根据所述XML文件画出对应的逻辑梯形图；

渲染单元，用于将列车下发的输出信号通过逻辑项点的编码找到对应的逻辑关系，并将逻辑项点的值渲染到所述逻辑梯形图对应的节点上；

列车功能故障诊断单元，用于根据列车的功能受输出逻辑项点的影响，进行列车下发的输出信号与理论值比较，判断输出逻辑项点是否有故障；

所述逻辑项点包括逻辑项点属性、逻辑项点类型、逻辑项点状态和逻辑运算表达式；

所述逻辑项点属性包括显示名称、编码、类型、值，其中，逻辑项点的值包括0和1；

所述逻辑项点类型包括输入类型、输出类型、中间变量类型、继电器类型、时钟类型；

所述逻辑项点状态包括红色和绿色，红色表示列车功能故障，绿色表示列车功能正常；

所述逻辑运算表达式包括与|2种运算，表示一个关系线组成，关系线上至少有一个逻辑项点；|表示由多个关系线组成，每个关系线上有至少有一个逻辑项点；

一条所述关系线上有一个或者多个逻辑项点；

所述列车功能故障诊断单元的判断逻辑为：

若列车下发的输出信号和理论值不一致，则该列车的功能存在故障；

若列车下发的输出信号和理论值一致，则该列车的功能不存在故障；

所述的若列车下发的输出信号和理论值不一致，则该列车的功能存在故障；具体包括：

若列车下发的输出信号和理论值不一致，首先就将该节点标红，表示故障节点；然后根据该节点所在的逻辑关系从右到左推导下一个节点是否存在故障；

如果下一个节点存在故障则推导子逻辑项点是否有故障，根据关系线获取逻辑运算表达式，并计算逻辑表达式，生成计算结果，判断计算结果的值和最右项点的值是否一致：若不一致，则循环查找下一个逻辑表达式，直到查找到逻辑运算的计算结果的值和最右项点的值一致；若逻辑表达式计算出来的计算结果的值与最右项点的值一致，则循环查找表达式里面的运算逻辑项点，判断逻辑项点的值与最右项点的值是否一致：若不一致，则返回继续循环查找表达式里面的运算逻辑项点；若一致，则将该节点标注成红色显示，表示该节点对应的列车功能存在故障；反之绿色显示，表示该节点对应的列车功能不存在故障；

所述的根据所述XML文件画出对应的逻辑梯形图，是从右往左画逻辑梯形图。