本文選題：自適應系統(tǒng) + 優(yōu)化決策��； 參考：《軟件學報》2017年07期

【摘要】：自適應系統(tǒng)需要根據(jù)運行時上下文和自身的變化進行其行為的調(diào)節(jié).為實現(xiàn)自主調(diào)節(jié),自適應系統(tǒng)必須被賦予運行時監(jiān)測上下文和自身變化、分析需求滿足程度的變化以及推理得到自適應決策的能力.這種在線決策的行為在滿足功能需求的同時,還需要保證系統(tǒng)滿足特定的非功能需求,如可靠性和性能等.提出了一種基于驗證的自適應系統(tǒng)優(yōu)化決策方法,以保證非功能需求的滿足.該方法在識別可調(diào)節(jié)目標以建模自適應機制的同時,將系統(tǒng)的目標模型映射為相應的行為模型,用標簽轉(zhuǎn)移系統(tǒng)表示;以可靠性需求為例,用標記目標模型規(guī)約任務的可靠性;然后將系統(tǒng)行為模型和可靠性規(guī)約整合為帶可變狀態(tài)的離散時間馬爾可夫鏈,將候選自適應配置描述為不同可變狀態(tài)間的組合;最終通過相關需求的在線驗證,使系統(tǒng)找到關于某類上下文的最優(yōu)決策配置.通過一個移動信息系統(tǒng)的案例展示了該方法的可行性和有效性.
[Abstract]:Adaptive systems need to adjust their behavior according to the runtime context and their own changes. In order to achieve autonomous regulation, adaptive systems must be given the ability to monitor context and self-change at run time, to analyze changes in the degree of requirement satisfaction and to infer to obtain adaptive decision-making. This behavior of online decision-making not only meets the functional requirements, but also ensures that the system meets specific non-functional requirements, such as reliability and performance. An adaptive system optimization decision method based on verification is proposed to meet the non-functional requirements. At the same time, the target model of the system is mapped to the corresponding behavior model, which is represented by the label transfer system, and the reliability of the task is specified by the marking target model, taking the reliability requirement as an example. Then the system behavior model and reliability specification are integrated into discrete time Markov chain with variable state, and candidate adaptive configuration is described as a combination of different variable states. Enables the system to find the optimal decision configuration for a certain type of context. The feasibility and effectiveness of this method are demonstrated by a mobile information system.
【作者單位】： 中國科學院數(shù)學與系統(tǒng)科學研究院數(shù)學研究所;高可信軟件技術教育部重點實驗室(北京大學);北京大學信息科學技術學院軟件研究所;
【基金】：國家重點基礎研究發(fā)展計劃(973)(2015CB352200) 國家自然科學基金(61620106007,91318301)~~
【分類號】：TP311.52

【相似文獻】

相關期刊論文 前10條

1 查冠華;高速攝影應用中的一種自適應系統(tǒng)[J];高速攝影與光子學;1983年02期

2 Я.З.崔普金;段鳳歧;;控制和信號處理中的自適應系統(tǒng)第二次國際會議[J];自動化技術與應用;1987年04期

3 馬東升;;《穩(wěn)定自適應系統(tǒng)》介紹[J];自動化學報;1990年06期

4 劉艷;胡勝豐;;基于文件自適應系統(tǒng)的研究[J];福建電腦;2009年07期

5 祝如松;帶隨機輸出噪聲的參考模型自適應系統(tǒng)[J];華東化工學院學報;1992年01期

6 楊文華;聶松林;;電弧煉鋼爐電極液壓調(diào)節(jié)自適應系統(tǒng)的研究[J];武漢鋼鐵學院學報;1993年04期

7 高巖，，田介眉;自適應系統(tǒng)的線性化研究與設計方法[J];北京理工大學學報;1997年03期

8 肖建瓊;馮慶煜;;基于貝葉斯網(wǎng)絡的自適應系統(tǒng)建構[J];計算機應用;2008年05期

9 陳以華;;支架負載自適應系統(tǒng)的研制[J];科技創(chuàng)新導報;2008年08期

10 吳斌;毛新軍;董孟高;李學斯;;自適應系統(tǒng)軟件傳感器設計與實現(xiàn)[J];計算機科學;2010年08期

相關會議論文 前1條

1 束華明;高明煜;;汽車前照燈自適應系統(tǒng)的研究與設計[A];浙江省電源學會第十一屆學術年會暨省科協(xié)重點科技活動“高效節(jié)能電力電子新技術”研討會論文集[C];2008年

相關博士學位論文 前1條

1 董孟高;基于Agent的自適應系統(tǒng)運行機制及其構造技術研究[D];國防科學技術大學;2011年

相關碩士學位論文 前3條

1 洪學志;COBOT:—個面向協(xié)作的自適應系統(tǒng)軟件框架[D];南京大學;2015年

2 沈樂;基于強化學習的自適應技術研究[D];國防科學技術大學;2010年

3 余鑫鑫;人眼自適應系統(tǒng)低階像差補償機構設計[D];中國科學院研究生院（長春光學精密機械與物理研究所）;2012年

本文編號：1810393