1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

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

  • 3
  • 0
  • 约1.63万字
  • 约 10页
  • 2023-06-17 发布于四川
  • 举报

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

    本发明涉及统建模与仿真分析技术领域，提出了一种行为树模型到Kripke结构的映射方法，包括：建立行为树中“原子行为”元素的Kripke标记，建立行为树中“选择进程”元素的Kripke标记，建立行为树中“锁闭进程”元素的Kripke标记，建立行为树中“并行进程”元素的Kripke标记，建立行为树中“顺序进程”元素的Kripke标记，建立行为树中“解锁进程”元素的Kripke标记，建立行为树中“守护进程”元素的Kripke标记，建立行为树中“循环进程”元素的Kripke标记，在上述Kripke结构的

    (19)中华人民共和国国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 113268890 A (43)申请公布日 2021.08.17 (21)申请号 202110713965.5 (22)申请日 2021.06.25 (71)申请人 华北电力大学（保定）

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >