本文關(guān)鍵詞：智能居家護理系統(tǒng)的形式化分析與驗證，，由筆耕文化傳播整理發(fā)布。

【摘要】：智能居家護理系統(tǒng)是生命攸關(guān)的系統(tǒng),在部署前保證智能居家護理系統(tǒng)的正確性、安全性等至關(guān)重要。目前對系統(tǒng)進行驗證主要采用傳統(tǒng)檢測方法和形式化方法。傳統(tǒng)檢測方法,如模擬和測試,人力和時間成本高,且不可能遍歷所有狀態(tài),因此,無法保證系統(tǒng)的正確性、安全性等。形式化方法通過對系統(tǒng)建模,進行形式化描述,實現(xiàn)自動化驗證,可以克服傳統(tǒng)檢測方法的不足。本文針對智能居家護理系統(tǒng)的功能和安全性驗證提出了一種形式化分析、驗證的方法,旨在發(fā)現(xiàn)智能居家護理系統(tǒng)設(shè)計缺陷,保證系統(tǒng)正確性、安全性及系統(tǒng)一致性,主要內(nèi)容如下:首先,在現(xiàn)有研究的基礎(chǔ)上提出智能居家護理系統(tǒng)的形式化建模框架,分別從系統(tǒng)環(huán)境和系統(tǒng)設(shè)計兩方面對智能居家護理系統(tǒng)進行形式化建模。其次,提取出智能居家護理系統(tǒng)的關(guān)鍵屬性和形式描述模型,根據(jù)屬性需求對系統(tǒng)進行形式化描述,實現(xiàn)形式化驗證,以發(fā)現(xiàn)系統(tǒng)設(shè)計缺陷,為改進系統(tǒng)設(shè)計提供依據(jù)。最后,為驗證本文方法的可行性、有效性,以一個專為老年癡呆患者設(shè)計的智能居家護理系統(tǒng)SHCSFAP為實例,用PAT模型模擬檢驗工具對該系統(tǒng)進行了形式化建模及驗證。實驗結(jié)果表明本文方法在分析、檢驗智能居家護理系統(tǒng)方面是有效的。與現(xiàn)有研究相比,本文方法的特點如下:(1)使用STCSP(Stateful Timed CSP)、LTL(Linear Temporal Logic)、PAT工具,實現(xiàn)了智能居家護理系統(tǒng)的自動化驗證。(2)由于STCSP語言支持對分層實時系統(tǒng)的建模,可以很好地描述和驗證智能居家護理系統(tǒng)的分層、實時特性。(3)提取了智能居家護理系統(tǒng)的關(guān)鍵屬性和形式描述模型。
【關(guān)鍵詞】：形式化分析 建模 模型檢驗 智能居家護理系統(tǒng) STCSP
【學(xué)位授予單位】：太原理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：TP311.52
【目錄】：

• 摘要3-5
• ABSTRACT5-10
• 第一章 緒論10-16
• 1.1 研究背景及意義10-11
• 1.2 國內(nèi)外相關(guān)研究工作11-13
• 1.3 論文的研究內(nèi)容及主要工作13-14
• 1.4 論文結(jié)構(gòu)14-16
• 第二章 智能居家護理系統(tǒng)16-22
• 2.1 智能居家護理系統(tǒng)概述16-17
• 2.2 SHCSFAP系統(tǒng)實例17-20
• 2.2.1 SHCSFAP系統(tǒng)概述17-18
• 2.2.2 感知層18
• 2.2.3 中間層18-19
• 2.2.4 應(yīng)用層19-20
• 2.3 本章小結(jié)20-22
• 第三章 相關(guān)技術(shù)22-32
• 3.1 形式化方法22-25
• 3.1.1 形式化方法概述22
• 3.1.2 形式化方法相關(guān)內(nèi)容22-25
• 3.1.2.1 形式化規(guī)約23-24
• 3.1.2.2 形式化驗證24-25
• 3.2 STCSP語言25-27
• 3.2.1 STCSP簡介25-26
• 3.2.2 STCSP基本語法及語義26-27
• 3.3 線性時序邏輯語言（LTL）27-29
• 3.3.1 LTL簡介27
• 3.3.2 LTL語法及語義27-29
• 3.4 PAT工具29-30
• 3.4.1 PAT簡介29
• 3.4.2 PAT中LTL的使用29-30
• 3.5 本章小結(jié)30-32
• 第四章 智能居家護理系統(tǒng)的形式化建模框架32-40
• 4.1 系統(tǒng)環(huán)境模型32-34
• 4.1.1 對用戶行為建模32-33
• 4.1.2 對環(huán)境實體建模33-34
• 4.1.3 系統(tǒng)環(huán)境模型34
• 4.2 系統(tǒng)設(shè)計模型34-37
• 4.2.1 感知層的建模34-36
• 4.2.1.1 通信模式的建模34-35
• 4.2.1.2 感知模式的建模35-36
• 4.2.1.3 感知層模型36
• 4.2.2 中間層的建模36-37
• 4.2.3 應(yīng)用層的建模37
• 4.2.4 系統(tǒng)設(shè)計模型37
• 4.3 完整的系統(tǒng)模型37
• 4.4 本章小結(jié)37-40
• 第五章 智能居家護理系統(tǒng)的屬性提取及建模40-44
• 5.1 智能居家護理系統(tǒng)關(guān)鍵屬性40
• 5.2 正確性40-41
• 5.2.1 規(guī)則的正確性41
• 5.2.2 服務(wù)的正確性41
• 5.3 安全性41-42
• 5.3.1 無死鎖性41
• 5.3.2 守護服務(wù)41-42
• 5.3.3 服務(wù)的有效性42
• 5.4 系統(tǒng)一致性42
• 5.5 本章小結(jié)42-44
• 第六章 實驗分析44-56
• 6.1 系統(tǒng)模型44-49
• 6.1.1 系統(tǒng)環(huán)境建模44-46
• 6.1.2 系統(tǒng)設(shè)計建模46-48
• 6.1.2.1 感知層建模46-47
• 6.1.2.2 中間層建模47-48
• 6.1.2.3 應(yīng)用層建模48
• 6.1.2.4 系統(tǒng)設(shè)計模型48
• 6.1.3 完整的系統(tǒng)模型48-49
• 6.2 系統(tǒng)驗證49
• 6.2.1 正確性49
• 6.2.2 安全性49
• 6.2.2.1 無死鎖性49
• 6.2.2.2 守護服務(wù)49
• 6.2.3 系統(tǒng)一致性49
• 6.3 實驗結(jié)果及分析49-55
• 6.4 本章小結(jié)55-56
• 第七章 總結(jié)與展望56-58
• 7.1 總結(jié)56-57
• 7.2 展望57-58
• 參考文獻58-62
• 致謝62-64
• 攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄64

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前1條

