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

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

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