一種熱控邏輯自動校驗裝置、方法及系統(tǒng)制造方法及圖紙

本發(fā)明專利技術(shù)涉及熱工控制及自動化領(lǐng)域，公開了一種熱控邏輯自動校驗裝置、方法及系統(tǒng)。其中，所述熱控邏輯校驗裝置包括：通信模塊，用于向熱工控制系統(tǒng)發(fā)送校驗指令，并接收所述熱工控制系統(tǒng)執(zhí)行所述校驗指令后反饋的校驗結(jié)果；邏輯模擬模塊，用于基于機組數(shù)學(xué)模型模擬預(yù)設(shè)的機組在各種工況下的熱控邏輯，并對所述熱控邏輯進行正確性的校驗與測試，生成邏輯正確性校驗信號；以及邏輯判斷模塊，用于判斷所述校驗結(jié)果與所述邏輯正確性校驗信號是否一致。本發(fā)明專利技術(shù)的熱控邏輯自動校驗裝置、方法及系統(tǒng)能夠在機組調(diào)試之前和投運之前驗證邏輯的正確性與合理性，且調(diào)試簡單，能夠?qū)崿F(xiàn)邏輯的多次完善與驗證，增強機組的安全可靠性控制。

【技術(shù)實現(xiàn)步驟摘要】
201610239250

【技術(shù)保護點】
一種熱控邏輯校驗裝置，其特征在于，該熱控邏輯校驗裝置包括：通信模塊，用于向熱工控制系統(tǒng)發(fā)送校驗指令，并接收所述熱工控制系統(tǒng)執(zhí)行所述校驗指令后反饋的校驗結(jié)果；邏輯模擬模塊，用于基于機組數(shù)學(xué)模型模擬預(yù)設(shè)的機組在各種工況下的熱控邏輯，并對所述熱控邏輯進行正確性的校驗與測試，生成邏輯正確性校驗信號；以及邏輯判斷模塊，用于判斷所述校驗結(jié)果與所述邏輯正確性校驗信號是否一致。

【技術(shù)特征摘要】
1.一種熱控邏輯校驗裝置，其特征在于，該熱控邏輯校驗裝置包括：通信模塊，用于向熱工控制系統(tǒng)發(fā)送校驗指令，并接收所述熱工控制系統(tǒng)執(zhí)行所述校驗指令后反饋的校驗結(jié)果；邏輯模擬模塊，用于基于機組數(shù)學(xué)模型模擬預(yù)設(shè)的機組在各種工況下的熱控邏輯，并對所述熱控邏輯進行正確性的校驗與測試，生成邏輯正確性校驗信號；以及邏輯判斷模塊，用于判斷所述校驗結(jié)果與所述邏輯正確性校驗信號是否一致。2.根據(jù)權(quán)利要求1所述的熱控邏輯校驗裝置，其特征在于，所述邏輯模擬模塊包括：若干個熱控邏輯執(zhí)行模塊，用于執(zhí)行所述熱控邏輯，并對所述熱控邏輯進行正確性的校驗與測試，生成對應(yīng)的邏輯正確性校驗信號；其中，各個熱控邏輯執(zhí)行模塊所執(zhí)行的熱控邏輯各不相同。3.根據(jù)權(quán)利要求2所述的熱控邏輯校驗裝置，其特征在于，所述若干個熱控邏輯執(zhí)行模塊包括以下中的至少一者：熱工保護條件驗證邏輯執(zhí)行模塊、單點保護判斷邏輯執(zhí)行模塊、速率越限判斷邏輯執(zhí)行模塊、單回路自動控制回路驗證邏輯執(zhí)行模塊、串聯(lián)及復(fù)雜回路自動控制回路驗證邏輯執(zhí)行模塊、輸入信號處理邏輯執(zhí)行模塊、輸出信號處理邏輯執(zhí)行模塊、信號壞點判斷邏輯執(zhí)行模塊、重要信號的多重冗余判斷邏輯執(zhí)行模塊、防抖動處理邏輯執(zhí)行模塊、斷線保護邏輯執(zhí)行模塊、熱工程控驗證邏輯執(zhí)行模塊、熱工保護驗證邏輯執(zhí)行模塊以及熱工自動驗證邏輯執(zhí)行模塊。4.根據(jù)權(quán)利要求1至3中任一項所述的熱控邏輯校驗裝置，其特征在于，該熱控邏輯校驗裝置還包括：校驗報告生成模塊，用于根據(jù)所述邏輯判斷模塊的判斷結(jié)果生成校驗報告。5.一種熱控邏輯校驗方法，其特征在于，該熱...

【專利技術(shù)屬性】
技術(shù)研發(fā)人員：張秋生，馬天霆，王富強，張金營，萬太浩，胡軼群，朱延海，
申請(專利權(quán))人：中國神華能源股份有限公司，北京國華電力有限責(zé)任公司，神華國華北京電力研究院有限公司，
類型：發(fā)明
國別省市：北京;11