[发明专利]一种软件自适应决策验证方法有效
| 申请号： | 201611218766.2 | 申请日： | 2016-12-26 |
| 公开（公告）号： | CN106650949B | 公开（公告）日： | 2019-03-26 |
| 发明（设计）人： | 史建琦;胡志成;黄滟鸿;方徽星;李昂;李新;何积丰 | 申请（专利权）人： | 华东师范大学 |
| 主分类号： | G06N20/00 | 分类号： | G06N20/00;G06F8/20 |
| 代理公司： | 北京辰权知识产权代理有限公司 11619 | 代理人： | 郎志涛 |
| 地址： | 200062 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种软件自适应决策验证方法，所述方法包括如下步骤：层次化MAS模型经过自适应决策策略作用演变成多种异构的层次化多agent系统模型；将所述层次化多agent系统模型转换成统一的中间模型；在中间模型上进行分析、验证，判断中间模型是否满足目标性质，从而完成自适应决策策略的验证，同时，还可以实现多个中间模型的对比，进而实现多种异构的层次化多agent系统模型的对比，从中挑选出符合目标性质的优良模型；筛选出优良的自适应决策策略，对于不符合目标性质的策略给出改进建议。本发明实现层次化状态迁移系统的验证，而且结合了状态空间等价类划分技术，提高了验证效率。 | ||
| 搜索关键词： | 一种 软件 自适应 决策 验证 方法 | ||
【主权项】：
1.一种软件自适应决策验证方法，其特征在于所述方法包括如下步骤：步骤一，层次化MAS模型经过自适应决策策略作用演变成多种异构的层次化多agent系统模型；步骤二，将所述层次化多agent系统模型转换成统一的中间模型；所述步骤二的模型转换基于EMF框架实现，集成完备的层次化多agent系统模型到中间模型的转换规则，具备自检查功能，通过语义互模拟技术检查转换前后模型间的语义等价性；所述中间模型是层次化状态迁移系统，所述层次化状态迁移系统在状态迁移系统的基础上进行扩展，将状态迁移系统扩展为多层次的结构，各层之间紧密联系，共同构成一个完整的状态迁移系统；步骤三，在中间模型上进行分析、验证，判断中间模型是否满足目标性质，从而完成自适应决策策略的验证，同时，还可以实现多个中间模型的对比，进而实现多种异构的层次化多agent系统模型的对比，从中挑选出符合目标性质的优良模型；步骤四，筛选出优良的自适应决策策略，对于不符合目标性质的策略给出改进建议。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学，未经华东师范大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201611218766.2/，转载请声明来源钻瓜专利网。
- 上一篇：一种机器学习中避免大数据冗余的方法
- 下一篇：一种软件自适应决策验证系统
