可根據(jù)運算條件檢索梯形電路的梯形程序檢索裝置的制造方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及一種梯形程序檢索裝置，特別是涉及一種能夠根據(jù)指定的信號的運算條件檢索梯形電路的梯形程序檢索裝置。
【背景技術(shù)】
[0002]在生成梯形程序、驗證(調(diào)試)動作、診斷動作時的異常等的情況下，頻繁地進行從梯形程序中在畫面上調(diào)出相關(guān)聯(lián)的梯形電路。因此，在很多情況下提供一種以在目的的梯形電路中使用的信號、命令作為條件來檢索、提取梯形電路的功能。
[0003]通常，在從梯形程序中搜索特定的梯形電路的情況下，指定在該梯形電路中使用的信號，檢索包含該信號的梯形電路，由此提取目的的梯形電路。檢索條件的信號一般通常表示該信號被分配的名稱(標識符)、地址等的字符串來指定，并且，在畫面上調(diào)出最初判定為與條件匹配的梯形電路或者一覽顯示判定為與條件匹配的全部梯形電路，從而對操作員通知檢索的結(jié)果。
[0004]例如，當在梯形程序的編輯裝置上指定“A”這樣的信號來作為檢索條件，并指令通過該檢索條件檢索梯形電路的情況下，如圖14所示的檢索結(jié)果I那樣，作為結(jié)果，在畫面中一覽顯示全部的在電路中出現(xiàn)“A”這樣的信號的梯形電路。在使用這樣的檢索方法的情況下，當梯形程序的規(guī)模變大時，即使在相同條件下更多的梯形電路匹配。
[0005]這樣，在一覽顯示了很多梯形電路的情況下，提取目的電路變得更困難，最終，很多時候還需要操作員觀察所顯示的所有梯形電路來進行判定。然而，當作為檢索的結(jié)果一覽顯示的梯形電路的數(shù)量多時，從該一覽中找出作為目的的梯形電路耗費工時，發(fā)生看漏等錯誤的危險性也尚。
[0006]因此，以往，提出了以下技術(shù):通過能夠進一步增加檢索條件從而設定詳細的條件，減少判定為匹配的梯形電路的數(shù)量，更高精度地找出目的的梯形電路。例如在日本特開2004-005060號公報中公開了能夠?qū)⒚钆c變量(信號)的組合指定為檢索條件的控制程序檢索裝置。另外，在日本特開昭62-086408號公報中公開了能夠?qū)⒚钆c信號的排列指定為檢索條件的可編程序控制器。并且，在日本專利第4245811號公報中公開了能夠使用梯形圖的圖案指定檢索條件的梯形電路編輯裝置。
[0007]然而，即使加入日本特開2004-005060號公報、日本特開昭62-086408號公報、日本專利第4245811號公報所公開的技術(shù)，也會產(chǎn)生以下所示的問題。即，在梯形電路的情況下，即使是具有同等邏輯的電路，有時運算命令、信號的排列也會不同，或者之間插入了表示輔助條件的接點，因此在僅通過命令的排列、梯形圖的圖案的比較判定為匹配時，存在漏掉應判定為匹配的梯形電路的危險性。

【發(fā)明內(nèi)容】

