论文部分内容阅读
多代理人技术在许多复杂分布式、并发的系统被使用了。一个铁路系统是批评系统和功能的部件的仔细的调查是的如此的安全很重要。一个好结构的图案通过一种正式建模技术由它的确认和确认跟随了的在系统要求的基于通讯的火车控制(CBTC ) 的各种各样的功能的部件的学习。这里介绍的工作是 follow 在上面我们为印第安人的 multi-agent-based CBTC 系统，铁路设计了使用方法论设计软件代理人的系统。行为设计系统的分析包含在运用的火车期间产生的几种操作情形，并且在理解系统的反应到如此的状况帮助。当它允许系