專(zhuān)利名稱(chēng)：邏輯設(shè)計(jì)圖檢索裝置的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及邏輯設(shè)計(jì)圖檢索裝置，特別涉及在邏輯的記述等中使用的邏輯設(shè)計(jì)圖的檢索。
背景技術(shù)：
在監(jiān)視控制系統(tǒng)等中，用對(duì)信號(hào)進(jìn)行各種運(yùn)算等的運(yùn)算元件、和連接它們之間的、表示信號(hào)的流動(dòng)的連接線(xiàn)(信號(hào)線(xiàn))來(lái)記述控制邏輯等。這樣，在本說(shuō)明書(shū)中，將主要用運(yùn)算元件和信號(hào)線(xiàn)記述的設(shè)計(jì)圖稱(chēng)為邏輯設(shè)計(jì)圖。例如，非專(zhuān)利文獻(xiàn)I所示的功能框圖也是邏輯設(shè)計(jì)圖的一種。邏輯設(shè)計(jì)圖是程序的表現(xiàn)形式之一，具有相比于使用C或Java(注冊(cè)商標(biāo))等編程語(yǔ)言來(lái)記述的程序，即使并非熟練程序員也易于理解其舉動(dòng)這樣的優(yōu)點(diǎn)。但是，存在如下問(wèn)題由于用圖來(lái)表現(xiàn)而分量較多，并且為了寫(xiě)易于查看且易于理解的程序，還需要考慮運(yùn)算元件、連接線(xiàn)的配置等。由于存在上述那樣的難點(diǎn)，所以在使用邏輯設(shè)計(jì)圖來(lái)表現(xiàn)的編程中，通常對(duì)拷貝的對(duì)象實(shí)施編輯而完成為程序。另外，在監(jiān)視控制系統(tǒng)等特別大規(guī)模系統(tǒng)、或具備多個(gè)冗余系統(tǒng)的系統(tǒng)中，存在多個(gè)類(lèi)似的硬件，且控制它們的軟件的功能也類(lèi)似，所以通常采取上述那樣的開(kāi)發(fā)過(guò)程。其結(jié)果，還存在引起邏輯設(shè)計(jì)圖增大，系統(tǒng)的保養(yǎng)性、可靠性、生產(chǎn)性降低這樣的問(wèn)題。如果通過(guò)邏輯設(shè)計(jì)圖來(lái)實(shí)現(xiàn)類(lèi)似檢索，則能夠?qū)Τ霈F(xiàn)頻度高的類(lèi)似邏輯進(jìn)行部件化，能夠提高保養(yǎng)性、生產(chǎn)性。另外，在已知希望制作的邏輯的一部分時(shí)，能夠檢索類(lèi)似的邏輯設(shè)計(jì)圖，并參考該邏輯設(shè)計(jì)圖而進(jìn)行開(kāi)發(fā)，而提高生產(chǎn)性。進(jìn)而，在某一邏輯中產(chǎn)生了缺陷時(shí)，能夠檢索類(lèi)似的邏輯設(shè)計(jì)圖，而在表面化之前修正其他缺陷部位。作為實(shí)現(xiàn)了邏輯設(shè)計(jì)圖的類(lèi)似檢索的例子，有專(zhuān)利文獻(xiàn)I。在專(zhuān)利文獻(xiàn)I中，記載了驗(yàn)證保存為不同的格式的2個(gè)CAD設(shè)計(jì)圖是否表示本來(lái)相同的CAD設(shè)計(jì)圖。針對(duì)2個(gè)CAD設(shè)計(jì)圖，通過(guò)在分別包含的圖形的類(lèi)別、規(guī)定的范圍內(nèi)的坐標(biāo)的一致，計(jì)算圖形的對(duì)應(yīng)關(guān)系(包括一對(duì)多)，根據(jù)是否有能夠完全一對(duì)一地對(duì)應(yīng)的組合，來(lái)驗(yàn)證CAD設(shè)計(jì)圖的相同性。另外，作為實(shí)現(xiàn)了設(shè)計(jì)圖的類(lèi)似檢索的例子，有專(zhuān)利文獻(xiàn)2。在專(zhuān)利文獻(xiàn)2中，與按照基準(zhǔn)簡(jiǎn)化了的樹(shù)構(gòu)造一起記錄由符號(hào)和連接線(xiàn)構(gòu)成的設(shè)計(jì)圖，根據(jù)所輸入的檢索條件，得到按照相同的基準(zhǔn)簡(jiǎn)化了的樹(shù)構(gòu)造，在樹(shù)構(gòu)造彼此中研究一致，從而實(shí)現(xiàn)了設(shè)計(jì)圖的類(lèi)似檢索。專(zhuān)利文獻(xiàn)I日本專(zhuān)利第4139249號(hào)公報(bào)專(zhuān)利文獻(xiàn)2日本專(zhuān)利第2096866號(hào)公報(bào)非專(zhuān)利文獻(xiàn)I國(guó)際標(biāo)準(zhǔn)IEC61131-
發(fā)明內(nèi)容
專(zhuān)利文獻(xiàn)I中的CAD設(shè)計(jì)圖包括線(xiàn)段、矩形等描繪要素。通過(guò)用線(xiàn)段、矩形的描繪要素來(lái)表示邏輯設(shè)計(jì)圖的連接線(xiàn)、運(yùn)算要素，能夠用CAD設(shè)計(jì)圖來(lái)表示邏輯設(shè)計(jì)圖。因此，針對(duì)邏輯設(shè)計(jì)圖，也能夠進(jìn)行專(zhuān)利文獻(xiàn)I記載的CAD設(shè)計(jì)圖的相同性驗(yàn)證。由此，關(guān)于沒(méi)有進(jìn)行編輯等而拷貝了的邏輯設(shè)計(jì)圖，能夠吸收規(guī)定的范圍以?xún)?nèi)的位置信息的差異，并且判定是否相同。但是，在該判定方法中，如果連接線(xiàn)的位置存在規(guī)定的范圍以上的差異，則判定為不相同。例如，如果連接線(xiàn)的位置不同，則判定為不相同。在邏輯設(shè)計(jì)圖中，連接線(xiàn)是否在邏輯上相同的判定基準(zhǔn)是指，其兩端的連接狀況是否相同，而并非連接線(xiàn)的坐標(biāo)位置。為了易于查看且易于理解，有時(shí)變更運(yùn)算元件、信號(hào)線(xiàn)的位置，但在大多數(shù)情況下不會(huì)成為在邏輯上不同的邏輯設(shè)計(jì)圖。另外，一般不原樣地使用所拷貝的邏輯設(shè)計(jì)圖，而通常進(jìn)行運(yùn)算元件、連接線(xiàn)的追加、屬性的變更等。另外，對(duì)于拷貝邏輯設(shè)計(jì)圖的一部分來(lái)粘貼的邏輯設(shè)計(jì)圖，無(wú)法期待位置信息的一致?？紤]到這些，在專(zhuān)利文獻(xiàn)I中，存在無(wú)法提供2個(gè)設(shè)計(jì)圖在邏輯上類(lèi)似到何種程度這樣的尺度的問(wèn)題。另一方面，專(zhuān)利文獻(xiàn)2中的設(shè)計(jì)圖由符號(hào)和連接線(xiàn)構(gòu)成。通過(guò)將邏輯設(shè)計(jì)圖的運(yùn)算元件觀(guān)察為符號(hào)，能夠?qū)崿F(xiàn)專(zhuān)利文獻(xiàn)2記載的設(shè)計(jì)圖的類(lèi)似檢索。在該類(lèi)似檢索中，將從檢索對(duì)象的設(shè)計(jì)圖抽出的符號(hào)與連接線(xiàn)的關(guān)系預(yù)先記錄為按照基準(zhǔn)簡(jiǎn)化了的樹(shù)構(gòu)造。通過(guò)對(duì)輸入的檢索條件實(shí)施相同的處理并調(diào)查成為樹(shù)構(gòu)造的兩者的一致來(lái)實(shí)現(xiàn)。但是，在該類(lèi)似檢索中，僅能夠?qū)崿F(xiàn)依照基準(zhǔn)省略了運(yùn)算元件(在專(zhuān)利文獻(xiàn)2中為符號(hào))的范圍內(nèi)的類(lèi)似檢索，在運(yùn)算元件的一部分被變更了的情況下無(wú)法檢索。雖然還能夠調(diào)查樹(shù)構(gòu)造的一致程度來(lái)進(jìn)行類(lèi)似檢索，但由于根據(jù)樹(shù)構(gòu)造的根部分的運(yùn)算元件來(lái)進(jìn)行對(duì)照，所以如果在該部分中運(yùn)算元件被變更，則完全無(wú)法對(duì)照。其結(jié)果，在拷貝并修正了邏輯設(shè)計(jì)圖的情況下，即使其修正點(diǎn)很少，也有可能不視為類(lèi)似。雖然通過(guò)完全列舉可能成為樹(shù)構(gòu)造的根部分的要素來(lái)進(jìn)行檢索，類(lèi)似檢索的正確性增加，但存在檢索花費(fèi)的時(shí)間相應(yīng)地增加這樣的問(wèn)題。本發(fā)明是為了解決上述那樣的問(wèn)題而完成的，其目的在于提供一種能夠從多個(gè)邏輯設(shè)計(jì)圖高速并且正確地檢索與檢索者提供的邏輯設(shè)計(jì)圖在邏輯上類(lèi)似的邏輯設(shè)計(jì)圖的邏輯設(shè)計(jì)圖檢索裝置。根據(jù)本發(fā)明的邏輯設(shè)計(jì)圖檢索裝置，具備邏輯設(shè)計(jì)圖儲(chǔ)存部，儲(chǔ)存有包括成為檢索的對(duì)象的比較設(shè)計(jì)圖的多個(gè)邏輯設(shè)計(jì)圖；以及賦予部，賦予應(yīng)與所述比較設(shè)計(jì)圖進(jìn)行比較的成為基準(zhǔn)的基準(zhǔn)設(shè)計(jì)圖，在所述基準(zhǔn)設(shè)計(jì)圖以及所述比較設(shè)計(jì)圖中，記載有由I個(gè)或者多個(gè)類(lèi)別構(gòu)成的多個(gè)運(yùn)算元件、和將所述各運(yùn)算元件相互連接的信號(hào)線(xiàn)，所述邏輯設(shè)計(jì)圖檢索裝置還具備檢測(cè)部，檢測(cè)所述基準(zhǔn)設(shè)計(jì)圖中的所述各運(yùn)算元件、和與該各運(yùn)算元件分別對(duì)應(yīng)的類(lèi)別的在所述比較設(shè)計(jì)圖中的所述運(yùn)算元件的坐標(biāo)變化量；移動(dòng)量推測(cè)部，根據(jù)所述坐標(biāo)變化量，推測(cè)所述基準(zhǔn)設(shè)計(jì)圖與所述比較設(shè)計(jì)圖之間的設(shè)計(jì)圖移動(dòng)量；以及對(duì)應(yīng)關(guān)聯(lián)部，根據(jù)所述設(shè)計(jì)圖移動(dòng)量，使所述基準(zhǔn)設(shè)計(jì)圖以及所述比較設(shè)計(jì)圖中的某一方中的所述運(yùn)算元件移動(dòng)，在該兩個(gè)設(shè)計(jì)圖中，判別所述運(yùn)算元件的坐標(biāo)以及類(lèi)別是否對(duì)應(yīng)并對(duì)應(yīng)關(guān)聯(lián)，所述對(duì)應(yīng)關(guān)聯(lián)部將在所述基準(zhǔn)設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的所述運(yùn)算元件彼此的所述信號(hào)線(xiàn)、和在所述比較設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的所述運(yùn)算元件彼此的所述信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)，所述邏輯設(shè)計(jì)圖檢索裝置還具備類(lèi)似度計(jì)算部，該類(lèi)似度計(jì)算部根據(jù)對(duì)應(yīng)關(guān)聯(lián)的所述運(yùn)算元件以及所述信號(hào)線(xiàn)，計(jì)算所述基準(zhǔn)設(shè)計(jì)圖與所述比較設(shè)計(jì)圖的類(lèi)似度。根據(jù)本發(fā)明的邏輯設(shè)計(jì)圖檢索裝置，還具備檢測(cè)部，檢測(cè)所述基準(zhǔn)設(shè)計(jì)圖中的所述各運(yùn)算元件、和與該各運(yùn)算元件分 別對(duì)應(yīng)的類(lèi)別的所述比較設(shè)計(jì)圖中的所述運(yùn)算元件的坐標(biāo)變化量；移動(dòng)量推測(cè)部，根據(jù)所述坐標(biāo)變化量，推測(cè)所述基準(zhǔn)設(shè)計(jì)圖與所述比較設(shè)計(jì)圖之間的設(shè)計(jì)圖移動(dòng)量；以及對(duì)應(yīng)關(guān)聯(lián)部，根據(jù)所述設(shè)計(jì)圖移動(dòng)量，判別在該兩個(gè)設(shè)計(jì)圖中所述運(yùn)算元件的坐標(biāo)以及類(lèi)別是否對(duì)應(yīng)并對(duì)應(yīng)關(guān)聯(lián)，所述對(duì)應(yīng)關(guān)聯(lián)部將在所述基準(zhǔn)設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的所述運(yùn)算元件彼此的所述信號(hào)線(xiàn)、和在所述比較設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的所述運(yùn)算元件彼此的所述信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)，所述邏輯設(shè)計(jì)圖檢索裝置還具備類(lèi)似度計(jì)算部，該類(lèi)似度計(jì)算部根據(jù)對(duì)應(yīng)關(guān)聯(lián)的所述運(yùn)算元件以及所述信號(hào)線(xiàn)，計(jì)算所述基準(zhǔn)設(shè)計(jì)圖與所述比較設(shè)計(jì)圖的類(lèi)似度，從而能夠?qū)⒁勒赵O(shè)計(jì)圖移動(dòng)量的運(yùn)算元件以及信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)，適當(dāng)?shù)赜?jì)算基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖的類(lèi)似度。因此，能夠從多個(gè)邏輯設(shè)計(jì)圖，高速并且正確地檢索與檢索者提供的邏輯設(shè)計(jì)圖在邏輯上類(lèi)似的邏輯設(shè)計(jì)圖。


