首页 > 《基层建设》 > 2018年33期 > 基于UPPAAL-TIGA的农业物联网环境系统研究

基于UPPAAL-TIGA的农业物联网环境系统研究

在线阅读下载PDF 导出详情

摘要摘要农业物联网的系统设计是设施农业系统开发生命周期中的重要阶段，UPPAAL-TIGA是一种基于时间自动机理论的模型验证工具。本项目对农业物联网的特性进行分析，利用时间自动机理论在物联网环境系统设计进行建模与验证，保证系统正确性。

DOI odw61km94k/3125556

作者刘欣

机构地区承德石油高等专科学校数理部河北承德067000

出处《基层建设》 2018年33期

关键词农业物联网施农业 UPPAAL-TIGA

分类 [建筑科学][建筑设计及理论]

出版日期 2018年12月22日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1冯振. 基于物联网的农业信息化系统研究.中国文学,2015-02.
2廖效邦. 基于物联网的智能农业系统研究与应用.建筑技术科学,2023-12.
3吴立强. 基于物联网的农业温室大棚智能控制系统研究.建筑技术科学,2023-12.
4江明珠. 基于物联网的智能楼宇系统研究.建筑设计及理论,2018-12.
5李亚娟;王海洪;吴彦海;洪学银;武传宝. 基于物联网的语音识别考试系统研究.计算机科学与技术,2019-01.
6滕明良. 基于物联网的智能停车系统研究设计.建筑设计及理论,2017-12.
7沈敬文. 基于物联网的粮食仓储管理系统研究.建筑理论,2023-07.
8宁远鸿. 基于物联网的智能电网监控系统研究.环境工程,2023-04.
9朱慧清陈岳晟林晨杰蔡述圣. 基于物联网的智能电网监控系统研究.电力系统及自动化,2018-07.
10江伟. 基于物联网的智能家居系统研究.建筑设计及理论,2017-12.

来源期刊

基层建设

基层建设

相关推荐

同分类资源更多

相关关键词

农业物联网施农业 UPPAAL-TIGA

返回顶部