[發明專利]一種建立PLC/DCS平臺設備邏輯模型的方法有效
| 申請號： | 201410482811.X | 申請日： | 2014-09-19 |
| 公開（公告）號： | CN104317259B | 公開（公告）日： | 2017-12-01 |
| 發明（設計）人： | 吳永建;徐文飛;張杰卿;鄭秀萍;岳恒 | 申請（專利權）人： | 東北大學 |
| 主分類號： | G05B19/418 | 分類號： | G05B19/418 |
| 代理公司： | 沈陽東大知識產權代理有限公司21109 | 代理人： | 梁焱 |
| 地址： | 110819 遼寧*** | 國省代碼： | 遼寧;21 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 一種 建立 plc dcs 平臺 設備 邏輯 模型 方法 | ||
1.一種建立PLC/DCS平臺設備邏輯模型的方法，包括以下步驟：
步驟1：獲取設備的輸入邏輯信號、輸出邏輯信號和電氣二次控制原理圖；
步驟2：按照設備的輸入邏輯信號、輸出邏輯信號和電氣二次控制原理圖進行設備的分類，建立設備類庫；
所述的設備的分類原則是：將具有相同輸入邏輯信號、輸出邏輯信號和電氣二次控制原理圖的設備視為同類設備，將具有不同輸入邏輯信號、輸出邏輯信號或者不同電氣二次控制原理圖的設備視為非同類設備；
其特征在于，還包括以下步驟：
步驟3：采用離散事件形式化方法，結合每類設備的各工作邏輯條件建立每類設備的若干邏輯模型，得到每類設備的邏輯模型集合；
所述離散事件形式化方法是根據每類設備的狀態轉換方程、每類設備的輸入條件以及每類設備的輸出方程建立邏輯模型，得到每類設備的邏輯模型集合；
所述的邏輯模型集合包括：輸入事件集合、連續狀態集合、輸出狀態集合、內部狀態轉換方程、外部狀態轉換方程、輸出方程、預設時間方程；
輸入事件集合：包括設備的輸入條件；
連續狀態集合：包括輸入狀態、中間轉換狀態、輸出狀態；
輸出事件集合：包括設備的啟動、停止、故障三種輸出結果；
內部狀態轉換方程：表示設備的中間轉換狀態中上一個狀態與下一個狀態的轉換關系的方程；
外部狀態轉換方程：表示設備的中間轉換狀態、設備的輸入條件及設備的輸入狀態的關系的方程；
輸出方程：表示設備的中間轉換狀態和設備的輸出結果的關系的方程；
預設時間方程：在邏輯模型中從輸入條件輸入至輸出結果輸出的時間關系方程；
步驟4：根據得到的每類設備的邏輯模型集合，在現場PLC/DCS平臺上，利用PLC/DCS程序控制設備的邏輯模型，在相同輸入條件下，若設備的邏輯模型的輸出結果與實際設備的輸出結果不同，則該邏輯模型不正確，返回步驟3重新建立邏輯模型，否則，將該邏輯模型添加入設備邏輯模型庫中；
步驟5：在工業現場進行PLC/DCS程序測試時，將相應設備邏輯模型從設備邏輯模型庫中調出來，利用各設備邏輯模型搭建虛擬工業現場，將待測PLC/DCS程序與設備邏輯模型連接，完成對PLC/DCS程序的測試；
所述對PLC/DCS程序的測試：為從現代工業現場中設備邏輯控制程序測試的現狀出發，找到目前程序測試存在的問題，并針對存在的問題進行需求分析，通過對工業現場的設備進行設備邏輯模型建立，并根據需求搭建模擬測試現場，通過將待測PLC/DCS程序施加到該模擬測試現場上，完成對PLC/DCS程序的測試。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于東北大學，未經東北大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201410482811.X/1.html，轉載請聲明來源鉆瓜專利網。
- 上一篇：一種改進的冷軋入口除塵罩
- 下一篇：一種應用于駕考系統的手持控制器的方法
