- 专利标题: 一种行为树模型到Kripke结构的映射方法
-
申请号: CN202110713965.5申请日: 2021-06-25
-
公开(公告)号: CN113268890B公开(公告)日: 2023-06-23
- 发明人: 熊海军 , 张琦 , 王晓辉 , 王蓝婧 , 张静华
- 申请人: 华北电力大学(保定)
- 申请人地址: 河北省保定市北市区永华北大街619号
- 专利权人: 华北电力大学(保定)
- 当前专利权人: 华北电力大学(保定)
- 当前专利权人地址: 河北省保定市北市区永华北大街619号
- 代理机构: 石家庄轻拓知识产权代理事务所
- 代理商 黄辉本
- 主分类号: G06F30/20
- IPC分类号: G06F30/20 ; G06M1/272 ; G06F16/901
摘要:
本发明涉及统建模与仿真分析技术领域,提出了一种行为树模型到Kripke结构的映射方法,包括:建立行为树中“原子行为”元素的Kripke标记,建立行为树中“选择进程”元素的Kripke标记,建立行为树中“锁闭进程”元素的Kripke标记,建立行为树中“并行进程”元素的Kripke标记,建立行为树中“顺序进程”元素的Kripke标记,建立行为树中“解锁进程”元素的Kripke标记,建立行为树中“守护进程”元素的Kripke标记,建立行为树中“循环进程”元素的Kripke标记,在上述Kripke结构的基础上,将Kripke结构转化为状态机,本发明以提供一种行为树模型到Kripke结构的映射方法,该方法不仅能够指导基于行为树模型中各种结构到Kripke结构的转换、还可用于指导所建模型的仿真运行。
公开/授权文献
- CN113268890A 一种行为树模型到Kripke结构的映射方法 公开/授权日:2021-08-17