行为驱动的仿真模型组合方法研究
针对目前海洋智能航行器仿真系统在开发过程中模型的动态行为很难验证的问题,给出了一个通用的基于行为的仿真系统开发框架,并提出了行为驱动的模型组合方法。首先在研究了仿真模型的行为特性的基础上,采用π演算的进程表达式表示组合交互过程,描述状态转换和消息传递序列,利用其转换函数和进程推演验证组合过程的行为兼容性,然后通过水动力组合的应用实例具体描述了行为驱动的组合验证过程。最后给出了该方法在水下水下机器人和水面无人艇仿真试验中的应用情况,进一步证明了方法的可行性。
组合仿真、模型组合、行为语义、π演算
24
TP311.51(计算技术、计算机技术)
黑龙江省青年科学基金项目2007Q0502-00;哈尔滨市青年科学基金项目RC2009QN010039;哈尔滨工程大学校基础研究基金项目002060260722;水下智能机器人技术国防科技重点实验室开放课题研究基金项目2010004;中央高校基本科研业务费专项资金HEUCF100605
2012-04-28(万方平台首次上网日期,不代表论文的发表时间)
20-25,53