蜂群场景描述语言

免重建快速验证

用统一语言定义环境与任务，配合双引擎执行，让无人蜂群场景无需重建即可扩展和复用，显著降低物理验证成本。

赵越 · 姚远 · Tong, He · 周兴社 · 沈博

Journal of Supercomputing 2023

技术优势

场景免重建

SL4U 将场景分为环境和任务，任务支持四类、时序约束和事件处理；复杂场景只需增加描述即可，不必从头构建。

物理验证省钱

在预定义环境中通过双引擎成功完成搜索救援任务后，使用 SL4U 进行验证可降低无人蜂群物理验证的成本和时间消耗。

应用场景

• 无人蜂群任务规划：用统一语言定义任务，直接生成可执行场景，免去底层编码。
• 无人机集群仿真：同一场景描述即可驱动仿真，验证算法与协同逻辑。
• 多机器人协作验证：定义事件与任务时序，快速验证多机器人协作行为。
• 群体智能测试：标准化场景输入，便于重复测试群体智能算法。