[发明专利]逻辑设计图检索装置

说明书

技术领域

本发明涉及逻辑设计图检索装置，特别涉及在逻辑的记述等中使用的逻辑设计图的检索。

背景技术

在监视控制系统等中，用对信号进行各种运算等的运算元件、和连接它们之间的、表示信号的流动的连接线(信号线)来记述控制逻辑等。这样，在本说明书中，将主要用运算元件和信号线记述的设计图称为逻辑设计图。例如，非专利文献1所示的功能框图也是逻辑设计图的一种。

逻辑设计图是程序的表现形式之一，具有相比于使用C或Java(注册商标)等编程语言来记述的程序，即使并非熟练程序员也易于理解其举动这样的优点。但是，存在如下问题：由于用图来表现而分量较多，并且为了写易于查看且易于理解的程序，还需要考虑运算元件、连接线的配置等。

由于存在上述那样的难点，所以在使用逻辑设计图来表现的编程中，通常对拷贝的对象实施编辑而完成为程序。另外，在监视控制系统等特别大规模系统、或具备多个冗余系统的系统中，存在多个类似的硬件，且控制它们的软件的功能也类似，所以通常采取上述那样的开发过程。其结果，还存在引起逻辑设计图增大，系统的保养性、可靠性、生产性降低这样的问题。

如果通过逻辑设计图来实现类似检索，则能够对出现频度高的类似逻辑进行部件化，能够提高保养性、生产性。

另外，在已知希望制作的逻辑的一部分时，能够检索类似的逻辑设计图，并参考该逻辑设计图而进行开发，而提高生产性。

进而，在某一逻辑中产生了缺陷时，能够检索类似的逻辑设计图，而在表面化之前修正其他缺陷部位。

作为实现了逻辑设计图的类似检索的例子，有专利文献1。在专利文献1中，记载了验证保存为不同的格式的2个CAD设计图是否表示本来相同的CAD设计图。针对2个CAD设计图，通过在分别包含的图形的类别、规定的范围内的坐标的一致，计算图形的对应关系(包括一对多)，根据是否有能够完全一对一地对应的组合，来验证CAD设计图的相同性。

另外，作为实现了设计图的类似检索的例子，有专利文献2。在专利文献2中，与按照基准简化了的树构造一起记录由符号和连接线构成的设计图，根据所输入的检索条件，得到按照相同的基准简化了的树构造，在树构造彼此中研究一致，从而实现了设计图的类似检索。

【专利文献1】日本专利第4139249号公报

【专利文献2】日本专利第2096866号公报

【非专利文献1】国际标准IEC61131-3

发明内容

专利文献1中的CAD设计图包括线段、矩形等描绘要素。通过用线段、矩形的描绘要素来表示逻辑设计图的连接线、运算要素，能够用CAD设计图来表示逻辑设计图。

因此，针对逻辑设计图，也能够进行专利文献1记载的CAD设计图的相同性验证。由此，关于没有进行编辑等而拷贝了的逻辑设计图，能够吸收规定的范围以内的位置信息的差异，并且判定是否相同。

但是，在该判定方法中，如果连接线的位置存在规定的范围以上的差异，则判定为不相同。例如，如果连接线的位置不同，则判定为不相同。

在逻辑设计图中，连接线是否在逻辑上相同的判定基准是指，其两端的连接状况是否相同，而并非连接线的坐标位置。为了易于查看且易于理解，有时变更运算元件、信号线的位置，但在大多数情况下不会成为在逻辑上不同的逻辑设计图。另外，一般不原样地使用所拷贝的逻辑设计图，而通常进行运算元件、连接线的追加、属性的变更等。另外，对于拷贝逻辑设计图的一部分来粘贴的逻辑设计图，无法期待位置信息的一致。

考虑到这些，在专利文献1中，存在无法提供2个设计图在逻辑上类似到何种程度这样的尺度的问题。

另一方面，专利文献2中的设计图由符号和连接线构成。通过将逻辑设计图的运算元件观察为符号，能够实现专利文献2记载的设计图的类似检索。在该类似检索中，将从检索对象的设计图抽出的符号与连接线的关系预先记录为按照基准简化了的树构造。通过对输入的检索条件实施相同的处理并调查成为树构造的两者的一致来实现。

但是，在该类似检索中，仅能够实现依照基准省略了运算元件(在专利文献2中为符号)的范围内的类似检索，在运算元件的一部分被变更了的情况下无法检索。虽然还能够调查树构造的一致程度来进行类似检索，但由于根据树构造的根部分的运算元件来进行对照，所以如果在该部分中运算元件被变更，则完全无法对照。

其结果，在拷贝并修正了逻辑设计图的情况下，即使其修正点很少，也有可能不视为类似。虽然通过完全列举可能成为树构造的根部分的要素来进行检索，类似检索的正确性增加，但存在检索花费的时间相应地增加这样的问题。