發(fā)布時(shí)間：2017-06-30 23:06

  本文關(guān)鍵詞：智能家居平臺(tái)構(gòu)件適應(yīng)與協(xié)同模型及形式化分析，，由筆耕文化傳播整理發(fā)布。

【摘要】：以解決智能家居平臺(tái)運(yùn)行過(guò)程中的構(gòu)件適應(yīng)與協(xié)同問(wèn)題為目的,保證設(shè)備獨(dú)立性與數(shù)據(jù)一致性為特點(diǎn),提出一種基于構(gòu)件適應(yīng)與協(xié)同的智能家居平臺(tái)邏輯模型,對(duì)平臺(tái)及各構(gòu)件進(jìn)行形式化描述與建模,并結(jié)合平臺(tái)功能需求對(duì)模型性質(zhì)進(jìn)行分析與驗(yàn)證。實(shí)驗(yàn)表明,在本模型下平臺(tái)構(gòu)件的適應(yīng)與協(xié)同滿(mǎn)足不死鎖、不中止、不發(fā)散的必要性質(zhì),且在并行處理多用戶(hù)請(qǐng)求的條件下能夠?qū)崿F(xiàn)數(shù)據(jù)一致性與操作有效性。本研究對(duì)智能家居平臺(tái)的研發(fā)與驗(yàn)證有一定意義。
【作者單位】： 太原理工大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： 智能家居平臺(tái) 構(gòu)件適應(yīng) 構(gòu)件協(xié)同 形式化
【基金】：山西省科技攻關(guān)資助項(xiàng)目(工業(yè)):遺留軟件再工程的研究與實(shí)現(xiàn)(20120321030) 太原理工大學(xué)�？萍及l(fā)展基金資助項(xiàng)目(2012L067)
【分類(lèi)號(hào)】：TP393.09
【正文快照】： 智能家居平臺(tái)是針對(duì)智能家居設(shè)備管理的軟件開(kāi)發(fā)框架[1-2]。一般定義智能設(shè)備及控制程序的訪(fǎng)問(wèn)接口、協(xié)議及控制方法,將家庭看作一個(gè)智能家居設(shè)備的集合,通過(guò)家庭、房間、區(qū)域的概念把這些設(shè)備有機(jī)地組合起來(lái)。在對(duì)設(shè)備的控制上,硬件設(shè)備被定義成提供一個(gè)或者多個(gè)服務(wù)的單元,

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 盧毅;馮天民;;智能家居局域網(wǎng)系統(tǒng)分析[J];科技傳播;2013年10期

2 岳敬華;張s

本文編號(hào)：503773