一種熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)的制作方法
【專利摘要】本發(fā)明涉及熱工控制及自動(dòng)化領(lǐng)域，公開了一種熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)。其中，所述熱控邏輯校驗(yàn)裝置包括：通信模塊，用于向熱工控制系統(tǒng)發(fā)送校驗(yàn)指令，并接收所述熱工控制系統(tǒng)執(zhí)行所述校驗(yàn)指令后反饋的校驗(yàn)結(jié)果；邏輯模擬模塊，用于基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號；以及邏輯判斷模塊，用于判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致。本發(fā)明的熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)能夠在機(jī)組調(diào)試之前和投運(yùn)之前驗(yàn)證邏輯的正確性與合理性，且調(diào)試簡單，能夠?qū)崿F(xiàn)邏輯的多次完善與驗(yàn)證，增強(qiáng)機(jī)組的安全可靠性控制。
【專利說明】
一種熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)
技術(shù)領(lǐng)域
[0001]本發(fā)明涉及熱工控制及自動(dòng)化領(lǐng)域，具體地，涉及一種熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)。
【背景技術(shù)】
[0002]目前火力發(fā)電廠的熱控邏輯校驗(yàn)方法僅限于開環(huán)測試和現(xiàn)場調(diào)試。
[0003]開環(huán)測試在機(jī)組停運(yùn)時(shí)進(jìn)行，其通過在熱工控制系統(tǒng)模擬輸入信號和“強(qiáng)制”的方式來模擬熱控邏輯的正確性。開環(huán)測試的缺陷在于:開環(huán)測試是完全手動(dòng)的測試方式，手動(dòng)操作熱工控制系統(tǒng)的相應(yīng)部件以輸入測試信號，再人工觀測熱工控制系統(tǒng)根據(jù)測試信號執(zhí)行邏輯的輸出值，并人工根據(jù)該輸出值判斷熱控邏輯的正確性;開環(huán)測試不能完全模擬機(jī)組運(yùn)行時(shí)的狀態(tài)，其對邏輯的驗(yàn)證不能包括所有工況。
[0004]現(xiàn)場調(diào)試在機(jī)組處于運(yùn)行狀態(tài)時(shí)進(jìn)行，其將熱工保護(hù)、熱工聯(lián)鎖和熱工自動(dòng)控制系統(tǒng)投入，進(jìn)行參數(shù)的調(diào)試和邏輯的驗(yàn)證?，F(xiàn)場調(diào)試的缺陷在于:需要在機(jī)組處于運(yùn)行狀態(tài)時(shí)進(jìn)行，如果參數(shù)整定不當(dāng)或者邏輯不正確有可能導(dǎo)致跳機(jī)。
[0005]因此，現(xiàn)有的火電廠熱控邏輯校驗(yàn)方法對于潛在的邏輯錯(cuò)誤不能發(fā)現(xiàn)，只有等到現(xiàn)場出現(xiàn)問題后才能暴露，對安全生產(chǎn)造成了隱患或者損失。

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

