公开(公告)号：CN102508691B

公开(公告)日：2013-12-18

申请号：CN201110394931.0

申请日：2011-12-02

Applicant: 北京和利时系统工程有限公司

Inventor： 刘立忠 ,  施波 ,  刘小树

IPC: G06F9/45

Abstract: 本发明提供了一种图形语言程序的有序分解方法及有序分解器；所述方法包括：对各网络分别进行下述步骤：检查该网络中每个块，设置起点块和终点块；对该网络中各终点块，分别进行下述处理：将该终点块作为当前块，建立当前子图，然后执行下述处理，直到该终点块处理完成；依次检查当前块的各输入连接块，如果一个输入连接块既不是起点块也不是终点块，则将该输入连接块设置为当前块；如果当前块的输入连接块都已处理完成，则设置当前块属于当前子图；判断当前块是否为终点块，如果不是终点块，则将该当前块设置为处理完成，然后将其输出连接块作为当前块；如果是终点块，则该终点块处理完成。本发明能够提高图形类语言的编译效率和准确性。

公开(公告)号：CN101770411B

公开(公告)日：2012-07-04

申请号：CN200910243194.7

申请日：2009-12-31

Applicant: 北京和利时系统工程有限公司

Inventor： 刘立忠

IPC: G06F11/14

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

公开(公告)号：CN101770411A

公开(公告)日：2010-07-07

申请号：CN200910243194.7

申请日：2009-12-31

Applicant: 北京和利时系统工程有限公司

Inventor： 刘立忠

IPC: G06F11/14

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

公开(公告)号：CN102508691A

公开(公告)日：2012-06-20

申请号：CN201110394931.0

申请日：2011-12-02

Applicant: 北京和利时系统工程有限公司

Inventor： 刘立忠 ,  施波 ,  刘小树

IPC: G06F9/45

Abstract: 本发明提供了一种图形语言程序的有序分解方法及有序分解器；所述方法包括：对各网络分别进行下述步骤：检查该网络中每个块，设置起点块和终点块；对该网络中各终点块，分别进行下述处理：将该终点块作为当前块，建立当前子图，然后执行下述处理，直到该终点块处理完成；依次检查当前块的各输入连接块，如果一个输入连接块既不是起点块也不是终点块，则将该输入连接块设置为当前块；如果当前块的输入连接块都已处理完成，则设置当前块属于当前子图；判断当前块是否为终点块，如果不是终点块，则将该当前块设置为处理完成，然后将其输出连接块作为当前块；如果是终点块，则该终点块处理完成。本发明能够提高图形类语言的编译效率和准确性。