system: [SYSTEM]

user: 3. 新型武器装备作战流程设计与验证 3.1. 新型武器装备作战流程设计与验证 武器装备作战使用任务剖面 [ 5 ] [ 6 ] [ 7 ] [ 8 ] 可理解为该型武器装备在遂行典型作战任务全过程中经历的所有作战使用环节(或称作战事件)与相应环境条件的时序描述。其中，作战使用环节是指武器装备在作战过程中需完成的典型的、大块的工作项目，相应环境条件包括自然环境、电磁环境、气象环境、阵地环境等。作战使用任务剖面分析要基于体系运用思想、面向作战全过程、紧贴武器装备使用。 具体分析方法为：按照“任务阶段划分→阶段任务分析→任务要求细化→任务剖面生成”的思路，首先依据作战阶段划分完成某型武器具体任务阶段的细化分解；然后针对每个任务阶段，分析武器装备的所经历的主要作战事件(或完成的主要作战活动)、任务要求(包括使用要求、保障要求和环境条件等)采用定量指标 + 定性描述的方式；最后，在梳理任务触发条件和任务消耗情况(主要用于后续流程分析)基础上，采用规范表格或时序图的方式，综合形成作战使用任务剖面。技术路线如图2所示。 最终形成的作战使用任务剖面规范表格示例如表1所示。 3.2. 作战流程模型建立 依据作战使用任务剖面中的作战实体和作战活动描述，采用有色赋时Petri网技术 [ 9 ] 构建作战流程模型。针对新型导弹武器作战流程“信息驱动、自动执行、精准控制、复杂度高”的特点，采用“自底向上、从元模型到流程模型”的思路，通过信息建模解决信息实时驱动问题，采用元模型拓展和作战活动时间精确定义解决流程精确控制问题，运用分层建模解决流程复杂性问题。建模思路如图3所示。 图2. 作战使用任务剖面分析技术路线 Table 1 Specification table example of combat mission profile analysi 作战 阶段 作战 任务 实体、活动描述 任务要求 任务 触发 条件 资源消耗情况 使用要求 保障要求 环境条件 作战 阶段 1 作战 值班 任务 值班武器数量为×× 值班武器状态为×× 值班阵地位于×× 值班周期为×× …… 1.值班轮换机制为×× 2.状态监控程序为×× …… 1.气象保障要求为×× 2.应急处置要求为×× …… 1.阵地环境条件为×× 2.指挥通信条件为×× …… 自动□ 人工☑ 消息□ 时间□ …… 1.任务执行时间为×× 2.阵地占用工位为×× 3.保障资源占用为×× …… …… ×× 任务 …… …… 表1. 作战使用任务剖面规范表格示例 1) 元模型建立 作战流程元模型用于描述作战实体在不同作战阶段的状态、离散作战活动或事件、占用作战资源、活动执行条件、执行活动时间以及命令等作战信息。主要包括库所模型(作战实体)、变迁模型(作战活动)、状态模型(作战实体状态与作战活动执行的映射关系)、任务触发模型、任务资源模型、执行时间模型等。 2) 流程模型建立 在底层元模型建立基础上，分析元模型之间的关联关系，依据武器装备作战基本流程，连接各元模 图3. 基于有色赋时Petri网技术的新型武器装备作战流程模型建立 型生成作战流程模型。流程模型由多个库所和变迁并联、串联或条件选择分支连接起来，每个流程定义一个初始库所和一个结束库所，并制定运行规则，即可完成一个流程模型的构建。 3.3. 作战流程量化分析 完成作战流程建模后，首先要对流程进行量化分析，验证流程的可行性，包括流程可达性判定、流程关键路径计算、流程非关键路径上作战活动对流程的影响程度分析等。 1) 作战流程可达性判定 以petri网的关联矩阵为基础开展作战流程可达性分析 [ 10 ] ，具体思路为： 建立某典型作战流程有色赋时Petri网模型为 Σ = ( P ， T ; F ， K ， K s ， K c ， w ， M 0 ) 。其中，含有m个作战实体P(库所)和n个作战活动T(变迁)， M 0 为 作战流程的初始状态， M n 为作战流程的终止状态。那么，所有作战实体初始状态组成的列向量 B 0 描述为： B 0 = ( M 0 ( P 1 ) ， M 0 ( P 2 ) ， M 0 ( P 3 ) ， ⋯ ， M 0 ( P m ) ) T (1) 令 A 1 ， A 2 ， ⋯ ， A n 表示关联矩阵的列向量，可根据变迁类模型中定义的触发条件和触发机制判断变迁 T 1 是否具有发生权：若不具有发生权，则该流程模型没有 M 0 的后继状态，目标状态不可达，如具有发生权，则变迁 T 1 发生后，得到的后继状态 M 1 ，对应的列向量 B 1 为： B 1 = ( M 1 ( P 1 ) M 1 ( P 2 ) ⋮ M 1 ( P m ) ) = ( M 0 ( P 1 ) + w ( T 1 ， P 1 ) − w ( P 1 ， T 1 ) M 1 ( P 2 ) + w ( T 1 ， P 2 ) − w ( P 2 ， T 1 ) ⋮ M 1 ( P m ) + w ( T 1 ， P m ) − w ( P m ， T 1 ) ) = B 0 + ( w ( T 1 ， P 1 ) − w ( P 1 ， T 1 ) w ( T 1 ， P 2 ) − w ( P 2 ， T 1 ) ⋮ w ( T 1 ， P m ) − w ( P m ， T 1 ) ) = B 0 + A 1 (2) 以此类推，可判断变迁 T n 是否具有发生权，若发生，后继状态 M n 对应的列向量 B n 为： B n = B 0 + ∑ i = 1 n A i (3) 令 M N 为作战流程的目标状态，则作战流程可达性判定规则可确立为： ∀ i ∈ { 0 < i ≤ m } : M n ( P i ) − M N ( P i ) ≡ 0 ?可达：不可达 (4) 2) 基于类Dijkstra算法的关键路径搜索 以petri网的关联矩阵为基础开展作战流程可达性分析 [ 10 ] ，具体思路为： 针对构建的作战流程Petri网模型，在满足流程可达性的基础上，考虑作战时间、作战资源等约束，采用类Dijkstra算法完成作战流程关键路径搜索 [ 11 ] [ 12 ] [ 13 ] 。具体思路为：选取作战流程的某一初始状态，抽象Petri网模型为加权有向图，构建流程运行的邻接矩阵，以作战时间最短为主要考察因素设计矩阵修正算法，根据修正结果逐步迭代生成有向图从起点到终点的关键路径，也即作战流程从开始活动状态到最终活动状态的关键路径。 3) 基于路径矩阵的非关键路径上作战活动影响程度分析 作战流程中关键路径上的任何作战活动都会影响整个流程的运行时间，非关键路径上的作战活动不会对整个流程运行起决定性作用，但超过一定限制或安全范围则可能会阻碍或延迟关键节点甚至整个流程的运行。针对非关键路径上作战活动，适度改变其执行条件，设计算法分析其对关键节点或整个流程的影响程度。在此主要从时间角度考虑非关键路径上作战活动(后续也称节点)对整体流程的影响。 具体思路为：将非关键路径上作战活动执行时间的变化抽象为有向无环图中边的权值的改变。在关键路径搜索算法基础上，将所有非关键路径上的活动状态及其执行情况(即有向边和权值)放入一个集合。遍历集合中的每一个活动执行情况(其他活动保持不变)，扫描关键路径算法构造的路径矩阵中包含该活动的行，可计算出该活动不影响关键路径的允许最长时间 T 1 和不影响流程运行的允许最长时间 T 2 ，则对该作战活动的影响分析为：若某活动执行时间t满足 t < T 1 ，则该活动对流程运行没有影响；若某活动执行时间t满足 T 1 ≤ t ≤ T 2 ，则该活动会变化为关键路径上的活动，直接影响流程运行；若某活动执行时间t满足 t > T 2 ，则该流程不能在规定时间内执行完成。以此类推，分析所有非关键路径上作战活动对整个流程的影响程度。 图4. 作战流程仿真推演软硬件架构示意 3.4. 作战流程推演验证 作战流程的推演验证 [ 14 ] [ 15 ] 依托仿真系统搭建来开展，系统需要具备流程建模、流程量化分析、流程验证评估和流程动态显示等功能，系统架构包括任务剖面分析、流程建模、流程量化分析、仿真推演等，各层之间以数据接口形式提供服务，系统软硬件架构如图4所示。