圖I是實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的框圖。圖2是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的移動(dòng)量推測(cè)部106的處理的流程圖。圖3是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107的處理的流程圖。圖4是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108的處理的流程圖。圖5是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的作為基準(zhǔn)設(shè)計(jì)圖輸入的邏輯設(shè)計(jì)圖的例子的圖。圖6是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的作為比較設(shè)計(jì)圖輸入的邏輯設(shè)計(jì)圖的例子的圖。圖7是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的移動(dòng)量推測(cè)部106中的處理的一部分的圖。圖8是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107中的處理結(jié)果的圖。圖9是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108中的處理結(jié)果的圖。圖10是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的移動(dòng)量推測(cè)部106的處理的數(shù)據(jù)圖。圖11是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107的處理的數(shù)據(jù)圖。
圖12是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的運(yùn)算元件對(duì)應(yīng)表的圖。圖13是示出實(shí)施方式I的邏輯設(shè)計(jì)圖檢索裝置的信號(hào)線(xiàn)對(duì)應(yīng)表的圖。圖14是示出實(shí)施方式2的邏輯設(shè)計(jì)圖檢索裝置的檢索結(jié)果顯示部110示出的基準(zhǔn)設(shè)計(jì)圖的例子的圖。圖15是示出實(shí)施方式2的邏輯設(shè)計(jì)圖檢索裝置的檢索結(jié)果顯示部110示出的比較設(shè)計(jì)圖的例子的圖。(符號(hào)說(shuō)明)102 :基準(zhǔn)設(shè)計(jì)圖輸入部；103 :運(yùn)算元件位置檢測(cè)部；104 :運(yùn)算元件類(lèi)別檢測(cè)部；105 :信號(hào)線(xiàn)檢測(cè)部；106 :移動(dòng)量推測(cè)部；107 :運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部；108 :運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部；109 :類(lèi)似度計(jì)算部；110 :檢索結(jié)果顯示部；1000 :邏輯設(shè)計(jì)圖儲(chǔ)存部
具體實(shí)施例方式<A.實(shí)施方式1>〈A-1.結(jié)構(gòu)〉圖I示出本發(fā)明的邏輯設(shè)計(jì)圖檢索裝置的結(jié)構(gòu)。如圖所示，邏輯設(shè)計(jì)圖檢索裝置首先具備邏輯設(shè)計(jì)圖儲(chǔ)存部1000和基準(zhǔn)設(shè)計(jì)圖輸入部102。進(jìn)而，邏輯設(shè)計(jì)圖檢索裝置具備與邏輯設(shè)計(jì)圖儲(chǔ)存部1000和基準(zhǔn)設(shè)計(jì)圖輸入部102連接的信號(hào)線(xiàn)檢測(cè)部105、運(yùn)算元件位置檢測(cè)部103和運(yùn)算元件類(lèi)別檢測(cè)部104。進(jìn)而，邏輯設(shè)計(jì)圖檢索裝置具備與運(yùn)算元件位置檢測(cè)部103以及運(yùn)算元件類(lèi)別檢測(cè)部104連接的、移動(dòng)量推測(cè)部106、運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107。進(jìn)而，邏輯設(shè)計(jì)圖檢索裝置具備與運(yùn)算元件類(lèi)別檢測(cè)部104、運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107和信號(hào)線(xiàn)檢測(cè)部105連接的運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108 ;與運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108連接的類(lèi)似度計(jì)算 部109 ;以及與類(lèi)似度計(jì)算部109連接的檢索結(jié)果顯示部110。邏輯設(shè)計(jì)圖儲(chǔ)存部1000存儲(chǔ)成為檢索的對(duì)象的多個(gè)邏輯設(shè)計(jì)圖。作為賦予部的基準(zhǔn)設(shè)計(jì)圖輸入部102接收并賦予在類(lèi)似檢索時(shí)成為比較的基準(zhǔn)的邏輯設(shè)計(jì)圖的輸入。將該輸入的邏輯設(shè)計(jì)圖稱(chēng)為基準(zhǔn)設(shè)計(jì)圖。作為基準(zhǔn)設(shè)計(jì)圖，能夠選擇邏輯設(shè)計(jì)圖儲(chǔ)存部1000中儲(chǔ)存的邏輯設(shè)計(jì)圖中的I個(gè)、或者對(duì)其實(shí)施追加刪除等編輯而得到的邏輯設(shè)計(jì)圖，并輸入到基準(zhǔn)設(shè)計(jì)圖輸入部102。另一方面，從邏輯設(shè)計(jì)圖儲(chǔ)存部1000，選擇在類(lèi)似檢索時(shí)成為比較對(duì)象的邏輯設(shè)計(jì)圖。將該被選擇的邏輯設(shè)計(jì)圖稱(chēng)為比較設(shè)計(jì)圖。作為檢測(cè)部的運(yùn)算元件位置檢測(cè)部103針對(duì)從基準(zhǔn)設(shè)計(jì)圖輸入部102以及邏輯設(shè)計(jì)圖儲(chǔ)存部1000得到的邏輯設(shè)計(jì)圖記載的、由I個(gè)或者多個(gè)類(lèi)別構(gòu)成的多個(gè)運(yùn)算元件，檢測(cè)設(shè)計(jì)圖上的坐標(biāo)位置。作為檢測(cè)部的運(yùn)算元件類(lèi)別檢測(cè)部104針對(duì)從基準(zhǔn)設(shè)計(jì)圖輸入部102以及邏輯設(shè)計(jì)圖儲(chǔ)存部1000得到的邏輯設(shè)計(jì)圖記載的運(yùn)算元件，檢測(cè)運(yùn)算元件的類(lèi)別、即除了坐標(biāo)位置的信息以外元件具有的屬性等。信號(hào)線(xiàn)檢測(cè)部105針對(duì)從基準(zhǔn)設(shè)計(jì)圖輸入部102以及邏輯設(shè)計(jì)圖儲(chǔ)存部1000得到的邏輯設(shè)計(jì)圖記載的、將運(yùn)算元件相互連接的信號(hào)線(xiàn)(連接線(xiàn))，檢測(cè)信號(hào)線(xiàn)的類(lèi)別(模擬/數(shù)字、輸入/輸出的端子類(lèi)別等)、兩端的運(yùn)算元件。使用基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖來(lái)進(jìn)行移動(dòng)量推測(cè)部106、運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107、運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108和類(lèi)似度計(jì)算部109的處理?！碅-2.動(dòng)作 >圖2是示出實(shí)施方式I中的移動(dòng)量推測(cè)部106的處理的流程圖。首先，在步驟S201中，將基準(zhǔn)設(shè)計(jì)圖、比較設(shè)計(jì)圖中都包含的運(yùn)算元件的類(lèi)別設(shè)為類(lèi)別K。接下來(lái)，在步驟S202中，從基準(zhǔn)設(shè)計(jì)圖取出一個(gè)類(lèi)別是類(lèi)別K的運(yùn)算元件并設(shè)為基準(zhǔn)運(yùn)算元件P。接下來(lái)，在步驟S203中，從比較設(shè)計(jì)圖取出一個(gè)類(lèi)別是類(lèi)別K的運(yùn)算元件并設(shè)為比較運(yùn)算元件Q。此處，在本實(shí)施方式I中，示出了類(lèi)別一致的情況，但類(lèi)別的對(duì)應(yīng)關(guān)系不僅限于一致的情況。接下來(lái)，在步驟S204中，計(jì)算從基準(zhǔn)運(yùn)算元件P觀(guān)察的比較運(yùn)算元件Q的坐標(biāo)變化量，對(duì)其頻度進(jìn)行計(jì)數(shù)。即，對(duì)處于與該坐標(biāo)變化量相同的對(duì)應(yīng)關(guān)系的情況的次數(shù)進(jìn)行計(jì)數(shù)。另外，坐標(biāo)變化量是基準(zhǔn)運(yùn)算元件P與比較運(yùn)算元件Q的相對(duì)的坐標(biāo)差，所以也可以計(jì)算從比較運(yùn)算元件Q觀(guān)察的基準(zhǔn)運(yùn)算元件P的坐標(biāo)變化量。接下來(lái)，在步驟S205中，調(diào)查是否針對(duì)所有比較運(yùn)算元件Q結(jié)束了上述處理，在處理結(jié)束了的情況下進(jìn)入到步驟S206，在沒(méi)有結(jié)束的情況下進(jìn)入到步驟S203。在步驟S206中，調(diào)查是否針對(duì)所有基準(zhǔn)運(yùn)算元件P結(jié)束了上述處理，在處理結(jié)束了的情況下進(jìn)入到步驟S207，在沒(méi)有結(jié)束的情況下進(jìn)入到步驟S202。在步驟S207中，調(diào)查是否針對(duì)所有類(lèi)別K結(jié)束了上述處理，在處理結(jié)束了的情況下進(jìn)入到步驟S208，在沒(méi)有結(jié)束的情況下進(jìn)入到步驟S201。在步驟S208中，例如將提供最大的頻度的坐標(biāo)變化量設(shè)為推測(cè)移動(dòng)量。其原因?yàn)椋诙鄠€(gè)運(yùn)算元件中呈現(xiàn)相同的坐標(biāo)變化量的情況下，能夠考慮為邏輯設(shè)計(jì)圖整體(即，運(yùn)算元件群)向該方向移動(dòng)，提供最大的頻度的坐標(biāo)變化量是其可能性最高的移動(dòng)方向。因此，將這樣的坐標(biāo)變化量設(shè)為推測(cè)移動(dòng)量，設(shè)為邏輯設(shè)計(jì)圖整體的移動(dòng)量。另外，推測(cè)移動(dòng)量的決定方法不限于上述方法，而還能夠采用變更通過(guò)移動(dòng)方向進(jìn)行計(jì)數(shù)時(shí)的加權(quán)等方法。圖10是坐標(biāo)變化量的計(jì)算數(shù)據(jù)的例示。計(jì)算從類(lèi)別K的運(yùn)算元件P1、P2、P3的各個(gè)向Ql、Q2、Q3的坐標(biāo)變化量。由于坐標(biāo)變化量在Pl和P3中相等，所以對(duì)于該坐標(biāo)變化量，對(duì)計(jì)數(shù)進(jìn)行合計(jì)。此處，針對(duì)坐標(biāo)變化使用XY坐標(biāo)來(lái)示出，但不特別限于該坐標(biāo)系。另外，在圖10中，不出了根據(jù)不同的P1、P2、P3分別計(jì)算坐標(biāo)變化量的部分,但還同樣地計(jì)算例如從Pl向Q2、Q3的坐標(biāo)變化量,針對(duì)所有坐標(biāo)變化量中的呈現(xiàn)相等的變化的部分，對(duì)計(jì)數(shù)進(jìn)行合計(jì)。另外，上述邏輯設(shè)計(jì)圖整體的移動(dòng)不僅限于平行移動(dòng)，如果考慮規(guī)定的旋轉(zhuǎn)量，則還能夠應(yīng)用于組合了旋轉(zhuǎn)移動(dòng)的情況。圖3是示出實(shí)施方式I中的運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107的處理的流程圖。首先，在步驟S301中，使運(yùn)算元件對(duì)應(yīng)表成為空。接下來(lái)，在步驟S302中，從基準(zhǔn) 設(shè)計(jì)圖取出一個(gè)運(yùn)算元件而設(shè)為基準(zhǔn)運(yùn)算元件P。接下來(lái)，在步驟S303中，對(duì)基準(zhǔn)運(yùn)算元件P的坐標(biāo)加上推測(cè)移動(dòng)量，而設(shè)為移動(dòng)運(yùn)算元件V。接下來(lái)，在步驟S304中，調(diào)查坐標(biāo)與移動(dòng)運(yùn)算元件V—致、并且類(lèi)別與基準(zhǔn)運(yùn)算元件P —致的比較運(yùn)算元件Q是否處于比較設(shè)計(jì)圖上。圖11是表示坐標(biāo)與移動(dòng)運(yùn)算元件V—致、并且類(lèi)別與基準(zhǔn)運(yùn)算元件P—致的比較運(yùn)算元件Q是否處于比較設(shè)計(jì)圖上的數(shù)據(jù)的例示。對(duì)于Pl以及P3，由于移動(dòng)運(yùn)算元件V與比較運(yùn)算元件Q (Ql、Q3)坐標(biāo)一致且類(lèi)別K也一致，所以判斷為有這樣的比較運(yùn)算元件Q。另一方面，P2是判斷為沒(méi)有這樣的比較運(yùn)算元件Q那樣的情況。另外，在本實(shí)施方式I中，示出了坐標(biāo)一致的情況，但坐標(biāo)的對(duì)應(yīng)關(guān)系不限于一致的情況。 接下來(lái)，在步驟S305中，在這樣的比較運(yùn)算元件Q處于比較設(shè)計(jì)圖上的情況下進(jìn)入到步驟S306，在這樣的比較運(yùn)算元件Q不處于比較設(shè)計(jì)圖上的情況下進(jìn)入到步驟S307。在步驟S306中，將(P、Q)記錄到運(yùn)算元件對(duì)應(yīng)表。在步驟S307中，調(diào)查是否針對(duì)所有基準(zhǔn)運(yùn)算元件P結(jié)束了上述處理，如果沒(méi)有結(jié)束則進(jìn)入到步驟S302。如果結(jié)束，則結(jié)束處理。圖12是示出(P、Q)的運(yùn)算元件對(duì)應(yīng)表的數(shù)據(jù)的例示。表示Pl以及P3分別對(duì)應(yīng)于Ql以及Q3。另外，對(duì)于P2，將后述。圖4是示出實(shí)施方式I中的運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108的處理的流程圖。首先，在步驟S401中，使信號(hào)線(xiàn)對(duì)應(yīng)表成為空。接下來(lái)，在步驟S402中，將處于運(yùn)算元件對(duì)應(yīng)表的基準(zhǔn)設(shè)計(jì)圖的運(yùn)算元件設(shè)為基準(zhǔn)運(yùn)算元件P，將與其對(duì)應(yīng)的比較設(shè)計(jì)圖的運(yùn)算元件設(shè)為比較運(yùn)算元件Q。接下來(lái)，在步驟S403中，將還連接到與基準(zhǔn)運(yùn)算元件P連接的基準(zhǔn)信號(hào)線(xiàn)L的、并非基準(zhǔn)運(yùn)算元件P的運(yùn)算元件設(shè)為連接運(yùn)算元件R。接下來(lái)，在步驟S404中，調(diào)查連接運(yùn)算元件R是否處于運(yùn)算元件對(duì)應(yīng)表，在連接運(yùn)算元件R處于運(yùn)算元件對(duì)應(yīng)表的情況下進(jìn)入到步驟S405，在連接運(yùn)算元件R不處于運(yùn)算元件對(duì)應(yīng)表的情況下進(jìn)入到步驟S411。在步驟S405中，從運(yùn)算元件對(duì)應(yīng)表得到與連接運(yùn)算元件R處于對(duì)應(yīng)關(guān)系的連接對(duì)應(yīng)運(yùn)算元件S。接下來(lái)，在步驟S406中，調(diào)查是否有使比較運(yùn)算元件Q和連接對(duì)應(yīng)運(yùn)算元件S連接、并且類(lèi)別與基準(zhǔn)信號(hào)線(xiàn)L 一致的比較信號(hào)線(xiàn)M。接下來(lái)，在步驟S407中，如果有這樣的比較信號(hào)線(xiàn)M則進(jìn)入到步驟S408，如果沒(méi)有這樣的比較信號(hào)線(xiàn)M則進(jìn)入到步驟S409。在步驟S408中，將(L、M)加到信號(hào)線(xiàn)對(duì)應(yīng)表，進(jìn)入到步驟S409。圖13是表示(L、M)的信號(hào)線(xiàn)對(duì)應(yīng)表的數(shù)據(jù)的例示。表示使Pl和P3連接的信號(hào)線(xiàn)對(duì)應(yīng)于使Ql和Q3連接的信號(hào)線(xiàn)。另外，對(duì)于使Pl和P2連接的信號(hào)線(xiàn)，將后述。在步驟S411中，調(diào)查是否有與完全滿(mǎn)足“條件”的比較運(yùn)算元件Q連接的比較信號(hào)線(xiàn)M、和并非與比較信號(hào)線(xiàn)M連接的比較運(yùn)算元件Q的連接對(duì)應(yīng)運(yùn)算元件S。上述條件是指，條件I :比較信號(hào)線(xiàn)M不處于信號(hào)線(xiàn)對(duì)應(yīng)表；條件2 :連接對(duì)應(yīng)運(yùn)算元件S不處于運(yùn)算元件對(duì)應(yīng)表；條件3 :基準(zhǔn)信號(hào)線(xiàn)L和比較信號(hào)線(xiàn)M的類(lèi)別一致；條件4 連接運(yùn)算元件R和連接對(duì)應(yīng)運(yùn)算元件S的類(lèi)別一致。接下來(lái)，在步驟S412中，在有這樣的比較信號(hào)線(xiàn)M以及連接對(duì)應(yīng)運(yùn)算元件S的情況下進(jìn)入到步驟S413，否則進(jìn)入到步驟S409。在步驟S413中，將(R、S)加到運(yùn)算元件對(duì)應(yīng)表。接下來(lái)，在步驟S414中，將(L、M)加到信號(hào)線(xiàn)對(duì)應(yīng)表，進(jìn)入到步驟S409。S卩，如圖12所示，在Q2針對(duì)P2滿(mǎn)足上述條件的情況下，加到(P、Q)的運(yùn)算元件對(duì)應(yīng)表。另外，如圖13所示，在使Ql和Q2連接的信號(hào)線(xiàn)針對(duì)使Pl和P2連接的信號(hào)線(xiàn)滿(mǎn)足上述條件的情況下，加到(L、M)的信號(hào)線(xiàn)對(duì)應(yīng)表。在步驟S409中，調(diào)查是否處理了所有連接運(yùn)算元件R，在處理沒(méi)有結(jié)束的情況下進(jìn)入到步驟S403，在處理結(jié)束了的情況下進(jìn)入到步驟S410。在步驟S410中，調(diào)查是否處理了所有基準(zhǔn)運(yùn)算元件P、比較運(yùn)算元件Q，在沒(méi)有結(jié)束的情況下進(jìn)入到步驟S402，在結(jié)束了的情況下，結(jié)束處理。另外，對(duì)于步驟S411 步驟S414，還能夠省略。即，在連接運(yùn)算元件R不處于運(yùn)算元件對(duì)應(yīng)表的情況下，還能夠進(jìn)入到步驟S409而判斷是否針對(duì)所有連接運(yùn)算元件R結(jié)束了處理。在該情況下，類(lèi)似度的計(jì)算變得簡(jiǎn)易，能夠?qū)崿F(xiàn)更高速的處理。進(jìn)而，在類(lèi)似度計(jì)算部109中，根據(jù)運(yùn)算元件對(duì)應(yīng)表以及信號(hào)線(xiàn)對(duì)應(yīng)表中記錄的運(yùn)算元件、信號(hào)線(xiàn)的對(duì)應(yīng)關(guān)系，計(jì)算基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖的類(lèi)似度。此處，在本實(shí)施方式I中，對(duì)于基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖中的運(yùn)算元件、信號(hào)線(xiàn)的對(duì)應(yīng)關(guān)系，使用對(duì)應(yīng)表進(jìn)行了記錄，但無(wú)需一定制作對(duì)應(yīng)表，只要能夠表示兩個(gè)設(shè)計(jì)圖中的運(yùn)算元件、信號(hào)線(xiàn)的對(duì)應(yīng)關(guān)系，則對(duì)于其樣式?jīng)]有特別限定。接下來(lái)，為了具體示出移動(dòng)量推測(cè)部106、運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107、運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108的處理，作為基準(zhǔn)設(shè)計(jì)圖使用圖5來(lái)說(shuō)明，作為比較設(shè)計(jì)圖使用圖6來(lái)說(shuō)明。圖5是作為基準(zhǔn)設(shè)計(jì)圖輸入的邏輯設(shè)計(jì)圖的例子。用矩形表示運(yùn)算元件，用線(xiàn)表示信號(hào)線(xiàn)，用箭頭表示信號(hào)的朝向。IN是表不來(lái)自外部的輸入的、具有0輸入I輸出的端子的運(yùn)算兀件。OUT是表不向外部的輸出的、具有I輸入0輸出的端子的運(yùn)算元件。AND、0R是分別實(shí)現(xiàn)邏輯與、邏輯或的、具有2輸入I輸出的端子的運(yùn)算元件。NOT是實(shí)現(xiàn)非的、I輸入I輸出的運(yùn)算元件。另夕卜，此處記載的信號(hào)線(xiàn)的類(lèi)別全部是2值(真/假)。圖6是作為比較設(shè)計(jì)圖輸入的邏輯設(shè)計(jì)圖的例子。在右下方示出與圖5的左上方示出的邏輯類(lèi)似的邏輯，進(jìn)而，在左下方追加了新的邏輯。圖7是示出移動(dòng)量推測(cè)部106中的處理的一部分的圖。將步驟S201(參照?qǐng)D2)的運(yùn)算元件的類(lèi)別K設(shè)為N0T，將基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖重疊而示出。斜向的箭頭是在步驟S204(參照?qǐng)D2)中求出的坐標(biāo)變化量。雖然計(jì)算大量的圖案的坐標(biāo)變化量，但最終在步驟S208中，將頻度最高的坐標(biāo)變化量(在圖7中用粗的箭頭表示)用作推測(cè)移動(dòng)量。圖8是示出運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107中的處理結(jié)果的圖。使基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖重疊，對(duì)對(duì)應(yīng)的運(yùn)算元件分別賦予相同的編號(hào)而示出。
另外，圖9是示出運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108中的處理結(jié)果的圖。與圖8同樣地，使基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖重疊，對(duì)對(duì)應(yīng)的運(yùn)算元件分別賦予相同的編號(hào)，并且用粗線(xiàn)示出對(duì)應(yīng)的信號(hào)線(xiàn)。類(lèi)似度計(jì)算部109根據(jù)由運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108得到的運(yùn)算元件對(duì)應(yīng)表、信號(hào)線(xiàn)對(duì)應(yīng)表，計(jì)算基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖的類(lèi)似度。類(lèi)似度是根據(jù)基準(zhǔn)設(shè)計(jì)圖以及比較設(shè)計(jì)圖中的運(yùn)算元件以及信號(hào)線(xiàn)中的、對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件以及信號(hào)線(xiàn)的程度計(jì)算出的，例如，優(yōu)選為在兩個(gè)設(shè)計(jì)圖之間對(duì)應(yīng)的運(yùn)算元件/信號(hào)線(xiàn)的數(shù)量的增加函數(shù)、并且不對(duì)應(yīng)的運(yùn)算元件/信號(hào)線(xiàn)的數(shù)量的減少函數(shù)。作為這樣的函數(shù)的一個(gè)例子，有以下的函數(shù)。設(shè)為Na :在基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖之間對(duì)應(yīng)的運(yùn)算元件的數(shù)量La :在基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖之間對(duì)應(yīng)的信號(hào)線(xiàn)的數(shù)量NO :基準(zhǔn)設(shè)計(jì)圖的運(yùn)算元件的數(shù)量LO :基準(zhǔn)設(shè)計(jì)圖的信號(hào)線(xiàn)的數(shù)量NI :比較設(shè)計(jì)圖的運(yùn)算元件的數(shù)量LI :比較設(shè)計(jì)圖的信號(hào)線(xiàn)的數(shù)量a :參數(shù)(取0 I的值)，類(lèi)似度=2* ( a Na+ (I- a ) La) / ( a (N0+N1) + (I- a ) (L0+L1))在基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖是邏輯上一致的邏輯時(shí)，是(Na = NO = NI, La = LO=LI),所以上述類(lèi)似度成為I,在完全不一致時(shí),是(Na = La = 0,所包含的運(yùn)算元件的類(lèi)別完全不一致時(shí)等)，所以上述類(lèi)似度成為O。a是參數(shù),在I時(shí),僅考慮運(yùn)算兀件的對(duì)應(yīng)關(guān)系,在0時(shí),僅考慮"[目號(hào)線(xiàn)的對(duì)應(yīng)關(guān)系來(lái)計(jì)算類(lèi)似度。通過(guò)調(diào)整該參數(shù)的值，能夠設(shè)定運(yùn)算元件、信號(hào)線(xiàn)的考慮的程度。另外，此處敘述的類(lèi)似度的計(jì)算式是一個(gè)例子，而不限于這些。檢索結(jié)果顯示部110將邏輯設(shè)計(jì)圖儲(chǔ)存部1000中儲(chǔ)存的邏輯設(shè)計(jì)圖依次作為對(duì)象畫(huà)面而經(jīng)由上述計(jì)算，通過(guò)類(lèi)似度計(jì)算部109得到類(lèi)似度。然后，依照這些類(lèi)似度，排列顯示邏輯設(shè)計(jì)圖的標(biāo)題等，對(duì)檢索者提示檢索結(jié)果。另外，還能夠分別具備主要進(jìn)行檢索的檢索部、和主要進(jìn)行顯示的顯示部?！碅-3.效果〉根據(jù)本發(fā)明的實(shí)施方式1，還具備作為檢測(cè)部的運(yùn)算元件位置檢測(cè)部103以及運(yùn)算元件類(lèi)別檢測(cè)部104，對(duì)基準(zhǔn)設(shè)計(jì)圖中的各運(yùn)算元件、和與該各運(yùn)算元件分別對(duì)應(yīng)的類(lèi)別的比較設(shè)計(jì)圖中的運(yùn)算元件的坐標(biāo)變化量進(jìn)行檢測(cè)；根據(jù)坐標(biāo)變化量推測(cè)基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖之間的設(shè)計(jì)圖移動(dòng)量的移動(dòng)量推測(cè)部106 ;以及根據(jù)設(shè)計(jì)圖移動(dòng)量，判別在兩個(gè)設(shè)計(jì)圖中運(yùn)算元件的坐標(biāo)以及類(lèi)別是否對(duì)應(yīng)并對(duì)應(yīng)關(guān)聯(lián)的對(duì)應(yīng)關(guān)聯(lián)部中包含的運(yùn)算元件臨時(shí)對(duì)應(yīng)計(jì)算部107，對(duì)應(yīng)關(guān)聯(lián)部中包含的運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108將在基準(zhǔn)設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的運(yùn)算元件彼此的信號(hào)線(xiàn)、和在比較設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的運(yùn)算元件彼此的信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)，還具備類(lèi)似度計(jì)算部109，該類(lèi)似度計(jì)算部109根據(jù)對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件以及信號(hào)線(xiàn)，計(jì)算基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖的類(lèi)似度，從而能夠?qū)⒁罁?jù)設(shè)計(jì)圖移動(dòng)量的運(yùn)算元件以及信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)，適當(dāng)?shù)赜?jì)算基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖的類(lèi)似度。因此，能夠從多個(gè)邏輯設(shè)計(jì)圖，高速并且正確地檢索與檢索者提供的邏輯設(shè)計(jì)圖在邏輯上類(lèi)似的邏輯設(shè)計(jì)圖。另外，根據(jù)本發(fā)明的實(shí)施方式1，在邏輯設(shè)計(jì)圖檢索裝置中，移動(dòng)量推測(cè)部106對(duì)檢測(cè)出的坐標(biāo)變化量進(jìn)行計(jì)數(shù)，根據(jù)計(jì)數(shù)為最多的坐標(biāo)變化量，推測(cè)設(shè)計(jì)圖移動(dòng)量，從而能夠適當(dāng)?shù)赝茰y(cè)基準(zhǔn)設(shè)計(jì)圖以及比較設(shè)計(jì)圖各自中的運(yùn)算元件群整體的移動(dòng)距離、移動(dòng)方向，進(jìn)一步提高類(lèi)似度判斷的精度。另外，根據(jù)本發(fā)明的實(shí)施方式1，在邏輯設(shè)計(jì)圖檢索裝置中，作為對(duì)應(yīng)關(guān)聯(lián)部的運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108即使在使基準(zhǔn)設(shè)計(jì)圖以及比較設(shè)計(jì)圖中的某一方中的運(yùn)算元件移動(dòng)，而在該兩個(gè)設(shè)計(jì)圖中該運(yùn)算元件的坐標(biāo)沒(méi)有對(duì)應(yīng)關(guān)聯(lián)的情況下，也將基準(zhǔn)設(shè)計(jì)圖以及比較設(shè)計(jì)圖各自中的該運(yùn)算元件經(jīng)由信號(hào)線(xiàn)而連接到成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的運(yùn)算元件，并且在該兩個(gè)設(shè)計(jì)圖中的該運(yùn)算元件的類(lèi)別以及與該運(yùn)算元件連接的該信號(hào)線(xiàn)的類(lèi)別對(duì)應(yīng)關(guān)聯(lián)的情況下，使基準(zhǔn)設(shè)計(jì)圖中的該運(yùn)算元件以及該信號(hào)線(xiàn)、和比較設(shè)計(jì)圖中的該運(yùn)算元件以及該信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)，從而能夠從對(duì)應(yīng)關(guān)聯(lián)是已知的運(yùn)算元件追尋信號(hào)線(xiàn)，能夠從該信號(hào)線(xiàn)更詳細(xì)地導(dǎo)出對(duì)應(yīng)關(guān)聯(lián)。因此，能夠進(jìn)一步提高類(lèi)似度 判斷的精度。另外，針對(duì)實(shí)施了編輯的基準(zhǔn)設(shè)計(jì)圖，也能夠更正確地進(jìn)行類(lèi)似檢索。另外，根據(jù)本發(fā)明的實(shí)施方式1，在邏輯設(shè)計(jì)圖檢索裝置中，作為賦予部的基準(zhǔn)設(shè)計(jì)圖輸入部102從邏輯設(shè)計(jì)圖儲(chǔ)存部1000中的邏輯設(shè)計(jì)圖選擇或者進(jìn)而至少部分性地進(jìn)行編輯而作為基準(zhǔn)設(shè)計(jì)圖賦予，從而即使對(duì)基準(zhǔn)設(shè)計(jì)圖實(shí)施了編輯的情況下，也能夠作為類(lèi)似檢索的對(duì)象。另外，根據(jù)本發(fā)明的實(shí)施方式1，在邏輯設(shè)計(jì)圖檢索裝置中，類(lèi)似度計(jì)算部109根據(jù)基準(zhǔn)設(shè)計(jì)圖以及比較設(shè)計(jì)圖中的運(yùn)算元件以及信號(hào)線(xiàn)中的、對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件以及信號(hào)線(xiàn)的程度，計(jì)算類(lèi)似度，從而判斷為運(yùn)算元件以及信號(hào)線(xiàn)更多地對(duì)應(yīng)的基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖是更類(lèi)似的設(shè)計(jì)圖彼此，能夠進(jìn)行正確的類(lèi)似檢索?！碆.實(shí)施方式2>〈B-1.結(jié)構(gòu)〉在本實(shí)施方式2的邏輯設(shè)計(jì)圖檢索裝置中，圖14、圖15示出檢索結(jié)果顯示部110顯示的內(nèi)容的一個(gè)例子。設(shè)為作為基準(zhǔn)設(shè)計(jì)圖提供圖5、作為比較設(shè)計(jì)圖提供圖6 (參照實(shí)施方式I)。圖14示出檢索結(jié)果顯示部110表示的基準(zhǔn)設(shè)計(jì)圖的例子、圖15示出比較設(shè)計(jì)圖的例子。分別根據(jù)運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108計(jì)算出的結(jié)果，用粗字示出存在對(duì)應(yīng)關(guān)系的運(yùn)算元件以及信號(hào)線(xiàn)。如從這些圖可知，在實(shí)施方式2的邏輯設(shè)計(jì)圖檢索裝置中，檢索結(jié)果顯示部110能夠以使檢索者能夠明確地理解的方式，將在邏輯上相同的部分和不同的部分、即對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件以及信號(hào)線(xiàn)和不對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件以及信號(hào)線(xiàn)區(qū)分而示出。另外，顯示方法不限于粗字，而只要是使差異變得明確而能夠區(qū)分的樣式，則沒(méi)有特別限定?！碆-2.效果〉根據(jù)本發(fā)明的實(shí)施方式2，在邏輯設(shè)計(jì)圖檢索裝置中，作為顯示部的檢索結(jié)果顯示部110使對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件以及信號(hào)線(xiàn)、和不對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件以及信號(hào)線(xiàn)以能夠區(qū)分的樣式顯示，從而能夠在通過(guò)類(lèi)似檢索得到的邏輯設(shè)計(jì)圖中，使得在邏輯上哪里相同哪里不同變得明確?！碈.實(shí)施方式3>〈C-1.結(jié)構(gòu)〉類(lèi)似度計(jì)算部109根據(jù)由運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部108得到的運(yùn)算元件對(duì)應(yīng)表、信號(hào)線(xiàn)對(duì)應(yīng)表，計(jì)算基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖的類(lèi)似度。在實(shí)施方式I中，作為類(lèi)似度的計(jì)算方法，舉出了對(duì)稱(chēng)的方法、即即使替換基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖，類(lèi)似度也不變化的方法，但還能夠考慮非對(duì)稱(chēng)的類(lèi)似度計(jì)算方式。作為一個(gè)例子，有如下方式。設(shè)為Na :在基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖之間對(duì)應(yīng)的運(yùn)算元件的數(shù)量La :在基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖之間對(duì)應(yīng)的信號(hào)線(xiàn)的數(shù)量NO :基準(zhǔn)設(shè)計(jì)圖的運(yùn)算元件的數(shù)量LO :基準(zhǔn)設(shè)計(jì)圖的信號(hào)線(xiàn)的數(shù)量^ :參數(shù)(取0 I的值)，類(lèi)似度=(^Na+ (I- ^ ) La) / ( ^ NO+ (I- ^ ) L0)是參數(shù)，在I時(shí)，僅考慮運(yùn)算兀件的對(duì)應(yīng)關(guān)系，在0時(shí),僅考慮信號(hào)線(xiàn)的對(duì)應(yīng)關(guān)系來(lái)計(jì)算類(lèi)似度。通過(guò)調(diào)整該參數(shù)的值，能夠設(shè)定運(yùn)算元件、信號(hào)線(xiàn)的考慮的程度?！碈-2.效果〉 在基準(zhǔn)設(shè)計(jì)圖和比較設(shè)計(jì)圖是在邏輯上一致的邏輯時(shí)，并且基準(zhǔn)設(shè)計(jì)圖的全部與比較設(shè)計(jì)圖的一部分一致時(shí)，也是(Na = NO,La = L0)，所以上述類(lèi)似度成為I。另外，在完全不一致時(shí)，是(Na = La = 0)，所以上述類(lèi)似度成為O。由于具有這些特性，所以上述類(lèi)似度計(jì)算式適用于在作為基準(zhǔn)設(shè)計(jì)圖提供邏輯的一部分，而希望檢索包括與其類(lèi)似的部分那樣的比較設(shè)計(jì)圖時(shí)。對(duì)提供開(kāi)發(fā)途中的邏輯設(shè)計(jì)圖來(lái)檢索類(lèi)似的設(shè)計(jì)圖并作為參考信息而使開(kāi)發(fā)加速化的用途、或提供邏輯設(shè)計(jì)圖的有缺陷的部分來(lái)檢索類(lèi)似設(shè)計(jì)圖而尋找包括同樣的缺陷的設(shè)計(jì)圖的用途是有效的。另外，本發(fā)明能夠在該發(fā)明的范圍內(nèi)，實(shí)現(xiàn)各實(shí)施方式的自由組合、或者各實(shí)施方式的任意構(gòu)成要素的變形、或者各實(shí)施方式的任意構(gòu)成要素的省略。
權(quán)利要求
1.一種邏輯設(shè)計(jì)圖檢索裝置，其中， 具備 邏輯設(shè)計(jì)圖儲(chǔ)存部(1000)，儲(chǔ)存有包括成為檢索的對(duì)象的比較設(shè)計(jì)圖的多個(gè)邏輯設(shè)計(jì)圖；以及 賦予部(102)，賦予應(yīng)與所述比較設(shè)計(jì)圖進(jìn)行比較的成為基準(zhǔn)的基準(zhǔn)設(shè)計(jì)圖， 在所述基準(zhǔn)設(shè)計(jì)圖以及所述比較設(shè)計(jì)圖中，記載有由I個(gè)或者多個(gè)類(lèi)別構(gòu)成的多個(gè)運(yùn)算元件、和將所述各運(yùn)算元件相互連接的信號(hào)線(xiàn)， 所述邏輯設(shè)計(jì)圖檢索裝置還具備 檢測(cè)部(103、104)，檢測(cè)所述基準(zhǔn)設(shè)計(jì)圖中的所述各運(yùn)算元件、和與該各運(yùn)算元件分別對(duì)應(yīng)的類(lèi)別的在所述比較設(shè)計(jì)圖中的所述運(yùn)算元件的坐標(biāo)變化量； 移動(dòng)量推測(cè)部(106)，根據(jù)所述坐標(biāo)變化量，推測(cè)所述基準(zhǔn)設(shè)計(jì)圖與所述比較設(shè)計(jì)圖之間的設(shè)計(jì)圖移動(dòng)量；以及 對(duì)應(yīng)關(guān)聯(lián)部(107、108)，根據(jù)所述設(shè)計(jì)圖移動(dòng)量，使所述基準(zhǔn)設(shè)計(jì)圖以及所述比較設(shè)計(jì)圖中的某一方中的所述運(yùn)算元件移動(dòng)，在該兩個(gè)設(shè)計(jì)圖中，判別所述運(yùn)算元件的坐標(biāo)以及類(lèi)別是否對(duì)應(yīng)并對(duì)應(yīng)關(guān)聯(lián)， 所述對(duì)應(yīng)關(guān)聯(lián)部(107、108)將在所述基準(zhǔn)設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的所述運(yùn)算元件彼此的所述信號(hào)線(xiàn)、和在所述比較設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的所述運(yùn)算元件彼此的所述信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)， 所述邏輯設(shè)計(jì)圖檢索裝置還具備類(lèi)似度計(jì)算部(109)，該類(lèi)似度計(jì)算部根據(jù)對(duì)應(yīng)關(guān)聯(lián)的所述運(yùn)算元件以及所述信號(hào)線(xiàn)，計(jì)算所述基準(zhǔn)設(shè)計(jì)圖與所述比較設(shè)計(jì)圖的類(lèi)似度。
2.根據(jù)權(quán)利要求I所述的邏輯設(shè)計(jì)圖檢索裝置，其特征在于， 所述移動(dòng)量推測(cè)部(106)對(duì)檢測(cè)出的所述坐標(biāo)變化量進(jìn)行計(jì)數(shù)，根據(jù)計(jì)數(shù)為最多的所述坐標(biāo)變化量，推測(cè)所述設(shè)計(jì)圖移動(dòng)量。
3.根據(jù)權(quán)利要求I或者2所述的邏輯設(shè)計(jì)圖檢索裝置，其特征在于， 所述對(duì)應(yīng)關(guān)聯(lián)部(107、108)即使在使所述基準(zhǔn)設(shè)計(jì)圖以及所述比較設(shè)計(jì)圖中的某一方中的所述運(yùn)算元件移動(dòng)，而在該兩個(gè)設(shè)計(jì)圖中，該運(yùn)算元件的坐標(biāo)不對(duì)應(yīng)關(guān)聯(lián)的情況下，所述基準(zhǔn)設(shè)計(jì)圖以及所述比較設(shè)計(jì)圖各自中的該運(yùn)算元件也經(jīng)由所述信號(hào)線(xiàn)被連接到成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的所述運(yùn)算元件，并且在該兩個(gè)設(shè)計(jì)圖中的該運(yùn)算元件的類(lèi)別以及與該運(yùn)算元件連接的該信號(hào)線(xiàn)的類(lèi)別對(duì)應(yīng)關(guān)聯(lián)的情況下，將所述基準(zhǔn)設(shè)計(jì)圖中的該運(yùn)算元件以及該信號(hào)線(xiàn)、和所述比較設(shè)計(jì)圖中的該運(yùn)算元件以及該信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)。
4.根據(jù)權(quán)利要求I或者2所述的邏輯設(shè)計(jì)圖檢索裝置，其特征在于， 所述賦予部(102)從所述邏輯設(shè)計(jì)圖儲(chǔ)存部(1000)中的所述邏輯設(shè)計(jì)圖中選擇、或者進(jìn)而至少部分性地進(jìn)行編輯，而作為所述基準(zhǔn)設(shè)計(jì)圖賦予。
5.根據(jù)權(quán)利要求I或者2所述的邏輯設(shè)計(jì)圖檢索裝置，其特征在于， 所述類(lèi)似度計(jì)算部(109)根據(jù)所述基準(zhǔn)設(shè)計(jì)圖以及所述比較設(shè)計(jì)圖中的所述運(yùn)算元件以及所述信號(hào)線(xiàn)中的對(duì)應(yīng)關(guān)聯(lián)的所述運(yùn)算元件以及所述信號(hào)線(xiàn)的程度，計(jì)算所述類(lèi)似度。
6.根據(jù)權(quán)利要求I或者2所述的邏輯設(shè)計(jì)圖檢索裝置，其特征在于， 還具備檢索部(110)，該檢索部根據(jù)所述類(lèi)似度，進(jìn)行所述邏輯設(shè)計(jì)圖的類(lèi)似檢索。
7.根據(jù)權(quán)利要求I或者2所述的邏輯設(shè)計(jì)圖檢索裝置，其特征在于， 還具備顯示部(110)，該顯示部根據(jù)所述類(lèi)似度，顯示所述邏輯設(shè)計(jì)圖的一覽。
8.根據(jù)權(quán)利要求7所述的邏輯設(shè)計(jì)圖檢索裝置，其特征在于， 所述顯示部(110)以能夠區(qū)分的樣式顯示對(duì)應(yīng)關(guān)聯(lián)的所述運(yùn)算元件以及所述信號(hào)線(xiàn)、和不對(duì)應(yīng)關(guān)聯(lián)的所述運(yùn)算元件以及所述信號(hào)線(xiàn)。
全文摘要
本發(fā)明的目的在于提供一種能夠從多個(gè)邏輯設(shè)計(jì)圖高速并且正確檢索與檢索者提供的邏輯設(shè)計(jì)圖邏輯上類(lèi)似的邏輯設(shè)計(jì)圖的邏輯設(shè)計(jì)圖檢索裝置。本發(fā)明的邏輯設(shè)計(jì)圖檢索裝置還具備根據(jù)坐標(biāo)變化量推測(cè)基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖之間的設(shè)計(jì)圖移動(dòng)量的移動(dòng)量推測(cè)部(106)、和根據(jù)設(shè)計(jì)圖移動(dòng)量將兩個(gè)設(shè)計(jì)圖中的運(yùn)算元件的坐標(biāo)以及類(lèi)別對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部(108)，運(yùn)算元件/信號(hào)線(xiàn)對(duì)應(yīng)計(jì)算部(108)將在基準(zhǔn)設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的運(yùn)算元件彼此的信號(hào)線(xiàn)、和在比較設(shè)計(jì)圖中連接成為對(duì)應(yīng)關(guān)聯(lián)的對(duì)象的運(yùn)算元件彼此的信號(hào)線(xiàn)對(duì)應(yīng)關(guān)聯(lián)，還具備根據(jù)對(duì)應(yīng)關(guān)聯(lián)的運(yùn)算元件以及信號(hào)線(xiàn)計(jì)算基準(zhǔn)設(shè)計(jì)圖與比較設(shè)計(jì)圖的類(lèi)似度的類(lèi)似度計(jì)算部(109)。
文檔編號(hào)G06F17/30GK102629245SQ20121002457
公開(kāi)日2012年8月8日 申請(qǐng)日期2012年2月6日 優(yōu)先權(quán)日2011年2月7日
發(fā)明者津高新一郎 申請(qǐng)人:三菱電機(jī)株式會(huì)社