【正文】 來(lái)了新的安全威脅，容易造成個(gè)人隱私、商業(yè)機(jī)密和國(guó)家設(shè)施信息的泄露?？尚跑浖俏锫?lián)網(wǎng)系統(tǒng)行為可預(yù)測(cè)性和可靠性的保障，而現(xiàn)有軟件模型和方法無(wú)法表達(dá)物聯(lián)網(wǎng)虛實(shí)交融的特征，連續(xù)世界與離散計(jì)算結(jié)合性、實(shí)時(shí)性和多維性，均難以用現(xiàn)有的可信方法描述?！　∥锫?lián)網(wǎng)將直接影響物理世界，安全可信是物聯(lián)網(wǎng)必需具備的基本要求。以物化特征表現(xiàn)的物聯(lián)網(wǎng)安全可信保障問(wèn)題是研究中嶄新課題，也是物聯(lián)網(wǎng)發(fā)展必須解決的基礎(chǔ)性科學(xué)問(wèn)題。2. 主要研究?jī)?nèi)容　　圍繞上述的三個(gè)關(guān)鍵科學(xué)問(wèn)題，本項(xiàng)目將從以下六個(gè)主要方面對(duì)物聯(lián)網(wǎng)的基礎(chǔ)理論和方法開(kāi)展研究。（一） 物聯(lián)網(wǎng)關(guān)聯(lián)表征與體系架構(gòu)　　針對(duì)物聯(lián)網(wǎng)的感知互動(dòng)以及非確定性和混雜性特征，從物聯(lián)網(wǎng)的關(guān)聯(lián)表征和體系架構(gòu)基本問(wèn)題出發(fā)，在關(guān)聯(lián)模型與表征、標(biāo)識(shí)體系、安全架構(gòu)和體系框架等方面展開(kāi)研究，具體包括以下研究?jī)?nèi)容：　?。?）物聯(lián)網(wǎng)關(guān)聯(lián)模型與表征：基于物聯(lián)網(wǎng)實(shí)體抽象和實(shí)體間作用關(guān)系數(shù)學(xué)描述，建立物理和信息空間多元異構(gòu)實(shí)體間的關(guān)聯(lián)模型；面向物聯(lián)網(wǎng)非確定性環(huán)境，研究多重關(guān)聯(lián)的動(dòng)態(tài)特征和描述方法；研究實(shí)際物理關(guān)聯(lián)和抽象信息關(guān)聯(lián)的匹配機(jī)制，建立物聯(lián)網(wǎng)表征方法及體系；　　（2）可擴(kuò)展物聯(lián)網(wǎng)標(biāo)識(shí)體系：研究適合大規(guī)模物聯(lián)網(wǎng)的名字空間結(jié)構(gòu)與解析體系；研究標(biāo)識(shí)編碼方法，探討合理的標(biāo)識(shí)生命周期管理機(jī)制；研究安全、高效和可擴(kuò)展的統(tǒng)一物體標(biāo)識(shí)體系；　?。?）物聯(lián)網(wǎng)安全架構(gòu)：分析物聯(lián)網(wǎng)的安全需求與安全框架, 研究物聯(lián)網(wǎng)安全架構(gòu)以及資源高效的安全協(xié)議；研究物聯(lián)網(wǎng)跨網(wǎng)的分層的認(rèn)證策略和協(xié)議；研究物聯(lián)網(wǎng)分級(jí)的密鑰分配、密鑰協(xié)商等密鑰管理方案；　?。?）面向演進(jìn)的物聯(lián)網(wǎng)架構(gòu)體系：研究異構(gòu)網(wǎng)絡(luò)互連體系架構(gòu)、服務(wù)體系架構(gòu)、系統(tǒng)管理體系架構(gòu)、可信軟件體系架構(gòu)，建立面向演進(jìn)的物聯(lián)網(wǎng)架構(gòu)體系。（二） 物聯(lián)網(wǎng)的異構(gòu)融合和自治機(jī)理　　面向物聯(lián)網(wǎng)應(yīng)用場(chǎng)景的動(dòng)態(tài)多樣性以及網(wǎng)絡(luò)和終端互聯(lián)方式存在的高度異構(gòu)性特點(diǎn)，研究物聯(lián)網(wǎng)的自治模型和場(chǎng)景察覺(jué)機(jī)理，在此基礎(chǔ)上研究物聯(lián)網(wǎng)的自配置、自?xún)?yōu)化、自愈合、自保護(hù)機(jī)理，進(jìn)而考察不同自治子網(wǎng)間的協(xié)同管理，以及可增量部署的異構(gòu)融合機(jī)制。具體的研究?jī)?nèi)容包括：　?。?）物聯(lián)網(wǎng)的自治模型：基于物聯(lián)網(wǎng)管理鏈需求，研究管理單元的自組織機(jī)制；研究管理鏈中物聯(lián)網(wǎng)管理信息的交互方式；研究物聯(lián)網(wǎng)系統(tǒng)的自治管理模型；　?。?）高混雜條件下物聯(lián)網(wǎng)的場(chǎng)景察覺(jué)機(jī)理：研究高混雜的物聯(lián)網(wǎng)終端屬性、狀態(tài)和功能角色的規(guī)范化描述；研究動(dòng)態(tài)場(chǎng)景下物聯(lián)網(wǎng)終端間的屬性、狀態(tài)和功能角色的相互發(fā)現(xiàn)機(jī)制，實(shí)現(xiàn)終端間的互察覺(jué)；研究基于多源多粒度的互察覺(jué)信息的物聯(lián)網(wǎng)場(chǎng)景分析方法；　?。?）非確定條件下物聯(lián)網(wǎng)的自配置與優(yōu)化機(jī)理：面向物聯(lián)網(wǎng)超大規(guī)模的非確定性部署，研究物聯(lián)網(wǎng)標(biāo)識(shí)的自動(dòng)分配機(jī)制；研究在跨子網(wǎng)移動(dòng)的場(chǎng)景下物聯(lián)網(wǎng)自組織管理；結(jié)合感知互動(dòng)的應(yīng)用特性，研究物聯(lián)網(wǎng)的分布式的拓?fù)渥越M織和資源自配置方法；面向物聯(lián)網(wǎng)應(yīng)用需求特征和動(dòng)態(tài)運(yùn)行場(chǎng)景，研究物聯(lián)網(wǎng)的資源協(xié)同調(diào)整策略和優(yōu)化機(jī)制；　?。?）復(fù)雜動(dòng)態(tài)場(chǎng)景下物聯(lián)網(wǎng)的自愈合與自保護(hù)機(jī)理：研究面向感知交互的物聯(lián)網(wǎng)多類(lèi)型的故障產(chǎn)生模式和故障分析方法；研究復(fù)雜動(dòng)態(tài)場(chǎng)景下的物聯(lián)網(wǎng)的系統(tǒng)運(yùn)行狀態(tài)監(jiān)視方法和故障發(fā)現(xiàn)機(jī)制；針對(duì)物聯(lián)網(wǎng)感知交互需求和故障發(fā)生模式，研究物聯(lián)網(wǎng)的容侵容錯(cuò)機(jī)理；在故障出現(xiàn)的條件下，研究物聯(lián)網(wǎng)基于協(xié)作的快速自愈合機(jī)制；　?。?）自治子網(wǎng)間協(xié)作管理機(jī)理：研究物聯(lián)網(wǎng)自治子網(wǎng)間的標(biāo)識(shí)映射、統(tǒng)一資源訪問(wèn)和協(xié)作管理模型與架構(gòu)；研究子網(wǎng)間的管理信息交互機(jī)制；研究多個(gè)自治物聯(lián)子網(wǎng)間的資源調(diào)度與協(xié)作管理方法；　?。?）可增量部署的物聯(lián)網(wǎng)異構(gòu)網(wǎng)絡(luò)融合機(jī)制：研究異構(gòu)物聯(lián)網(wǎng)網(wǎng)絡(luò)融合的可增量部署機(jī)理；研究可擴(kuò)展的異構(gòu)網(wǎng)絡(luò)標(biāo)識(shí)的演進(jìn)方法；研究異構(gòu)網(wǎng)絡(luò)發(fā)現(xiàn)、協(xié)議互通和動(dòng)態(tài)切換機(jī)制。（三） 物聯(lián)網(wǎng)混雜信息融合與決策 　　面向物聯(lián)網(wǎng)多源異構(gòu)、多顆粒度、多應(yīng)用域的信息特征，研究物聯(lián)網(wǎng)的信息處理與服務(wù)模型，進(jìn)而研究物聯(lián)網(wǎng)的混雜信息融合，復(fù)雜關(guān)系鏈挖掘，主動(dòng)決策與互動(dòng)控制，以及可信數(shù)據(jù)與隱私保護(hù)的模型或方法。具體的研究?jī)?nèi)容如下：　　（1）物聯(lián)網(wǎng)信息處理與服務(wù)模型：研究多級(jí)、主動(dòng)、開(kāi)放的物聯(lián)網(wǎng)信息處理模型；面向物物互動(dòng)的信息建模方法；面向?qū)崟r(shí)挖掘與決策的多源異構(gòu)、多粒度、多維度數(shù)據(jù)的建模理論與方法；面向多應(yīng)用領(lǐng)域的分析模型；基于語(yǔ)義的服務(wù)表示、發(fā)布和應(yīng)用模型；以及基于服務(wù)模型的語(yǔ)義理解與分析機(jī)制；　?。?）物聯(lián)網(wǎng)混雜信息融合：研究混雜條件下多源異構(gòu)數(shù)據(jù)的分析與提煉；研究面向融合與決策服務(wù)的數(shù)據(jù)挖掘方法；研究非確定性條件下的分布式情境感知、融合與推理機(jī)制；研究面向特定物聯(lián)網(wǎng)應(yīng)用的場(chǎng)景分析方法，以及知識(shí)庫(kù)構(gòu)造和自學(xué)習(xí)方法；　?。?）物聯(lián)網(wǎng)復(fù)雜關(guān)系鏈挖掘：研究物聯(lián)網(wǎng)關(guān)系鏈的建模和表示方法；研究實(shí)時(shí)交互場(chǎng)景下關(guān)系鏈的挖掘和發(fā)現(xiàn)方法；研究基于關(guān)系鏈的推理規(guī)則和決策模型；　?。?）物聯(lián)網(wǎng)主動(dòng)決策與互動(dòng)控制：研究面向服務(wù)的語(yǔ)義信息與決策需求的逆向解析與任務(wù)分解機(jī)制；研究多粒度的物聯(lián)網(wǎng)主動(dòng)決策與協(xié)作機(jī)制；研究高效的分層主動(dòng)處理與融合方法；　?。?）物聯(lián)網(wǎng)數(shù)據(jù)處理的隱私保護(hù)：研究多源異構(gòu)數(shù)據(jù)的數(shù)據(jù)隱藏方法；研究物聯(lián)網(wǎng)關(guān)系鏈挖掘過(guò)程中的隱私保護(hù)方法；研究具有不同隱私保護(hù)安全級(jí)別的數(shù)據(jù)處理機(jī)制和協(xié)作計(jì)算算法。（四） 物聯(lián)網(wǎng)可信軟件設(shè)計(jì)理論與方法　　針對(duì)物聯(lián)網(wǎng)高混雜性、非確定性和復(fù)雜關(guān)聯(lián)性等特點(diǎn)，開(kāi)展物聯(lián)網(wǎng)可信軟件設(shè)計(jì)理論與方法研究，探索與之相適應(yīng)的推理方法、建模理論以及分析與驗(yàn)證技術(shù)。具體的研究?jī)?nèi)容包括：　?。?）可信軟件設(shè)計(jì)方法：基于經(jīng)典精化理論，研究物聯(lián)網(wǎng)系統(tǒng)的精化理論與方法，研究適用物聯(lián)網(wǎng)的精化規(guī)則，為可信軟件從需求到實(shí)現(xiàn)的過(guò)程提供理論支撐；　?。?）可信軟件推理理論：針對(duì)物聯(lián)網(wǎng)特性，突破傳統(tǒng)邏輯描述系統(tǒng)的局限性，創(chuàng)建適用于物聯(lián)網(wǎng)的新型邏輯系統(tǒng)，研究可信軟件的邏輯推理理論；　?。?）可信軟件建模方法：建立系統(tǒng)級(jí)模型語(yǔ)言，在現(xiàn)有進(jìn)程代數(shù)系統(tǒng)中增加時(shí)、空、物特性算子，建立物聯(lián)網(wǎng)感知互動(dòng)的抽象行為模型；基于UTP（程序統(tǒng)一理論）理論，研究該建模語(yǔ)言相應(yīng)的操作語(yǔ)義、指稱(chēng)語(yǔ)義以及代數(shù)語(yǔ)義；　　（4）可信軟件分析與驗(yàn)證技術(shù)：基于上述推理邏輯、建模語(yǔ)言的研究成果，對(duì)現(xiàn)有的模型檢測(cè)技術(shù)和定理證明技術(shù)進(jìn)行擴(kuò)充，給出相應(yīng)的驗(yàn)證技術(shù)方法，對(duì)計(jì)算系統(tǒng)和物理系統(tǒng)進(jìn)行混合分析驗(yàn)證，以適應(yīng)新環(huán)境下的分析驗(yàn)證需求。（五） 物聯(lián)網(wǎng)系統(tǒng)優(yōu)化機(jī)理　　面向?qū)崟r(shí)可靠以及其它服務(wù)質(zhì)量需求的物聯(lián)網(wǎng)應(yīng)用，從感知、傳輸和信息處理與決策控制等多個(gè)層次出發(fā)，研究物聯(lián)網(wǎng)資源、服務(wù)和決策的耦合機(jī)理，采用競(jìng)爭(zhēng)或協(xié)作機(jī)制來(lái)合理分配與協(xié)同調(diào)度各種物理、通信與計(jì)算資源，通過(guò)資源的優(yōu)化利用，實(shí)現(xiàn)物聯(lián)網(wǎng)系統(tǒng)性能的整體優(yōu)化。具體研究?jī)?nèi)容包括：　?。?）面向可靠感知的物聯(lián)網(wǎng)多級(jí)優(yōu)化機(jī)制:面向可靠的目標(biāo)定位、事件監(jiān)測(cè)與信息感知服務(wù)，研究物聯(lián)網(wǎng)終端資源消費(fèi)的自?xún)?yōu)化策略；針對(duì)物聯(lián)網(wǎng)的非確定特性，研究基于多終端協(xié)同調(diào)度的目標(biāo)定位、事件監(jiān)測(cè)和信息感知算法；以異構(gòu)子網(wǎng)間的耦合為基礎(chǔ)，研究面向可靠感知的無(wú)縫切換與跨網(wǎng)調(diào)度機(jī)制；　?。?）物聯(lián)網(wǎng)無(wú)線(xiàn)頻譜的優(yōu)化調(diào)度與分配機(jī)制：針對(duì)物聯(lián)網(wǎng)有限頻譜資源與多終端混雜接入，研究物聯(lián)網(wǎng)頻譜應(yīng)用的時(shí)空頻相關(guān)性及信道狀態(tài)與歷史信息的關(guān)聯(lián)性，建立具有預(yù)測(cè)能力的頻譜使用模型，實(shí)現(xiàn)有序競(jìng)爭(zhēng)訪問(wèn)和高效共享的動(dòng)態(tài)頻譜分配和調(diào)度機(jī)制；研究頻譜移動(dòng)性分析的新方法，建立頻譜切換的時(shí)間關(guān)系模15 / 15