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

摘要：综合室内温度和湿度定性与定量的描述信息,基于模糊控制原理建立了模糊智能加湿系统。建立了室内温度和湿度的隶属度函数,给出了基于不同温度、湿度等级确定加湿时长的模糊推理规则库。获取当前室内温度和湿度,系统会通过模糊合成计算智能确定加湿时长。讨论了系统运行的时间复杂度和空间复杂度,并进行了证明。最后给出了模糊智能加湿系统的一个运行实例。