[0008]因此，本發(fā)明的目的在于提供一種在從可編程序控制器執(zhí)行的梯形程序中檢索/提取梯形電路時，能夠高效地檢索/提取目的的梯形電路的梯形程序檢索裝置。
[0009]本發(fā)明的梯形程序檢索裝置根據(jù)指定的檢索條件檢索梯形程序中包含的多個梯形電路，該梯形程序檢索裝置具備:檢索條件指定單元，其將至少兩個的多個信號以及至少一個的上述多個信號中包含的任意兩個信號之間的邏輯運算關(guān)系指定為檢索條件;檢索信號有無判定單元，其針對包含在上述梯形程序中的上述多個梯形電路，判定包含全部的被指定為上述檢索條件的上述多個信號;檢索邏輯有無判定單元，其針對由上述檢索信號有無判定單元判定為包含全部的被指定為上述檢索條件的信號的上述梯形電路，判定是否包含上述邏輯運算關(guān)系；以及顯示單元，其顯示由上述檢索信號有無判定單元和上述檢索邏輯有無判定單元判定為與上述檢索條件匹配的上述梯形電路，上述檢索邏輯有無判定單元具備判別單元，其判別上述邏輯運算關(guān)系中包含的各信號在上述梯形電路中的連接關(guān)系，上述檢索邏輯有無判定單元根據(jù)上述判別單元的判別結(jié)果，進行在上述梯形電路中是否包含上述邏輯運算關(guān)系的判定。
[0010]可以使上述判別單元從上述梯形電路生成從上述梯形電路中刪除上述邏輯運算關(guān)系中包含的各信號以外的信號而簡化的梯形電路，并根據(jù)上述簡化的梯形電路判別上述邏輯運算關(guān)系中包含的各信號在上述梯形電路中的連接關(guān)系。
[0011]可以使上述判別單元從上述梯形電路生成計算樹，并根據(jù)上述計算樹判別上述邏輯運算關(guān)系中包含的各信號在上述梯形電路中的連接關(guān)系。
[0012]可以使上述梯形程序檢索裝置還具備檢索模式檢索單元，其選擇模糊檢索模式，在由上述檢索模式檢索單元選擇了模糊檢索模式的情況下，上述檢索邏輯有無判定單元進行判定，以使上述邏輯運算關(guān)系中包含的信號與沒有附加否定的邏輯的信號以及附加了否定的邏輯的信號雙方相匹配。
[0013]本發(fā)明通過具備上述結(jié)構(gòu)，作為梯形電路的檢索條件，不僅是使用的信號，還在條件中加入其邏輯關(guān)系，由此能夠更高精度地提取目的的梯形電路，能夠使梯形圖的制作、診斷等作業(yè)高效化。另外，在本發(fā)明中，不是根據(jù)命令的排列、梯形圖的圖案，而是根據(jù)連結(jié)兩個信號的邏輯運算來進行條件匹配的判定，因此如果是具有同一邏輯構(gòu)造的梯形電路，則即使在通過參照其它的信號而電路形式不同的情況下，也能夠判定為匹配，因此能夠防止檢索的遺漏。
【附圖說明】
[0014]通過參照附圖對以下實施例的說明，本發(fā)明的上述和其它的目的以及特征會變得更清楚。在這些圖中:
[0015]圖1是本發(fā)明的實施方式的梯形程序檢索裝置的主要部分框圖。
[0016]圖2是說明本發(fā)明的實施方式的梯形程序檢索裝置中使用的數(shù)據(jù)的數(shù)據(jù)構(gòu)造的圖。
[0017]圖3是在本發(fā)明的實施方式的梯形程序檢索裝置上執(zhí)行的處理的概要流程圖。
[0018]圖4是本發(fā)明的實施方式的檢索信號有無判定處理的概要流程圖。
[0019]圖5是本發(fā)明的實施方式的檢索邏輯有無判定處理的概要流程圖。
[0020]圖6是表示現(xiàn)有技術(shù)中的基于命令的排列的梯形程序的檢索例的圖。
[0021]圖7是表示現(xiàn)有技術(shù)中的基于梯形圖的圖案的梯形程序的檢索例的圖。
[0022]圖8A、8B、8C是說明本發(fā)明的實施方式的梯形電路的簡化處理的圖。
[0023]圖9是本發(fā)明的實施方式的使用了梯形電路的簡化的檢索邏輯一致判定處理的概要流程圖。
[0024]圖10是表示本發(fā)明的實施方式的使用了梯形電路的簡化的信號間連接關(guān)系的判別例I的圖。
[0025]圖11是表示本發(fā)明的實施方式的使用了梯形電路的簡化的信號間連接關(guān)系的判別例2的圖。
[0026]圖12是表示本發(fā)明的實施方式的從梯形電路生成計算樹的示例的圖。
[0027]圖13是說明本發(fā)明的實施方式的使用了計算樹的信號間連接關(guān)系的判別方法的圖。
[0028]圖14是表示現(xiàn)有技術(shù)中的基于信號的梯形程序的檢索例的圖。
[0029]圖15是表示現(xiàn)有技術(shù)中的基于兩個信號的梯形程序的檢索例的圖。
【具體實施方式】
[0030]首先，說明本發(fā)明的技術(shù)概要。
[0031]圖15表示了不僅是信號A還將信號B增加到檢索條件中來對與圖14相同的檢索對象進行檢索得到的檢索結(jié)果2。在檢索結(jié)果2中，因為在圖14所示的檢索結(jié)果I中顯示的梯形電路#1-2和#1-3并未包含信號B，因此在檢索結(jié)果一欄中并未出現(xiàn)。
[0032]在此，在考慮進一步縮小圖15所示的檢索結(jié)果2的情況下，如果除了信號A和信號B以外還存在目的的電路中包含的信號，則僅通過將該信號追加到檢索條件中就能夠進行縮小，但是，實際上，在很多時候不存在適合于縮小的信號。
[0033]因此，在本發(fā)明中，除此以外，為了能夠進一步縮小檢索結(jié)果，將邏輯運算關(guān)系導入到檢索條件中。例如考慮檢索信號A和信號B兩者均接通這一情況為基本的動作條件(線圈被接通的條件)的電路。因為在兩個信號接通時進行動作，所以在該梯形電路中應該包含信號A與信號B的邏輯積(and)的邏輯運算。因此，將該邏輯運算作為檢索條件而設定“A andB”。此外，通常能夠指定多個這樣的檢索條件的邏輯運算。
[0034]在本發(fā)明中，提供一種檢索單元，其通過對梯形程序檢索裝置追加以下的功能而導入了邏輯運算關(guān)系，得到更高精度的檢索結(jié)果。
[0035][方法I]作為檢索條件指定多個信號的功能
[0036][方法2]關(guān)于被指定為檢索條件的信號，指定一個以上的任兩個信號的邏輯運算關(guān)系(例如對于信號A和B，“A and B”、“A or B”、“A and(not B)”等)的功能
[0037][方法3]關(guān)于梯形程序中包含的各個梯形電路，判斷包含全部的被指定為檢索條件的信號的功能
[0038][方法4]關(guān)于被判定為包含全部的被指定為檢索條件的信號的梯形電路，判定在梯形電路中是否出現(xiàn)了兩個信號的邏輯運算的關(guān)系的功能
[0039][方法5]在畫面上顯示上述兩個判定單元判定為與檢索條件匹配的梯形電路的功會K
[0040]圖1是本發(fā)明的