时间自动机的船用物联网服务模型设计

发布时间：2017-08-22 08:07

  本文关键词：时间自动机的船用物联网服务模型设计

  更多相关文章： 物联网 时间自动机 服务模型

【摘要】：随着自动控制、电子信息等技术在航运业广泛应用,船舶逐渐向智能化方向发展。在智能化的背景下,如何提高船舶管理效率、保障船舶运行安全,成为该领域专家研究的重点。本文深入研究时间自动机的原理及物联网技术在船舶行业的应用情况,利用时间自动机建立船用物联网服务模型,并以此为基础提出基于时间自动机的船用物联网服务模型,最后利用UPPAAL平台对该船用物联网服务模型进行验证并给出验证结果。
【作者单位】： 潍坊科技学院软件学院;
【关键词】： 物联网 时间自动机 服务模型
【分类号】：U665.26;U675.79
【正文快照】： 0引言近年来,船舶在设计和建造过程中逐渐向大型化和智能化方向发展,传统的船舶管理系统已经不能满足高效、精准、安全的管理需求。为提高航运管理效率、维护船舶运行安全和保障航运线路通畅,航运领域的专家正在利用射频和无线传感器等技术开发船用物联网系统来满足越来越高的，

本文编号：717989