[發明專利]邏輯設計圖檢索裝置

有效

• 申請號: 201210024576.2
• 申請日: 2012-02-06
• 公開（公告）號: CN102629245A
• 公開（公告）日: 2012-08-08
• 發明（設計）人: 津高新一郎
• 申請（專利權）人: 三菱電機株式會社
• 主分類號: G06F17/30
• 分類號: G06F17/30
• 代理公司: 中國國際貿易促進委員會專利商標事務所 11038
• 代理人: 崔成哲

技術領域

本發明涉及邏輯設計圖檢索裝置，特別涉及在邏輯的記述等中使用的邏輯設計圖的檢索。

背景技術

在監視控制系統等中，用對信號進行各種運算等的運算元件、和連接它們之間的、表示信號的流動的連接線(信號線)來記述控制邏輯等。這樣，在本說明書中，將主要用運算元件和信號線記述的設計圖稱為邏輯設計圖。例如，非專利文獻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中為符號)的范圍內的類似檢索，在運算元件的一部分被變更了的情況下無法檢索。雖然還能夠調查樹構造的一致程度來進行類似檢索，但由于根據樹構造的根部分的運算元件來進行對照，所以如果在該部分中運算元件被變更，則完全無法對照。

其結果，在拷貝并修正了邏輯設計圖的情況下，即使其修正點很少，也有可能不視為類似。雖然通過完全列舉可能成為樹構造的根部分的要素來進行檢索，類似檢索的正確性增加，但存在檢索花費的時間相應地增加這樣的問題。