基于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ù)下載不扣分，本人上傳資源不扣分。
主站蜘蛛池模板： 国产XXXX99真实实拍| 成人久久伊人精品伊人| 亚洲视频网站在线观看| 麻豆国产三级在线观看| 扒开女同学下面粉粉嫩嫩| 亚洲精品无码人妻无码| 草草影院第一页| 国产精品久久久精品三级| 中国speakingathome宾馆学生 | 福利区在线观看| 国产亚洲综合精品一区二区三区| 67194熟妇在线观看线路1| 性欧美69式xxxxx| 久久午夜无码鲁丝片秋霞| 欧美精品色婷婷五月综合| 噜噜高清欧美内射短视频| 久久五月天婷婷| 在线免费你懂的| 一区二区三区四区欧美| 日日摸日日碰人妻无码| 亚洲va在线va天堂va手机| 热久久这里是精品6免费观看| 口工全彩无遮挡3d漫画在线| 韩国演艺圈悲惨133bd| 国产精品久久久久久影视| d动漫精品专区久久| 护士又湿又紧我要进去了| 久久精品人妻中文系列| 欧美一区二区三区视频在线观看 | 久久99精品国产99久久6| 最近日本字幕免费高清| 亚洲欧美一区二区久久| 管家婆有哪些版本| 四虎影视永久地址四虎影视永久地址www成人| 黄色毛片免费看| 国产破外女出血视频| eeuss影院www新天堂| 性做久久久久久蜜桃花| 久久久亚洲欧洲日产国码二区| 欧美亚洲另类热图| 亚洲欧洲自拍拍偷综合|