基于时间自动机的温室环境监控物联网系统建模

发布时间：2017-06-15 16:03

  本文关键词：基于时间自动机的温室环境监控物联网系统建模，，由笔耕文化传播整理发布。

【摘要】：由于温室环境的复杂性,系统设计的不合理会直接导致数据的不确定和系统的不稳定。基于体系结构的物联网层次模型对物联网的实施具有指导意义,但是体系结构模型没有提供系统建模工具和模型验证的方法。基于时间自动机理论的建模与模型验证方法是一种对物联网系统建模的有效手段,能在系统设计时提高系统的稳定性,保证系统设计的正确性。通过对智能温室监控物联网系统的分析,从系统实施的角度重新对温室环境监控物联网系统进行了层次划分,利用时间自动机理论对系统中的相应组件进行建模,在对各个子系统分别建模的基础上形成了时间自动机网络模型。最后利用时间自动机建模工具UPPAAL,对已经建立的形式化模型进行了系统逻辑正确性验证与系统执行时序验证。结果表明,利用时间自动机理论及其建模工具UPPAAL可以对智能温室监控物联网系统进行建模及模型验证,可以在系统设计时对系统进行准确的模型分析,避免系统设计错误,降低系统设计缺陷,在系统投入运行中规避设计风险,从而提升系统的稳定性与可靠性,确保系统设计的正确性。
【作者单位】： 中国农业大学信息与电气工程学院;中国农业大学农业部农业信息获取技术重点实验室;
【关键词】： 温室 物联网 时间自动机 建模 模型验证
【基金】：“十二五”国家科技支撑计划项目(2015BAK04B01)
【分类号】：TP391.44;TN929.5
【正文快照】：

【参考文献】

中国期刊全文数据库 前10条

1 李想;王建仑;高红菊;;面向农田物联网复杂事件处理的时空事件模型[J];农业机械学报;2015年S1期

2 李瑾;郭美荣;高亮亮;;农业物联网技术应用及创新发展策略[J];农业工程学报;2015年S2期

3 苑进;胡敏;Kesheng Wang;刘雪美;侯加林;米庆华;;基于高斯过程建模的物联网数据不确定性度量与预测[J];农业机械学报;2015年05期

4 谢开斌;陈海明;崔莉;;物联网软件体系结构中的感执模型的求精[J];软件学报;2014年08期

5 毛燕琴;沈苏彬;;物联网信息模型与能力分析[J];软件学报;2014年08期

6 李萍萍;王纪章;;温室环境信息智能化管理研究进展[J];农业机械学报;2014年04期

7 陈威;郭书普;;中国农业信息化技术发展现状及存在的问题[J];农业工程学报;2013年22期

8 何勇;聂鹏程;刘飞;;农业物联网与传感仪器研究进展[J];农业机械学报;2013年10期

9 李力行;金芝;李戈;;基于时间自动机的物联网服务建模和验证[J];计算机学报;2011年08期

10 吕继东;唐涛;;高速铁路列控系统运营场景实时性的建模与验证[J];铁道学报;2011年06期

【共引文献】

中国期刊全文数据库 前10条

1 张紫谦;衷卫声;梁凯;王娜;;基于物联网技术的温室集群环境监控系统设计[J];现代电子技术;2016年14期

2 韩瑜;李雁玲;肖振超;张策;姜yN;;实验室设备防盗追踪器设计[J];天津职业技术师范大学学报;2016年02期

3 燕秀奇;宋重阳;于佳辉;;基于云存储系统的农业生产调控试验方案[J];南方农机;2016年06期

4 李旭;高贤强;王川;吕喜风;;基于J2EE的温室管理信息系统的研究[J];农业网络信息;2016年06期

5 冯献;李瑾;郭美荣;;改革视角下农业物联网创新驱动战略研究[J];中国农业科技导报;2016年03期

6 赵文兵;毛罕平;马万征;;基于物联网的智能温室远程监控系统设计[J];中国农机化学报;2016年06期

7 赵波;戴忠华;向

本文编号：452832