论文部分内容阅读
针对目前海洋智能航行器仿真系统在开发过程中模型的动态行为很难验证的问题,本文给 出了一个通用的基于行为的仿真系统开发框架,并提出了行为驱动的模型组合方法。首先在研究了 仿真模型的行为特性的基础上,采用π 演算的进程表达式表示组合交互过程,描述状态转换和消 息传递序列,利用其转换函数和进程推演验证组合过程的行为兼容性,然后通过水动力组合的应用 实例具体描述了行为驱动的组合验证过程。最后给出了该方法在水下水下机器人和水面无人艇仿 真试验中的应用情况,进一步证明了方法的可行性。