分布式仿真系统验证工具设计与开发
Design and development of validation tool for distributed simulation systems作者机构：哈尔滨工业大学控制与仿真中心黑龙江哈尔滨150001
出 版 物：《江苏大学学报（自然科学版）》 (Journal of Jiangsu University：Natural Science Edition)
年 卷 期：2006年第27卷第3期
页 面：258-261页
核心收录：
学科分类：0810[工学-信息与通信工程] 08[工学] 080203[工学-机械设计及理论] 0805[工学-材料科学与工程（可授工学、理学学位）] 0802[工学-机械工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：分布式仿真系统 验证工具 多Agent技术 Q学习算法 面向对象知识表示
摘 要：为实现分布式仿真系统的自动验证,设计并开发了一个基于多Agent技术的验证工具.该工具采用形式化描述和校核方法完成多Agent系统的设计,利用Q学习算法实现多Agent之间的协调和协作,并使用面向对象知识表示方法表示了分布式仿真系统的验证知识,从而实现了统计验证、图灵测试和表面验证等任务.实际应用证明,该工具极大的提高了分布式仿真系统验证的自动化水平.
维普期刊数据库
同方期刊数据库