目錄
前言
第1章 緒論 1
1.1 研究背景 1
1.1.1 冶金煉焦過(guò)程信息化與智能化現(xiàn)狀分析 1
1.1.2 存在的問(wèn)題 4
1.1.3 關(guān)鍵科學(xué)問(wèn)題 6
1.2 國(guó)內(nèi)外研究現(xiàn)狀 7
1.2.1 本體技術(shù)與描述邏輯在冶金領(lǐng)域應(yīng)用研究現(xiàn)狀 7
1.2.2 物聯(lián)網(wǎng)技術(shù)在冶金煉焦領(lǐng)域應(yīng)用研究現(xiàn)狀 10
1.2.3 冶金煉焦過(guò)程語(yǔ)義化及建模應(yīng)用研究現(xiàn)狀 12
1.3 本書(shū)研究?jī)?nèi)容 13
第2章 基于擴(kuò)展描述邏輯的煉焦過(guò)程語(yǔ)義化研究 16
2.1 煉焦過(guò)程領(lǐng)域描述邏輯擴(kuò)展模型 16
2.2 DL-MCP 的形式化公理體系 16
2.2.1 描述邏輯DL-MCP 的語(yǔ)法 17
2.2.2 描述邏輯DL-MCP 的語(yǔ)義 18
2.2.3 描述邏輯DL-MCP 的公理及其解釋說(shuō)明 20
2.3 描述邏輯DL-MCP 的基本性質(zhì) 24
2.4 描述邏輯DL-MCP 形式化系統(tǒng)的可靠性 25
2.5 基于描述邏輯DL-MCP 煉焦過(guò)程的形式化描述 25
2.5.1 煉焦過(guò)程工藝流程簡(jiǎn)述 25
2.5.2 煉焦過(guò)程語(yǔ)義化要素的提取 26
2.5.3 煉焦過(guò)程語(yǔ)義化描述 35
第3章 基于物聯(lián)網(wǎng)的煉焦過(guò)程數(shù)據(jù)采集與語(yǔ)義化處理研究 44
3.1 冶金過(guò)程數(shù)據(jù)采集網(wǎng)絡(luò)設(shè)計(jì) 44
3.1.1 鋼鐵冶金過(guò)程數(shù)據(jù)采集平臺(tái)總體框架 45
3.1.2 鋼鐵冶金過(guò)程數(shù)據(jù)采集網(wǎng)絡(luò)構(gòu)建 46
3.2 煉焦過(guò)程數(shù)據(jù)感知與傳感網(wǎng)絡(luò)構(gòu)建 46
3.2.1 煉焦過(guò)程數(shù)據(jù)感知與監(jiān)測(cè)需求分析 47
3.2.2 傳感器網(wǎng)絡(luò)感知屬性描述 48
3.2.3 煉焦各子過(guò)程數(shù)據(jù)采集與傳感網(wǎng)絡(luò)構(gòu)建 50
3.2.4 煉焦全流程數(shù)據(jù)采集與管理系統(tǒng)設(shè)計(jì) 54
3.3 基于ZigBee 的煉焦過(guò)程組網(wǎng)與網(wǎng)絡(luò)通信 55
3.3.1 網(wǎng)絡(luò)架構(gòu)需求分析 55
3.3.2 網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)設(shè)計(jì) 56
3.3.3 網(wǎng)內(nèi)數(shù)據(jù)傳輸與處理 57
3.4 煉焦過(guò)程物聯(lián)網(wǎng)及傳感器網(wǎng)絡(luò)數(shù)據(jù)語(yǔ)義化處理 61
3.4.1 煉焦過(guò)程傳感器網(wǎng)絡(luò)本體描述模型 62
3.4.2 煉焦過(guò)程傳感器網(wǎng)絡(luò)本體構(gòu)建 64
3.4.3 煉焦過(guò)程傳感器數(shù)據(jù)感知過(guò)程描述 65
3.4.4 煉焦過(guò)程傳感器網(wǎng)絡(luò)感知數(shù)據(jù)描述 66
第4章 煉焦過(guò)程信息語(yǔ)義化管理 70
4.1 煉焦過(guò)程數(shù)據(jù)庫(kù)結(jié)構(gòu)設(shè)計(jì) 70
4.1.1 數(shù)據(jù)庫(kù)概念結(jié)構(gòu)設(shè)計(jì) 70
4.1.2 數(shù)據(jù)庫(kù)邏輯結(jié)構(gòu)設(shè)計(jì) 70
4.2 煉焦過(guò)程數(shù)據(jù)庫(kù)到本體庫(kù)的轉(zhuǎn)換 77
4.2.1 轉(zhuǎn)換過(guò)程 78
4.2.2 轉(zhuǎn)換規(guī)則 78
4.2.3 轉(zhuǎn)換實(shí)例 80
4.3 煉焦過(guò)程本體庫(kù)構(gòu)建與本體知識(shí)的存儲(chǔ) 87
4.3.1 煉焦過(guò)程本體構(gòu)建方法與步驟 88
4.3.2 煉焦過(guò)程本體的構(gòu)建 88
4.3.3 煉焦過(guò)程本體知識(shí)的存儲(chǔ) 90
4.4 煉焦過(guò)程本體映射問(wèn)題研究 92
4.4.1 煉焦過(guò)程的本體映射 92
4.4.2 煉焦過(guò)程本體映射評(píng)估 95
4.4.3 煉焦過(guò)程本體映射的實(shí)驗(yàn)驗(yàn)證 95
第5章 基于本體的煉焦過(guò)程語(yǔ)義推理與檢索服務(wù)研究 99
5.1 基于本體的煉焦過(guò)程語(yǔ)義推理99
5.1.1 基于本體的煉焦過(guò)程語(yǔ)義推理模型 99
5.1.2 基于本體的煉焦過(guò)程語(yǔ)義推理規(guī)則 99
5.1.3 基于本體的煉焦過(guò)程語(yǔ)義推理機(jī)制 114
5.1.4 基于本體的煉焦過(guò)程語(yǔ)義推理實(shí)例 115
5.2 煉焦過(guò)程的知識(shí)檢索 118
5.2.1 煉焦過(guò)程知識(shí)預(yù)處理 119
5.2.2 煉焦過(guò)程知識(shí)的RDF 語(yǔ)義表示與轉(zhuǎn)換 119
5.2.3 煉焦過(guò)程知識(shí)的SPARQL 查詢 121
5.2.4 數(shù)據(jù)庫(kù)與本體庫(kù)相融合的煉焦過(guò)程知識(shí)檢索模型與算法設(shè)計(jì) 122
5.3 基于語(yǔ)義的煉焦過(guò)程知識(shí)服務(wù)模型研究 126
5.3.1 基于語(yǔ)義的煉焦過(guò)程知識(shí)服務(wù)模型總體框架 126
5.3.2 基于語(yǔ)義的煉焦過(guò)程知識(shí)服務(wù)過(guò)程與推送策略 127
5.3.3 基于語(yǔ)義的煉焦過(guò)程知識(shí)服務(wù)系統(tǒng)設(shè)計(jì) 128
第6章 基于本體的煉焦過(guò)程語(yǔ)義化應(yīng)用研究 131
6.1 數(shù)據(jù)庫(kù)與本體庫(kù)技術(shù)在煉焦過(guò)程的基礎(chǔ)數(shù)據(jù)管理中的應(yīng)用 131
6.1.1 煉焦過(guò)程基礎(chǔ)數(shù)據(jù)管理系統(tǒng)框架設(shè)計(jì) 131
6.1.2 煉焦過(guò)程領(lǐng)域數(shù)據(jù)庫(kù)實(shí)現(xiàn) 132
6.1.3 煉焦過(guò)程領(lǐng)域本體庫(kù)實(shí)現(xiàn) 132
6.1.4 基礎(chǔ)數(shù)據(jù)管理系統(tǒng)的主要功能實(shí)現(xiàn) 135
6.2 煉焦過(guò)程語(yǔ)義融合技術(shù)在多源異構(gòu)信息資源處理中的應(yīng)用 139
6.2.1 多源異構(gòu)信息資源的RDF(S)描述 139
6.2.2 多源異構(gòu)信息資源本體知識(shí)庫(kù)構(gòu)建模型 140
6.2.3 多源異構(gòu)信息資源本體知識(shí)庫(kù)構(gòu)建算法 142
6.2.4 實(shí)驗(yàn)驗(yàn)證 144
6.3 基于RDF 圖語(yǔ)義推理方法在煉焦過(guò)程海量知識(shí)處理中的應(yīng)用 145
6.3.1 煉焦過(guò)程RDF 圖分子庫(kù)構(gòu)建 145
6.3.2 煉焦過(guò)程RDF 圖MapReduce 并行化推理算法設(shè)計(jì) 149
6.3.3 實(shí)驗(yàn)驗(yàn)證 154
6.4 基于語(yǔ)義推理的煉焦過(guò)程耗熱量影響因素優(yōu)化設(shè)計(jì) 157
6.4.1 煉焦過(guò)程的耗熱量影響因素分析 157
6.4.2 基于語(yǔ)義規(guī)則的煉焦過(guò)程耗熱量影響因素優(yōu)化 159
6.4.3 基于本體的煉焦過(guò)程耗熱量影響因素優(yōu)化 167
第7章 結(jié)論與展望 171
7.1 主要結(jié)論 171
7.2 展望 172
參考文獻(xiàn) 174