作者：刘飞; 杨明; 孙国兵; 王子才分布式仿真系统验证工具多agent技术q学习算法面向对象知识表示
摘要：为实现分布式仿真系统的自动验证，设计并开发了一个基于多Agent技术的验证工具．该工具采用形式化描述和校核方法完成多Agent系统的设计，利用Q学习算法实现多Agent之间的协调和协作，并使用面向对象知识表示方法表示了分布式仿真系统的验证知识，从而实现了统计验证、图灵测试和表面验证等任务．实际应用证明，该工具极大的提高了分布式仿真系统验证的自动化水平．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《江苏大学学报·社会科学版》（CN：32-1655/C）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《江苏大学学报·社会科学版》国内外公开发行的哲学、社会科学类学术理论期刊，主要刊登政治学、哲学、经济学、管理学、历史、文学、艺术、语言学等学科的研究成果，辟有“生态精神与美学、文艺学研究”、“辽金元文学文化研究”、“中国当代史研究”、“赛珍珠专题研究”、“词汇语义学论坛”等专栏。
杂志详情
