資源描述:
《面向語義物聯(lián)網(wǎng)的語義匹配算法設(shè)計(jì)與系統(tǒng)實(shí)現(xiàn)》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、分類號(hào)密級(jí):代碼10151UDC:單位^X乂是洛f乂掌!。弓全日制學(xué)術(shù)型碩±研究生學(xué)位論文面向語義物聯(lián)網(wǎng)的語義匹配算法設(shè)計(jì)與系統(tǒng)實(shí)現(xiàn)'\晏家紅指導(dǎo)教師李冠宇教授申請(qǐng)學(xué)位類別工學(xué)碩±學(xué)科(專業(yè))名稱計(jì)算機(jī)科學(xué)與技術(shù)學(xué)位授予單位大連海事大學(xué)2016年3月分類號(hào)密級(jí)UDC1單位代碼0151大連海事大學(xué)碩壬學(xué)位論文面向語義物聯(lián)網(wǎng)的語義應(yīng)配算法設(shè)計(jì)與系統(tǒng)實(shí)現(xiàn)晏家紅指導(dǎo)教師李冠宇職稱^
2、學(xué)位授予單位大連海事大學(xué)申請(qǐng)學(xué)位級(jí)別工學(xué)碩±學(xué)科(專業(yè))計(jì)算機(jī)科學(xué)與技術(shù)論文完成日期2016年1月論文答辯日期2016年3月答辯委員會(huì)主席Seman村cMat:chiiigAlorithmDesinandSstemggyImlementa付onforSeman村cWebofThinspgA化esisSubmitted化DalianMaritimeUniversityInartialfulfillmentoftherequire
3、mentsforthedegreeofpMasterofEnineeringgbyYanJiaho凸gComuterScienceandTechnolo(pgy)ThesisSuervisor:ProfessorLiGuanupyMarch2016大連海事大學(xué)學(xué)位論文原創(chuàng)性聲明和使用授權(quán)說明原創(chuàng)性聲明本人鄭重聲明:本論文是在導(dǎo)師的指導(dǎo)下,獨(dú)立進(jìn)行研究工作所取得的成果,""撰寫成碩±學(xué)位論文面向語義物聯(lián)網(wǎng)的語義匹配覚法設(shè)計(jì)與系統(tǒng)實(shí)現(xiàn)。除論文中
4、已經(jīng)注明引用的內(nèi)容外,對(duì)論文的研巧做出重要貢獻(xiàn)的個(gè)人和集體,均已在文中W明確方式標(biāo)明。本論文中不包含任何未加明確注明的其他個(gè)人或集體已經(jīng)公開發(fā)表或未公開發(fā)表的成果。本聲明的法律責(zé)任由本人承擔(dān)。學(xué)位論文作者簽名:#^么學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者及指導(dǎo)教師完全了解大連海事大學(xué)有關(guān)保留、使用研究生學(xué)位論文的規(guī)定:,即大連海事大學(xué)有權(quán)保留并向國家有關(guān)部口或機(jī)構(gòu)送交學(xué)位論。文的復(fù)印件和電子版,允許論文被查閱和借閱本人授權(quán)大連海事大學(xué)可將本學(xué)位論文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索
5、,也可采用影印、縮印或掃描等復(fù)制手段保存和匯編學(xué)位論文。同意將本學(xué)位論文收錄到《中國優(yōu)秀博碩±學(xué)位論文全文數(shù)據(jù)庫》中國學(xué)術(shù)期刊(光盤版)電子雜志化)、《中國學(xué)位論文全文(數(shù)據(jù)庫》(中國科學(xué)技術(shù)信息研巧所)等數(shù)據(jù)庫中,并W電子出版物形式出版發(fā)行和提供信息服務(wù)。。保密的論文在解密后遵守此規(guī)定。本學(xué)位論文屬于:保密□在年解密后適用本授權(quán)書不保密^請(qǐng)?jiān)谏戏娇颍ⅲ?nèi)打V)論文作者簽名:憂策打?qū)熀灻崳姡奕掌冢汗四?;^月24日中文摘要摘要為了解決物聯(lián)網(wǎng)(InternetofT
6、hins)的內(nèi)在矛盾emanticg,引入了語義協(xié)同(S一-洗ofCollaboration),形成新代網(wǎng)絡(luò)語義物聯(lián)網(wǎng)(SemanticWThings)。但語義協(xié)同過程中存在兩個(gè)主要問題一:是容易出現(xiàn)語義失配,不利于物的信息的全球共享;二是傳統(tǒng)攫輯表達(dá)能力不足W及最終系統(tǒng)的半可判定性,導(dǎo)致計(jì)算機(jī)推理(邏輯公式的可計(jì)算性)的不可持續(xù)性。本文提出了在語義物聯(lián)網(wǎng)中基于邏輯公式推演的語義匹配算法來解決上述問題,彌補(bǔ)了現(xiàn)有大多數(shù)采用結(jié)構(gòu)相似度的語義匹配算法所帶來的缺陷。在概念層一一-次上,采用
7、了種改進(jìn)的SMatdi匹配算法;在實(shí)例層次上,提出了種基于可計(jì)算性邏輯CL4的本體表示和語義匹配算法;將語義協(xié)調(diào)問題,從計(jì)算各種結(jié)構(gòu)相似度的問題,轉(zhuǎn)化為到推導(dǎo)邏輯公式集之間關(guān)系的問題;保證了在開放環(huán)境下推理的自動(dòng)性與完整性,并保證始終可推。根據(jù)W上提出的算法,通過加,本文提出了面向語義物聯(lián)網(wǎng)的語義匹配框架一載、致性維護(hù)、規(guī)則構(gòu)建、推理與服務(wù)推薦五個(gè)功能模塊,使用自然語言處理。及可視化編程等技術(shù),設(shè)計(jì)并實(shí)現(xiàn)了面向語義物聯(lián)網(wǎng)的語義匹配系統(tǒng)最后,利用測(cè)試集對(duì)系統(tǒng)進(jìn)行測(cè)試,通過查準(zhǔn)率和查全率兩大
8、指標(biāo)對(duì)算法及系統(tǒng)進(jìn)行驗(yàn)證。實(shí)驗(yàn)結(jié)果表明,本文設(shè)計(jì)的算法與系統(tǒng)能夠有效地為用戶提供高質(zhì)量的語義協(xié)同服務(wù)。關(guān)鍵詞-Ma化hCL4:語義匹配;邏巧推演;S;可計(jì)g性邏巧英文摘要ABSTRACTTosolve化einherentcontradictioninInternetofThingsSemanticCollabor