[发明专利]一种可处理函数顶点的梯形图转换成指令序列的方法

权利要求书

1.一种可处理函数顶点的梯形图转换成指令序列的方法，其特征在于：所采用的LD-BET方法包括六部分，第一部分包括梯形图转换成LDGraph的算法并验证格式和判别是否是LDGraph，获得合格的LDGraph图G，并读入图G；第二部分设置图中每个顶点的连接属性connectionType；第三部分为图添加辅助顶点；第四部分对串联分支上的顶点进行合并，第五部分对射入并联型顶点的串联分支进行合并；第六部分展开BET树中每个并联型顶点，形成一棵不含并联型顶点的BET树；每一部分又由一个或多个过程组成；每一步完成后都要将图G的顶点颜色恢复成白色；完成LDGraph转换成BET树后，将得到的BET数据转换为符合IEC61131-3规范的指令表；

所采用的LD-BET方法中用到2个对象，一个为用于描述BET树的结点，另外一个为用于描述LDGraph的顶点；结点对象包含vertex属性结点对象通过NODE(vertex)方法创建，通过ADD-NODE方法使三个结点都变成属于N_BET的结点；顶点对象包含name,Adj,Adj',buffer,buffer',root,π,d,color,conntionType,functionType属性；对于顶点v其邻接表v.Adj代表一个集合{Adj₁,Adj₂,……,Adj_n},其中Adj_i∈V，i＝1,2,……,n；该集合表示从v到集合v.Adj的每一个元素之间都有一条有向边；Adj'是一个链表，用于收集射入并联型顶点的串联分支，串联分支的并联合并要使用它；对于顶点v其链表v.Adj'代表一个有序序列Adj'₁,Adj'₂,……,Adj'_n,其中Adj'_i∈N_BET，i＝1,2,……,n；有序序列表示从v到序列的每一个元素之间都有一条射入v的串联分支，其排列次序代表了射入的先后顺序；分别将集合和有序序列应用于串联和并联节点的表示将有利于串联与并联的合并；并联型顶点的合并采用广度优先算法，有序序列的结构保留了顶点之间的深度关系；串联顶点的搜索采用的深度优先搜索，利用结构相对简单的集合表示不会损失顶点之间连接关系信息；由于在生成BET树算法中会交替使用串联合并和并联合并，所以这两种结构也被交替使用；

buffer，buffer'用于缓存生成BET子树时的中间结果；通过BUILD-SUBTREE算法的处理将部分有向图转换成BET子树并将其缓存到buffer和buffer'中，同时两缓存还保留了BET子树的树根在有向图中的位置；两个缓存为图和树转换建立了联系；

BET子树是BET树的分支，所有的BET子树会形成BET树，其中的顶点是functionType＝FUNCTION类型的顶点。

2.根据权利要求1所述的一种可处理函数顶点的梯形图转换成指令序列的方法，其特征在于：按照连接关系分类把顶点分成串联型顶点和并联型顶点；串联型顶点：图中入度和出度都不大于1的顶点，用V_S表示；并联型顶点：图中入度大于1或出度大于1的顶点,按照顶点的出度和入度定义连接类型，除初始顶点需要指定了连接类型外，其他连接类型都是自动获取的，包括终止型顶点，并且终止型顶点有多个；对于可以扩展的输入应用来说，任何出度大于1的顶点都可以作为初始顶点，这为部分重复利用梯形图创造了条件。

3.根据权利要求1所述的一种可处理函数顶点的梯形图转换成指令序列的方法，其特征在于：按照功能对顶点进行分类，当functionTyp＝FUNCTION时处理除串联和并联型以外的顶点，这些顶点具有一些自定义的计算和逻辑功能，梯形图的逻辑运算结果作为该类顶点的输入，该类顶点输出作为梯形图的输入。