基于NuSMV的LD和ST語(yǔ)言形式化驗(yàn)證研究與實(shí)現(xiàn)
所屬分類：技術(shù)論文
上傳者：aetmagazine
文檔大小：778 K
標(biāo)簽： 工控系統(tǒng) 編譯 形式化驗(yàn)證
所需積分：0分積分不夠怎么辦？
文檔介紹：依據(jù)工控系統(tǒng)的特點(diǎn)，在分析現(xiàn)有工控系統(tǒng)編程標(biāo)準(zhǔn)IEC61131-3規(guī)定的工業(yè)語(yǔ)言基礎(chǔ)上，研究基于工業(yè)語(yǔ)言的形式化驗(yàn)證方法，通過(guò)對(duì)ST和LD語(yǔ)言進(jìn)行分析得到有限狀態(tài)機(jī)組態(tài)模型，實(shí)現(xiàn)對(duì)控制目標(biāo)進(jìn)行準(zhǔn)確描述；通過(guò)NuSMV驗(yàn)證有限狀態(tài)機(jī)模型，獲得形式化驗(yàn)證的結(jié)果，從而實(shí)現(xiàn)對(duì)IEC61131-3編程語(yǔ)言實(shí)現(xiàn)的PLC邏輯代碼進(jìn)行分析，建立形式化驗(yàn)證模型，發(fā)現(xiàn)用戶編寫(xiě)的PLC邏輯代碼可能存在的邏輯缺陷，并提供對(duì)這些缺陷分析驗(yàn)證的報(bào)告。
現(xiàn)在下載
VIP會(huì)員，AET專家下載不扣分；重復(fù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 日韩免费高清视频网站| 网站大全黄免费| 天天操天天摸天天射| 久久精品隔壁老王影院| 深夜A级毛片视频免费| 国产一级毛片高清视频完整版| 亚洲AV无码国产精品色| 野花香社区在线视频观看播放| 夜夜操免费视频| 久久99精品久久久久久综合| 欧美性色黄大片www喷水| 冬日恋歌国语版20集中文版| 黄网站色在线视频免费观看| 成年无码av片在线| 亚洲乱码精品久久久久..| 直接观看黄网站免费视频| 国产免费内射又粗又爽密桃视频| 一边摸一边爽一边叫床视频| 波多野结衣不打码视频| 国产清纯白嫩初高生在线观看 | 2021国产麻豆剧果冻传媒电影| 成人乱码一区二区三区AV| 久久精品国产一区二区三区不卡 | 免费观看黄a一级视频日本| 97精品依人久久久大香线蕉97 | 成人免费一级片| 久久精品亚洲欧美va| 欧美卡2卡4卡无卡免费| 国产三级在线观看专区| 曰批视频免费40分钟试看天天| 女博士梦莹凌晨欢爱| 久久99亚洲网美利坚合众国| 最新国产精品亚洲| 亚洲日韩精品无码专区网址 | 坐公交车弄了2个小时小视频| 三级波多野结衣护士三级| 日本孕妇大胆孕交| 九九九国产精品成人免费视频| 综合色在线观看| 国产国产人免费人成成免视频| japanese日本熟妇多毛|