中药自动抓药系统设计与验证

• 作者: 鱼先锋
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 中药自动抓药系统 时序控制矩阵 不动点 模型检测
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 系统结构
• 页码范围: 2029-2033,2116
• 页数: 6页
• 分类号: TP301.2
• 字数: 4811字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2018.10.018

摘要

中医产业不断发展,但传统人工抓取中药费时费力、效率低下,不够精准.文章设计了一个中药自动抓药系统模型,定义了合理的时序控制矩阵和状态迁移函数,使系统实现了自动、高效、精准抓药.文章将系统规约到Kripke结构,定义了系统安全性、活性、无阻性等约束性质保证系统公平、合理不"空转",并将这些性质抽象成LTL公式,给出了系统基于不动点的模型检测算法,分析了算法的复杂度,最后给出了系统的一个模型检测实例,证明系统安全、合理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鱼先锋	商洛学院数学与计算机应用学院	26	63	5.0	6.0