澳大利亚国防军调度工具COAST:原理、实现与应用
1. 先进状态空间方法概述
先进状态空间方法的发展为系统验证带来了新的可能。过去,普通状态空间方法在验证某些系统配置时存在局限性。而如今,一系列先进状态空间方法被开发并应用,能够验证更大规模的系统配置,甚至在某些情况下可以验证实际中可能出现的所有配置。此外,同时使用两种先进状态空间方法,能获得比单独使用其中任何一种方法更好的缩减效果。
2. 澳大利亚国防军调度工具COAST
2.1 项目背景与目标
该项目与澳大利亚国防科学技术组织(DSTO)合作开展,旨在开发一个行动方案调度工具(COAST)。通过CPN建模来概念化和形式化该工具所支持的规划领域,并将构建的CPN模型嵌入到COAST服务器中,结合定制的状态空间分析算法,实现从设计到系统实施的有效衔接。
2.2 计划与任务调度
- 关键概念
- 任务(Tasks) :计划的基本单位,有前置条件、执行效果、所需资源和可能的持续时间。
- 条件(Conditions) :描述任务之间的逻辑依赖关系,如任务T1的效果可作为任务T2的前置条件。
- 资源(Resources) :任务执行过程中使用的资源,如飞机、船只和人员,可能在特定时间可用,也可能在任务执行中丢失。
- 同步(Synchronisations) :规定一
超级会员免费看
订阅专栏 解锁全文
991

被折叠的 条评论
为什么被折叠?



