一種為程序的安全性驗(yàn)證所設(shè)計(jì)的面向?qū)ο蟮淖詣?dòng)轉(zhuǎn)換方法
所屬分類:技術(shù)論文
上傳者:aet
文檔大?。?span>1650 K
標(biāo)簽: 開發(fā)工具
所需積分:0分積分不夠怎么辦?
文檔介紹:容錯(cuò)和控制系統(tǒng)的安全性驗(yàn)證是自發(fā)機(jī)撲系統(tǒng)成功的關(guān)鍵,一種叫做任務(wù)數(shù)據(jù)系統(tǒng)MDS(Mission Data Symstem)的控制框架的軟件理論被提了出來,而它的產(chǎn)生則推動(dòng)了一種基于對(duì)象的控制方法的產(chǎn)生。本文將討論一種設(shè)計(jì)方法,該方法的設(shè)計(jì)目的是將對(duì)象網(wǎng)絡(luò)控制程序轉(zhuǎn)化為線性混合系統(tǒng)。該線性混合系統(tǒng)在使用信號(hào)模擬檢測(cè)器進(jìn)行檢測(cè)時(shí),在出現(xiàn)錯(cuò)誤時(shí)是可以證明其安全性的。本文將結(jié)合例子介紹這種方法。
現(xiàn)在下載
VIP會(huì)員,AET專家下載不扣分;重復(fù)下載不扣分,本人上傳資源不扣分。
主站蜘蛛池模板: 美女扒开尿口让男人插| 国产亚洲美女精品久久久| 国产午夜视频高清| 免费国产成人午夜电影| 亚洲免费在线视频| 久久免费视频网站| baoyu122.永久免费视频| 国产女同在线观看| 精品久久久久久久久久中文字幕 | 97一区二区三区四区久久| 美女黄频免费网站| 欧美日韩3751色院应在线影院| 无码熟妇αⅴ人妻又粗又大| 国产综合视频在线观看一区| 国产一区二区不卡老阿姨| 亚洲日韩一页精品发布| 丁香狠狠色婷婷久久综合| 亚洲精品福利你懂| 田中瞳中文字幕久久精品| 日韩中文字幕在线| 国语自产偷拍精品视频偷| 国产一区二区三区不卡在线看| 亚洲国产精品免费在线观看| 中国一级特黄的片子免费 | 白医生的控制欲| 日韩电影在线|中韩| 在线观看亚洲电影| 四虎精品成人免费影视| 亚洲国产精品ⅴa在线观看| www.99色| 老扒的幸福时光| 最近最新2019中文字幕4| 天天做天天躁天天躁| 国产一卡二卡四卡免费| 亚洲av永久中文无码精品综合 | 少妇高潮无套内谢| 国产在线观看色| 亚洲av永久无码精品三区在线4| av区无码字幕中文色| 老子影院午夜伦不卡| 最近2019免费中文字幕视频三|