專利名稱：用于減災應急決策知識庫系統的控制方法
用于減災應急決策知識庫系統的控制方法所屬領域本發明涉及計算機和人工智能應用領域，特別涉及用于減災應急決策知識庫系統的控制方法。
背景技術：
自然災害是全人類面臨的自然現象，近年來全球頻發的自然災害給人類社會造成了巨大的生命和財產損失，自然災害成為世界各國面臨的共同挑戰。中國是世界上自然災害最為嚴重的國家之一，伴隨著全球氣候變化以及中國經濟快速發展和城市化進程不斷加快，中國的資源、環境和生態壓力加劇，自然災害防范應對形勢更加嚴峻復雜。自然災害種類多、分布地域廣、發生頻率高、造成損失重是中國自然災害的特點，其中 1990-2008年十九年間，平均每年因各類自然災害造成約三億人次受災，倒塌房屋三百多萬間，緊急轉移安置人口九百多萬人次，直接經濟損失二千多億元人民幣。當前和今后一個時期，在全球氣候變化背景下，出現地震、洪澇、干旱、滑坡、泥石流、臺風、低溫雨雪冰凍、森林草原火災、農林病蟲害等自然災害可能性增多。進入二十一世紀后，隨著社會經濟的發展， 人口和財富的聚集，中國面對自然災害的形勢更加嚴峻，自然災害發生頻繁，所造成的重大損失已形成了不斷擴大的趨勢。為了積極應對自然災害，最大程度地減少自然災害對人民群眾的生命和財產帶來的損失，促進社會全面、協調、可持續發展，專家系統、決策支持系統、基于知識的系統(knowledge-based system)等智能系統已經應用于減災應急救助中，如日本建筑署建設研究所等政府機構建立了防震減災應急系統；俄羅斯科學院地震中心等單位開發了 EXTREMUM防震減災系統；美國國家建筑科學研究所研制的HAZUS系統等。智能系統在應用過程中表現為以下幾個特征領域知識類型繁多，知識表示方法各有優缺點；問題求解所需領域知識表現為異構性和復雜性；例如機械設計既要依靠領域知識來求解問題，同時也依靠其豐富的設計經驗來推理；智能應用系統日益綜合和集成化。目前廣泛應用的產生式表示法、框架表示法、語義網絡表示法、案例推理表示法、面向對象表示法和描述邏輯表示法等知識表示方法在描述過程中都有各自的缺陷，單一的知識表示與建模方法已不能滿足智能系統應用的需要。基于混合知識表示與建模方法將多種知識類型融合，建立復雜、異構知識源環境下面向用戶的自適應知識管理系統，對于克服單一知識表示與建模方法的局限性，發揮多種知識表示方法的長處具有重要作用。檢索得出，中國專利號CN200910115809. 8，授權公告日2011. 12. 21，發明人王家
耀等公開了用于綜合管網地理信息系統的一體化三維數據建模方法。該方法包括步驟為 (I)對城市綜合管網要素進行抽象；(2)構建城市綜合管網的變化事件；(3)構建城市綜合管網要素拓撲關系；(4)根據城市綜合管網本質特征與規律建立城市綜合管網要素語義關系模型；(5)建立城市綜合管網物理數據模型，通過城市綜合管網數據的物理組織，實現上述集合數據模型與屬性數據、關系的關聯。不足之處在于系統建模所需數據的獲取缺乏基于用戶交互的規則知識獲取、案例知識獲取、模型知識獲取以及方案知識獲取；系統建模缺乏對多種結構的知識源進行語義融合以及知識一致性檢驗；數據服務缺乏與用戶交互，根據用戶背景資料提供自適應知識檢索服務；通過查新檢索，2011年南通大學機械工程學院的李麗英等，在《機械設計》，Vol. 28, No. 4中，分析了目前常用的單一知識表示及混合知識表示存在的不足，提出了把幾種單一知識表示方法按照本體的原理組成一種基于本體混合型的知識表示方法。將該方法應用于組合機床夾具設計系統中，提高了產品的設計效率。目前復雜、異構知識源的混合知識表示與知識建模方法適用面窄，難以與領域專家、用戶形成良好的互動；缺乏混合知識模型的統一共享存儲模型。隨著我國各行業對于知識服務需求的不斷加強，亟待集成現有各種知識表示方法在描述能力和建模方面的優勢， 建立面向用戶多種需求的混合知識表示及其建模機制。
發明內容
發明目的針對減災應急領域的規則知識、方案知識、模型知識和案例知識的混合知識表示與建模，提出一種用于減災應急決策知識庫系統的控制方法，該方法能夠提高減災應急決策領域知識的管理能力，為我國各級民政部門提供智能化、個性化、專業化知識服務，有效解決減災應急服務“知識管理”問題。同時，該方法對建立其它行業的知識庫系統也具有指導意義。本發明的技術方案是一種用于減災應急決策知識庫系統的控制方法，包括獲取子系統、建模子系統、索引子系統、服務子系統和減災知識數據庫，用于減災應急決策知識庫系統支持的減災知識數據庫，實現減災知識的形式化表達；特別是，用于減災應急決策知識庫系統的控制方法執行步驟是a、知識庫初始化將與執行任務的順序控制或伺服控制程序存入系統的程序存儲器；啟動該用于減災應急決策知識庫系統工作，CPU按系統的程序存儲器內容讀取指令、執行操作，并根據所執行指令的內容更新程序計數器；b、系統向子系統擴展當所執行的指令為打開指令時，程序計數器更新與通用計算機相同，在獲取子系統的系統控制器上設一個以上分布接口，使用于減災應急決策知識庫系統向獲取子系統、 建模子系統、索引子系統和服務子系統進行擴展；C、建立減災知識平臺通過獲取子系統中系統控制器的主控接口建立多層次多主體聯盟，即通過多個主體協作組以星型層次進入多主體分類聯盟，建立減災知識平臺；d、知識獲取，數據處理獲取子系統中的人機交互知識獲取面向用戶，通過主控接口建立知識獲取主體聯盟，知識獲取主體聯盟通過規則知識獲取主體、方案知識獲取主體、模型知識獲取主體和案例知識獲取主體獲取知識，獲取子系統中的系統控制器由主控接口、數據處理模塊和知識提取模塊組成，主控接口根據HTTP協議與減災知識數據庫建立連接，數據處理模塊對人機交互知識獲取輸出的知識進行數據處理；e、知識形式化提取將獲取子系統中數據處理模塊輸出的知識，通過知識提取模塊進行結構化特征及相關信息進行知識形式化提取，得到多種知識單元；f、知識單元導入減災知識數據庫
將獲取子系統中知識提取模塊輸出的知識單元，通過系統控制器的主控接口導入減災知識數據庫；g、知識建模、知識一致性檢驗建模子系統基于知識建模與用戶、索引子系統以及減災知識數據庫交互，通過知識建模主體聯盟獲取建模信息，同時接收索引子系統傳遞的知識單元索引和知識描述，構建多級知識，建模子系統中的檢驗器對多級知識進行知識一致性檢驗，知識檢驗主體聯盟將檢驗通過的多級知識導入減災知識數據庫中，并反饋到索引子系統中；h、建立索引數據庫索引子系統中的索引器與建模子系統中的知識建模以及減災知識數據庫交互，將減災知識數據庫中五種知識庫的知識再通過索引子系統中索引器的分析，即通過詞典、多級知識索引、知識單元索引、知識描述的分析，建立索引數據庫；i、用戶檢索得到減災知識結果服務子系統基于知識服務主體聯盟建立面向用戶的自適應檢索服務，基于用戶接口獲取檢索條件，檢索器根據用戶的需要和興趣自適應調整檢索意向，獲取減災知識數據庫中五種知識庫的索引信息，用戶接口反饋給用戶檢索結果。作為對現有技術的進一步改進知識獲取主體聯盟，包括星型層次的知識獲取主體協助組、規則知識獲取主體、方案知識獲取主體、模型知識獲取主體、案例知識獲取主體；知識建模主體聯盟，包括星型層次的知識建模主體協助組、框架建模主體、知識單元建模主體、單元關聯建模主體；知識檢驗主體聯盟，包括星型層次的矛盾檢驗主體、冗余檢驗主體、推理環路檢驗主體、規則從屬檢驗主體；其中，對建模子系統中知識建模輸出的多級知識進行樹狀圖表示，通過檢查樹林中是否存在葉節點相同的樹，建立矛盾檢驗主體；通過檢查各節點的子節點集合與其超子節點集合，即子節點的子節點，是否存在相同的元素，建立冗余檢驗主體；通過檢查各節點的子節點集合與其父節點以及超父節點集合，即父節點的父節點，交集是否為空，建立推理環路檢驗主體；通過檢查各節點的子節點集合，包括復合子節點，元素間是否存在包含關系，建立規則從屬檢驗主體；知識服務主體聯盟，包括星型層次的知識服務主體協助組、領域專家服務主體、知識工程專家服務主體、知識建模用戶服務主體；減災知識數據庫包括多級知識庫、規則庫、模型庫、案例庫和方案庫；多級知識庫是由多個知識單元組成的多層次知識模型，其中知識單元是對知識建模主體聯盟中框架建模主體或知識單元建模主體或單元關聯建模主體的框架作進一步分解，分別包括規則知識、模型知識、案例知識和方案知識的形式化表示，還包括索引子系統中索引器的知識單元索引和知識描述。本發明的有益效果是現有技術中面向復雜、異構知識源的知識庫系統多以一種知識表示方法為混合知識表示主體，知識建模方法適用面窄，難以與領域專家、用戶形成良好互動，目前沒有面向減災應急領域并且集成案例庫、方案庫、模型庫和規則庫的具有混合知識表示與建模的知識庫系統。本發明方法中建立減災知識數據庫，實現減災知識的形式化表達，知識獲取主體聯盟不斷獲取案例知識、方案知識、模型知識和規則知識等多種知識，最后將多種知識導入減災知識數據庫中，知識建模主體聯盟對減災知識數據庫中的多種知識進行多級知識建模，建模結果通過知識檢驗主體聯盟進行知識一致性檢驗，最后導入減災知識數據庫中，在多級知識建模過程中，通過索引子系統的索引器分析，建立多級知識庫、案例庫、方案庫、模型庫和規則庫的索引，知識服務主體聯盟與用戶交互，根據用戶的不同需要和興趣自適應調整檢索意向，反饋給用戶知識索引的結果排序。本發明將減災應急領域的規則知識、方案知識、模型知識和案例知識進行混合知識表示與建模，從復雜適應系統這一全新的角度，以減災應急決策知識服務為應用背景，建立減災應急知識獲取、知識建模、知識檢驗與知識服務主體聯盟，即通過多個主體協作組以星型層次進入多主體分類聯盟，并組成多主體聯盟實驗環境，從而建立減災知識平臺。目前國內減災應急決策知識庫系統，特別是個性化、自適應的減災知識庫系統還處于技術突破的前沿，因此用于減災應急決策知識庫系統的控制方法為提高減災應急決策領域知識的管理能力，為我國各級民政部門提供智能化、個性化專業化的知識服務，能夠有效解決減災應急服務“知識管理”問題。同時，該方法對建立其它行業的知識庫系統也具有指導意義。
圖I是用于減災應急決策知識庫系統的控制方法流程圖；圖2是用于減災應急決策知識庫系統的控制方法實施方框圖；圖3是本發明的減災知識平臺示意圖；圖4是本發明的多級知識樹狀圖。
具體實施例方式下面結合附圖和方法流程對本發明的具體實施方式
作進一步解釋圖I是用于減災應急決策知識庫系統的控制方法的流程圖。減災應急決策知識庫系統開始啟動(步驟100);知識庫系統初始化(步驟110)； 然后，在獲取子系統的系統控制器上設一個以上分布接口，實現系統向子系統擴展(步驟 120);通過多個主體協作組以星型層次進入多主體分類聯盟，建立減災知識平臺(步驟 130);知識獲取，數據處理通過獲取子系統中主控接口建立與減災知識數據庫的連接，將人機交互知識獲取輸入的規則知識、方案知識、模型知識和案例知識等多種知識進行數據處理(步驟140);知識形式化提取對多種知識進行結構化特征及相關信息的知識形式化提取 (步驟150);通過獲取子系統中主控接口將將提取的知識單元導入減災知識數據庫(步驟 160);知識建模、知識一致性檢驗實現與用戶交互獲取建模信息，同時與索引子系統交互獲取獲取規則知識、方案知識、模型知識和案例知識等多種知識的索引信息，對多種知識構建減災應急決策的多級知識模型，多級知識模型經過知識一致性檢驗后導入到減災知識數據庫中(步驟170);索引子系統在與建模子系統的知識建模以及減災知識數據庫的交互過程中，建立包括規則知識、方案知識、模型知識和案例知識的多種知識索引庫以及多級知識模型的索引庫，從而建立索引數據庫(步驟180);服務子系統中的用戶接口通過用戶檢索 (步驟190)，獲取檢索條件，服務子系統的檢索器接收檢索條件，結合用戶背景信息，挖掘出用戶興趣模式，自適應調整知識檢索意向，返回檢索信息(步驟200);如果用戶繼續檢索信息(步驟210);是則重復步驟190至步驟210，若否，則檢索結束(步驟220)。圖2是用于減災應急決策知識庫系統的控制方法實施方框圖，圖3是本發明的減災知識平臺示意圖，圖4是本發明的多級知識樹狀圖。在圖2中包括獲取子系統、建模子系統、索引子系統和服務子系統，在圖3中包括知識獲取主體聯盟、知識建模主體聯盟、知識檢驗主體聯盟和知識服務主體聯盟。首先，獲取子系統建立知識獲取主體聯盟，獲取子系統中的人機交互知識獲取與用戶交互，獲取子系統中的系統控制器由主控接口、數據處理模塊和知識提取模塊組成，其中主控接口基于規則知識獲取主體、方案知識獲取主體、模型知識獲取主體和案例知識獲取主體建立知識獲取主體聯盟，實現規則知識、方案知識、模型知識和案例知識等多種知識的獲取，同時實現數據處理模塊和知識提取模塊的通信，根據HTTP協議與減災知識數據庫建立連接，數據處理模塊對人機交互知識獲取輸出的多種知識進行數據處理，知識提取模塊將數據處理模塊輸出的多種知識進行結構化特征及相關信息的知識形式化提取，通過主控接口將知識數據導入減災知識數據庫中。其次，建模子系統基于知識建模與用戶、索引子系統交互，通過可視化界面獲取建模信息通過框架建模主體、知識單元建模主體和單元關聯建模主體建立知識建模主體聯盟，基于索引子系統傳遞的知識單元索引和知識描述構建多級知識，同時建模子系統中的檢驗器對多級知識進行知識一致性檢驗，基于矛盾檢驗主體、冗余檢驗主體、推理環路檢驗主體和規則從屬檢驗主體建立知識檢驗主體聯盟，將檢驗通過的多級知識導入減災知識數據庫中，同時多級知識索引反饋到索引子系統中；然后，索引子系統中的索引器與建模子系統中的知識建模以及減災知識數據庫交互，對減災知識數據庫中規則知識、模型知識、案例知識和方案知識等多種知識，通過索引子系統中索引器的分析，即通過詞典、多級知識索引、知識單元索引、知識描述的分析，建立多種知識單元的索引數據庫，并將多種知識單元索引和知識描述傳遞給建模子系統中的知識建模，同時對知識建模傳遞的多級知識通過索引器的分析，建立多級知識索引數據庫；最后，服務子系統基于用戶接口與用戶交互，基于領域專家服務主體、知識工程專家主體和知識建模用戶服務主體建立知識服務主體聯盟，同時通過服務子系統中檢索器與索引子系統交互，檢索器根據用戶的需要和興趣自適應調整檢索意向，反饋給用戶規則知識單元、模型知識單元、案例知識單元、方案知識單元和多級知識的索引排序結果。索引子系統包括索引器和索引數據庫，索引器包括如下四部分一、詞典詞典是知識單元實現特征項、存儲記錄地址和其對應編碼的工具。對于知識庫系統而言，特征項和存儲記錄地址是中文或英文的不定長字符串。顯然這不利于系統的存儲和運算。通過詞典，將這些不定長的數據轉換成系統唯一的整型編碼，能夠節省系統的存儲空間，同時提高了檢索中最常用的運算——比較運算的運行效率。二、多級知識索引通過詞典，一個多級知識單元特征項被翻譯為系統唯一的編碼。利用這個編碼，可以找到這個特征項對應的多級知識單元的一級索引的入口。一級索引中包含兩個數據，一是該特征項對應的知識單元索引的入口地址偏移量，二是各級知識單元索引項的個數。三、知識單元索引知識單元索引是一個索引項列表，它通過多級知識索引獲得。 知識單元索引表中每一項代表檢索特征項對應的一個結果知識單元概要描述，包括該知識單元的編碼，特征項與該單元的可信度權值。四、知識描述是檢索到的知識單元信息，用戶通過知識單元編碼獲得它。知識單元用于對規則知識、方案知識、模型知識和案例知識的形式化描述，由獲取子系統導入減災知識數據庫。系統控制器還實現規則知識獲取主體、方案知識獲取主體、模型知識獲取主體和案例知識獲取主體協議及IP地址解析高速緩存功能，多主體分類聯盟的多個獲取主體按照HTTP協議負責通過用戶交互獲取多種知識，為提高知識獲取速度和效率，通常可以啟動上百個獲取主體同時工作。多主體分類聯盟的多個獲取主體同時對搜集回來的信息內容進行分析處理。在獲取子系統的系統控制器上設一個以上分布接口，使用于減災應急決策知識庫系統向獲取子系統、建模子系統、索引子系統和服務子系統進行擴展；在圖4中多級知識是由框架和多個知識單元組成，其中框架是復雜問題，復雜問題包括多個子問題組合，每個子問題對應求解所需的知識單元，每個知識單元包括索弓I子系統中索引器的知識單元索引和知識描述，每個知識單元用于對規則知識、方案知識、模型知識和案例知識的形式化描述。多主體分類聯盟中的知識檢驗主體聯盟，以星型結構建立并設有矛盾檢驗主體、 冗余檢驗主體、推理環路檢驗主體、規則從屬檢驗主體；其中，對建模子系統中知識建模輸出的多級知識進行樹狀圖表示，通過檢查樹林中是否存在葉節點相同的樹，建立矛盾檢驗主體；通過檢查各節點的子節點集合與其超子節點集合(即子節點的子節點)，是否存在相同的元素，建立冗余檢驗主體；通過檢查各節點的子節點集合與其父節點以及超父節點集合(即父節點的父節點)，交集是否為空，建立推理環路檢驗主體；通過檢查各節點的子節點集合(包括復合子節點)的元素間是否存在包含關系， 建立規則從屬檢驗主體。
權利要求
1.一種用于減災應急決策知識庫系統的控制方法，包括獲取子系統、建模子系統、索引子系統、服務子系統和減災知識數據庫，用于減災應急決策知識庫系統支持的減災知識數據庫，實現減災知識的形式化表達；其特征在于，用于減災應急決策知識庫系統的控制方法執行步驟是a、知識庫初始化將與執行任務的順序控制或伺服控制程序存入系統的程序存儲器；啟動該用于減災應急決策知識庫系統工作，CPU按系統的程序存儲器內容讀取指令、執行操作，并根據所執行指令的內容更新程序計數器；b、系統向子系統擴展當所執行的指令為打開指令時，程序計數器更新與通用計算機相同，在獲取子系統的系統控制器上設一個以上分布接口，使用于減災應急決策知識庫系統向獲取子系統、建模子系統、索引子系統和服務子系統進行擴展；C、建立減災知識平臺通過獲取子系統中系統控制器的主控接口建立多層次多主體聯盟，即通過多個主體協作組以星型層次進入多主體分類聯盟，建立減災知識平臺；d、知識獲取，數據處理獲取子系統中的人機交互知識獲取面向用戶，通過主控接口建立知識獲取主體聯盟， 知識獲取主體聯盟通過規則知識獲取主體、方案知識獲取主體、模型知識獲取主體和案例知識獲取主體獲取知識，獲取子系統中的系統控制器由主控接口、數據處理模塊和知識提取模塊組成，主控接口根據HTTP協議與減災知識數據庫建立連接，數據處理模塊對人機交互知識獲取輸出的知識進行數據處理；e、知識形式化提取將獲取子系統中數據處理模塊輸出的知識，通過知識提取模塊進行結構化特征及相關信息進行知識形式化提取，得到多種知識單元；f、知識單元導入減災知識數據庫將獲取子系統中知識提取模塊輸出的知識單元，通過系統控制器的主控接口導入減災知識數據庫；g、知識建模、知識一致性檢驗建模子系統基于知識建模與用戶、索引子系統以及減災知識數據庫交互，通過知識建模主體聯盟獲取建模信息，同時接收索引子系統傳遞的知識單元索引和知識描述，構建多級知識，建模子系統中的檢驗器對多級知識進行知識一致性檢驗，知識檢驗主體聯盟將檢驗通過的多級知識導入減災知識數據庫中，并反饋到索引子系統中；h、建立索引數據庫索引子系統中的索引器與建模子系統中的知識建模以及減災知識數據庫交互，將減災知識數據庫中五種知識庫的知識再通過索引子系統中索引器的分析，即通過詞典、多級知識索引、知識單元索引、知識描述的分析，建立索引數據庫；i、用戶檢索得到減災知識結果服務子系統基于知識服務主體聯盟建立面向用戶的自適應檢索服務，基于用戶接口獲取檢索條件，檢索器根據用戶的需要和興趣自適應調整檢索意向，獲取減災知識數據庫中五種知識庫的索引信息，用戶接口反饋給用戶檢索結果。
2.根據權利要求I所述用于減災應急決策知識庫系統的控制方法，其特征是所述知識獲取主體聯盟，包括星型層次的知識獲取主體協助組、規則知識獲取主體、方案知識獲取主體、模型知識獲取主體、案例知識獲取主體。
3.根據權利要求I所述的用于減災應急決策知識庫系統的控制方法，其特征是所述知識建模主體聯盟，包括星型層次的知識建模主體協助組、框架建模主體、知識單元建模主體、單元關聯建模主體。
4.根據權利要求I所述用于減災應急決策知識庫系統的控制方法，其特征是所述知識檢驗主體聯盟，包括星型層次的矛盾檢驗主體、冗余檢驗主體、推理環路檢驗主體、規則從屬檢驗主體；其中，對建模子系統中知識建模輸出的多級知識進行樹狀圖表示，通過檢查樹林中是否存在葉節點相同的樹，建立矛盾檢驗主體；通過檢查各節點的子節點集合與其超子節點集合，即子節點的子節點，是否存在相同的元素，建立冗余檢驗主體；通過檢查各節點的子節點集合與其父節點以及超父節點集合，即父節點的父節點，交集是否為空，建立推理環路檢驗主體；通過檢查各節點的子節點集合，包括復合子節點，元素間是否存在包含關系，建立規則從屬檢驗主體。
5.根據權利要求I所述用于減災應急決策知識庫系統的控制方法，其特征是所述知識服務主體聯盟，包括星型層次的知識服務主體協助組、領域專家服務主體、知識工程專家服務主體、知識建模用戶服務主體。
6.根據權利要求I所述的用于減災應急決策知識庫系統的控制方法，其特征是所述將減災知識數據庫中五種知識庫的知識再通過索引子系統中索引器的分析，其中減災知識數據庫中五種知識庫包括多級知識庫、規則庫、模型庫、案例庫和方案庫。
7.根據權利要求6所述的用于減災應急決策知識庫系統的控制方法，其特征是所述多級知識庫是由多個知識單元組成的多層次知識模型，其中知識單元是對知識建模主體聯盟中框架建模主體或知識單元建模主體或單元關聯建模主體的框架作進一步分解，分別包括規則知識、模型知識、案例知識和方案知識的形式化表示，還包括索引子系統中索引器的知識單元索引和知識描述。
全文摘要
本發明涉及用于減災應急決策知識庫系統的控制方法，包括獲取子系統、建模子系統、索引子系統、服務子系統和減災知識數據庫。知識庫系統控制方法的執行步驟包括知識庫初始化，系統向子系統擴展，知識獲取、數據處理，知識形式化提取，知識單元導入減災知識數據庫，知識建模、知識一致性檢驗、建立索引數據庫和用戶搜索得到減災方法結果。系統通過多個主體協作組進入多主體分類聯盟，建立減災知識平臺；知識一致性檢驗具體包括矛盾檢驗、冗余檢驗、推理環路檢驗和規則從屬檢驗。本發明實現減災知識的混合知識表達，提高知識庫系統對用戶建模需求的動態適應能力，解決減災知識服務“知識貧乏”問題，最終提供給用戶滿意的減災知識搜索結果和服務。
文檔編號G06F17/30GK102609777SQ201210037339
公開日2012年7月25日 申請日期2012年2月17日 優先權日2012年2月17日
發明者孫丙宇, 李文波, 王儒敬, 蔣慶, 黃河 申請人:中國科學院合肥物質科學研究院