CN115495064A - 基于稳控策略可视化编程自动生成装置代码的方法、装置及系统 - Google Patents
基于稳控策略可视化编程自动生成装置代码的方法、装置及系统 Download PDFInfo
- Publication number
- CN115495064A CN115495064A CN202210989767.6A CN202210989767A CN115495064A CN 115495064 A CN115495064 A CN 115495064A CN 202210989767 A CN202210989767 A CN 202210989767A CN 115495064 A CN115495064 A CN 115495064A
- Authority
- CN
- China
- Prior art keywords
- control strategy
- stability control
- model
- automatically generating
- description file
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000011217 control strategy Methods 0.000 title claims abstract description 159
- 238000000034 method Methods 0.000 title claims abstract description 40
- 230000000007 visual effect Effects 0.000 title claims abstract description 33
- 230000000694 effects Effects 0.000 claims abstract description 64
- 238000006243 chemical reaction Methods 0.000 claims abstract description 18
- 238000013507 mapping Methods 0.000 claims abstract description 11
- 230000007246 mechanism Effects 0.000 claims abstract description 10
- 238000005516 engineering process Methods 0.000 claims abstract description 7
- 238000010276 construction Methods 0.000 claims description 21
- 230000002776 aggregation Effects 0.000 claims description 14
- 238000004220 aggregation Methods 0.000 claims description 14
- 230000009471 action Effects 0.000 claims description 12
- 238000003860 storage Methods 0.000 claims description 10
- 230000007704 transition Effects 0.000 claims description 10
- 239000002131 composite material Substances 0.000 claims description 9
- 238000004364 calculation method Methods 0.000 claims description 7
- 230000000977 initiatory effect Effects 0.000 claims description 6
- 238000005259 measurement Methods 0.000 claims description 4
- 230000005540 biological transmission Effects 0.000 claims description 3
- 238000010845 search algorithm Methods 0.000 claims description 3
- 230000001360 synchronised effect Effects 0.000 claims description 3
- 238000011161 development Methods 0.000 abstract description 22
- 238000012423 maintenance Methods 0.000 abstract description 4
- 230000002411 adverse Effects 0.000 abstract description 3
- 230000006872 improvement Effects 0.000 abstract description 3
- 230000009467 reduction Effects 0.000 abstract description 3
- 230000000875 corresponding effect Effects 0.000 description 17
- 238000010586 diagram Methods 0.000 description 16
- 238000004590 computer program Methods 0.000 description 7
- 230000006870 function Effects 0.000 description 7
- 238000012795 verification Methods 0.000 description 7
- 238000005520 cutting process Methods 0.000 description 5
- 230000008569 process Effects 0.000 description 5
- 238000012360 testing method Methods 0.000 description 5
- 238000012545 processing Methods 0.000 description 4
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 101150098958 CMD1 gene Proteins 0.000 description 2
- 101100382321 Caenorhabditis elegans cal-1 gene Proteins 0.000 description 2
- 238000004458 analytical method Methods 0.000 description 2
- 230000008901 benefit Effects 0.000 description 2
- 230000007547 defect Effects 0.000 description 2
- 238000001514 detection method Methods 0.000 description 2
- 238000009826 distribution Methods 0.000 description 2
- 238000011160 research Methods 0.000 description 2
- 238000012800 visualization Methods 0.000 description 2
- 101100268517 Mus musculus Serpina1d gene Proteins 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000004422 calculation algorithm Methods 0.000 description 1
- 230000001364 causal effect Effects 0.000 description 1
- 230000001276 controlling effect Effects 0.000 description 1
- 230000002596 correlated effect Effects 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000000605 extraction Methods 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/34—Graphical or visual programming
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
- G06F8/73—Program documentation
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Library & Information Science (AREA)
- Stored Programmes (AREA)
Abstract
本发明公开了一种基于稳控策略可视化编程自动生成装置代码的方法、装置及系统，所述方法包括构建稳控策略统一描述文件，包括稳控策略输入/输出文件及稳控策略逻辑描述文件；利用有限状态机理论构建稳控策略模型；构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系；定义所述稳控策略模型转换为目标代码的转换规则；从所述稳控策略模型提取与目标代码生成相关的信息，并基于所述转换规则采用可视化编程技术自动生成装置代码。本发明能够有效降低控制系统开发周期，提高可靠性，降低开发人员对装置开发的不利影响，实现装置开发维护成本的降低和可靠性的提高。
Description
技术领域
本发明属于电力系统及其自动化技术领域，具体涉及一种基于稳控策略可视化编程自动生成装置代码的方法、装置及系统。
背景技术
安全稳定控制策略主要采用定制开发的方式，对核心人员的技术依赖性大，可靠性进一步提升受人为影响因素较大，且开发成本、开发周期较高。随着系统保护的不断建设，对装置快速开发、快速部署、快速验证提出了更高的要求，传统的依赖人工代码编程的方式越来越难以适应。面对系统保护测试验证需求，传统稳控系统的设计、开发和验证模式，存在如下不足：
1)缺少决策逻辑建模及验证方法。不同区域系统保护控制逻辑随着电网特性、控制对象等呈现差异化；同时在测试过程中，经常面临对控制逻辑的反复迭代修改，针对系统保护控制决策逻辑多样及动态迭代的特点，目前尚无高效的决策逻辑建模方法。同时，对复杂控制策略的逻辑，缺乏有效的逻辑验证和分析方法，如果在实际闭环测试前就发现逻辑上的缺陷，将大大提高测试的效率。
2)缺乏稳控策略核心代码的高效、可信开发方法。当前核心控制代码基于人工开发的模式，不仅开发周期长，而且软件代码与控制需求是否一致，这高度依赖程序员个人能力和经验。随着系统保护控制逻辑成倍增加、故障和运行方式的不确定性急剧增大，软件代码与控制需求不一致的风险更加凸显，因此，迫切需要研究一种稳控策略核心控制代码的高效、可信开发方法。
发明内容
针对上述问题，本发明提出一种基于稳控策略可视化编程自动生成装置代码的方法、装置及系统，能够有效降低控制系统开发周期，提高可靠性，降低开发人员对装置开发的不利影响，实现装置开发维护成本的降低和可靠性的提高。
为了实现上述技术目的，达到上述技术效果，本发明通过以下技术方案实现：
第一方面，本发明提供了一种基于稳控策略可视化编程自动生成装置代码的方法，包括：
构建稳控策略统一描述文件，包括稳控策略输入/输出文件及稳控策略逻辑描述文件；
利用有限状态机理论构建稳控策略模型；
构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系；
定义所述稳控策略模型转换为目标代码的转换规则；
从所述稳控策略模型提取与目标代码生成相关的信息，并基于所述转换规则采用可视化编程技术自动生成装置代码。
可选地，所述稳控策略的输入/输出文件包括若干种元素，每一种元素都对应着一个集合，每一个集合都有对应的操作和变量；
所述集合为运行方式集合M、元件集合E、元件测值集合P、故障类型集合F、断面功率集合S、控制措施集合、切机对象集合O、直流对象集合CO、远方命令集合CMD或策略表定值集合。
可选地，所述策略表定值集合采用行列式描述，包括运行方式集合M、元件集合E、元件测值集合P、故障类型集合F、断面功率集合S、控制措施集合、切机对象集合O、直流对象集合CO、远方命令集合CMD对应的id号以及策略表搜索算法。
可选地，所述稳控策略逻辑描述文件的构建方法为：向稳控策略的典型策略表和语言类描述策略输入稳控策略中分别输入所述稳控策略输入/输出文件中的数据，获得标准的稳控策略逻辑描述文件；所述稳控策略逻辑描述文件包括以下相互关联的四种类别：
触发条件，包括装置状态、运行方式、元件故障、远方命令；
策略动作条件，包括断面功率、策略表、远方通道信息、特征量；
控制量计算，包括切机及原则、切负荷及原则、控直流及原则、控无功；
控制措施，包括策略表执行、远方通道数据发送、对象控制、公式计算。
可选地，所述稳控策略模型的构建方法包括：
利用有限状态机理论定义稳控策略模型，所述稳控策略模型为七元组{A,S,F,J,T,I,O}，所述七元组用于定义识别出稳控策略模型中的各个循环结构、分支结构与同步结构的开始与结束点，划定结构作用域，其中：
活动A：{开始活动(A0)、结束活动(TA)、普通活动(NA)、复合活动(CA)}；
状态S：{开始状态(S0)、结束状态(TS)、普通状态(NS)}；
分支节点F：{异或分支节点}；
聚合节点J：{异或聚合节点}；
变迁T：{源节点、目标节点、守卫条件}；
输入输出集合(I,O)：输入输出集合作为变量在稳控策略中进行定义，随后在活动和状态节点中传递。
可选地，所述构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系，包括以下步骤：
定义策略输入/输出文件中所有的集合元素为所述稳控策略模型的输入输出集合(I,O)，
策略逻辑描述文件中每一列对应稳控策略模型中活动A和状态S；
策略逻辑描述文件中列与列之间关系稳控策略模型的变迁T；
策略逻辑描述文件中的行与行之间的关系稳控策略模型的分支节点F和聚合节点J。
可选地，所述转换规则包括：
稳控策略模型中只能有一个初始活动和一个结束活动，初始活动没有输入事件并且只有一个输出事件，结束活动只有一个输入事件但没有输出事件；
稳控策略模型复合活动中只能有一个初始状态和一个结束状态，初始状态没有输入事件并且只有一个输出事件，结束状态只有一个输入事件但没有输出事件；
稳控策略模型中出现一个分支时，要有一个对应的聚合将从该分支出去的执行路径合并在一起；
稳控策略模型中分支对应的每条路径上的输出事件是互斥的，用于保证每次只执行其中的一条路径；所有路径上输出事件取并的结果是永真的，用于保证每次执行存在对应的路径；
稳控策略模型中的活动可以并发运行，复合活动中的状态不可以并发运行；
稳控策略模型中如果出现多重循环，内层循环必须在内层结束，外层循环必须在外层结束，不允许出现内外循环交叉的情况，也不允许出现循环重复出现的情况。
可选地，所述从所述稳控策略模型提取与目标代码生成相关的信息，包括以下步骤：
将稳控策略模型中的每种模型元素都对应一个固定的XMI标签和属性，生成对应的XMI元素，进而获得XMI文件；
通过开放源代码插件dom4j解析所述XMI文件，生成AST内存数据。
第二方面，本发明提供了一种基于稳控策略可视化编程自动生成装置代码的装置，包括：
第一构建模块，用于构建稳控策略统一描述文件，包括稳控策略输入/输出文件及稳控策略逻辑描述文件；
第二构建模块，用于利用有限状态机理论构建稳控策略模型；
第三构建模块，用于构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系；
定义模块，用于定义所述稳控策略模型转换为目标代码的转换规则；
代码自动生成模块，用于从所述稳控策略模型提取与目标代码生成相关的信息，并基于所述转换规则采用可视化编程技术自动生成装置代码。
第三方面，本发明提供了一种基于稳控策略可视化编程自动生成装置代码的系统，其特征在于，包括存储介质和处理器；
所述存储介质用于存储指令；
所述处理器用于根据所述指令进行操作以执行根据第一方面中任一项所述方法的步骤。
与现有技术相比，本发明的有益效果：
本发明基于共性算法和逻辑，研究安全稳定控制系统决策需求的快速重构，实现稳控策略核心代码的自动生成，提升开发的效率，从根本上提升稳控策略可靠性，减轻安全稳定控制系统开发和维护成本。
本发明不仅能提升大电网复杂故障场景系统保护方案及其控制策略测试验证水平，更能提升稳控装置整体的工程开发效率，减轻工程开发人员的负担。适应安全稳定控制决策需求的控制系统重构快速建模方法研究能够有效降低控制系统开发周期，提高可靠性，降低开发人员对装置开发的不利影响，实现装置开发维护成本的降低和可靠性的提高。
附图说明
为了使本发明的内容更容易被清楚地理解，下面根据具体实施例并结合附图，对本发明作进一步详细的说明，其中：
图1是触发条件、策略动作条件、控制量计算、控制措施关系图；
图2是安全稳定控制策略活动图；
图3是稳控策略统一描述文件与策略模型之间的映射关系图；
图4是XMI元素、模型元素与AST的关系图；
图5是顺序结构到代码生成图；
图6是分支结构到代码生成图；
图7是循环结构到代码生成图；
图8是稳控策略可视化编程自动生成装置代码的工具框架图。
具体实施方式
为了使本发明的目的、技术方案及优点更加清楚明白，以下结合实施例，对本发明进行进一步详细说明。应当理解，此处所描述的具体实施例仅仅用以解释本发明，并不用于限定本发明的保护范围。
下面结合附图对本发明的应用原理作详细的描述。
实施例1
本发明实施例中提供了一种基于稳控策略可视化编程自动生成装置代码的方法，包括以下步骤：
构建稳控策略统一描述文件，包括稳控策略输入/输出文件及稳控策略逻辑描述文件；
利用有限状态机理论构建稳控策略模型；
构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系；
定义所述稳控策略模型转换为目标代码的转换规则；
从所述稳控策略模型提取与目标代码生成相关的信息，并基于所述转换规则采用可视化编程技术自动生成装置代码。
在本发明实施例的一种具体实施方式中，所述稳控策略统一描述文件的构建过程包括：
1)构建稳控策略输入/输出文件
本发明实施例中构建出来的稳控策略的输入/输出文件包括若干种元素，每一种元素都对应着一个集合，每一个集合都有对应的操作和变量；
所述集合为运行方式(Scsopmode)集合M、元件(SysEle)集合E、元件测值(Eledef)集合P、故障类型(Scsfault)集合F、断面功率(ScsSection)集合S、控制措施(Scsact)集合、切机对象(ScsObject)集合O、直流对象(ScsObject)集合CO、远方命令集合CMD或策略表定值(ScsClb)集合；其中，所述策略表定值集合采用行列式描述，包括运行方式集合M、元件集合E、元件测值集合P、故障类型集合F、断面功率集合S、控制措施集合、切机对象集合O、直流对象集合CO、远方命令集合CMD对应的id号以及策略表搜索算法。具体参见表1。
表1稳控策略输入/输出描述文件(即描述表)
2)构建稳控策略逻辑描述文件
所述稳控策略逻辑描述文件的构建方法具体包括：向稳控策略的典型策略表和语言类描述策略输入稳控策略中分别输入所述稳控策略输入/输出文件中的数据(若表格中单元格无相关内容，则用-代替)，获得标准的稳控策略逻辑描述文件，具体参见表2；所述稳控策略逻辑描述文件包括以下相互关联的四种类别：
触发条件，包括装置状态、运行方式、元件故障、远方命令；
策略动作条件，包括断面功率、策略表、远方通道信息、特征量；
控制量计算，包括切机及原则、切负荷及原则、控直流及原则、控无功；
控制措施，包括策略表执行、远方通道数据发送、对象控制、公式计算。
表2稳控策略逻辑描述文件
注：公式表如下
| 序号 | 属性名称 | 英文名 | 说明 |
| 1. | 有功 | p | p(x):x的有功功率 |
| 2. | 查表fp | fp | 策略表定值行列式中选定M,E,F后对应的断面功率 |
| 3. | 查表fpgq | fpgq | 策略表定值行列式中选定M,E,F后对应的切机容量 |
| 4. | 查表fpgq | fpdhj | 策略表定值行列式中选定M,E,F后对应的直流控制容量 |
| 5. | 动作 | act | act(控制类型,控制对象) |
第1条稳控策略(表2中第3行)：
触发条件：满足集合M、E、F中的任何一组条件，即满足触发条件，这组条件对应稳控策略输入/输出文件中集合元素，如m,e,f(m∈M,e∈E,f∈F)。
策略动作条件：p(S)>＝fp(E,S,F,grade)表示当前断面功率大于fp查寻值。
控制量计算：通过控制计算公式p(O)＝fpgq获得本次动作的需要实际切除机组的容量，通过控制计算公式p(CO)＝fpdhj获得本次动作实际直流控制容量。
控制措施：按分配系数k得到切机组功率p(O1),p(O2)。
实际出口动作中，通过act(1,O1),act(1,O2)和act(1,CO1)切除机组O1容量，切除机组O2容量和控制直流CO1。
第2条稳控策略(表2中第4行)：
触发条件：收到远方切除机组命令CMD1。
动作条件判断：p(CMD1)>0，满足切机动作条件。
控制措施：按分配获得切机组功率p(O2),p(O3)
实际出口动作中，通过act(1,O2),act(1,O3)切除机组O2容量，切除机组O3容量。
在本发明实施例的一种具体实施方式中，所述稳控策略模型的构建方法包括：
利用有限状态机理论定义稳控策略模型，所述稳控策略模型为七元组{A,S,F,J,T,I,O}，所述七元组用于定义识别出稳控策略模型中的各个循环结构、分支结构与同步结构的开始与结束点，划定结构作用域，其中：
活动A：{开始活动(A0)、结束活动(TA)、普通活动(NA)、复合活动(CA)}；
状态S：{开始状态(S0)、结束状态(TS)、普通状态(NS)}；
分支节点F：{异或分支节点}；
聚合节点J：{异或聚合节点}；
变迁T：{源节点、目标节点、守卫条件}；
输入输出集合(I,O)：输入输出集合作为变量在稳控策略中进行定义，随后在活动和状态节点中传递。
其中，顺序结构表示活动之间的因果关系，如图5所示，A必须在B之前执行，B必须在C之前执行。即先执行活动A的动作，再执行活动B的动作，最后执行活动C的动作。其对应的C语言代码结构是先执行活动A的函数，再执行活动B的函数，最后执行活动C的函数。
分支结构如图6所示，活动A完成之后，将控制流划分为两个分支活动D、活动E和活动F，最后都会通过XorJoin汇聚到活动E，生成分支结构对应的代码。
循环结构如图7所示，当一个活动执行完成后再次执行这个活动，为一个循环，映射为循环控制语句while语句。
在本发明实施例的一种具体实施方式中，安全稳定控制装置的每一次启动都是控制流程的一个实例运行，该稳控策略模型可通过创建若干个简单活动、复杂活动以及活动之间的分叉与聚合构成。如图2所示，示例中安全稳定控制流程包括了运行方式确定活动、元件检测活动、故障检测活动、潮流计算活动、策略表查询活动、控制措施集合查询活动、控制措施查询活动、执行流程控制命令等活动，以及活动之间的变迁(如分支节点4和聚合节点9)。具体地，所述构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系，包括以下步骤：
定义策略输入/输出文件中所有的集合元素为所述稳控策略模型的输入输出集合(I,O)，如图3所示，这些单元与控制时钟管理按FIFO队列模式作为策略逻辑状态机的输入；
策略逻辑描述文件中每一列对应稳控策略模型中活动A和状态S；
策略逻辑描述文件中列与列之间关系稳控策略模型的变迁T(如满足列p(CMD1)>0，变迁到if(p(P7)>p(CMD1))判断，最后变迁到act(1,O2))；
策略逻辑描述文件中的行与行之间的关系稳控策略模型的分支节点F和聚合节点J。如图3所示，策略逻辑状态机是2)中策略逻辑描述文件对应策略模型的状态机表述，同时也是6)中模型元素到策略逻辑抽象语法树的中间桥梁。
在本发明实施例的一种具体实施方式中，为了方便将模型转换为目标代码，对建模定义如下规则。所述转换规则包括：
稳控策略模型中只能有一个初始活动和一个结束活动，初始活动没有输入事件并且只有一个输出事件，结束活动只有一个输入事件但没有输出事件；
稳控策略模型复合活动中只能有一个初始状态和一个结束状态，初始状态没有输入事件并且只有一个输出事件，结束状态只有一个输入事件但没有输出事件；
稳控策略模型中出现一个分支时，要有一个对应的聚合将从该分支出去的执行路径合并在一起；
稳控策略模型中分支对应的每条路径上的输出事件是互斥的，用于保证每次只执行其中的一条路径；所有路径上输出事件取并的结果是永真的，用于保证每次执行存在对应的路径；
稳控策略模型中的活动可以并发运行，复合活动中的状态不可以并发运行；
稳控策略模型中如果出现多重循环，内层循环必须在内层结束，外层循环必须在外层结束，不允许出现内外循环交叉的情况，也不允许出现循环重复出现的情况。
在本发明实施例的一种具体实施方式中，采用XMI作为安全稳定控制策略模型的存储格式，在进行代码生成的时候，需要用到策略模型中的信息。因此，需要对XMI文件进行信息提取，从而来获得代码生成的一些关键信息。由于XMI文件是一个树形结构，采用深度优先遍历来提取与代码生成相关的信息，储存和提取的模型信息如表3所示。
表3提取的模型信息
具体地，所述从所述稳控策略模型提取与目标代码生成相关的信息，包括以下步骤：
将稳控策略模型中的每种模型元素都对应一个固定的XMI标签和属性，生成对应的XMI元素，进而获得XMI文件；
通过开放源代码插件dom4j解析所述XMI文件，生成AST内存数据，具体参见图4。
在实际应用过程中，本发明实施例中提出的方法在使用之间需要建立稳控策略可视化编程自动生成装置代码的工具框架，如图8所示，所述工具框架具体包括顺次设置的第一层、第二层、第三层、第四层和第五层；
第一层为图形用户界面，基于可视化建模软件之上，为开发人员提供可视化建模的基本操作界面，就是工具的可视化界面，可通过绘图和拖拽完成稳控策略模型的搭建。
第二层为稳控策略快速建模工具的功能构成，主要包括模型的可视化编辑、模型验证、模型解析；
第三层为支撑可视化建模软件的框架层，包括GEF图形化建模框架，Dom4库，EMF框架，GEFruntime框架等。GEF图形化建模框架，Dom4库，EMF框架，GEFruntime框架等，这些都是Eclipse开源的插件。
第四层为Eclipse集成开发环境层，提供工具运行环境和基础平台。
第五层为操作系统层，底层操作系统仅支持Windows。
实施例2
基于与实施例1相同的发明构思，本发明实施例中提供了一种基于稳控策略可视化编程自动生成装置代码的装置，包括：
第一构建模块，用于构建稳控策略统一描述文件，包括稳控策略输入/输出文件及稳控策略逻辑描述文件；
第二构建模块，用于利用有限状态机理论构建稳控策略模型；
第三构建模块，用于构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系；
定义模块，用于定义所述稳控策略模型转换为目标代码的转换规则；
代码自动生成模块，用于从所述稳控策略模型提取与目标代码生成相关的信息，并基于所述转换规则采用可视化编程技术自动生成装置代码。
其余部分均与实施例1相同。
实施例3
基于与实施例1相同的发明构思，本发明实施例中提供了一种基于稳控策略可视化编程自动生成装置代码的系统，其特征在于，包括存储介质和处理器；
所述存储介质用于存储指令；
所述处理器用于根据所述指令进行操作以执行根据实施例1中任一项所述方法的步骤。
本领域内的技术人员应明白，本申请的实施例可提供为方法、系统、或计算机程序产品。因此，本申请可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且，本申请可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、CD-ROM、光学存储器等)上实施的计算机程序产品的形式。
本申请是参照根据本申请实施例的方法、设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理设备的处理器以产生一个机器，使得通过计算机或其他可编程数据处理设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理设备以特定方式工作的计算机可读存储器中，使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品，该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理设备上，使得在计算机或其他可编程设备上执行一系列操作步骤以产生计算机实现的处理，从而在计算机或其他可编程设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
以上结合附图对本发明的实施例进行了描述，但是本发明并不局限于上述的具体实施方式，上述的具体实施方式仅仅是示意性的，而不是限制性的，本领域的普通技术人员在本发明的启示下，在不脱离本发明宗旨和权利要求所保护的范围情况下，还可做出很多形式，这些均属于本发明的保护之内。
以上显示和描述了本发明的基本原理和主要特征和本发明的优点。本行业的技术人员应该了解，本发明不受上述实施例的限制，上述实施例和说明书中描述的只是说明本发明的原理，在不脱离本发明精神和范围的前提下，本发明还会有各种变化和改进，这些变化和改进都落入要求保护的本发明范围内。本发明要求保护范围由所附的权利要求书及其等效物界定。
Claims (10)
1.一种基于稳控策略可视化编程自动生成装置代码的方法，其特征在于，包括：
构建稳控策略统一描述文件，包括稳控策略输入/输出文件及稳控策略逻辑描述文件；
利用有限状态机理论构建稳控策略模型；
构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系；
定义所述稳控策略模型转换为目标代码的转换规则；
从所述稳控策略模型提取与目标代码生成相关的信息，并基于所述转换规则采用可视化编程技术自动生成装置代码。
2.根据权利要求1所述的一种基于稳控策略可视化编程自动生成装置代码的方法，其特征在于：所述稳控策略的输入/输出文件包括若干种元素，每一种元素都对应着一个集合，每一个集合都有对应的操作和变量；
所述集合为运行方式集合M、元件集合E、元件测值集合P、故障类型集合F、断面功率集合S、控制措施集合、切机对象集合O、直流对象集合CO、远方命令集合CMD或策略表定值集合。
3.根据权利要求2所述的一种基于稳控策略可视化编程自动生成装置代码的方法，其特征在于：所述策略表定值集合采用行列式描述，包括运行方式集合M、元件集合E、元件测值集合P、故障类型集合F、断面功率集合S、控制措施集合、切机对象集合O、直流对象集合CO、远方命令集合CMD对应的id号以及策略表搜索算法。
4.根据权利要求1所述的一种基于稳控策略可视化编程自动生成装置代码的方法，其特征在于，所述稳控策略逻辑描述文件的构建方法为：向稳控策略的典型策略表和语言类描述策略输入稳控策略中分别输入所述稳控策略输入/输出文件中的数据，获得标准的稳控策略逻辑描述文件；所述稳控策略逻辑描述文件包括以下相互关联的四种类别：触发条件，包括装置状态、运行方式、元件故障、远方命令；
策略动作条件，包括断面功率、策略表、远方通道信息、特征量；
控制量计算，包括切机及原则、切负荷及原则、控直流及原则、控无功；
控制措施，包括策略表执行、远方通道数据发送、对象控制、公式计算。
5.根据权利要求1所述的一种基于稳控策略可视化编程自动生成装置代码的方法，其特征在于：所述稳控策略模型的构建方法包括：
利用有限状态机理论定义稳控策略模型，所述稳控策略模型为七元组{A,S,F,J,T,I,O}，所述七元组用于定义识别出稳控策略模型中的各个循环结构、分支结构与同步结构的开始与结束点，划定结构作用域，其中：
活动A：{开始活动(A0)、结束活动(TA)、普通活动(NA)、复合活动(CA)}；
状态S：{开始状态(S0)、结束状态(TS)、普通状态(NS)}；
分支节点F：{异或分支节点}；
聚合节点J：{异或聚合节点}；
变迁T：{源节点、目标节点、守卫条件}；
输入输出集合(I,O)：输入输出集合作为变量在稳控策略中进行定义，随后在活动和状态节点中传递。
6.根据权利要求5所述的一种基于稳控策略可视化编程自动生成装置代码的方法，其特征在于，所述构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系，包括以下步骤：
定义策略输入/输出文件中所有的集合元素为所述稳控策略模型的输入输出集合(I,O)，策略逻辑描述文件中每一列对应稳控策略模型中活动A和状态S；
策略逻辑描述文件中列与列之间关系稳控策略模型的变迁T；
策略逻辑描述文件中的行与行之间的关系稳控策略模型的分支节点F和聚合节点J。
7.根据权利要求4所述的一种基于稳控策略可视化编程自动生成装置代码的方法，其特征在于，所述转换规则包括：
稳控策略模型中只能有一个初始活动和一个结束活动，初始活动没有输入事件并且只有一个输出事件，结束活动只有一个输入事件但没有输出事件；
稳控策略模型复合活动中只能有一个初始状态和一个结束状态，初始状态没有输入事件并且只有一个输出事件，结束状态只有一个输入事件但没有输出事件；
稳控策略模型中出现一个分支时，要有一个对应的聚合将从该分支出去的执行路径合并在一起；
稳控策略模型中分支对应的每条路径上的输出事件是互斥的，用于保证每次只执行其中的一条路径；所有路径上输出事件取并的结果是永真的，用于保证每次执行存在对应的路径；
稳控策略模型中的活动可以并发运行，复合活动中的状态不可以并发运行；
稳控策略模型中如果出现多重循环，内层循环必须在内层结束，外层循环必须在外层结束，不允许出现内外循环交叉的情况，也不允许出现循环重复出现的情况。
8.根据权利要求1所述的一种基于稳控策略可视化编程自动生成装置代码的方法，其特征在于，所述从所述稳控策略模型提取与目标代码生成相关的信息，包括以下步骤：
将稳控策略模型中的每种模型元素都对应一个固定的XMI标签和属性，生成对应的XMI元素，进而获得XMI文件；
通过开放源代码插件dom4j解析所述XMI文件，生成AST内存数据。
9.一种基于稳控策略可视化编程自动生成装置代码的装置，其特征在于，包括：
第一构建模块，用于构建稳控策略统一描述文件，包括稳控策略输入/输出文件及稳控策略逻辑描述文件；
第二构建模块，用于利用有限状态机理论构建稳控策略模型；
第三构建模块，用于构建所述稳控策略统一描述文件与稳控策略模型之间的映射关系；
定义模块，用于定义所述稳控策略模型转换为目标代码的转换规则；
代码自动生成模块，用于从所述稳控策略模型提取与目标代码生成相关的信息，并基于所述转换规则采用可视化编程技术自动生成装置代码。
10.一种基于稳控策略可视化编程自动生成装置代码的系统，其特征在于，包括存储介质和处理器；
所述存储介质用于存储指令；
所述处理器用于根据所述指令进行操作以执行根据权利要求1-8中任一项所述方法的步骤。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202210989767.6A CN115495064A (zh) | 2022-08-18 | 2022-08-18 | 基于稳控策略可视化编程自动生成装置代码的方法、装置及系统 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202210989767.6A CN115495064A (zh) | 2022-08-18 | 2022-08-18 | 基于稳控策略可视化编程自动生成装置代码的方法、装置及系统 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN115495064A true CN115495064A (zh) | 2022-12-20 |
Family
ID=84467016
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202210989767.6A Pending CN115495064A (zh) | 2022-08-18 | 2022-08-18 | 基于稳控策略可视化编程自动生成装置代码的方法、装置及系统 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN115495064A (zh) |
-
2022
- 2022-08-18 CN CN202210989767.6A patent/CN115495064A/zh active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Kabir | An overview of fault tree analysis and its application in model based dependability analysis | |
| Bucci et al. | Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability | |
| US10657029B2 (en) | Partitioning block diagrams into executable contextual models | |
| Dávid et al. | Foundations for streaming model transformations by complex event processing | |
| CN104391692B (zh) | 用于读写psd‑bpa数据文件的面向对象编程方法 | |
| Yakymets et al. | Model-based system engineering for fault tree generation and analysis | |
| US20200192327A1 (en) | Systems and methods for evaluating assessments | |
| CN111553070A (zh) | 一种稳定控制装置动作逻辑的有限状态机建模方法、装置及存储介质 | |
| CN108595334A (zh) | 一种计算Java程序动态切片的方法、装置及可读存储介质 | |
| Lednicki et al. | Model level worst-case execution time analysis for IEC 61499 | |
| Alfonsi et al. | Risk analysis virtual ENvironment for dynamic event tree-based analyses | |
| Kulkarni et al. | Novel approach to transform UML Sequence diagram to Activity diagram | |
| Islam et al. | Measuring energy footprint of software features | |
| CN107247827A (zh) | 基于机器学习的虚端子模型建模及自动连线方法 | |
| Lipaczewski et al. | Using tool-supported model based safety analysis--Progress and experiences in SAML development | |
| CN115495064A (zh) | 基于稳控策略可视化编程自动生成装置代码的方法、装置及系统 | |
| Xu et al. | Research on time-dependent failure modeling method of integrating discrete dynamic event tree with fault tree | |
| Kaczor et al. | Visual design of Drools rule bases using the XTT2 method | |
| Tripathi et al. | Dynamic reliability framework for a Nuclear Power Plant using dynamic flowgraph methodology | |
| CN111997692B (zh) | 井下通风监测点布置方法、监测方法、装置及存储介质 | |
| Herbert et al. | Workflow fault tree generation through model checking | |
| HE et al. | An automated GO-FLOW modeling tool for system reliability analysis | |
| US11727204B2 (en) | Schema and object extractor | |
| Alfonsi et al. | Dynamic Event Tree advancements and control logic improvements | |
| Liang et al. | Identification of Human Operation Deviation Using a Conformance Checking Technique |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| TA01 | Transfer of patent application right |
Effective date of registration: 20230803 Address after: 210006 Building 2, No. 19, Chengxin Avenue, Jiangning Economic and Technological Development Zone, Nanjing, Jiangsu Province Applicant after: NARI TECHNOLOGY Co.,Ltd. Applicant after: NARI Group Corp. Applicant after: NARI NANJING CONTROL SYSTEM Co.,Ltd. Address before: 211106 2 2 integrity Avenue, Jiangning economic and Technological Development Zone, Nanjing, Jiangsu. Applicant before: NARI TECHNOLOGY Co.,Ltd. Applicant before: NARI Group Corp. |
|
| TA01 | Transfer of patent application right | ||
| TA01 | Transfer of patent application right |
Effective date of registration: 20240516 Address after: No. 19, Chengxin Avenue, Jiangning Economic and Technological Development Zone, Nanjing, Jiangsu 210006 Applicant after: NARI Group Corp. Country or region after: China Applicant after: NARI NANJING CONTROL SYSTEM Co.,Ltd. Address before: 210006 Building 2, No. 19, Chengxin Avenue, Jiangning Economic and Technological Development Zone, Nanjing, Jiangsu Province Applicant before: NARI TECHNOLOGY Co.,Ltd. Country or region before: China Applicant before: NARI Group Corp. Applicant before: NARI NANJING CONTROL SYSTEM Co.,Ltd. |
|
| TA01 | Transfer of patent application right |