原创力文档- 7
- 0
- 约2.79万字
- 约 13页
- 2023-06-20 发布于四川
- 举报
一种基于自动机的区间时序逻辑概率模型检测方法，由构建离散时间马尔可夫链模型、构建系统Büchi自动机模型、构建性质Büchi自动机模型、构建积自动机模型、生成PRISM代码、输出概率定量结果步骤组成，由于本发明采用了Büchi自动机模型实现区间时序逻辑性质的概率模型检测，在离散时间马尔可夫链模型的基础上，通过构建系统Büchi自动机、性质Büchi自动机、积自动机、模型检测器PRISM代码，得到概率定量结果，简化了构建步骤，避免了复杂的计算过程。本发明具有步骤简单、容易实现、结果准确等优点，可以
(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 113326662 A
(43)申请公布日 2021.08.31
(21)申请号 202110680507.6
(22)申请日 2021.06.18
(71)申请人 陕西师范大学
地址
文档评论（0）