可根据运算条件检索梯形电路的梯形程序检索装置的制造方法
【技术领域】
[0001]本发明涉及一种梯形程序检索装置，特别是涉及一种能够根据指定的信号的运算条件检索梯形电路的梯形程序检索装置。
【背景技术】
[0002]在生成梯形程序、验证(调试)动作、诊断动作时的异常等的情况下，频繁地进行从梯形程序中在画面上调出相关联的梯形电路。因此，在很多情况下提供一种以在目的的梯形电路中使用的信号、命令作为条件来检索、提取梯形电路的功能。
[0003]通常，在从梯形程序中搜索特定的梯形电路的情况下，指定在该梯形电路中使用的信号，检索包含该信号的梯形电路，由此提取目的的梯形电路。检索条件的信号一般通常表示该信号被分配的名称(标识符)、地址等的字符串来指定，并且，在画面上调出最初判定为与条件匹配的梯形电路或者一览显示判定为与条件匹配的全部梯形电路，从而对操作员通知检索的结果。
[0004]例如，当在梯形程序的编辑装置上指定“A”这样的信号来作为检索条件，并指令通过该检索条件检索梯形电路的情况下，如图14所示的检索结果I那样，作为结果，在画面中一览显示全部的在电路中出现“A”这样的信号的梯形电路。在使用这样的检索方法的情况下，当梯形程序的规模变大时，即使在相同条件下更多的梯形电路匹配。
[0005]这样，在一览显示了很多梯形电路的情况下，提取目的电路变得更困难，最终，很多时候还需要操作员观察所显示的所有梯形电路来进行判定。然而，当作为检索的结果一览显示的梯形电路的数量多时，从该一览中找出作为目的的梯形电路耗费工时，发生看漏等错误的危险性也尚。
[0006]因此，以往，提出了以下技术:通过能够进一步增加检索条件从而设定详细的条件，减少判定为匹配的梯形电路的数量，更高精度地找出目的的梯形电路。例如在日本特开2004-005060号公报中公开了能够将命令与变量(信号)的组合指定为检索条件的控制程序检索装置。另外，在日本特开昭62-086408号公报中公开了能够将命令与信号的排列指定为检索条件的可编程序控制器。并且，在日本专利第4245811号公报中公开了能够使用梯形图的图案指定检索条件的梯形电路编辑装置。
[0007]然而，即使加入日本特开2004-005060号公报、日本特开昭62-086408号公报、日本专利第4245811号公报所公开的技术，也会产生以下所示的问题。即，在梯形电路的情况下，即使是具有同等逻辑的电路，有时运算命令、信号的排列也会不同，或者之间插入了表示辅助条件的接点，因此在仅通过命令的排列、梯形图的图案的比较判定为匹配时，存在漏掉应判定为匹配的梯形电路的危险性。
【发明内容】
[0008]因此，本发明的目的在于提供一种在从可编程序控制器执行的梯形程序中检索/提取梯形电路时，能够高效地检索/提取目的的梯形电路的梯形程序检索装置。
[0009]本发明的梯形程序检索装置根据指定的检索条件检索梯形程序中包含的多个梯形电路，该梯形程序检索装置具备:检索条件指定单元，其将至少两个的多个信号以及至少一个的上述多个信号中包含的任意两个信号之间的逻辑运算关系指定为检索条件;检索信号有无判定单元，其针对包含在上述梯形程序中的上述多个梯形电路，判定包含全部的被指定为上述检索条件的上述多个信号;检索逻辑有无判定单元，其针对由上述检索信号有无判定单元判定为包含全部的被指定为上述检索条件的信号的上述梯形电路，判定是否包含上述逻辑运算关系；以及显示单元，其显示由上述检索信号有无判定单元和上述检索逻辑有无判定单元判定为与上述检索条件匹配的上述梯形电路，上述检索逻辑有无判定单元具备判别单元，其判别上述逻辑运算关系中包含的各信号在上述梯形电路中的连接关系，上述检索逻辑有无判定单元根据上述判别单元的判别结果，进行在上述梯形电路中是否包含上述逻辑运算关系的判定。
[0010]可以使上述判别单元从上述梯形电路生成从上述梯形电路中删除上述逻辑运算关系中包含的各信号以外的信号而简化的梯形电路，并根据上述简化的梯形电路判别上述逻辑运算关系中包含的各信号在上述梯形电路中的连接关系。
[0011]可以使上述判别单元从上述梯形电路生成计算树，并根据上述计算树判别上述逻辑运算关系中包含的各信号在上述梯形电路中的连接关系。
[0012]可以使上述梯形程序检索装置还具备检索模式检索单元，其选择模糊检索模式，在由上述检索模式检索单元选择了模糊检索模式的情况下，上述检索逻辑有无判定单元进行判定，以使上述逻辑运算关系中包含的信号与没有附加否定的逻辑的信号以及附加了否定的逻辑的信号双方相匹配。
[0013]本发明通过具备上述结构，作为梯形电路的检索条件，不仅是使用的信号，还在条件中加入其逻辑关系，由此能够更高精度地提取目的的梯形电路，能够使梯形图的制作、诊断等作业高效化。另外，在本发明中，不是根据命令的排列、梯形图的图案，而是根据连结两个信号的逻辑运算来进行条件匹配的判定，因此如果是具有同一逻辑构造的梯形电路，则即使在通过参照其它的信号而电路形式不同的情况下，也能够判定为匹配，因此能够防止检索的遗漏。
【附图说明】
[0014]通过参照附图对以下实施例的说明，本发明的上述和其它的目的以及特征会变得更清楚。在这些图中:
[0015]图1是本发明的实施方式的梯形程序检索装置的主要部分框图。
[0016]图2是说明本发明的实施方式的梯形程序检索装置中使用的数据的数据构造的图。
[0017]图3是在本发明的实施方式的梯形程序检索装置上执行的处理的概要流程图。
[0018]图4是本发明的实施方式的检索信号有无判定处理的概要流程图。
[0019]图5是本发明的实施方式的检索逻辑有无判定处理的概要流程图。
[0020]图6是表示现有技术中的基于命令的排列的梯形程序的检索例的图。
[0021]图7是表示现有技术中的基于梯形图的图案的梯形程序的检索例的图。
[0022]图8A、8B、8C是说明本发明的实施方式的梯形电路的简化处理的图。
[0023]图9是本发明的实施方式的使用了梯形电路的简化的检索逻辑一致判定处理的概要流程图。
[0024]图10是表示本发明的实施方式的使用了梯形电路的简化的信号间连接关系的判别例I的图。
[0025]图11是表示本发明的实施方式的使用了梯形电路的简化的信号间连接关系的判别例2的图。
[0026]图12是表示本发明的实施方式的从梯形电路生成计算树的示例的图。
[0027]图13是说明本发明的实施方式的使用了计算树的信号间连接关系的判别方法的图。
[0028]图14是表示现有技术中的基于信号的梯形程序的检索例的图。
[0029]图15是表示现有技术中的基于两个信号的梯形程序的检索例的图。
【具体实施方式】
[0030]首先，说明本发明的技术概要。
[0031]图15表示了不仅是信号A还将信号B增加到检索条件中来对与图14相同的检索对象进行检索得到的检索结果2。在检索结果2中，因为在图14所示的检索结果I中显示的梯形电路#1-2和#1-3并未包含信号B，因此在检索结果一栏中并未出现。
[0032]在此，在考虑进一步缩小图15所示的检索结果2的情况下，如果除了信号A和信号B以外还存在目的的电路中包含的信号，则仅通过将该信号追加到检索条件中就能够进行缩小，但是，实际上，在很多时候不存在适合于缩小的信号。
[0033]因此，在本发明中，除此以外，为了能够进一步缩小检索结果，将逻辑运算关系导入到检索条件中。例如考虑检索信号A和信号B两者均接通这一情况为基本的动作条件(线圈被接通的条件)的电路。因为在两个信号接通时进行动作，所以在该梯形电路中应该包含信号A与信号B的逻辑积(and)的逻辑运算。因此，将该逻辑运算作为检索条件而设定“A andB”。此外，通常能够指定多个这样的检索条件的逻辑运算。
[0034]在本发明中，提供一种检索单元，其通过对梯形程序检索装置追加以下的功能而导入了逻辑运算关系，得到更高精度的检索结果。
[0035][方法I]作为检索条件指定多个信号的功能
[0036][方法2]关于被指定为检索条件的信号，指定一个以上的任两个信号的逻辑运算关系(例如对于信号A和B，“A and B”、“A or B”、“A and(not B)”等)的功能
[0037][方法3]关于梯形程序中包含的各个梯形电路，判断包含全部的被指定为检索条件的信号的功能
[0038][方法4]关于被判定为包含全部的被指定为检索条件的信号的梯形电路，判定在梯形电路中是否出现了两个信号的逻辑运算的关系的功能
[0039][方法5]在画面上显示上述两个判定单元判定为与检索条件匹配的梯形电路的功會K
[0040]图1是本发明的