计算机应用研究

作者：叶幸瑜,刘玮,王宁,甘陈峰,

单位：武汉工程大学a.计算机科学与工程学院;b.湖北省智能机器人重点实验室,武汉430205；

关键词：自适应系统,多代理,动态环境,在线验证,

基金：湖北省技术创新专项重大资助项目(2019AAA045)；湖北省自然科学基金资助项目(2019CFB172)；；

用于领域中业务关键型的自适应系统（self-adaptive system，SAS）需要遵从严格的质量要求，在多agent自适应系统运行过程中需要根据动态环境与需求实现自适应调整。针对上述问题，提出了一种基于马尔可夫的多agent自适应在线验证方法。首先将多agent系统中环境影响因素转换为概率形式，然后将系统形式化为马尔可夫模型，最后通过模型检查的方式进行在线验证，使系统通过验证结果对自身进行调控。通过现实的智能无人停车场案例进行了实验，论述了方法的使用流程以及验证效果。实验结果表明，该方法适用于具有多agent的自适应系统，并能够在系统出现故障情况下及时进行调控，相比原始系统的稳定性有了较大的改善。

来源：2021年第5期

《计算机应用研究》期刊编辑部

查看计算机应用研究杂志2021年第5期