中药自动抓药系统设计与验证
鱼先锋
商洛学院数学与计算机应用学院 商洛 726000
摘要：中医产业不断发展,但传统人工抓取中药费时费力、效率低下,不够精准.文章设计了一个中药自动抓药系统模型,定义了合理的时序控制矩阵和状态迁移函数,使系统实现了自动、高效、精准抓药.文章将系统规约到Kripke结构,定义了系统安全性、活性、无阻性等约束性质保证系统公平、合理不"空转",并将这些性质抽象成LTL公式,给出了系统基于不动点的模型检测算法,分析了算法的复杂度,最后给出了系统的一个模型检测实例,证明系统安全、合理.
关键词：中药自动抓药系统时序控制矩阵不动点模型检测
分类号：TP301.2(计算技术、计算机技术)
资助基金：陕西省教育厅专项科研项目(16JK1236)商洛学院科研项目(15SKY001)
论文发表日期：2018-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 2029-2033,2116 )
英文信息