随着自动控制、电子信息等技术在航运业广泛应用,船舶逐渐向智能化方向发展。在智能化的背景下,如何提高船舶管理效率、保障船舶运行安全,成为该领域专家研究的重点。本文深入研究时间自动机的原理及物联网技术在船舶行业的应用情况,利用时间自动机建立船用物联网服务模型,并以此为基础提出基于时间自动机的船用物联网服务模型,最后利用UPPAAL平台对该船用物联网服务模型进行验证并给出验证结果。
科研之友
微信
新浪微博
Facebook
分享链接
