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

【摘要】：自適應(yīng)系統(tǒng)需要根據(jù)運(yùn)行時(shí)上下文和自身的變化進(jìn)行其行為的調(diào)節(jié).為實(shí)現(xiàn)自主調(diào)節(jié),自適應(yīng)系統(tǒng)必須被賦予運(yùn)行時(shí)監(jiān)測上下文和自身變化、分析需求滿足程度的變化以及推理得到自適應(yīng)決策的能力.這種在線決策的行為在滿足功能需求的同時(shí),還需要保證系統(tǒng)滿足特定的非功能需求,如可靠性和性能等.提出了一種基于驗(yàn)證的自適應(yīng)系統(tǒng)優(yōu)化決策方法,以保證非功能需求的滿足.該方法在識(shí)別可調(diào)節(jié)目標(biāo)以建模自適應(yīng)機(jī)制的同時(shí),將系統(tǒng)的目標(biāo)模型映射為相應(yīng)的行為模型,用標(biāo)簽轉(zhuǎn)移系統(tǒng)表示;以可靠性需求為例,用標(biāo)記目標(biāo)模型規(guī)約任務(wù)的可靠性;然后將系統(tǒng)行為模型和可靠性規(guī)約整合為帶可變狀態(tài)的離散時(shí)間馬爾可夫鏈,將候選自適應(yīng)配置描述為不同可變狀態(tài)間的組合;最終通過相關(guān)需求的在線驗(yàn)證,使系統(tǒng)找到關(guān)于某類上下文的最優(yōu)決策配置.通過一個(gè)移動(dòng)信息系統(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.
【作者單位】： 中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院數(shù)學(xué)研究所;高可信軟件技術(shù)教育部重點(diǎn)實(shí)驗(yàn)室(北京大學(xué));北京大學(xué)信息科學(xué)技術(shù)學(xué)院軟件研究所;
【基金】：國家重點(diǎn)基礎(chǔ)研究發(fā)展計(jì)劃(973)(2015CB352200) 國家自然科學(xué)基金(61620106007,91318301)~~
【分類號(hào)】：TP311.52

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

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

3 馬東升;;《穩(wěn)定自適應(yīng)系統(tǒng)》介紹[J];自動(dòng)化學(xué)報(bào);1990年06期

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

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

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

7 高巖，，田介眉;自適應(yīng)系統(tǒng)的線性化研究與設(shè)計(jì)方法[J];北京理工大學(xué)學(xué)報(bào);1997年03期

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

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

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

相關(guān)會(huì)議論文 前1條

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

相關(guān)博士學(xué)位論文 前1條

1 董孟高;基于Agent的自適應(yīng)系統(tǒng)運(yùn)行機(jī)制及其構(gòu)造技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

相關(guān)碩士學(xué)位論文 前3條

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

2 沈樂;基于強(qiáng)化學(xué)習(xí)的自適應(yīng)技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2010年

3 余鑫鑫;人眼自適應(yīng)系統(tǒng)低階像差補(bǔ)償機(jī)構(gòu)設(shè)計(jì)[D];中國科學(xué)院研究生院（長春光學(xué)精密機(jī)械與物理研究所）;2012年

本文編號(hào)：1810393