基于EHFSM控制任务流程推进的软件控制方案

3.0 闻远设计 2024-03-10 66 4 172.35KB 5 页免费

侵权投诉

基于 EHFSM 控制任务流程推进的软件控制方

案

某电控模拟系统软件设计的关键工作就是对操作训练过程中所有可能发生的过程及过程状态之

间的转移关系进行描述。传统的事件驱动设计思想，通过建立作为控制程序基本单元的事件例

程之间的逻辑关系及响应程序，实现对操作训练过程的描述。但由于电控模拟系统往往包含

有若干不同功能的分系统，而各分系统又包含有一定数目的子系统，使得其结构层级往往比较

复杂，采用这种设计思想往往存在着高复杂性和低可读性的缺点，代码的可维护性和复用性

也较差；因此，本文针对传统实现方式中存在的缺点和不足，提出了一种基于 EHFSM[1,2]控

制任务流程推进的软件控制方案。

1 过程建模及 FSM 方法

1.1 过程建模

电控模拟系统的操作训练可以看作是基于时间的一系列连续的子过程，每一个子过程描述模拟

训练在某一时间段所处的状态，并影响或决定后一子过程的初始状态。因此，可以采用过程建

模的方法取代传统的事件驱动思想实现对电控模拟系统的控制，这种状态描述的方式也使得系

统的结构更加清晰，控制更加高效，有效填补了传统方式的缺点和不足。过程模型的组成包

括：

过程：表达模拟训练系统中的某个操作的持续时序关系。

过程迁移：表达过程之间的迁移。

事件：指电控模拟训练过程中激活过程迁移的元素，包括外部事件、内部事件。其中外部事

件主要指号手控制产生的命令、动作以及信号等事件，内部事件主要是指由于过程的推进产生

的某些变化。

过程迁移条件：表达过程转换的约束规则。

1.2 FSM 方法

FSM（Finite State Machine ）即有限状态机，通常被定义为由 5 个对象组成的有序集合：【公

式】

f 是一个从 I×S 到S 的函数，即由一个输入 Ij 和一状态 Sk 给出下一个状态：g 是一个从 I×S

到O 的函数，即由一输入Ij 和一状态 Sk 给出下一个输出。其工作原理是：状态机根据系

统内接收到的计算结果、系统外输入事件，产生相应的输出结果，同时系统会根据转换机制判

断条件成立与否，来决定是否根据事件发生状态的转换，状态转换后的输出状态作为下一事件

的开始状态。工作原理描述如图 1 所示。【图 1】

通过 FSM 及过程模型各个组成部分的定义发现：电控模拟系统的过程对应于 FSM 中的转移，

仿真训练过程中的事件对应于 FSM 中的事件，过程转移则对应于 FSM 中的转移，过程转移条

件对应于 FSM 中的转移规则，可以说模拟训练过程的模型语义和 FSM 的语义描述基本一致。

因此可以采用 FSM 方法描述电控模拟系统的过程模型。

2 基于 EHFSM 的过程模型框架

2.1 FSM 方法的不足

电控模拟系统共包括开机自检、自动、手动、监控及点步等 5 种工作方式，每一种工作方式

下，操作都主要由 205 号手完成，但同时也需要 201 号手的配合，这种不同工作方式的划分以

及操作训练的交叉配合使得训练过程出现了不同的层次和交叉，传统的有限状态机并不支持这

种分层和交叉描述。

此外，为满足号手开展针对性训练，需要定义一个由状态 Sj 经过特殊的触发事件直接转换到

Sj “ ” 的跳跃，如图 2（b ）所示。而在传统的有限状态机中，若实现由 S1 状态到 S3 的迁移，

只能通过状态序列(S1,S2,S3) 来进行，而无法直接由 S1 跳转至S3 ，如图 2（a ）所示。这种

变化并不等同于上述跳跃的定义。这种功能需求传统的有限状态机同样是无法实现的。【图

2】

2.2 基于 EHFSM 的改进方法

针对以上问题，对传统有限状态机进行改进，引入了扩展分层有限状态机。其定义如下：【公

式2】

A= α0,α1,…αn 是活动集合，其中每个元素 α1=（in，pre，block ）都是一个三元组，in 是I

中的元素或者为空，pre 是关于 V 中的变量、输入参数或一些常量的谓词表达式，block

是赋值语句和输出语句的集合；δ：S×A→S 是状态转换函数；T= t0,t1,…,tm 是非空转换集合，

每个元素 tj=(initial,final,action) 都是一个三元组。 initial 和final 是S 中状态，代表 tj 的初始状

态和结束状态，action A ∈是指发生在该转换上的活动；V 是变量集。EHFSM 示例如图 3 所

示。【图 3】

文档加载中……请稍候！
如果长时间未打开，您也可以点击刷新试试。

下载文档到电脑，查找使用更方便

免费 4人已下载

立即下载

摘要：

基于EHFSM控制任务流程推进的软件控制方案某电控模拟系统软件设计的关键工作就是对操作训练过程中所有可能发生的过程及过程状态之间的转移关系进行描述。传统的事件驱动设计思想，通过建立作为控制程序基本单元的事件例程之间的逻辑关系及响应程序，实现对操作训练过程的描述。但由于电控模拟系统往往包含有若干不同功能的分系统，而各分系统又包含有一定数目的子系统，使得其结构层级往往比较复杂，采用这种设计思想往往存在着高复杂性和低可读性的缺点，代码的可维护性和复用性也较差；因此，本文针对传统实现方式中存在的缺点和不足，提出了一种基于EHFSM[1,2]控制任务流程推进的软件控制方案。1过程建模及FSM方法1.1过...

展开>> 收起<<

基于EHFSM控制任务流程推进的软件控制方案.docx

共5页,预览2页

还剩页未读，继续阅读

基于EHFSM控制任务流程推进的软件控制方案

相关推荐

开通VIP享超值会员特权

作者详情

相关内容

推荐作者

热门标签

举报选择: