本文關(guān)鍵詞：時(shí)間自動(dòng)機(jī)的船用物聯(lián)網(wǎng)服務(wù)模型設(shè)計(jì)

  更多相關(guān)文章： 物聯(lián)網(wǎng) 時(shí)間自動(dòng)機(jī) 服務(wù)模型

【摘要】：隨著自動(dòng)控制、電子信息等技術(shù)在航運(yùn)業(yè)廣泛應(yīng)用,船舶逐漸向智能化方向發(fā)展。在智能化的背景下,如何提高船舶管理效率、保障船舶運(yùn)行安全,成為該領(lǐng)域?qū)＜已芯康闹攸c(diǎn)。本文深入研究時(shí)間自動(dòng)機(jī)的原理及物聯(lián)網(wǎng)技術(shù)在船舶行業(yè)的應(yīng)用情況,利用時(shí)間自動(dòng)機(jī)建立船用物聯(lián)網(wǎng)服務(wù)模型,并以此為基礎(chǔ)提出基于時(shí)間自動(dòng)機(jī)的船用物聯(lián)網(wǎng)服務(wù)模型,最后利用UPPAAL平臺(tái)對(duì)該船用物聯(lián)網(wǎng)服務(wù)模型進(jìn)行驗(yàn)證并給出驗(yàn)證結(jié)果。
【作者單位】： 濰坊科技學(xué)院軟件學(xué)院;
【關(guān)鍵詞】： 物聯(lián)網(wǎng) 時(shí)間自動(dòng)機(jī) 服務(wù)模型
【分類號(hào)】：U665.26;U675.79
【正文快照】： 0引言近年來,船舶在設(shè)計(jì)和建造過程中逐漸向大型化和智能化方向發(fā)展,傳統(tǒng)的船舶管理系統(tǒng)已經(jīng)不能滿足高效、精準(zhǔn)、安全的管理需求。為提高航運(yùn)管理效率、維護(hù)船舶運(yùn)行安全和保障航運(yùn)線路通暢,航運(yùn)領(lǐng)域的專家正在利用射頻和無線傳感器等技術(shù)開發(fā)船用物聯(lián)網(wǎng)系統(tǒng)來滿足越來越高的，

本文編號(hào)：717989