●前言
●第1章 緒論
● 1.1 研究背景
● 1.1.1 冶金煉焦過程信息化與智能化現狀分析
● 1.1.2 存在的問題
● 1.1.3 關鍵科學問題
● 1.2 國內外研究現狀
● 1.2.1 本體技術與描述邏輯在冶金領域應用研究現狀
● 1.2.2 物聯網技術在冶金煉焦領域應用研究現狀
● 1.2.3 冶金煉焦過程語義化及建模應用研究現狀
● 1.3 本書研究內容
●第2章 基於擴展描述邏輯的煉焦過程語義化研究
● 2.1 煉焦過程領域描述邏輯擴展模型
● 2.2 DL-MCP的形式化公理體繫
● 2.2.1 描述邏輯DL-MCP的語法
● 2.2.2 描述邏輯DL-MCP的語義
● 2.2.3 描述邏輯DL-MCP的公理及其解釋說明
● 2.3 描述邏輯DL-MCP的基本性質
● 2.4 描述邏輯DL-MCP形式化繫統的可靠性
● 2.5 基於描述邏輯DL-MCP煉焦過程的形式化描述
●部分目錄
煉焦是鋼鐵冶金生產中的重要過程,其產出的焦炭質量好壞直接影響後續煉鐵工藝的效能和質量。而煉焦生產過程的穩定運行及優化管理則是決定焦化產品質量和工藝能耗等重要指標的關鍵因素。研究煉焦生產過程的語義化及其相關建模應用研究,對促進冶金工業生產的信息化和智能化建設具有重要意義。本書著眼於煉焦全流程,圍繞數據如何獲取、信息如何表征、知識如何應用三個科學問題,基於語義本體和描述邏輯,引入物聯網等技術,研究煉焦生產過程現場數據采集及語義化處理、煉焦過程知識的形式化描述、領域本體知識庫構建、煉焦過程知識的語義推理方法,最後從煉焦過程實際出發,在煉焦過程的基礎數據管理、多源異構資源處理、海量知識處理以及耗熱量影響因素優化等方面進行了語義化應用研究。