1 劉愛玲;;遠程網(wǎng)絡(luò)系統(tǒng)在全膝關(guān)節(jié)置換術(shù)患者居家護理中的應(yīng)用[J];齊魯護理雜志;2011年23期

中國重要會議論文全文數(shù)據(jù)庫 前8條

1 張玲;;老年人的居家護理[A];中華護理學(xué)會全國第12屆老年護理學(xué)術(shù)交流暨專題講座會議論文匯編[C];2009年

2 黃百發(fā);;老年癡呆患者的居家護理要點[A];中華護理學(xué)會2009全國神經(jīng)內(nèi)、外科護理學(xué)術(shù)交流暨專題講座會議論文匯編[C];2009年

3 王桂榮;;老年腦血管疾患患者的居家護理[A];中華護理學(xué)會全國第12屆老年護理學(xué)術(shù)交流暨專題講座會議論文匯編[C];2009年

4 斯琴高娃;;社區(qū)老齡人服藥的居家護理創(chuàng)新指導(dǎo)[A];第14屆全國老年護理學(xué)術(shù)交流會議論文匯編[C];2011年

5 樊曉鳳;;老年癡呆癥的居家護理[A];第14屆全國老年護理學(xué)術(shù)交流會議論文匯編[C];2011年

6 王麗娟;黃寶平;;80例老年糖尿病患者居家護理的效果分析[A];全國中醫(yī)、中西醫(yī)結(jié)合護理學(xué)術(shù)交流會議、全國社區(qū)護理學(xué)術(shù)交流會議論文匯編[C];2012年

7 張十紅;何華英;;老年性癡呆的居家護理[A];全國外科護理學(xué)術(shù)交流暨專題講座會議、全國神經(jīng)內(nèi)、外科護理學(xué)術(shù)交流暨專題講座會議論文匯編[C];2010年

8 陳芳;;臺灣優(yōu)質(zhì)護理介紹[A];中華醫(yī)學(xué)會第一屆重癥心臟全國學(xué)術(shù)大會暨第二屆西湖重癥醫(yī)學(xué)論壇、2013年浙江省重癥醫(yī)學(xué)學(xué)術(shù)年會論文匯編[C];2013年

中國重要報紙全文數(shù)據(jù)庫 前10條

1 早報記者 姜麗鈞;居家護理費用醫(yī)保支付將試點[N];東方早報;2013年

2 本報記者 胡安靜;南京居家護理或?qū)⒂瓉硗茝V利好[N];江蘇科技報;2014年

3 駐京記者 賈巖;家護器械技術(shù)進步難改服務(wù)發(fā)展滯后[N];醫(yī)藥經(jīng)濟報;2012年

4 本報記者 胡安靜　費夢雅;南京“居家護理”推廣尋路[N];江蘇科技報;2013年

5 本報記者 張子平;居家護理老人臨床護理的趨勢[N];大眾衛(wèi)生報;2005年

6 本報記者 胡安靜;慢病治療或?qū)⑦M入“居家”時代[N];江蘇科技報;2012年

7 孔同 馮蘭藺;醫(yī)保支付居家護理緣何難走好[N];中國老年報;2013年

8 本報記者 蔣煒寧 海曙記者站 朱尹瑩 通訊員 郭軍;誰來“呵護”5.5萬失智老人？[N];寧波日報;2014年

9 通訊員 王叢 特約記者 紀平;蘇州延伸護理服務(wù)進社區(qū)[N];健康報;2014年

10 本報記者 孫輝;多家大醫(yī)院申請上調(diào)護理費[N];江蘇科技報;2012年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 蔣小劍;人工全髖關(guān)節(jié)置換術(shù)患者居家護理方案的制定和應(yīng)用研究[D];中南大學(xué);2012年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前6條

1 田艷妮;某三甲醫(yī)院慢性病出院患者居家護理需求調(diào)查及影響因素分析[D];山西醫(yī)科大學(xué);2015年

2 閆培;智能居家護理系統(tǒng)的形式化分析與驗證[D];太原理工大學(xué);2016年

3 曾麗華;常見老年慢性病居家護理方案的制定及應(yīng)用研究[D];福建醫(yī)科大學(xué);2009年

4 寧麗;老年慢性病患者居家護理評估表的研究[D];浙江大學(xué);2012年

5 周莉;哮喘兒童居家自我護理行為干預(yù)的效果調(diào)查[D];吉林大學(xué);2011年

6 林曉明;居家老年人健康狀況及護理需求調(diào)查研究[D];遼寧醫(yī)學(xué)院;2013年

  本文關(guān)鍵詞：智能居家護理系統(tǒng)的形式化分析與驗證，由筆耕文化傳播整理發(fā)布。

本文編號：405079