一种行为树模型到Kripke结构的映射方法

    公开(公告)号:CN113268890B

    公开(公告)日:2023-06-23

    申请号:CN202110713965.5

    申请日:2021-06-25

    摘要: 本发明涉及统建模与仿真分析技术领域,提出了一种行为树模型到Kripke结构的映射方法,包括:建立行为树中“原子行为”元素的Kripke标记,建立行为树中“选择进程”元素的Kripke标记,建立行为树中“锁闭进程”元素的Kripke标记,建立行为树中“并行进程”元素的Kripke标记,建立行为树中“顺序进程”元素的Kripke标记,建立行为树中“解锁进程”元素的Kripke标记,建立行为树中“守护进程”元素的Kripke标记,建立行为树中“循环进程”元素的Kripke标记,在上述Kripke结构的基础上,将Kripke结构转化为状态机,本发明以提供一种行为树模型到Kripke结构的映射方法,该方法不仅能够指导基于行为树模型中各种结构到Kripke结构的转换、还可用于指导所建模型的仿真运行。

    一种云平台下的分布式系统行为仿真分析系统的实现方法

    公开(公告)号:CN106096159B

    公开(公告)日:2019-05-21

    申请号:CN201610441113.4

    申请日:2016-06-20

    IPC分类号: G06F17/50

    摘要: 本发明公开了一种云平台下的分布式系统行为仿真分析系统的实现方法,首先搭建或选用系统所需要的云平台环境,将基于行为树的分布式系统模型的XML文件存入HDFS文件系统中;评估分析仿真任务的复杂度,并决定是否将任务放在云平台下运行;根据相应的key值分配reduce,并行处理后的结果经Reduce汇总后计算全局搜索结果;在main函数中,设置云平台相关参数包含文件路径、map函数、reduce函数,启动云计算过程;最后从云计算的结果文件中获取结果并输出到图形用户界面。本发明能够有效的提高复杂路径搜索过程的执行效率。

    基于Q-Learning算法的输配电线路覆冰处置预案生成方法

    公开(公告)号:CN114548540A

    公开(公告)日:2022-05-27

    申请号:CN202210146606.0

    申请日:2022-02-17

    摘要: 本发明公开了一种基于Q‑Learning算法的输配电线路覆冰处置预案生成方法,属于电力线路除冰优化技术领域,步骤以下:建立覆冰增长和发展、处置的环境模型;基于Q‑Learning算法,构建覆冰处置行动方案探索的智能体学习模型并完成训练;选择特定的环境模型作为预案所对应的环境;将训练好的智能体模型作用于预案环境,计算出最优处理策略;将上述环境的每一变化及采取的每一措施输出到处置预案的word文档;构建覆冰处置预案演示动画,为培训处置人员提供帮助。本发明通过将与线路状态相关的数据构建为环境,采用强化学习完成决策优化,采用Q‑Learning算法构建学习模型,完成智能体和评价函数的学习;智能体与之交互,输出相应的处置预案,采用word格式输出预案。

    一种行为树模型到Kripke结构的映射方法

    公开(公告)号:CN113268890A

    公开(公告)日:2021-08-17

    申请号:CN202110713965.5

    申请日:2021-06-25

    摘要: 本发明涉及统建模与仿真分析技术领域,提出了一种行为树模型到Kripke结构的映射方法,包括:建立行为树中“原子行为”元素的Kripke标记,建立行为树中“选择进程”元素的Kripke标记,建立行为树中“锁闭进程”元素的Kripke标记,建立行为树中“并行进程”元素的Kripke标记,建立行为树中“顺序进程”元素的Kripke标记,建立行为树中“解锁进程”元素的Kripke标记,建立行为树中“守护进程”元素的Kripke标记,建立行为树中“循环进程”元素的Kripke标记,在上述Kripke结构的基础上,将Kripke结构转化为状态机,本发明以提供一种行为树模型到Kripke结构的映射方法,该方法不仅能够指导基于行为树模型中各种结构到Kripke结构的转换、还可用于指导所建模型的仿真运行。

    一种基于行为树的分布式系统行为仿真分析工具的实现方法

    公开(公告)号:CN106021816B

    公开(公告)日:2019-01-22

    申请号:CN201610441100.7

    申请日:2016-06-20

    IPC分类号: G06F17/50

    摘要: 本发明公开了一种基于行为树的分布式系统行为仿真分析工具的实现方法:建立典型的行为树元素所对应图元的图形符号,设计实现对XML文档表述的行为树模型的仿真功能,设计实现基于XML的行为树模型的遍历算法,给出用户定义“行为在时间代价内是否可达性验证”的输入接口,设计用于记录遍历时间代价的变量,实现模型中行为定义的外部java编程接口,使得仿真工具能够调用用户自定义的函数。通过本发明的方法可实现基于行为树的图形化仿真分析工具,采用该方法实现的工具可实现系统建模,并为分布式系统的交互逻辑合理性、实时性和可靠性分析提供方法,具有模型简单、描述能力强、准确全面的特点。

    一种云平台下的分布式系统行为仿真分析系统的实现方法

    公开(公告)号:CN106096159A

    公开(公告)日:2016-11-09

    申请号:CN201610441113.4

    申请日:2016-06-20

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5036

    摘要: 本发明公开了一种云平台下的分布式系统行为仿真分析系统的实现方法,首先搭建或选用系统所需要的云平台环境,将基于行为树的分布式系统模型的XML文件存入HDFS文件系统中;评估分析仿真任务的复杂度,并决定是否将任务放在云平台下运行;根据相应的key值分配reduce,并行处理后的结果经Reduce汇总后计算全局搜索结果;在main函数中,设置云平台相关参数包含文件路径、map函数、reduce函数,启动云计算过程;最后从云计算的结果文件中获取结果并输出到图形用户界面。本发明能够有效的提高复杂路径搜索过程的执行效率。

    一种基于行为树的分布式系统行为仿真分析工具的实现方法

    公开(公告)号:CN106021816A

    公开(公告)日:2016-10-12

    申请号:CN201610441100.7

    申请日:2016-06-20

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5009

    摘要: 本发明公开了一种基于行为树的分布式系统行为仿真分析工具的实现方法:建立典型的行为树元素所对应图元的图形符号,设计实现对XML文档表述的行为树模型的仿真功能,设计实现基于XML的行为树模型的遍历算法,给出用户定义“行为在时间代价内是否可达性验证”的输入接口,设计用于记录遍历时间代价的变量,实现模型中行为定义的外部java编程接口,使得仿真工具能够调用用户自定义的函数。通过本发明的方法可实现基于行为树的图形化仿真分析工具,采用该方法实现的工具可实现系统建模,并为分布式系统的交互逻辑合理性、实时性和可靠性分析提供方法,具有模型简单、描述能力强、准确全面的特点。