作者：邓雪峰,孙瑞志,聂娟,王文狄,史银雪 单位：中国农业机械学会;中国农业机械化科学研究院 出版：《农业机械学报》2016年第07期 页数：8页  （PDF与DOC格式可能不同） PDF编号：PDFNYJX2016070410 DOC编号：DOCNYJX2016070419 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 由于温室环境的复杂性，系统设计的不合理会直接导致数据的不确定和系统的不稳定。基于体系结构的物联网层次模型对物联网的实施具有指导意义，但是体系结构模型没有提供系统建模工具和模型验证的方法。基于时间自动机理论的建模与模型验证方法是一种对物联网系统建模的有效手段，能在系统设计时提高系统的稳定性，保证系统设计的正确性。通过对智能温室监控物联网系统的分析，从系统实施的角度重新对温室环境监控物联网系统进行了层次划分，利用时间自动机理论对系统中的相应组件进行建模，在对各个子系统分别建模的基础上形成了时间自动机网络模型。最后利用时间自动机建模工具UPPAAL，对已经建立的形式化模型进行了系统逻辑正确性验证与系统执行时序验证。结果表明，利用时间自动机理论及其建模工具UPPAAL可以对智能温室监控物联网系统进行建模及模型验证，可以在系统设计时对系统进行准确的模型分析，避免系统设计错误，降低系统设计缺陷，在系统投入运行中规避设计风险，从而提升系统的稳定性与可靠性，确保系统设计的正确性。

    📙 相关资料

    1. 《基于时间自动机的信息物理融合系统建模与验证》PDF+DOC 信息物理融合系统的建模和验证是当前研究的一个热点。本文通过分析信息物理融合系统的体系结构，利用时间自动机为建模工具，将该结构中的各个组件分别进行建模，以表现它们的分布性和实时性。这些时间自动机组成一个网络模型，用于刻划整个系统之间的并发通信和协作过程。最后，提出一组该系统要满足的性质(包括时间约束)......
    2. 《基于物联网的智能实验楼宇照明及环境监控系统》PDF+DOC 智慧校园的建设对实验楼宇的节能及环境监控提出了更高的要求.针对目前高校实验楼宇公共照明及环境监控问题，设计了一套基于物联网技术的智能化实验楼宇LED节能照明和环境监控系统.该系统利用混合式网络架构，感知层采用遵循IEEE 802.15.4标准的低功耗ZigBee自组织网络实现状态数据采集；网络层则利......
    3. 《基于物联网技术的智能机房设计》PDF+DOC 利用物理网技术，简单阐述了一个关于计算机机房环境监测的系统，希望以此来实现对计算机机房的远程、自动、实时的环境监控，同时实现相应的监测、报警功能。...
    4. 《基于SensorML的遥感卫星传感器建模方法》PDF+DOC 比较了传感器的相关信息模型，分析了传感器建模语言(SensorML)规范，提出了基于SensorML的遥感卫星传感器建模方法，包括平台参数分析、字典定义、系统建模、处理建模、模型验证和模型修正。基于.NET框架和SensorML 1.0.0规范，设计和实现了遥感卫星传感器建模工具SensorMode......
    5. 《基于无线传感器网络的温室环境监控系统研究》PDF+DOC 为在完成温室内环境参数的自动采集和调控，设计了基于无线传感器网络的温室环境监控方案。介绍了温室监控系统整体结构，分析了基于CC2431无线传感器网络节点的硬件设计，并在此基础上进行了TinyOS操作系统的移植和节点的软件设计。由于该无线传感器网络节点具有功耗低、体积小、工作可靠、易于扩展等优点，基于......
    6. 《无线传感网络目标定位系统建模与仿真》PDF+DOC 文章首先提出一种传感器网络目标定位系统的系统模型，然后利用PtolemyⅡ建模仿真平台完成该传感器网络目标定位系统的系统级行为描述，并根据系统级建模方法学对该目标定位系统进行建模与仿真，分析了传感器网络目标定位系统的诸多影响因素。测试结果表明：传感器网络目标定位系统对于传感器节点的功耗及信息时间同步......
    7. 《基于改进模糊PID控制的EPS系统建模仿真》PDF+DOC 电动助力转向(EPS)是一种新型的汽车动力转向技术。为了提高系统的响应速度、控制精度、实时性等，分析了EPS系统的工作原理，结合EPS的结构和动力学特性，建立了EPS的数学模型。在模糊PID控制基础上，提出了一种将单纯性法与模糊PID控制相结合的改进模糊PID控制方法，并在MATLAB平台上建立了E......
    8. 《基于UPPAAL的数据关联时序有限自动机模型验证》PDF+DOC 对数据关联过程建立了时序有限自动机模型，时序有限自动机时钟变量只取整数值，从而减小数据关联过程生成的状态空间。在一定的时间约束下，使用模型检测工具UPPAAL对所建模型的关键性质——关联准确性进行了分析和验证。检测结果验证了利用UPPAAL进行数据关联准确性分析的可行性。...
    9. 《基于物联网的智能家居应用研究》PDF+DOC 在信息飞速发展的今天，越来越多的人们愿意体验高科技带来的生活方式。在物联网的基础上，智能家居应运而生，并日渐渗透到日常生活中。如何做好智能家居，让它能更快更好地发展，成为了一个亟待解决的问题。本文在物联网的基础上，分别讨论了智能家居的现状，分析了目前在设备控制、环境监控等应用领域的作用，并提出了尚存......
    10. 《信息物理融合系统的面向对象Petri网建模》PDF+DOC 从多Agent系统的角度，以面向对象Petri网为语义基础，建立了一种信息物理融合系统体系结构模型，将系统抽象为传感器节点Agent、执行器节点Agent和控制器节点Agent.该体系结构模型利用面向对象Petri网形象、无歧义地刻画系统的整体和个体特性，描述系统的静态和动态语义，同时可利用Petr......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。