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

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

【學位級別】：博士

【部分圖文】：

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

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

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

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

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

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

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

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

本文編號：3973822