| 分布式仿真系统验证工具设计与开发 |
| |
| 引用本文： | 刘飞,杨明,孙国兵,王子才.分布式仿真系统验证工具设计与开发[J].江苏大学学报(自然科学版),2006,27(3):258-261. |
| |
| 作者姓名： | 刘飞 杨明 孙国兵 王子才 |
| |
| 作者单位： | 哈尔滨工业大学,控制与仿真中心,黑龙江,哈尔滨,150001 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 为实现分布式仿真系统的自动验证，设计并开发了一个基于多Agent技术的验证工具．该工具采用形式化描述和校核方法完成多Agent系统的设计，利用Q学习算法实现多Agent之间的协调和协作，并使用面向对象知识表示方法表示了分布式仿真系统的验证知识，从而实现了统计验证、图灵测试和表面验证等任务．实际应用证明，该工具极大的提高了分布式仿真系统验证的自动化水平．
|
| 关 键 词： | 分布式仿真系统 验证工具 多Agent技术 Q学习算法 面向对象知识表示 |
| 文章编号： | 1671-7775(2006)03-0258-04 |
| 修稿时间： | 2005年11月21 |
Design and development of validation tool for distributed simulation systems |
| |
| LIU Fei,YANG Ming,SUN Guo-bing,WANG Zi-cai.Design and development of validation tool for distributed simulation systems[J].Journal of Jiangsu University:Natural Science Edition,2006,27(3):258-261. |
| |
| Authors: | LIU Fei YANG Ming SUN Guo-bing WANG Zi-cai |
| |
| Abstract: | |
| |
| Keywords: | distributed simulation systems validation tool multi-agent technology Q learning method object oriented knowledge representation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
