专利名称：逻辑设计图检索装置的制作方法
技术领域：
本发明涉及逻辑设计图检索装置，特别涉及在逻辑的记述等中使用的逻辑设计图的检索。
背景技术：
在监视控制系统等中，用对信号进行各种运算等的运算元件、和连接它们之间的、表示信号的流动的连接线(信号线)来记述控制逻辑等。这样，在本说明书中，将主要用运算元件和信号线记述的设计图称为逻辑设计图。例如，非专利文献I所示的功能框图也是逻辑设计图的一种。逻辑设计图是程序的表现形式之一，具有相比于使用C或Java(注册商标)等编程语言来记述的程序，即使并非熟练程序员也易于理解其举动这样的优点。但是，存在如下问题由于用图来表现而分量较多，并且为了写易于查看且易于理解的程序，还需要考虑运算元件、连接线的配置等。由于存在上述那样的难点，所以在使用逻辑设计图来表现的编程中，通常对拷贝的对象实施编辑而完成为程序。另外，在监视控制系统等特别大规模系统、或具备多个冗余系统的系统中，存在多个类似的硬件，且控制它们的软件的功能也类似，所以通常采取上述那样的开发过程。其结果，还存在引起逻辑设计图增大，系统的保养性、可靠性、生产性降低这样的问题。如果通过逻辑设计图来实现类似检索，则能够对出现频度高的类似逻辑进行部件化，能够提高保养性、生产性。另外，在已知希望制作的逻辑的一部分时，能够检索类似的逻辑设计图，并参考该逻辑设计图而进行开发，而提高生产性。进而，在某一逻辑中产生了缺陷时，能够检索类似的逻辑设计图，而在表面化之前修正其他缺陷部位。作为实现了逻辑设计图的类似检索的例子，有专利文献I。在专利文献I中，记载了验证保存为不同的格式的2个CAD设计图是否表示本来相同的CAD设计图。针对2个CAD设计图，通过在分别包含的图形的类别、规定的范围内的坐标的一致，计算图形的对应关系(包括一对多)，根据是否有能够完全一对一地对应的组合，来验证CAD设计图的相同性。另外，作为实现了设计图的类似检索的例子，有专利文献2。在专利文献2中，与按照基准简化了的树构造一起记录由符号和连接线构成的设计图，根据所输入的检索条件，得到按照相同的基准简化了的树构造，在树构造彼此中研究一致，从而实现了设计图的类似检索。
专利文献I日本专利第4139249号公报
专利文献2日本专利第2096866号公报
非专利文献I国际标准IEC61131-
发明内容
专利文献I中的CAD设计图包括线段、矩形等描绘要素。通过用线段、矩形的描绘要素来表示逻辑设计图的连接线、运算要素，能够用CAD设计图来表示逻辑设计图。因此，针对逻辑设计图，也能够进行专利文献I记载的CAD设计图的相同性验证。由此，关于没有进行编辑等而拷贝了的逻辑设计图，能够吸收规定的范围以内的位置信息的差异，并且判定是否相同。但是，在该判定方法中，如果连接线的位置存在规定的范围以上的差异，则判定为不相同。例如，如果连接线的位置不同，则判定为不相同。在逻辑设计图中，连接线是否在逻辑上相同的判定基准是指，其两端的连接状况是否相同，而并非连接线的坐标位置。为了易于查看且易于理解，有时变更运算元件、信号线的位置，但在大多数情况下不会成为在逻辑上不同的逻辑设计图。另外，一般不原样地使用所拷贝的逻辑设计图，而通常进行运算元件、连接线的追加、属性的变更等。另外，对于拷贝逻辑设计图的一部分来粘贴的逻辑设计图，无法期待位置信息的一致。考虑到这些，在专利文献I中，存在无法提供2个设计图在逻辑上类似到何种程度这样的尺度的问题。另一方面，专利文献2中的设计图由符号和连接线构成。通过将逻辑设计图的运算元件观察为符号，能够实现专利文献2记载的设计图的类似检索。在该类似检索中，将从检索对象的设计图抽出的符号与连接线的关系预先记录为按照基准简化了的树构造。通过对输入的检索条件实施相同的处理并调查成为树构造的两者的一致来实现。但是，在该类似检索中，仅能够实现依照基准省略了运算元件(在专利文献2中为符号)的范围内的类似检索，在运算元件的一部分被变更了的情况下无法检索。虽然还能够调查树构造的一致程度来进行类似检索，但由于根据树构造的根部分的运算元件来进行对照，所以如果在该部分中运算元件被变更，则完全无法对照。其结果，在拷贝并修正了逻辑设计图的情况下，即使其修正点很少，也有可能不视为类似。虽然通过完全列举可能成为树构造的根部分的要素来进行检索，类似检索的正确性增加，但存在检索花费的时间相应地增加这样的问题。本发明是为了解决上述那样的问题而完成的，其目的在于提供一种能够从多个逻辑设计图高速并且正确地检索与检索者提供的逻辑设计图在逻辑上类似的逻辑设计图的逻辑设计图检索装置。根据本发明的逻辑设计图检索装置，具备逻辑设计图储存部，储存有包括成为检索的对象的比较设计图的多个逻辑设计图；以及赋予部，赋予应与所述比较设计图进行比较的成为基准的基准设计图，在所述基准设计图以及所述比较设计图中，记载有由I个或者多个类别构成的多个运算元件、和将所述各运算元件相互连接的信号线，所述逻辑设计图检索装置还具备检测部，检测所述基准设计图中的所述各运算元件、和与该各运算元件分别对应的类别的在所述比较设计图中的所述运算元件的坐标变化量；移动量推测部，根据所述坐标变化量，推测所述基准设计图与所述比较设计图之间的设计图移动量；以及对应关联部，根据所述设计图移动量，使所述基准设计图以及所述比较设计图中的某一方中的所述运算元件移动，在该两个设计图中，判别所述运算元件的坐标以及类别是否对应并对应关联，所述对应关联部将在所述基准设计图中连接成为对应关联的对象的所述运算元件彼此的所述信号线、和在所述比较设计图中连接成为对应关联的对象的所述运算元件彼此的所述信号线对应关联，所述逻辑设计图检索装置还具备类似度计算部，该类似度计算部根据对应关联的所述运算元件以及所述信号线，计算所述基准设计图与所述比较设计图的类似度。根据本发明的逻辑设计图检索装置，还具备检测部，检测所述基准设计图中的所述各运算元件、和与该各运算元件分 别对应的类别的所述比较设计图中的所述运算元件的坐标变化量；移动量推测部，根据所述坐标变化量，推测所述基准设计图与所述比较设计图之间的设计图移动量；以及对应关联部，根据所述设计图移动量，判别在该两个设计图中所述运算元件的坐标以及类别是否对应并对应关联，所述对应关联部将在所述基准设计图中连接成为对应关联的对象的所述运算元件彼此的所述信号线、和在所述比较设计图中连接成为对应关联的对象的所述运算元件彼此的所述信号线对应关联，所述逻辑设计图检索装置还具备类似度计算部，该类似度计算部根据对应关联的所述运算元件以及所述信号线，计算所述基准设计图与所述比较设计图的类似度，从而能够将依照设计图移动量的运算元件以及信号线对应关联，适当地计算基准设计图与比较设计图的类似度。因此，能够从多个逻辑设计图，高速并且正确地检索与检索者提供的逻辑设计图在逻辑上类似的逻辑设计图。
图I是实施方式I的逻辑设计图检索装置的框图。图2是示出实施方式I的逻辑设计图检索装置的移动量推测部106的处理的流程图。图3是示出实施方式I的逻辑设计图检索装置的运算元件临时对应计算部107的处理的流程图。图4是示出实施方式I的逻辑设计图检索装置的运算元件/信号线对应计算部108的处理的流程图。图5是示出实施方式I的逻辑设计图检索装置的作为基准设计图输入的逻辑设计图的例子的图。图6是示出实施方式I的逻辑设计图检索装置的作为比较设计图输入的逻辑设计图的例子的图。图7是示出实施方式I的逻辑设计图检索装置的移动量推测部106中的处理的一部分的图。图8是示出实施方式I的逻辑设计图检索装置的运算元件临时对应计算部107中的处理结果的图。图9是示出实施方式I的逻辑设计图检索装置的运算元件/信号线对应计算部108中的处理结果的图。图10是示出实施方式I的逻辑设计图检索装置的移动量推测部106的处理的数据图。图11是示出实施方式I的逻辑设计图检索装置的运算元件临时对应计算部107的处理的数据图。
图12是示出实施方式I的逻辑设计图检索装置的运算元件对应表的图。图13是示出实施方式I的逻辑设计图检索装置的信号线对应表的图。图14是示出实施方式2的逻辑设计图检索装置的检索结果显示部110示出的基准设计图的例子的图。图15是示出实施方式2的逻辑设计图检索装置的检索结果显示部110示出的比较设计图的例子的图。(符号说明)102 :基准设计图输入部；103 :运算元件位置检测部；104 :运算元件类别检测部；105 :信号线检测部；106 :移动量推测部；107 :运算元件临时对应计算部；108 :运算元件/信号线对应计算部；109 :类似度计算部；110 :检索结果显示部；1000 :逻辑设计图储存部
具体实施例方式<A.实施方式1>〈A-1.结构〉图I示出本发明的逻辑设计图检索装置的结构。如图所示，逻辑设计图检索装置首先具备逻辑设计图储存部1000和基准设计图输入部102。进而，逻辑设计图检索装置具备与逻辑设计图储存部1000和基准设计图输入部102连接的信号线检测部105、运算元件位置检测部103和运算元件类别检测部104。进而，逻辑设计图检索装置具备与运算元件位置检测部103以及运算元件类别检测部104连接的、移动量推测部106、运算元件临时对应计算部107。进而，逻辑设计图检索装置具备与运算元件类别检测部104、运算元件临时对应计算部107和信号线检测部105连接的运算元件/信号线对应计算部108 ;与运算元件/信号线对应计算部108连接的类似度计算 部109 ;以及与类似度计算部109连接的检索结果显示部110。逻辑设计图储存部1000存储成为检索的对象的多个逻辑设计图。作为赋予部的基准设计图输入部102接收并赋予在类似检索时成为比较的基准的逻辑设计图的输入。将该输入的逻辑设计图称为基准设计图。作为基准设计图，能够选择逻辑设计图储存部1000中储存的逻辑设计图中的I个、或者对其实施追加删除等编辑而得到的逻辑设计图，并输入到基准设计图输入部102。另一方面，从逻辑设计图储存部1000，选择在类似检索时成为比较对象的逻辑设计图。将该被选择的逻辑设计图称为比较设计图。作为检测部的运算元件位置检测部103针对从基准设计图输入部102以及逻辑设计图储存部1000得到的逻辑设计图记载的、由I个或者多个类别构成的多个运算元件，检测设计图上的坐标位置。作为检测部的运算元件类别检测部104针对从基准设计图输入部102以及逻辑设计图储存部1000得到的逻辑设计图记载的运算元件，检测运算元件的类别、即除了坐标位置的信息以外元件具有的属性等。信号线检测部105针对从基准设计图输入部102以及逻辑设计图储存部1000得到的逻辑设计图记载的、将运算元件相互连接的信号线(连接线)，检测信号线的类别(模拟/数字、输入/输出的端子类别等)、两端的运算元件。使用基准设计图和比较设计图来进行移动量推测部106、运算元件临时对应计算部107、运算元件/信号线对应计算部108和类似度计算部109的处理。〈A-2.动作 >图2是示出实施方式I中的移动量推测部106的处理的流程图。首先，在步骤S201中，将基准设计图、比较设计图中都包含的运算元件的类别设为类别K。接下来，在步骤S202中，从基准设计图取出一个类别是类别K的运算元件并设为基准运算元件P。接下来，在步骤S203中，从比较设计图取出一个类别是类别K的运算元件并设为比较运算元件Q。此处，在本实施方式I中，示出了类别一致的情况，但类别的对应关系不仅限于一致的情况。接下来，在步骤S204中，计算从基准运算元件P观察的比较运算元件Q的坐标变化量，对其频度进行计数。即，对处于与该坐标变化量相同的对应关系的情况的次数进行计数。另外，坐标变化量是基准运算元件P与比较运算元件Q的相对的坐标差，所以也可以计算从比较运算元件Q观察的基准运算元件P的坐标变化量。接下来，在步骤S205中，调查是否针对所有比较运算元件Q结束了上述处理，在处理结束了的情况下进入到步骤S206，在没有结束的情况下进入到步骤S203。在步骤S206中，调查是否针对所有基准运算元件P结束了上述处理，在处理结束了的情况下进入到步骤S207，在没有结束的情况下进入到步骤S202。在步骤S207中，调查是否针对所有类别K结束了上述处理，在处理结束了的情况下进入到步骤S208，在没有结束的情况下进入到步骤S201。在步骤S208中，例如将提供最大的频度的坐标变化量设为推测移动量。其原因为，在多个运算元件中呈现相同的坐标变化量的情况下，能够考虑为逻辑设计图整体(即，运算元件群)向该方向移动，提供最大的频度的坐标变化量是其可能性最高的移动方向。因此，将这样的坐标变化量设为推测移动量，设为逻辑设计图整体的移动量。另外，推测移动量的决定方法不限于上述方法，而还能够采用变更通过移动方向进行计数时的加权等方法。图10是坐标变化量的计算数据的例示。计算从类别K的运算元件P1、P2、P3的各个向Ql、Q2、Q3的坐标变化量。由于坐标变化量在Pl和P3中相等，所以对于该坐标变化量，对计数进行合计。此处，针对坐标变化使用XY坐标来示出，但不特别限于该坐标系。另外，在图10中，不出了根据不同的P1、P2、P3分别计算坐标变化量的部分,但还同样地计算例如从Pl向Q2、Q3的坐标变化量,针对所有坐标变化量中的呈现相等的变化的部分，对计数进行合计。另外，上述逻辑设计图整体的移动不仅限于平行移动，如果考虑规定的旋转量，则还能够应用于组合了旋转移动的情况。图3是示出实施方式I中的运算元件临时对应计算部107的处理的流程图。首先，在步骤S301中，使运算元件对应表成为空。接下来，在步骤S302中，从基准 设计图取出一个运算元件而设为基准运算元件P。接下来，在步骤S303中，对基准运算元件P的坐标加上推测移动量，而设为移动运算元件V。接下来，在步骤S304中，调查坐标与移动运算元件V—致、并且类别与基准运算元件P —致的比较运算元件Q是否处于比较设计图上。图11是表示坐标与移动运算元件V—致、并且类别与基准运算元件P—致的比较运算元件Q是否处于比较设计图上的数据的例示。对于Pl以及P3，由于移动运算元件V与比较运算元件Q (Ql、Q3)坐标一致且类别K也一致，所以判断为有这样的比较运算元件Q。另一方面，P2是判断为没有这样的比较运算元件Q那样的情况。另外，在本实施方式I中，示出了坐标一致的情况，但坐标的对应关系不限于一致的情况。 接下来，在步骤S305中，在这样的比较运算元件Q处于比较设计图上的情况下进入到步骤S306，在这样的比较运算元件Q不处于比较设计图上的情况下进入到步骤S307。在步骤S306中，将(P、Q)记录到运算元件对应表。在步骤S307中，调查是否针对所有基准运算元件P结束了上述处理，如果没有结束则进入到步骤S302。如果结束，则结束处理。图12是示出(P、Q)的运算元件对应表的数据的例示。表示Pl以及P3分别对应于Ql以及Q3。另外，对于P2，将后述。图4是示出实施方式I中的运算元件/信号线对应计算部108的处理的流程图。首先，在步骤S401中，使信号线对应表成为空。接下来，在步骤S402中，将处于运算元件对应表的基准设计图的运算元件设为基准运算元件P，将与其对应的比较设计图的运算元件设为比较运算元件Q。接下来，在步骤S403中，将还连接到与基准运算元件P连接的基准信号线L的、并非基准运算元件P的运算元件设为连接运算元件R。接下来，在步骤S404中，调查连接运算元件R是否处于运算元件对应表，在连接运算元件R处于运算元件对应表的情况下进入到步骤S405，在连接运算元件R不处于运算元件对应表的情况下进入到步骤S411。在步骤S405中，从运算元件对应表得到与连接运算元件R处于对应关系的连接对应运算元件S。接下来，在步骤S406中，调查是否有使比较运算元件Q和连接对应运算元件S连接、并且类别与基准信号线L 一致的比较信号线M。接下来，在步骤S407中，如果有这样的比较信号线M则进入到步骤S408，如果没有这样的比较信号线M则进入到步骤S409。在步骤S408中，将(L、M)加到信号线对应表，进入到步骤S409。图13是表示(L、M)的信号线对应表的数据的例示。表示使Pl和P3连接的信号线对应于使Ql和Q3连接的信号线。另外，对于使Pl和P2连接的信号线，将后述。在步骤S411中，调查是否有与完全满足“条件”的比较运算元件Q连接的比较信号线M、和并非与比较信号线M连接的比较运算元件Q的连接对应运算元件S。上述条件是指，条件I :比较信号线M不处于信号线对应表；条件2 :连接对应运算元件S不处于运算元件对应表；条件3 :基准信号线L和比较信号线M的类别一致；条件4 连接运算元件R和连接对应运算元件S的类别一致。接下来，在步骤S412中，在有这样的比较信号线M以及连接对应运算元件S的情况下进入到步骤S413，否则进入到步骤S409。在步骤S413中，将(R、S)加到运算元件对应表。接下来，在步骤S414中，将(L、M)加到信号线对应表，进入到步骤S409。S卩，如图12所示，在Q2针对P2满足上述条件的情况下，加到(P、Q)的运算元件对应表。另外，如图13所示，在使Ql和Q2连接的信号线针对使Pl和P2连接的信号线满足上述条件的情况下，加到(L、M)的信号线对应表。在步骤S409中，调查是否处理了所有连接运算元件R，在处理没有结束的情况下进入到步骤S403，在处理结束了的情况下进入到步骤S410。在步骤S410中，调查是否处理了所有基准运算元件P、比较运算元件Q，在没有结束的情况下进入到步骤S402，在结束了的情况下，结束处理。另外，对于步骤S411 步骤S414，还能够省略。即，在连接运算元件R不处于运算元件对应表的情况下，还能够进入到步骤S409而判断是否针对所有连接运算元件R结束了处理。在该情况下，类似度的计算变得简易，能够实现更高速的处理。进而，在类似度计算部109中，根据运算元件对应表以及信号线对应表中记录的运算元件、信号线的对应关系，计算基准设计图与比较设计图的类似度。此处，在本实施方式I中，对于基准设计图和比较设计图中的运算元件、信号线的对应关系，使用对应表进行了记录，但无需一定制作对应表，只要能够表示两个设计图中的运算元件、信号线的对应关系，则对于其样式没有特别限定。接下来，为了具体示出移动量推测部106、运算元件临时对应计算部107、运算元件/信号线对应计算部108的处理，作为基准设计图使用图5来说明，作为比较设计图使用图6来说明。图5是作为基准设计图输入的逻辑设计图的例子。用矩形表示运算元件，用线表示信号线，用箭头表示信号的朝向。IN是表不来自外部的输入的、具有0输入I输出的端子的运算兀件。OUT是表不向外部的输出的、具有I输入0输出的端子的运算元件。AND、0R是分别实现逻辑与、逻辑或的、具有2输入I输出的端子的运算元件。NOT是实现非的、I输入I输出的运算元件。另夕卜，此处记载的信号线的类别全部是2值(真/假)。图6是作为比较设计图输入的逻辑设计图的例子。在右下方示出与图5的左上方示出的逻辑类似的逻辑，进而，在左下方追加了新的逻辑。图7是示出移动量推测部106中的处理的一部分的图。将步骤S201(参照图2)的运算元件的类别K设为N0T，将基准设计图和比较设计图重叠而示出。斜向的箭头是在步骤S204(参照图2)中求出的坐标变化量。虽然计算大量的图案的坐标变化量，但最终在步骤S208中，将频度最高的坐标变化量(在图7中用粗的箭头表示)用作推测移动量。图8是示出运算元件临时对应计算部107中的处理结果的图。使基准设计图和比较设计图重叠，对对应的运算元件分别赋予相同的编号而示出。
另外，图9是示出运算元件/信号线对应计算部108中的处理结果的图。与图8同样地，使基准设计图和比较设计图重叠，对对应的运算元件分别赋予相同的编号，并且用粗线示出对应的信号线。类似度计算部109根据由运算元件/信号线对应计算部108得到的运算元件对应表、信号线对应表，计算基准设计图与比较设计图的类似度。类似度是根据基准设计图以及比较设计图中的运算元件以及信号线中的、对应关联的运算元件以及信号线的程度计算出的，例如，优选为在两个设计图之间对应的运算元件/信号线的数量的增加函数、并且不对应的运算元件/信号线的数量的减少函数。作为这样的函数的一个例子，有以下的函数。设为Na :在基准设计图与比较设计图之间对应的运算元件的数量La :在基准设计图与比较设计图之间对应的信号线的数量NO :基准设计图的运算元件的数量LO :基准设计图的信号线的数量NI :比较设计图的运算元件的数量LI :比较设计图的信号线的数量a :参数(取0 I的值)，类似度=2* ( a Na+ (I- a ) La) / ( a (N0+N1) + (I- a ) (L0+L1))在基准设计图和比较设计图是逻辑上一致的逻辑时，是(Na = NO = NI, La = LO=LI),所以上述类似度成为I,在完全不一致时,是(Na = La = 0,所包含的运算元件的类别完全不一致时等)，所以上述类似度成为O。a是参数,在I时,仅考虑运算兀件的对应关系,在0时,仅考虑"[目号线的对应关系来计算类似度。通过调整该参数的值，能够设定运算元件、信号线的考虑的程度。另外，此处叙述的类似度的计算式是一个例子，而不限于这些。检索结果显示部110将逻辑设计图储存部1000中储存的逻辑设计图依次作为对象画面而经由上述计算，通过类似度计算部109得到类似度。然后，依照这些类似度，排列显示逻辑设计图的标题等，对检索者提示检索结果。另外，还能够分别具备主要进行检索的检索部、和主要进行显示的显示部。〈A-3.效果〉根据本发明的实施方式1，还具备作为检测部的运算元件位置检测部103以及运算元件类别检测部104，对基准设计图中的各运算元件、和与该各运算元件分别对应的类别的比较设计图中的运算元件的坐标变化量进行检测；根据坐标变化量推测基准设计图与比较设计图之间的设计图移动量的移动量推测部106 ;以及根据设计图移动量，判别在两个设计图中运算元件的坐标以及类别是否对应并对应关联的对应关联部中包含的运算元件临时对应计算部107，对应关联部中包含的运算元件/信号线对应计算部108将在基准设计图中连接成为对应关联的对象的运算元件彼此的信号线、和在比较设计图中连接成为对应关联的对象的运算元件彼此的信号线对应关联，还具备类似度计算部109，该类似度计算部109根据对应关联的运算元件以及信号线，计算基准设计图与比较设计图的类似度，从而能够将依据设计图移动量的运算元件以及信号线对应关联，适当地计算基准设计图与比较设计图的类似度。因此，能够从多个逻辑设计图，高速并且正确地检索与检索者提供的逻辑设计图在逻辑上类似的逻辑设计图。另外，根据本发明的实施方式1，在逻辑设计图检索装置中，移动量推测部106对检测出的坐标变化量进行计数，根据计数为最多的坐标变化量，推测设计图移动量，从而能够适当地推测基准设计图以及比较设计图各自中的运算元件群整体的移动距离、移动方向，进一步提高类似度判断的精度。另外，根据本发明的实施方式1，在逻辑设计图检索装置中，作为对应关联部的运算元件/信号线对应计算部108即使在使基准设计图以及比较设计图中的某一方中的运算元件移动，而在该两个设计图中该运算元件的坐标没有对应关联的情况下，也将基准设计图以及比较设计图各自中的该运算元件经由信号线而连接到成为对应关联的对象的运算元件，并且在该两个设计图中的该运算元件的类别以及与该运算元件连接的该信号线的类别对应关联的情况下，使基准设计图中的该运算元件以及该信号线、和比较设计图中的该运算元件以及该信号线对应关联，从而能够从对应关联是已知的运算元件追寻信号线，能够从该信号线更详细地导出对应关联。因此，能够进一步提高类似度 判断的精度。另外，针对实施了编辑的基准设计图，也能够更正确地进行类似检索。另外，根据本发明的实施方式1，在逻辑设计图检索装置中，作为赋予部的基准设计图输入部102从逻辑设计图储存部1000中的逻辑设计图选择或者进而至少部分性地进行编辑而作为基准设计图赋予，从而即使对基准设计图实施了编辑的情况下，也能够作为类似检索的对象。另外，根据本发明的实施方式1，在逻辑设计图检索装置中，类似度计算部109根据基准设计图以及比较设计图中的运算元件以及信号线中的、对应关联的运算元件以及信号线的程度，计算类似度，从而判断为运算元件以及信号线更多地对应的基准设计图和比较设计图是更类似的设计图彼此，能够进行正确的类似检索。〈B.实施方式2>〈B-1.结构〉在本实施方式2的逻辑设计图检索装置中，图14、图15示出检索结果显示部110显示的内容的一个例子。设为作为基准设计图提供图5、作为比较设计图提供图6 (参照实施方式I)。图14示出检索结果显示部110表示的基准设计图的例子、图15示出比较设计图的例子。分别根据运算元件/信号线对应计算部108计算出的结果，用粗字示出存在对应关系的运算元件以及信号线。如从这些图可知，在实施方式2的逻辑设计图检索装置中，检索结果显示部110能够以使检索者能够明确地理解的方式，将在逻辑上相同的部分和不同的部分、即对应关联的运算元件以及信号线和不对应关联的运算元件以及信号线区分而示出。另外，显示方法不限于粗字，而只要是使差异变得明确而能够区分的样式，则没有特别限定。〈B-2.效果〉根据本发明的实施方式2，在逻辑设计图检索装置中，作为显示部的检索结果显示部110使对应关联的运算元件以及信号线、和不对应关联的运算元件以及信号线以能够区分的样式显示，从而能够在通过类似检索得到的逻辑设计图中，使得在逻辑上哪里相同哪里不同变得明确。〈C.实施方式3>〈C-1.结构〉类似度计算部109根据由运算元件/信号线对应计算部108得到的运算元件对应表、信号线对应表，计算基准设计图与比较设计图的类似度。在实施方式I中，作为类似度的计算方法，举出了对称的方法、即即使替换基准设计图和比较设计图，类似度也不变化的方法，但还能够考虑非对称的类似度计算方式。作为一个例子，有如下方式。设为Na :在基准设计图与比较设计图之间对应的运算元件的数量La :在基准设计图与比较设计图之间对应的信号线的数量NO :基准设计图的运算元件的数量LO :基准设计图的信号线的数量^ :参数(取0 I的值)，类似度=(^Na+ (I- ^ ) La) / ( ^ NO+ (I- ^ ) L0)是参数，在I时，仅考虑运算兀件的对应关系，在0时,仅考虑信号线的对应关系来计算类似度。通过调整该参数的值，能够设定运算元件、信号线的考虑的程度。〈C-2.效果〉 在基准设计图和比较设计图是在逻辑上一致的逻辑时，并且基准设计图的全部与比较设计图的一部分一致时，也是(Na = NO,La = L0)，所以上述类似度成为I。另外，在完全不一致时，是(Na = La = 0)，所以上述类似度成为O。由于具有这些特性，所以上述类似度计算式适用于在作为基准设计图提供逻辑的一部分，而希望检索包括与其类似的部分那样的比较设计图时。对提供开发途中的逻辑设计图来检索类似的设计图并作为参考信息而使开发加速化的用途、或提供逻辑设计图的有缺陷的部分来检索类似设计图而寻找包括同样的缺陷的设计图的用途是有效的。另外，本发明能够在该发明的范围内，实现各实施方式的自由组合、或者各实施方式的任意构成要素的变形、或者各实施方式的任意构成要素的省略。
权利要求
1.一种逻辑设计图检索装置，其中， 具备 逻辑设计图储存部(1000)，储存有包括成为检索的对象的比较设计图的多个逻辑设计图；以及 赋予部(102)，赋予应与所述比较设计图进行比较的成为基准的基准设计图， 在所述基准设计图以及所述比较设计图中，记载有由I个或者多个类别构成的多个运算元件、和将所述各运算元件相互连接的信号线， 所述逻辑设计图检索装置还具备 检测部(103、104)，检测所述基准设计图中的所述各运算元件、和与该各运算元件分别对应的类别的在所述比较设计图中的所述运算元件的坐标变化量； 移动量推测部(106)，根据所述坐标变化量，推测所述基准设计图与所述比较设计图之间的设计图移动量；以及 对应关联部(107、108)，根据所述设计图移动量，使所述基准设计图以及所述比较设计图中的某一方中的所述运算元件移动，在该两个设计图中，判别所述运算元件的坐标以及类别是否对应并对应关联， 所述对应关联部(107、108)将在所述基准设计图中连接成为对应关联的对象的所述运算元件彼此的所述信号线、和在所述比较设计图中连接成为对应关联的对象的所述运算元件彼此的所述信号线对应关联， 所述逻辑设计图检索装置还具备类似度计算部(109)，该类似度计算部根据对应关联的所述运算元件以及所述信号线，计算所述基准设计图与所述比较设计图的类似度。
2.根据权利要求I所述的逻辑设计图检索装置，其特征在于， 所述移动量推测部(106)对检测出的所述坐标变化量进行计数，根据计数为最多的所述坐标变化量，推测所述设计图移动量。
3.根据权利要求I或者2所述的逻辑设计图检索装置，其特征在于， 所述对应关联部(107、108)即使在使所述基准设计图以及所述比较设计图中的某一方中的所述运算元件移动，而在该两个设计图中，该运算元件的坐标不对应关联的情况下，所述基准设计图以及所述比较设计图各自中的该运算元件也经由所述信号线被连接到成为对应关联的对象的所述运算元件，并且在该两个设计图中的该运算元件的类别以及与该运算元件连接的该信号线的类别对应关联的情况下，将所述基准设计图中的该运算元件以及该信号线、和所述比较设计图中的该运算元件以及该信号线对应关联。
4.根据权利要求I或者2所述的逻辑设计图检索装置，其特征在于， 所述赋予部(102)从所述逻辑设计图储存部(1000)中的所述逻辑设计图中选择、或者进而至少部分性地进行编辑，而作为所述基准设计图赋予。
5.根据权利要求I或者2所述的逻辑设计图检索装置，其特征在于， 所述类似度计算部(109)根据所述基准设计图以及所述比较设计图中的所述运算元件以及所述信号线中的对应关联的所述运算元件以及所述信号线的程度，计算所述类似度。
6.根据权利要求I或者2所述的逻辑设计图检索装置，其特征在于， 还具备检索部(110)，该检索部根据所述类似度，进行所述逻辑设计图的类似检索。
7.根据权利要求I或者2所述的逻辑设计图检索装置，其特征在于， 还具备显示部(110)，该显示部根据所述类似度，显示所述逻辑设计图的一览。
8.根据权利要求7所述的逻辑设计图检索装置，其特征在于， 所述显示部(110)以能够区分的样式显示对应关联的所述运算元件以及所述信号线、和不对应关联的所述运算元件以及所述信号线。
全文摘要
本发明的目的在于提供一种能够从多个逻辑设计图高速并且正确检索与检索者提供的逻辑设计图逻辑上类似的逻辑设计图的逻辑设计图检索装置。本发明的逻辑设计图检索装置还具备根据坐标变化量推测基准设计图与比较设计图之间的设计图移动量的移动量推测部(106)、和根据设计图移动量将两个设计图中的运算元件的坐标以及类别对应关联的运算元件/信号线对应计算部(108)，运算元件/信号线对应计算部(108)将在基准设计图中连接成为对应关联的对象的运算元件彼此的信号线、和在比较设计图中连接成为对应关联的对象的运算元件彼此的信号线对应关联，还具备根据对应关联的运算元件以及信号线计算基准设计图与比较设计图的类似度的类似度计算部(109)。
文档编号G06F17/30GK102629245SQ20121002457
公开日2012年8月8日 申请日期2012年2月6日 优先权日2011年2月7日
发明者津高新一郎 申请人:三菱电机株式会社