分布式仿真系统验证工具设计与开发

摘要：

为实现分布式仿真系统的自动验证,设计并开发了一个基于多Agent技术的验证工具.该工具采用形式化描述和校核方法完成多Agent系统的设计,利用Q学习算法实现多Agent之间的协调和协作,并使用面向对象知识表示方法表示了分布式仿真系统的验证知识,从而实现了统计验证、图灵测试和表面验证等任务.实际应用证明,该工具极大的提高了分布式仿真系统验证的自动化水平.

关键词：分布式仿真系统、验证工具、多Agent技术、Q学习算法、面向对象知识表示

所属期刊栏目：27

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划60434010

在线出版日期：2006-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：258-261