KMS Of Academy of mathematics and systems sciences, CAS
基于验证的自适应系统决策:一种模型驱动的方法 | |
杨卓群1; 金芝2 | |
2017 | |
发表期刊 | 软件学报 |
ISSN | 1000-9825 |
卷号 | 028期号:007页码:1676 |
摘要 | 自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需要保证系统满足特定的非功能需求,如可靠性和性能等.提出了一种基于验证的自适应系统优化决策方法,以保证非功能需求的满足.该方法在识别可调节目标以建模自适应机制的同时,将系统的目标模型映射为相应的行为模型,用标签转移系统表示;以可靠性需求为例,用标记目标模型规约任务的可靠性;然后将系统行为模型和可靠性规约整合为带可变状态的离散时间马尔可夫链,将候选自适应配置描述为不同可变状态间的组合;最终通过相关需求的在线验证,使系统找到关于某类上下文的最优决策配置.通过一个移动信息系统的案例展示了该方法的可行性和有效性. |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/42847 |
专题 | 中国科学院数学与系统科学研究院 |
作者单位 | 1.中国科学院数学与系统科学研究院 2.北京大学 |
推荐引用方式 GB/T 7714 | 杨卓群,金芝. 基于验证的自适应系统决策:一种模型驱动的方法[J]. 软件学报,2017,028(007):1676. |
APA | 杨卓群,&金芝.(2017).基于验证的自适应系统决策:一种模型驱动的方法.软件学报,028(007),1676. |
MLA | 杨卓群,et al."基于验证的自适应系统决策:一种模型驱动的方法".软件学报 028.007(2017):1676. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[杨卓群]的文章 |
[金芝]的文章 |
百度学术 |
百度学术中相似的文章 |
[杨卓群]的文章 |
[金芝]的文章 |
必应学术 |
必应学术中相似的文章 |
[杨卓群]的文章 |
[金芝]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论