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

作     者：鱼先锋 YU Xianfeng

作者机构：商洛学院数学与计算机应用学院商洛726000 

基　　金：陕西省教育厅专项科研计划项目(编号:16JK1236) 商洛学院科研项目(编号:15SKY001)资助 

出 版 物：《计算机与数字工程》 (Computer & Digital Engineering)

年 卷 期：2018年第46卷第10期

页      码：2029-2033,2116页

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

主 题 词：中药自动抓药系统 时序控制矩阵 不动点 模型检测 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1672-9722.2018.10.018

馆 藏 号：203379687...