【摘 要】
：
中医产业不断发展,但传统人工抓取中药费时费力、效率低下,不够精准。文章设计了一个中药自动抓药系统模型,定义了合理的时序控制矩阵和状态迁移函数,使系统实现了自动、高效
【基金项目】
：
陕西省教育厅专项科研计划项目(编号:16JK1236);商洛学院科研项目(编号:15SKY001)资助
论文部分内容阅读
中医产业不断发展,但传统人工抓取中药费时费力、效率低下,不够精准。文章设计了一个中药自动抓药系统模型,定义了合理的时序控制矩阵和状态迁移函数,使系统实现了自动、高效、精准抓药。文章将系统规约到Kripke结构,定义了系统安全性、活性、无阻性等约束性质保证系统公平、合理不"空转",并将这些性质抽象成LTL公式,给出了系统基于不动点的模型检测算法,分析了算法的复杂度,最后给出了系统的一个模型检测实例,证明系统安全、合理。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文以大豆组分为基础,从四个方面论述了我国大豆食品研究的现状和发展大豆精深加工的重要意义,提出了自己的建议及大豆加工业今后发展的方向.
中药品质的优劣直接关系着临床疗效的优劣与科学研究的发展,它是保证中药的有效性、安全性、可控性的基础。主要对当前中药品质评价的研究现状进行整理,发现目前中药品质评价
中韩两国地理位置相近,文化相通,百姓间往来友好,自1992年两国建交以来,双方一直保持着十分频繁的往来。近年来,随着两国领导人的互访,两国间将会释放出更多的善意。两国人民
本报告基于《加利福尼亚州公共事业委员会第16-04-041号决定》(下称<决定>)的翻译实践作出。《决定》中详细讨论了与新型网络交通服务相关的问题和规章制度。作为一种法律文
药品与民众生命、健康紧密相关,药品管制是关乎民生的重大课题。目前,药品管制的独立性问题成为争论的焦点之一。本文从经济学角度分析了中国建立药品独立性管制的必要性,以
目的了解武汉市东西湖区居民伤害死亡情况,为制定高危人群伤害预防策略和措施提供科学依据。方法收集整理东西湖区2015年居民死因监测资料的伤害死亡数据,计算死亡率、标化死
国有企业资本结构问题是制约其改革深化的观点之一。国有企业的根本原因在于政府行为扭曲了企业市场关系，目标多元化使企业偏离了价值最大化目标。对国有企业资本结构的调整必
为了实现免费避孕药具业务工作全流程信息化管理,充分发挥信息化对药具工作的支撑和促进作用,山东省需要构建一个可实现服务管理业务共享的综合性平台。本文针对这一需求进行
本报告以美国作家黛博拉·艾森伯格的短篇小说《前车之鉴》为翻译题材。该小说反映了当代美国人的真实生活,讲述了主人公帕蒂在生活重压下维持一段非同寻常的友谊的故事。工