CSpace
基于验证的自适应系统决策:一种模型驱动的方法
杨卓群1; 金芝2
2017
Source Publication软件学报
ISSN1000-9825
Volume028Issue:007Pages:1676
Abstract自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需要保证系统满足特定的非功能需求,如可靠性和性能等.提出了一种基于验证的自适应系统优化决策方法,以保证非功能需求的满足.该方法在识别可调节目标以建模自适应机制的同时,将系统的目标模型映射为相应的行为模型,用标签转移系统表示;以可靠性需求为例,用标记目标模型规约任务的可靠性;然后将系统行为模型和可靠性规约整合为带可变状态的离散时间马尔可夫链,将候选自适应配置描述为不同可变状态间的组合;最终通过相关需求的在线验证,使系统找到关于某类上下文的最优决策配置.通过一个移动信息系统的案例展示了该方法的可行性和有效性.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/42847
Collection中国科学院数学与系统科学研究院
Affiliation1.中国科学院数学与系统科学研究院
2.北京大学
Recommended Citation
GB/T 7714
杨卓群,金芝. 基于验证的自适应系统决策:一种模型驱动的方法[J]. 软件学报,2017,028(007):1676.
APA 杨卓群,&金芝.(2017).基于验证的自适应系统决策:一种模型驱动的方法.软件学报,028(007),1676.
MLA 杨卓群,et al."基于验证的自适应系统决策:一种模型驱动的方法".软件学报 028.007(2017):1676.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[杨卓群]'s Articles
[金芝]'s Articles
Baidu academic
Similar articles in Baidu academic
[杨卓群]'s Articles
[金芝]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[杨卓群]'s Articles
[金芝]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.