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