冗余数据的自动选择方法、分析器及实现无扰切换的方法

摘要

本发明公开了一种冗余数据的自动选择方法、分析器及实现无扰切换的方法，其中冗余数据的自动选择方法包括：确定控制程序中定义的所有变量组成的原始集，以及主备切换时需要保证输出无扰的变量组成的目标集，将所述控制程序的代码转换为包含多个函数式及其顺序信息的关系集，提取运算逻辑中的因变量、对应的自变量及对应的函数式，根据所述目标集和关系集对所述原始集寻优，选择出冗余最优集，使主机和备机件拷贝更新冗余最优集中变量的值后，所述目标集中变量的值在此后任意正整数周期运算结束时保持一致。本发明解决了冗余配置系统中从原始集中选择得到较少的冗余变量，这些冗余变量的值相同时，能保证输出变量在此后任意正整数周期保持一致。

主权项

一种冗余数据的自动选择方法，应用于采用备份式冗余的计算机控制系统，该自动选择方法包括：确定控制程序中定义的所有变量组成的原始集，以及主备切换时需要保证输出无扰的变量组成的目标集，该目标集为该原始集的子集；将所述控制程序的代码转换为包含多个函数式及其顺序信息的关系集，转换时，按照所述控制程序的代码的执行顺序，提取出所述代码表示的运算逻辑中存在的因变量及与每一因变量相关的所有自变量，将每一因变量及其自变量表示为反映变量之间关系的一函数式并记录各函数式的顺序信息；根据所述目标集和关系集对所述原始集寻优，从原始集中选择出满足优化器约束条件且包含元素个数最少的子集作为冗余数据，该子集称为冗余最优集；该优化器约束条件指主机和备机间拷贝更新冗余最优集中变量的值后，所述目标集中变量的值在此后任意正整数周期运算结束时保持一致。