[发明专利]基于余代数模态逻辑的系统状态空间约简方法在审
| 申请号： | 201911190791.8 | 申请日： | 2019-11-28 |
| 公开（公告）号： | CN110956267A | 公开（公告）日： | 2020-04-03 |
| 发明（设计）人： | 陈志远 | 申请（专利权）人： | 哈尔滨工程大学 |
| 主分类号： | G06N5/04 | 分类号： | G06N5/04 |
| 代理公司： | 暂无信息 | 代理人： | 暂无信息 |
| 地址： | 150001 黑龙江省哈尔滨市南岗区*** | 国省代码： | 黑龙江;23 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 基于 数模 逻辑 系统 状态 空间 方法 | ||
【权利要求书】：
1.一种基于余代数模态逻辑的系统状态空间约简方法，其特征在于，包括如下步骤：
步骤1：任意给定克里普克结构K，唯一存在最小的克里普克结构与其互模拟等价，即K～K′；
步骤2：任意给定待验证系统的迁移系统TS或自动机A表示，存在唯一的极小迁移系统TS′或自动机A′与其等价，即TS～TS′或A～A′；
步骤3：寻找系统的最小的克里普克结构结构模型；
步骤4：迁移系统并发交错执行过程中有许多相互独立的迁移序列。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于哈尔滨工程大学，未经哈尔滨工程大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201911190791.8/1.html，转载请声明来源钻瓜专利网。
- 上一篇：一种数据写入方法及装置
- 下一篇：一种基于图像移动的简单验证方法