[0006]本發(fā)明的目的是提供一種熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)，用于解決現(xiàn)有熱控邏輯校驗(yàn)方法校驗(yàn)不準(zhǔn)確、應(yīng)用范圍較窄的問題。
[0007]為了實(shí)現(xiàn)上述目的，本發(fā)明提供一種熱控邏輯校驗(yàn)裝置，該熱控邏輯校驗(yàn)裝置包括:通信模塊，用于向熱工控制系統(tǒng)發(fā)送校驗(yàn)指令，并接收所述熱工控制系統(tǒng)執(zhí)行所述校驗(yàn)指令后反饋的校驗(yàn)結(jié)果;邏輯模擬模塊，用于基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號；以及邏輯判斷模塊，用于判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致。
[0008]優(yōu)選地，所述邏輯模擬模塊包括:若干個(gè)熱控邏輯執(zhí)行模塊，用于執(zhí)行所述熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成對應(yīng)的邏輯正確性校驗(yàn)信號；其中，各個(gè)熱控邏輯執(zhí)行模塊所執(zhí)行的熱控邏輯各不相同。
[0009]優(yōu)選地，所述若干個(gè)熱控邏輯執(zhí)行模塊包括以下中的至少一者:熱工保護(hù)條件驗(yàn)證邏輯執(zhí)行模塊、單點(diǎn)保護(hù)判斷邏輯執(zhí)行模塊、速率越限判斷邏輯執(zhí)行模塊、單回路自動(dòng)控制回路驗(yàn)證邏輯執(zhí)行模塊、串聯(lián)及復(fù)雜回路自動(dòng)控制回路驗(yàn)證邏輯執(zhí)行模塊、輸入信號處理邏輯執(zhí)行模塊、輸出信號處理邏輯執(zhí)行模塊、信號壞點(diǎn)判斷邏輯執(zhí)行模塊、重要信號的多重冗余判斷邏輯執(zhí)行模塊、防抖動(dòng)處理邏輯執(zhí)行模塊、斷線保護(hù)邏輯執(zhí)行模塊、熱工程控驗(yàn)證邏輯執(zhí)行模塊、熱工保護(hù)驗(yàn)證邏輯執(zhí)行模塊以及熱工自動(dòng)驗(yàn)證邏輯執(zhí)行模塊。
[0010]優(yōu)選地，該熱控邏輯校驗(yàn)裝置還包括:校驗(yàn)報(bào)告生成模塊，用于根據(jù)所述邏輯判斷模塊的判斷結(jié)果生成校驗(yàn)報(bào)告。[0011 ] 本發(fā)明還提供了一種熱控邏輯校驗(yàn)方法，該熱控邏輯校驗(yàn)方法包括:向熱工控制系統(tǒng)發(fā)送校驗(yàn)指令;基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號;接收所述熱工控制系統(tǒng)執(zhí)行所述校驗(yàn)指令后反饋的校驗(yàn)結(jié)果，判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一 Sc ο
[0012]優(yōu)選地，所述基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號包括:預(yù)設(shè)機(jī)組在各種工況下的若干個(gè)熱控邏輯，并基于機(jī)組數(shù)學(xué)模型模擬所述熱控邏輯，再對所述熱控邏輯進(jìn)行正確性的檢驗(yàn)與測試，以生成對應(yīng)的邏輯正確性校驗(yàn)信號。
[0013]優(yōu)選地，所述若干個(gè)熱控邏輯包括以下中的至少一者:熱工保護(hù)條件驗(yàn)證邏輯、單點(diǎn)保護(hù)判斷邏輯、速率越限判斷邏輯、單回路自動(dòng)控制回路驗(yàn)證邏輯、串聯(lián)及復(fù)雜回路自動(dòng)控制回路驗(yàn)證邏輯、輸入信號處理邏輯、輸出信號處理邏輯、信號壞點(diǎn)判斷邏輯、重要信號的多重冗余判斷邏輯、防抖動(dòng)處理邏輯、斷線保護(hù)邏輯、熱工程控驗(yàn)證邏輯、熱工保護(hù)驗(yàn)證邏輯以及熱工自動(dòng)驗(yàn)證邏輯。
[0014]優(yōu)選地，該熱控邏輯校驗(yàn)方法還包括:根據(jù)判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致的判斷結(jié)果生成校驗(yàn)報(bào)告。
[0015]本發(fā)明還提供了一種熱控邏輯校驗(yàn)系統(tǒng)，該熱控邏輯校驗(yàn)系統(tǒng)包括:上述的熱控邏輯校驗(yàn)裝置;以及與所述熱控邏輯校驗(yàn)裝置通信的熱工控制系統(tǒng)。
[0016]通過上述技術(shù)方案，本發(fā)明的有益效果是:本發(fā)明的熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)，通過對熱工控制系統(tǒng)進(jìn)行熱控邏輯的自動(dòng)校驗(yàn)，準(zhǔn)確地驗(yàn)證了熱控邏輯的正確性，并提出存在的隱患，具有節(jié)省費(fèi)用、易于實(shí)現(xiàn)等優(yōu)點(diǎn)。另外，本發(fā)明的熱控邏輯自動(dòng)校驗(yàn)裝置能夠在機(jī)組調(diào)試之前和投運(yùn)之前驗(yàn)證邏輯的正確性與合理性，相較于開環(huán)測試和現(xiàn)場調(diào)試的方法應(yīng)用范圍更廣，且不僅使得調(diào)試簡單化，而且能夠?qū)崿F(xiàn)邏輯的多次完善與驗(yàn)證，增強(qiáng)機(jī)組的安全可靠性控制。
[0017]本發(fā)明的其它特征和優(yōu)點(diǎn)將在隨后的【具體實(shí)施方式】部分予以詳細(xì)說明。
【附圖說明】
[0018]附圖是用來提供對本發(fā)明的進(jìn)一步理解，并且構(gòu)成說明書的一部分，與下面的【具體實(shí)施方式】一起用于解釋本發(fā)明，但并不構(gòu)成對本發(fā)明的限制。在附圖中:
[0019]圖1是本發(fā)明的實(shí)施例中的熱控邏輯校驗(yàn)裝置及系統(tǒng)的結(jié)構(gòu)示意圖；
[0020]圖2是本發(fā)明的實(shí)施例中的熱控邏輯校驗(yàn)方法的流程示意圖；
[0021]圖3是本發(fā)明的實(shí)施例中的熱工保護(hù)條件首出的正確性的驗(yàn)證邏輯的示意圖；
[0022]圖4是本發(fā)明的實(shí)施例中的開關(guān)量三選二邏輯的示意圖；
[0023]圖5是本發(fā)明的實(shí)施例中的輔機(jī)狀態(tài)三選二判斷邏輯的示意圖；
[0024]圖6是本發(fā)明的實(shí)施例中的雙重化信號保護(hù)邏輯的示意圖；
[0025]圖7是本發(fā)明的實(shí)施例中的輔助判斷邏輯的示意圖；
[0026]圖8是本發(fā)明的實(shí)施例中的速率越限判斷邏輯的示意圖。
[0027]附圖標(biāo)記說明
[0028]I熱控邏輯校驗(yàn)裝置2熱工控制系統(tǒng)
[0029]11通信模塊12邏輯校驗(yàn)?zāi)K
[0030]13邏輯判斷模塊 14校驗(yàn)報(bào)告生成模塊
【具體實(shí)施方式】
[0031]以下結(jié)合附圖對本發(fā)明的【具體實(shí)施方式】進(jìn)行詳細(xì)說明。應(yīng)當(dāng)理解的是，此處所描述的【具體實(shí)施方式】僅用于說明和解釋本發(fā)明，并不用于限制本發(fā)明。
[0032]如圖1所示，本發(fā)明的實(shí)施例提供了一種熱控邏輯校驗(yàn)裝置I，該熱控邏輯校驗(yàn)裝置I包括:通信模塊11，用于向熱工控制系統(tǒng)2發(fā)送校驗(yàn)指令，并接收所述熱工控制系統(tǒng)2執(zhí)行所述校驗(yàn)指令后反饋的校驗(yàn)結(jié)果;邏輯模擬模塊12，用于基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號；以及邏輯判斷模塊13，用于判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致。
[0033]其中，所述熱工控制系統(tǒng)2優(yōu)選采用本領(lǐng)域常規(guī)的火電廠熱工控制系統(tǒng)(包括DCS控制系統(tǒng)或PLC控制系統(tǒng))，該火電廠熱工控制系統(tǒng)是火電廠自動(dòng)控制系統(tǒng)的重要組成部分，其功能是控制各種熱工過程的參數(shù)，包括溫度、壓力、流量、液位(或料位)等。火電廠熱工控制系統(tǒng)通過執(zhí)行各種熱控邏輯來實(shí)現(xiàn)對熱工過程中的參數(shù)的控制，因此本實(shí)施例通過與熱工控制系統(tǒng)通信的熱控邏輯校驗(yàn)裝置來對熱工控制系統(tǒng)進(jìn)行邏輯校驗(yàn)，以保證熱工控制系統(tǒng)的正常運(yùn)行。
[0034]進(jìn)一步地，熱工控制系統(tǒng)與本實(shí)施例的熱控邏輯校驗(yàn)裝置之間的通信可采用有線通信方式和/或無線通信方式。所述通信模塊11為對應(yīng)于有線通信方式和/或無線通信方式進(jìn)行配置的信息傳輸功能模塊，其用于實(shí)現(xiàn)熱工控制系統(tǒng)與熱控邏輯校驗(yàn)裝置之間的信息交互。其中，通信模塊11向熱工控制系統(tǒng)2發(fā)送的校驗(yàn)指令中包括了要求熱工控制系統(tǒng)執(zhí)行哪種類型的熱控邏輯的指示信息等。通過通信模塊11的設(shè)置，改變了現(xiàn)有開環(huán)測試方法需要依靠人工手動(dòng)操作熱工控制系統(tǒng)2來輸入測試信號的方式。
[0035]本實(shí)施例中，所述邏輯模擬模塊12是基于機(jī)組數(shù)學(xué)模型來模擬機(jī)組在各種工況下的熱控邏輯的，機(jī)組數(shù)學(xué)模型的應(yīng)用使得模擬出的邏輯正確性校驗(yàn)信號與機(jī)組實(shí)際工況下獲得的信號較為接近，從而適合用作參考值，以判斷熱工控制系統(tǒng)2反饋的校驗(yàn)結(jié)果是否正確合理。
[0036]進(jìn)一步地，所述邏輯模擬模塊12包括:若干個(gè)熱控邏輯執(zhí)行模塊，用于執(zhí)行所述熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成對應(yīng)的邏輯正確性校驗(yàn)信號;其中，各個(gè)熱控邏輯執(zhí)行模塊所執(zhí)行的熱控邏輯各不相同。其中，預(yù)設(shè)機(jī)組在各種工況下的熱控邏輯時(shí)，要充分結(jié)合人工操作實(shí)踐及經(jīng)驗(yàn)盡可能多地考慮到各種熱工邏輯所期望達(dá)到的效果，以使后續(xù)通過邏輯正確性校驗(yàn)信號對熱控邏輯的校驗(yàn)?zāi)軌蚝w所有工況。
[0037]進(jìn)一步地，本實(shí)施例中所述的若干個(gè)熱控邏輯執(zhí)行模塊包括以下中的至少一者:熱工保護(hù)條件驗(yàn)證邏輯執(zhí)行模塊、單點(diǎn)保護(hù)判斷邏輯執(zhí)行模塊、速率越限判斷邏輯執(zhí)行模塊、單回路自動(dòng)控制回路驗(yàn)證邏輯執(zhí)行模塊、串聯(lián)及復(fù)雜回路自動(dòng)控制回路驗(yàn)證邏輯執(zhí)行模塊、輸入信號處理邏輯執(zhí)行模塊、輸出信號處理邏輯執(zhí)行模塊、信號壞點(diǎn)判斷邏輯執(zhí)行模塊、重要信號的多重冗余判斷邏輯執(zhí)行模塊、防抖動(dòng)處理邏輯執(zhí)行模塊、斷線保護(hù)邏輯執(zhí)行模塊、熱工程控驗(yàn)證邏輯執(zhí)行模塊、熱工保護(hù)驗(yàn)證邏輯執(zhí)行模塊以及熱工自動(dòng)驗(yàn)證邏輯執(zhí)行模塊。
[0038]需說明的是，上述各個(gè)熱控邏輯模擬模塊可通過編程的方式來實(shí)現(xiàn)，以進(jìn)行各自對應(yīng)的熱控邏輯的自動(dòng)執(zhí)行、判斷與提示等。
[0039]另外，也可以直接在熱控邏輯校驗(yàn)裝置中預(yù)設(shè)邏輯正確性校驗(yàn)信號，形成邏輯庫，該邏輯正確性校驗(yàn)信號要求能夠涵蓋機(jī)組的所有工況，且優(yōu)選為是基于機(jī)組數(shù)學(xué)模型模擬出的信號。
[0040]本實(shí)施例中，所述邏輯判斷模塊13可優(yōu)選通常單片機(jī)、DSP等芯片實(shí)現(xiàn)，若判斷出所述校驗(yàn)結(jié)果與邏輯正確性校驗(yàn)信號一致，則熱工控制系統(tǒng)對應(yīng)的熱控邏輯正確合理，若不一致，則表明熱工控制系統(tǒng)對應(yīng)的熱控邏輯存在邏輯缺陷或錯(cuò)誤。本實(shí)施例的熱控邏輯校驗(yàn)裝置還進(jìn)一步配置了校驗(yàn)報(bào)告生成模塊14，其用于根據(jù)所述邏輯判斷模塊13的判斷結(jié)果生成校驗(yàn)報(bào)告，以向工作人員清楚地展示熱控邏輯的判斷結(jié)果。
[0041 ]本實(shí)施例中，可通過工控計(jì)算機(jī)來實(shí)現(xiàn)熱控邏輯自動(dòng)校驗(yàn)裝置的配置，將通信模塊11、邏輯模擬模塊12、邏輯判斷模塊13、校驗(yàn)報(bào)告生成模塊14及熱控邏輯執(zhí)行模塊等配置為工控計(jì)算機(jī)的功能模塊。
[0042]基于與上述實(shí)施例的熱控邏輯自動(dòng)校驗(yàn)裝置相同的發(fā)明思路，本發(fā)明的另一實(shí)施例還提供了一種熱控邏輯校驗(yàn)方法，如圖2所示，該熱控邏輯校驗(yàn)方法包括:
[0043]步驟SI，向熱工控制系統(tǒng)發(fā)送校驗(yàn)指令。
[0044]步驟S2，基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號。
[0045]步驟S3，接收所述熱工控制系統(tǒng)執(zhí)行所述校驗(yàn)指令后反饋的校驗(yàn)結(jié)果，判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致。
[0046]其中，基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號包括:預(yù)設(shè)機(jī)組在各種工況下的若干個(gè)熱控邏輯，并基于機(jī)組數(shù)學(xué)模型模擬所述熱控邏輯，再對所述熱控邏輯進(jìn)行正確性的檢驗(yàn)與測試，以生成對應(yīng)的邏輯正確性校驗(yàn)信號。另外，預(yù)設(shè)的機(jī)組在各種工況下的若干個(gè)熱控邏輯包括以下中的至少一者:熱工保護(hù)條件驗(yàn)證邏輯、單點(diǎn)保護(hù)判斷邏輯、速率越限判斷邏輯、單回路自動(dòng)控制回路驗(yàn)證邏輯、串聯(lián)及復(fù)雜回路自動(dòng)控制回路驗(yàn)證邏輯、輸入信號處理邏輯、輸出信號處理邏輯、信號壞點(diǎn)判斷邏輯、重要信號的多重冗余判斷邏輯、防抖動(dòng)處理邏輯、斷線保護(hù)邏輯、熱工程控驗(yàn)證邏輯、熱工保護(hù)驗(yàn)證邏輯以及熱工自動(dòng)驗(yàn)證邏輯。
[0047]下面對其中的幾種熱工邏輯的正確性校驗(yàn)與測試過程進(jìn)行具體介紹。
[0048]1、熱工保護(hù)條件驗(yàn)證邏輯
[0049](I)熱工保護(hù)條件及定值的正確性的驗(yàn)證邏輯
[0050]該邏輯中，按照熱工保護(hù)條件及定值逐條進(jìn)行驗(yàn)證，觀察跳閘動(dòng)作條件、動(dòng)作定值及保護(hù)動(dòng)作后動(dòng)作內(nèi)容的正確性。
[0051 ] (2)熱工保護(hù)條件首出的正確性的驗(yàn)證邏輯
[0052]如圖3所示，按照200ms的時(shí)間間隔依次滿足3-5個(gè)跳閘條件，觀察熱工控制系統(tǒng)(主要是DCS)的首出指示是否正確。
[0053]2、單點(diǎn)保護(hù)判斷邏輯
[0054]該邏輯主要是判斷是否進(jìn)行單點(diǎn)保護(hù)，將某一跳閘條件滿足，觀察是否會(huì)引起熱工保護(hù)動(dòng)作，主要分為以下四種情況:
[0055](I)開關(guān)量三選二邏輯
[0056]如圖4所示，從跳閘信號1、跳閘信號2和跳閘信號3中進(jìn)行開關(guān)量的三選二，使一跳閘條件滿足，觀察是否會(huì)引起熱工保護(hù)動(dòng)作。
[0057](2)輔機(jī)狀態(tài)三選二判斷邏輯
[0058]如圖5所示，對輔助信號的停止、運(yùn)行、電流三種狀態(tài)進(jìn)行邏輯處理，使一停止條件滿足(相當(dāng)于跳閘條件滿足)，觀察是否會(huì)引起熱工保護(hù)動(dòng)作。
[0059](3)雙重化信號保護(hù)邏輯。
[0060]如圖6所示，判斷兩種信號中的質(zhì)量，使一跳閘信號產(chǎn)生(即相當(dāng)于跳閘條件滿足)，觀察是否會(huì)引起熱工保護(hù)動(dòng)作。
[0061](4)輔助判斷邏輯
[0062]如圖7所示，進(jìn)行主保護(hù)條件與η個(gè)輔助條件中的至少一個(gè)的邏輯與運(yùn)算、邏輯或運(yùn)算或邏輯非運(yùn)算，使一跳閘條件滿足，觀察是否會(huì)引起熱工保護(hù)動(dòng)作。
[0063]3、速率越限判斷邏輯
[0064]該邏輯通過如圖8所示的邏輯流程，模擬帶保護(hù)的模擬量飛升的情況，觀察是否引起熱工保護(hù)動(dòng)作。
[0065]4、單回路自動(dòng)控制回路驗(yàn)證邏輯
[0066]該邏輯主要包括以下幾個(gè)方面的驗(yàn)證:
[0067](I)跟蹤及手/自動(dòng)切換無擾的正確性
[0068]將手操器指令開至50%，進(jìn)行手動(dòng)和自動(dòng)之間的切換，觀察是否無擾動(dòng)。
[0069](2)單回路自動(dòng)PID控制及正反作用驗(yàn)證
[0070]單回路投入自動(dòng)，驗(yàn)證PID控制及正反作用方向。
[0071](3)定值擾動(dòng)及外擾功能測試
[0072]①投入自動(dòng)，進(jìn)行定值擾動(dòng)試驗(yàn)；
[0073]②投入自動(dòng)，進(jìn)行模擬量變負(fù)荷試驗(yàn)；
[0074]③引風(fēng)自動(dòng)控制系統(tǒng)進(jìn)行送風(fēng)變化和磨煤機(jī)啟停擾動(dòng)試驗(yàn)；
[0075]④給水自動(dòng)進(jìn)行給水流量擾動(dòng)試驗(yàn)，對于直流爐還應(yīng)進(jìn)行高加投入和退出的擾動(dòng)試驗(yàn)
[0076]5、串聯(lián)及復(fù)雜回路自動(dòng)控制回路驗(yàn)證邏輯
[0077]該邏輯主要包括以下幾個(gè)方面的驗(yàn)證:
[0078](I)內(nèi)、外回路跟蹤及手/自動(dòng)切換無擾的正確性
[0079]將手操器指令開至50%，進(jìn)行內(nèi)外回路手動(dòng)和自動(dòng)之間的切換，觀察是否無擾動(dòng)。
[0080](2)內(nèi)、外回路自動(dòng)PID控制模塊及正反作用驗(yàn)證
[0081]①內(nèi)回路投入自動(dòng)，驗(yàn)證回路PID控制形式以及正反作用；
[0082]②內(nèi)、外回路同時(shí)投入自動(dòng)，驗(yàn)證外回路PID控制形式以及正反作用。
[0083](3)定值擾動(dòng)及外擾功能測試
[0084]①投入自動(dòng)，進(jìn)行主汽溫定值擾動(dòng)試驗(yàn)；
[0085]②投入自動(dòng)，進(jìn)行再熱汽溫定值擾動(dòng)試驗(yàn)。
[0086]③進(jìn)行協(xié)調(diào)控制系統(tǒng)的定值擾動(dòng)及模擬量變負(fù)荷試驗(yàn)。
[0087]另外，需說明的是，圖3-圖8中，0R表示邏輯或運(yùn)算，AND表示邏輯與運(yùn)算、N和NOT表示邏輯非運(yùn)算，/L表示使信號低于某閾值的運(yùn)算、HH/和H/分別表示使信號遠(yuǎn)高于和高于某閾值的運(yùn)算，H/L表示信號高低判斷運(yùn)算，Q表示信號質(zhì)量判斷，S、R分別表示信號故障和信號無故障的判斷運(yùn)算。
[0088]進(jìn)一步地，所述熱控邏輯校驗(yàn)方法還可以包括:
[0089]步驟S4，根據(jù)判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致的判斷結(jié)果生成校驗(yàn)報(bào)告。
[0090]需說明的是，步驟S1-S4優(yōu)選為通過上述的熱控邏輯自動(dòng)校驗(yàn)裝置來實(shí)現(xiàn)。另外，各步驟對應(yīng)的實(shí)施細(xì)節(jié)與上述的熱控邏輯自動(dòng)校驗(yàn)裝置的相應(yīng)實(shí)施細(xì)節(jié)相同或相近，在此不再贅述。
[0091]如圖1所示，本發(fā)明的另一實(shí)施例還提供了一種熱控邏輯校驗(yàn)系統(tǒng)，該熱控邏輯校驗(yàn)系統(tǒng)包括:上述熱控邏輯校驗(yàn)裝置；以及與所述熱控邏輯校驗(yàn)裝置通信的熱工控制系統(tǒng)。該熱控邏輯校驗(yàn)系統(tǒng)通過熱控邏輯校驗(yàn)裝置配合熱工控制系統(tǒng)，以實(shí)現(xiàn)對熱工控制系統(tǒng)地?zé)峥剡壿嫷淖詣?dòng)校驗(yàn)。
[0092]下面通過兩個(gè)具體的應(yīng)用例來說明本實(shí)施例的熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)的應(yīng)用及所具有的優(yōu)點(diǎn)。
[0093]在兩個(gè)應(yīng)用例中，某100Mff超臨界機(jī)組應(yīng)用本實(shí)施例的熱控邏輯自動(dòng)校驗(yàn)裝置或方法或系統(tǒng)，成功地驗(yàn)證了所有熱控邏輯，發(fā)現(xiàn)多條隱患，以下列舉兩個(gè)應(yīng)用例涉及的熱控邏輯。
[0094]應(yīng)用例一:鍋爐多次點(diǎn)火失敗MFT邏輯。
[0095]原邏輯是點(diǎn)火槍三次點(diǎn)火后仍未吹掃則發(fā)MFT控制，目的是防止再次點(diǎn)火時(shí)爐膛發(fā)生爆破。在用該裝置進(jìn)行自動(dòng)驗(yàn)證時(shí)，發(fā)現(xiàn)在機(jī)組并網(wǎng)后如果試驗(yàn)點(diǎn)火槍時(shí)，如果三次點(diǎn)火失敗也會(huì)觸發(fā)此邏輯，原因是計(jì)數(shù)器的復(fù)位程序少了 “煤層點(diǎn)火成功”的條件。
[0096I 應(yīng)用例二:點(diǎn)火能量不足切磨邏輯:
[0097]原邏輯是磨組在判斷支撐本層的點(diǎn)火能量不足時(shí)，為了保證爐膛的安全，將本磨組切除的保護(hù)邏輯。在用本自動(dòng)校驗(yàn)裝置進(jìn)行校驗(yàn)時(shí)發(fā)現(xiàn)，在50%負(fù)荷以下，如果只有3臺磨運(yùn)行，切除中間層的磨組會(huì)將磨煤機(jī)全部切除而觸發(fā)MFT，原控制邏輯考慮不足，因此改進(jìn)后能夠有效地防止MFT的誤發(fā)。
[0098]綜上所述，本發(fā)明的熱控邏輯自動(dòng)校驗(yàn)裝置、方法及系統(tǒng)，通過對熱工控制系統(tǒng)進(jìn)行熱控邏輯的自動(dòng)校驗(yàn)，準(zhǔn)確驗(yàn)證了熱控邏輯的正確性，并提出存在的隱患，具有節(jié)省費(fèi)用、易于實(shí)現(xiàn)等優(yōu)點(diǎn)。并且，本發(fā)明的熱控邏輯自動(dòng)校驗(yàn)裝置能夠在機(jī)組調(diào)試之前和投運(yùn)之前驗(yàn)證邏輯的正確性與合理性，相較于開環(huán)測試和現(xiàn)場調(diào)試的方法應(yīng)用范圍更廣，且不僅使得調(diào)試簡單化，而且能夠?qū)崿F(xiàn)邏輯的多次完善與驗(yàn)證，增強(qiáng)機(jī)組的安全可靠性控制。
[0099]這里，應(yīng)當(dāng)理解，流程圖和/或框圖的每個(gè)方框以及流程圖和/或框圖中各方框的組合，都可以由計(jì)算機(jī)可讀程序指令實(shí)現(xiàn)。這些計(jì)算機(jī)可讀程序指令可以提供給通用計(jì)算機(jī)、專用計(jì)算機(jī)或其它可編程數(shù)據(jù)處理裝置的處理器，從而生產(chǎn)出一種機(jī)器，使得這些指令在通過計(jì)算機(jī)或其它可編程數(shù)據(jù)處理裝置的處理器執(zhí)行時(shí)，產(chǎn)生了實(shí)現(xiàn)流程圖和/或框圖中的一個(gè)或多個(gè)方框中規(guī)定的功能/動(dòng)作的裝置。也可以把這些計(jì)算機(jī)可讀程序指令存儲在計(jì)算機(jī)可讀存儲介質(zhì)中，這些指令使得計(jì)算機(jī)、可編程數(shù)據(jù)處理裝置和/或其他設(shè)備以特定方式工作，從而，存儲有指令的計(jì)算機(jī)可讀介質(zhì)則包括一個(gè)制造品，其包括實(shí)現(xiàn)流程圖和/或框圖中的一個(gè)或多個(gè)方框中規(guī)定的功能/動(dòng)作的各個(gè)方面的指令。也可以把計(jì)算機(jī)可讀程序指令加載到計(jì)算機(jī)、其它可編程數(shù)據(jù)處理裝置、或其它設(shè)備上，使得在計(jì)算機(jī)、其它可編程數(shù)據(jù)處理裝置或其它設(shè)備上執(zhí)行一系列操作步驟，以產(chǎn)生計(jì)算機(jī)實(shí)現(xiàn)的過程，從而使得在計(jì)算機(jī)、其它可編程數(shù)據(jù)處理裝置、或其它設(shè)備上執(zhí)行的指令實(shí)現(xiàn)流程圖和/或框圖中的一個(gè)或多個(gè)方框中規(guī)定的功能/動(dòng)作。
[0100]以上結(jié)合附圖詳細(xì)描述了本發(fā)明的優(yōu)選實(shí)施方式，但是，本發(fā)明并不限于上述實(shí)施方式中的具體細(xì)節(jié)，在本發(fā)明的技術(shù)構(gòu)思范圍內(nèi)，可以對本發(fā)明的技術(shù)方案進(jìn)行多種簡單變型，這些簡單變型均屬于本發(fā)明的保護(hù)范圍。
[0101]另外需要說明的是，在上述【具體實(shí)施方式】中所描述的各個(gè)具體技術(shù)特征，在不矛盾的情況下，可以通過任何合適的方式進(jìn)行組合。為了避免不必要的重復(fù)，本發(fā)明對各種可能的組合方式不再另行說明。
[0102]此外，本發(fā)明的各種不同的實(shí)施方式之間也可以進(jìn)行任意組合，只要其不違背本發(fā)明的思想，其同樣應(yīng)當(dāng)視為本發(fā)明所公開的內(nèi)容。
【主權(quán)項(xiàng)】
1.一種熱控邏輯校驗(yàn)裝置，其特征在于，該熱控邏輯校驗(yàn)裝置包括: 通信模塊，用于向熱工控制系統(tǒng)發(fā)送校驗(yàn)指令，并接收所述熱工控制系統(tǒng)執(zhí)行所述校驗(yàn)指令后反饋的校驗(yàn)結(jié)果； 邏輯模擬模塊，用于基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號；以及 邏輯判斷模塊，用于判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致。2.根據(jù)權(quán)利要求1所述的熱控邏輯校驗(yàn)裝置，其特征在于，所述邏輯模擬模塊包括: 若干個(gè)熱控邏輯執(zhí)行模塊，用于執(zhí)行所述熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成對應(yīng)的邏輯正確性校驗(yàn)信號； 其中，各個(gè)熱控邏輯執(zhí)行模塊所執(zhí)行的熱控邏輯各不相同。3.根據(jù)權(quán)利要求2所述的熱控邏輯校驗(yàn)裝置，其特征在于，所述若干個(gè)熱控邏輯執(zhí)行模塊包括以下中的至少一者: 熱工保護(hù)條件驗(yàn)證邏輯執(zhí)行模塊、單點(diǎn)保護(hù)判斷邏輯執(zhí)行模塊、速率越限判斷邏輯執(zhí)行模塊、單回路自動(dòng)控制回路驗(yàn)證邏輯執(zhí)行模塊、串聯(lián)及復(fù)雜回路自動(dòng)控制回路驗(yàn)證邏輯執(zhí)行模塊、輸入信號處理邏輯執(zhí)行模塊、輸出信號處理邏輯執(zhí)行模塊、信號壞點(diǎn)判斷邏輯執(zhí)行模塊、重要信號的多重冗余判斷邏輯執(zhí)行模塊、防抖動(dòng)處理邏輯執(zhí)行模塊、斷線保護(hù)邏輯執(zhí)行模塊、熱工程控驗(yàn)證邏輯執(zhí)行模塊、熱工保護(hù)驗(yàn)證邏輯執(zhí)行模塊以及熱工自動(dòng)驗(yàn)證邏輯執(zhí)行模塊。4.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的熱控邏輯校驗(yàn)裝置，其特征在于，該熱控邏輯校驗(yàn)裝置還包括: 校驗(yàn)報(bào)告生成模塊，用于根據(jù)所述邏輯判斷模塊的判斷結(jié)果生成校驗(yàn)報(bào)告。5.一種熱控邏輯校驗(yàn)方法，其特征在于，該熱控邏輯校驗(yàn)方法包括: 向熱工控制系統(tǒng)發(fā)送校驗(yàn)指令； 基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號； 接收所述熱工控制系統(tǒng)執(zhí)行所述校驗(yàn)指令后反饋的校驗(yàn)結(jié)果，判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致。6.根據(jù)權(quán)利要求5所述的熱控邏輯校驗(yàn)裝置，其特征在于，所述基于機(jī)組數(shù)學(xué)模型模擬預(yù)設(shè)的機(jī)組在各種工況下的熱控邏輯，并對所述熱控邏輯進(jìn)行正確性的校驗(yàn)與測試，生成邏輯正確性校驗(yàn)信號包括: 預(yù)設(shè)機(jī)組在各種工況下的若干個(gè)熱控邏輯，并基于機(jī)組數(shù)學(xué)模型模擬所述熱控邏輯，再對所述熱控邏輯進(jìn)行正確性的檢驗(yàn)與測試，以生成對應(yīng)的邏輯正確性校驗(yàn)信號。7.根據(jù)權(quán)利要求6所述的熱控邏輯校驗(yàn)裝置，其特征在于，所述若干個(gè)熱控邏輯包括以下中的至少一者: 熱工保護(hù)條件驗(yàn)證邏輯、單點(diǎn)保護(hù)判斷邏輯、速率越限判斷邏輯、單回路自動(dòng)控制回路驗(yàn)證邏輯、串聯(lián)及復(fù)雜回路自動(dòng)控制回路驗(yàn)證邏輯、輸入信號處理邏輯、輸出信號處理邏輯、信號壞點(diǎn)判斷邏輯、重要信號的多重冗余判斷邏輯、防抖動(dòng)處理邏輯、斷線保護(hù)邏輯、熱工程控驗(yàn)證邏輯、熱工保護(hù)驗(yàn)證邏輯以及熱工自動(dòng)驗(yàn)證邏輯。8.根據(jù)權(quán)利要求5至7中任一項(xiàng)所述的熱控邏輯校驗(yàn)方法，其特征在于，該熱控邏輯校驗(yàn)方法還包括: 根據(jù)判斷所述校驗(yàn)結(jié)果與所述邏輯正確性校驗(yàn)信號是否一致的判斷結(jié)果生成校驗(yàn)報(bào)生口 O9.一種熱控邏輯校驗(yàn)系統(tǒng)，其特征在于，該熱控邏輯校驗(yàn)系統(tǒng)包括: 根據(jù)權(quán)利要求1-4中任一項(xiàng)所述的熱控邏輯校驗(yàn)裝置；以及 與所述熱控邏輯校驗(yàn)裝置通信的熱工控制系統(tǒng)。
【文檔編號】G05B23/02GK105867349SQ201610239250
【公開日】2016年8月17日
【申請日】2016年4月18日
【發(fā)明人】張秋生, 馬天霆, 王富強(qiáng), 張金營, 萬太浩, 胡軼群, 朱延海
【申請人】中國神華能源股份有限公司, 北京國華電力有限責(zé)任公司, 神華國華（北京）電力研究院有限公司