[发明专利]一种基于三机通信有限状态机模型的三机表决方法

权利要求书

1.一种基于三机通信有限状态机模型的三机表决方法，其特征在于，包括如下步骤：

步骤一，将三机的优先级分别设为高、中和低三个优先级；

定义三机通信模式判别字，定义如下：其中一个字节表示本机标识，用于表示当前机为A机、B机或C机；其中三个字节分别表示A机、B机或C机状态，包含初始同步状态、完成同步状态和通信超时状态；初始化时为初始同步状态；

步骤二，除本机外，将其它两机分别定义为高优先级机和低优先级机；读空本机对应的高优先级机FIFO和低优先级机FIFO；高优先级通信超时计数和低优先级通信超时计数初始化为0；

步骤三，生成本机同步数据；

步骤四，本机向其他两机写入本机同步数据，再接收其他两机的同步数据，完成通信后根据通信结果进行判断：

如果本机与另外两机通信正常，高优先级通信超时计数置0，低优先级通信超时计数置0，在遥测信息中记录高、低优先级机通信累计次数，三机分别生成三机通信模式判别字，此时，三机状态均为完成同步状态，当前模式为三机正常模式，转至步骤八；

如果通信结果为本机与低优先级机通信正常、与高优先级机通信超时，转至步骤五；

如果通信结果为本机与高优先级机通信正常、与低优先级机通信超时，转至步骤六；

如果通信结果为本机与高优先级机、与低优先级机均通信超时，转至步骤七；

步骤五，将高优先级通信超时计数加1，在遥测信息中记录低优先级机通信次数；如果高优先级通信超时计数连续大于或等于3，生成三机通信模式判别字，此时本机和低优先级机状态为完成同步状态，高优先级机状态为通信超时状态，当前模式为两机模式，本机与低优先级机加电，转至步骤八；

步骤六，将低优先级通信超时计数加1，在遥测信息中记录高优先级机通信次数；如果低优先级通信计数连续大于或等于3，生成三机通信模式判别字，本机和高优先级机状态为完成同步状态，低优先级机状态为通信超时状态，当前模式为两机模式，本机与高优先级机加电，转至步骤八；

步骤七，将高优先级通信超时计数加1、低优先级通信超时计数加1；如果高优先级通信计数连续大于或等于3、且低优先级通信计数连续大于或等于3，生成三机通信模式判别字，此时三机状态为通信超时状态，当前模式为单机模式，转至步骤八；

步骤八，根据三机通信模式判别字执行相应处理：

如果三机状态均为完成同步状态，继续选择当前当班机为当班主机；

如果两机处于完成同步状态，另一机处于通信超时状态，系统选择两机中优先级较高的单机作为当班主机；

如果三机状态均为通信超时状态，且只有一个单机正常运行，此单机作为当班主机。

2.如权利要求1所述的一种基于三机通信有限状态机模型的三机表决方法，其特征在于，在系统运行中，三机两两互相通信，并根据得到的通信模式判别字对三机状态进行表决：

如果三机的通信模式判别字的结果一致，表示三机均为正常状态；

否则，进行切机处理，进行如下判断：

A、如果高优先级机、低优先级机数据一致，且与本机数据不一致连续达到3次，则执行本机复位；

B、如果高优先级机和本机数据一致，且与低优先级机数据不一致连续达到3次，获取低优先级机标识，发送切低优先级机指令，将低优先级机关闭；

C、如果本机和低优先级机数据一致，且与高优先级机数据不一致达到3次，获取高优先级机标识，发送切高优先级机指令，将高优先级机关闭。

3.如权利要求1所述的一种基于三机通信有限状态机模型的三机表决方法，其特征在于，

所述步骤一中，将A机的本机标识为0x00，B机的本机标识为0x01，C机的本机标识为0x02；A/B/C机状态的定义如下：初始同步状态用0x01表示；完成同步状态用0x10表示；通信超时状态用0x00表示。