1中間語言翻譯
由于工業(yè)控制器支持多種標準編程語言,,且語法語義上都有較大差異,,現有的模型檢測技術大都基于特定的編程語言,為了降低建模的復雜性,,我們需要把plc編程語言轉化成模型檢測器可以處理的中間語言。
darvas等提出了將plc程序的scl語言轉化為基于nusmv的中間模型方法,它是一種接近于自動機模型的中間模型,。mclaughlin等給出了將plc的指令表il語言代碼翻譯為基于vine的中間語言ilil的方法。zonouz等通過反編譯的方法將mc7code轉化為中間語言ilil,,該中間語言ilil同樣使用bitblaze二進制分析工具vine插件來描述,。
2 時間模型構建
工業(yè)控制系統(tǒng)的實時性要求---,因此時間是很重要的建模對象,。寄存器on-delay timer,,ton用于---plc中實時性屬性,ton指令為plc的輸入信號提供---機制,。對ton計時器建模會---地提高建模的難度并增加檢測的時間,,但不考慮時間就無法檢測出與時間相關的安全規(guī)約。因此對ton計時器的形式化驗證成為plc代碼形式化驗證的瓶頸之一,。
近年來也有一些對ton計時器的建模研究,,地名防爆變頻柜,masder等早開始這方面的研究,,他們將il程序轉換為時間自動機模型并使用自動機和prometa模型兩種方式對計時器建模,。willems使用時間自動機對ton模型建模計來解決關于ton的問題。wan等在定理證明器coq中針對梯形圖語言對ton計時器進行形式化驗證,,但沒有給出通用模塊的plc程序形式化描述,。sidi在定理證明器coq中針對指令表語言對ton計時器進行形式化驗證。
輸出電源
mr(繼電器):不管是交流還是直流電源都可以接入,,二七區(qū)變頻柜,,對于電壓也沒要求,只要別高于380v就可以了,,而且還沒有正負之分,。
mt(晶體管):只能接直流電壓,一般通用plc的電壓范圍在5-30vdc的范圍之內,,有正負之分,,電源不能接反。
負載能力
mr繼電器:以良石plc主機為例,,內部采用的是5a歐姆龍鍍金的繼電器,,也就是5a的動作電流可以開關10萬次,。這里一定要注意的是動作電流并不是持續(xù)電流,負載的動作電流一般為持續(xù)電流的5-8倍,。感性負載則持續(xù)電流應小于0.5a,,阻性負載持續(xù)電流應小于1a以內較為合理不少其它廠家使用的是2a繼電器,所以不適用此參數,,應在此基礎上除以2.5再使用,。
mt晶體管:良石mt有二個類型,一個是mt常規(guī)電流和mth大電流,。mt的電流為0.5a,,mth的電流為3a注意:此電流為持續(xù)工作電流。良石為了提高plc的壽命,,mt內部選擇的是8a的晶體,mth內部選擇的是50a的晶體管,,---殺雞用牛刀才能---萬無一失,。
用途選擇
mr繼電器:動作慢、有噪音,、有動作上限,,一般用于驅動交流接觸器、電機,、閥門,、報警器、線圈等等功率較大動作相對不頻繁的器件,。
mt晶體管:速度快,、無噪音、無動作上限,,一般用于控制步進電機,、伺服電機、中間繼電器,、小型電磁閥等等,。由于晶體管沒有動作上限,所以大家可以遵循這樣一個原則,,繼電器和晶體管同時可使用的情況下,,優(yōu)先選擇晶體管,可---提高---性,。
鄭州繼飛機電設備有限公司---:配電箱電控系統(tǒng)自動化成套控制柜
供應:正泰,、施耐德等低壓電氣,地名受電變頻柜,,價格從優(yōu)
成套安裝調試 ,,電氣控制箱安裝與配線,,控制電路設計,伺服電機控制及plc編程等
(1)系統(tǒng)聯機前要進行組態(tài),,即確定系統(tǒng)管理的i/o點數,,輸入寄存器、保持寄存器數,、通信端口數及其參數,、i/o站的匹配及其調度方法、用戶占用的邏輯區(qū)大小,,等等,。組態(tài)一經確認,系統(tǒng)便按照一定的約束規(guī)則運行,。重新組態(tài)時,,按原組態(tài)的約定生成的程序將不能在新的組態(tài)下運行,否則會引起系統(tǒng)錯亂,。因此,,組態(tài)時一定要慎重,地名饋電變頻柜,,i/o站,、i/o點數,寄存器數,、通道端口數,、用戶存儲空間等均要留有余地,必須考慮到近期的發(fā)展,。但是,,i/o站、i/o點數,、寄存器數,、端口數等的設置,都要占用一定的內存,,同時延長掃描時間,,降低運行速度。因此,,余量又不能留得太多,。---要引起注意的是運行中的系統(tǒng)一定不能重新組態(tài)。
(2)對于大中型plc機來說,,由于cpu對程序的掃描是分段進行的,,每段程序分段掃描完畢,即更新一次i/o點的狀態(tài),,因而---提高了系統(tǒng)的實時性,。但是,,若程序分段不當,也可能引起實時性降低或運行速度減慢的問題,。分段不同將---影響程序運行的時間,,---是對于個別程序段特長的情況尤其如此。一般地說,,理想的程序分段是各段程序有大致相當的長度,。
鄭州繼飛機電設備有限公司---:配電箱電控系統(tǒng)自動化成套控制柜
供應:正泰、施耐德等低壓電氣,,價格從優(yōu)
成套安裝調試 ,,電氣控制箱安裝與配線,控制電路設計,,伺服電機控制及plc編程等
|