高可靠性智能灌溉系统的形式化验证方法
相似文章
-
智慧农业水田作物网络化精准灌溉系统设计 [鲁旭涛, 张丽娜, 刘昊, 智超群, 李静] 农业工程学报 2021 (17) 71-81
-
基于LabVIEW开发环境下的农田智能精准灌溉系统设计 [潘杰, 王福平, 焦方桐, 赵正军] 节水灌溉 2017 (11) 97-100+104
-
MCGS和PLC在智能灌溉监控系统中的应用研究 [牟淑杰] 安徽农业科学 2011,39 (7) 4258+4275
-
基于MSP430的智能灌溉系统设计 [刘善梅, 彭辉] 农机化研究 2010,32 (7) 117-120
-
基于专家决策模型的智能节水灌溉系统的研究 [李真真] 农业与技术 2020,40 (14) 53-56
-
基于ZigBee技术的葡萄园智能灌溉系统设计 [贾艳玲, 刘思远] 江苏农业科学 2015,43 (6) 383-385
-
基于物联网的农田智能灌溉系统 [白秋产] 江苏农业科学 2017 (22) 247-251
-
基于无线传感器网络智能灌溉系统的设计 [杨柏楠] 农业科技与信息 2016 (10) 95
-
基于无线传感器网络技术的智能灌溉系统的设计 [胡冬严] 农业科技与信息 2016 (29) 102
-
基于ZigBee的农田智能节水灌溉系统的设计 [陈艳丽, 谢芳] 中国农机化学报 2017,38 (2) 81-83+129
