發(fā)布時(shí)間：2024-05-15 03:17

　　信息物理系統(tǒng)(Cyber Physical System,CPS)是一種具有松散物理結(jié)構(gòu)和嚴(yán)謹(jǐn)邏輯組織的有機(jī)智能系統(tǒng);其涉及如計(jì)算、網(wǎng)絡(luò)、控制、物理處理和應(yīng)用領(lǐng)域知識等多學(xué)科交叉技術(shù);應(yīng)用通常對安全性、可信性及合時(shí)性有嚴(yán)格的要求。而CPS時(shí)刻產(chǎn)生如此大量復(fù)雜的數(shù)據(jù),以致于管理員無法及時(shí)有效地理解數(shù)據(jù)并給出正確的指令。因此需要構(gòu)建一種自管理CPS(Self-management CPS,SCPS),使之在不同情況下都能自主地、靈活地與物理世界進(jìn)行正確地交互,并能自動(dòng)的從各種異常中恢復(fù)且不影響正常業(yè)務(wù)實(shí)施。隨著SCPS規(guī)模的不斷擴(kuò)大,系統(tǒng)的復(fù)雜性、時(shí)延等問題日益失控;自管理決策的不確定性和決策執(zhí)行的可信性等問題也日漸嚴(yán)峻。迫切需要探索系統(tǒng)性SCPS設(shè)計(jì)方案和維護(hù)方案,以各項(xiàng)模型和技術(shù)的有機(jī)集成,構(gòu)建可信SCPS。物理世界高度并行且靈活,同時(shí)充滿隨機(jī)性。為匹配并行度,SCPS通常包含大量的(異構(gòu))傳感器和執(zhí)行器。為靈活應(yīng)對動(dòng)態(tài)場景,SCPS需要以不同方式自主按需地組織并協(xié)調(diào)這些嵌入式子系統(tǒng)。針對這些特點(diǎn),本文提出可組合的actor元模型建模SCPS服務(wù);使用(隨機(jī))活動(dòng)網(wǎng)絡(luò)(stochast...

【文章頁數(shù)】：188 頁

【學(xué)位級別】：博士

【部分圖文】：

圖1-1（無線）CPS結(jié)構(gòu)示意圖

etworking，andphysicalprocesses”[11]。2）美國國家標(biāo)準(zhǔn)技術(shù)研究院（NationalInstituteofStandardsandTechnology，NIST）給出了另一個(gè)定義：CPS或所謂的智慧系統(tǒng)是關(guān)于物理和計(jì)算組件的協(xié)同設(shè)計(jì)的交互網(wǎng)絡(luò)“CP....

圖1-5CPS中多周期多層次的反饋循環(huán)模式

olution），自管理CPS（self-managementCPS，SCPS）可以自動(dòng)應(yīng)對內(nèi)部和外部變化，保障服務(wù)質(zhì)量。因此，SCPS必然成為CPS的技術(shù)趨勢。為了保證SCPS的可信性，我們必須系統(tǒng)地設(shè)計(jì)架構(gòu)和自管理策略，允許SCPS了解并建模自身狀態(tài)，以滿足自管理活動(dòng)的要求，....

圖1-8各章節(jié)研究內(nèi)容關(guān)系圖

二章：一體化SCPS可組合元模型決策任務(wù)模型及合約模型可組合性約束和規(guī)范，以及組合模式第三章：基于模型驅(qū)動(dòng)工程SCPS設(shè)計(jì)架構(gòu)-策略協(xié)同仿真，及分層-去中心架構(gòu)設(shè)計(jì)面向SCPS的模型驅(qū)動(dòng)方法第四章：運(yùn)行時(shí)自管理決策優(yōu)化自愈可組合元模型合約-建議-決策規(guī)范第五章：SCPS系統(tǒng)方案與....

圖3-1AADL組件間關(guān)系圖

哈爾濱工業(yè)大學(xué)工學(xué)博士學(xué)位論文-58-圖3-1AADL組件間關(guān)系圖Fig.3-1TherelationshipsofAADLcomponents跟另兩種基于UML的嵌入式系統(tǒng)建模語言SysML和MARTE（ModelingandAnalysisofReal-TimeandEmbe....

本文編號：3973822