发明专利已授权

应用于自动售卖机系统的基于模型检测的反例精化系统

📄 申请号：CN201910676758.X 📄 发布日：2026/06/16

著录项目信息

申请日

2019-07-25

公开号

CN110489335B

公开日

2023-01-24

申请人

金陵科技学院

法律状态

已下证

专利类型

发明

主分类号

G06F11_36

IPC 分类号

G06F11_36 , G07F9_00 ,

技术画像

所属领域

自动售卖机模型检测反例精化形式化验证自动售卖机

应用场景

自动售卖机, 无人零售, 智能零售, 商业自动化, 自助零售终端

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

本发明公开了应用于自动售卖机系统的基于模型检测的反例精化系统，包含最短路径构建模块、最短路径事件处理模块、事件顺序检测模块、非最短路径事件处理模块，通过几个模块对反例集合的分类以及处理，使反例能够被分析事件本身以及事件之间顺序是否是待检测的性质在系统不成立的原因，并且需要精简反例集合，找出最短反例路径，并标注非最短反例路径与最短反例路径的不同，本发明提供的系统用于需要进行性质验证的系统，该系统经过模型检测产生不满足性质的反例路径集合，通过对反例路径集合的进一步处理能够将反例路径集合进一步精化，有助于后期分析系统不满足性质的原因，对现实中模型检测的系统有着很大的应用意义。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

一种面向时间的分布式档案管理方法

当前第 / 件

汽车复合材料模压成形件的圆度测量方法

同领域国内专利 · IPC: (G06F11_36)

G06F11_00 G06F11_07 G06F11_08 G06F11_10 G06F11_14 G06F11_1446 G06F11_20 G06F11_22 G06F11_26 G06F11_263 G06F11_267 G06F11_27 G06F11_273 G06F11_30 G06F11_32 G06F11_34 G06F11_36 G06F11_3604 G06F11_362 G06F11_3668 覆盖20个领域

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：24 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)

应用于自动售卖机系统的基于模型检测的反例精化系统

著录项目信息

技术画像

所属领域

应用场景

摘要

法律状态时间线

同领域国内专利 · IPC: (G06F11_36)

相似专利推荐 AI 驱动 · 同领域

一种具有粘贴底座的智能旋转售货机

一种便于取货的智能旋转售货机

一种新型售货机开关门机构

服务项目

资源中心

关于柿子坊