国产自产21区欧美激情_精品日产一区2区三区黄免费_在线 免费 国产 日韩 欧美_国产精品一区二区三区禁_国产99精品免费在线观看_欧美 亚洲 中文 有码 在线_国产91麻豆一区二区久久久_久久综合久久香蕉网欧美_爱岛视频亚洲精品自拍极速福利 _欧美一区二区三区gav

         邢臺plc觸摸屏結(jié)合了自動(dòng)控制技術(shù)，通信技術(shù)和計(jì)算機(jī)技術(shù)，已被廣泛用于工業(yè)過程的自動(dòng)化。傳統(tǒng)的驗(yàn)證方法無法滿足復(fù)雜邢臺plc觸摸屏系統(tǒng)的某些要求。本文提出了一種有效的邢臺plc觸摸屏系統(tǒng)建模與驗(yàn)證方法。為了保證邢臺plc觸摸屏的高速性能，我們提出了“時(shí)間間隔模型”和“通知等待”技術(shù)。它可以減少狀態(tài)空間，并可以驗(yàn)證某些復(fù)雜的邢臺plc觸摸屏系統(tǒng)。同樣，獲得了從內(nèi)置邢臺plc觸摸屏模型到Promela語言的轉(zhuǎn)換，并設(shè)計(jì)了用于建模和檢查邢臺plc觸摸屏系統(tǒng)的工具PLC-Checker。使用PLC-Checker檢查經(jīng)典的邢臺plc觸摸屏示例，可以找到一個(gè)反示例。盡管發(fā)生此邏輯錯(cuò)誤的可能性很小，但可能會(huì)導(dǎo)致系統(tǒng)崩潰。邢臺plc觸摸屏是一種自動(dòng)控制設(shè)備，可以從傳感器，計(jì)算設(shè)備或其他邢臺plc觸摸屏邏輯輸入信號接收信息，并輸出經(jīng)過處理的邏輯信號。使用可編程語言控制大規(guī)模集成電路的邢臺plc觸摸屏技術(shù)已在工業(yè)中得到廣泛應(yīng)用。