[00298874]一种软件自适应决策验证系统
交易价格:
面议
所属行业:
分析仪器
类型:
发明专利
技术成熟度:
正在研发
专利所属地:中国
专利号:CN201611219520.7
交易方式:
技术转让
技术转让
技术入股
联系人:
华东师范大学
进入空间
所在地:上海上海市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
摘要:本发明涉及一种软件自适应决策验证系统,包括模型转换模块和模型验证模块。其中,所述的模型转换模块,用于将经过自适应决策策略作用演变的多种异构的层次化多agent系统模型由模型转换器转换成统一的中间模型,并将所述中间模型输出作为模型验证模块的输入;所述的模型验证模块,将模型转换模块输出的中间模型作为输入,在中间模型上进行分析、验证,判断中间模型是否满足目标性质,从而完成自适应决策策略的验证,同时,还可以实现多个中间模型的对比,进而实现多种异构的层次化多agent系统模型的对比,从中挑选出符合目标性质的优良模型,最终筛选出优良的自适应决策策略,对于不符合目标性质的策略给出改进建议。
摘要:本发明涉及一种软件自适应决策验证系统,包括模型转换模块和模型验证模块。其中,所述的模型转换模块,用于将经过自适应决策策略作用演变的多种异构的层次化多agent系统模型由模型转换器转换成统一的中间模型,并将所述中间模型输出作为模型验证模块的输入;所述的模型验证模块,将模型转换模块输出的中间模型作为输入,在中间模型上进行分析、验证,判断中间模型是否满足目标性质,从而完成自适应决策策略的验证,同时,还可以实现多个中间模型的对比,进而实现多种异构的层次化多agent系统模型的对比,从中挑选出符合目标性质的优良模型,最终筛选出优良的自适应决策策略,对于不符合目标性质的策略给出改进建议。