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

• 作者: 刘飞 孙国兵 杨明 王子才
• 来源期刊: 江苏大学学报（自然科学版）
• 学科: 工学
• 关键词: 分布式仿真系统 验证工具 多Agent技术 Q学习算法 面向对象知识表示
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 计算机与通信工程
• 页码范围: 258-261
• 页数: 4页
• 分类号: TP391.9
• 字数: 3279字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-7775.2006.03.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨明	哈尔滨工业大学控制与仿真中心	281	3177	28.0	45.0
2	王子才	哈尔滨工业大学控制与仿真中心	154	2151	22.0	39.0
3	刘飞	哈尔滨工业大学控制与仿真中心	28	196	9.0	13.0
4	孙国兵	哈尔滨工业大学控制与仿真中心	4	34	3.0	4.0