BIM模型智能檢查工具在審查平臺及消防審查中的應用

張荷花 顧 明

(1.清華大學 軟件學院，北京 100084； 2.北京信息科學與技術國家研究中心，北京 100084)

引言

建筑信息模型(BIM)技術通過實現(xiàn)建筑全部信息的數(shù)字化表達，促進建筑全生命周期的信息融合與共享，在國內(nèi)外工程領域得到廣泛關注和應用。在政府的大力支持和引導下，我國BIM技術的應用逐漸深入并在大量工程項目中產(chǎn)生實效。隨著BIM技術的普及，能否實現(xiàn)基于BIM技術進行工程項目審查審批逐漸成為了大家關注的熱點。湖南省住建廳2017年起在國內(nèi)率先啟動了基于BIM技術的施工圖數(shù)字化審查研究工作，致力于推動傳統(tǒng)二維審查模式向三維審查模式發(fā)展。2019年，國家住建部將北京城市副中心、南京、廣州、廈門、雄安新區(qū)等列為運用建筑信息模型(BIM)進行工程項目審查審批和城市信息模型(CIM)平臺建設試點城市。2019年10月，深圳發(fā)布了關于取消施工圖審查，建立基于BIM的工程建設項目智慧審批平臺的文件。

從管理角度，基于BIM技術進行工程項目審查審批將使得BIM模型成為一種官方認可的產(chǎn)品形態(tài)，應用BIM技術的設計及施工單位無需再人工或自動生成二維圖紙進行提交和審查，這將有利于推動BIM技術的進一步發(fā)展和應用。從技術角度，BIM技術實現(xiàn)了建筑全部信息的結(jié)構(gòu)化表示和面向?qū)ο蟮谋硎痉绞?，相對于面向“人”來審查的圖紙而言，BIM模型具有更強的機器可理解性，在BIM模型上進行自動的精確審查成為可能[1]。此外，BIM模型上的三維幾何與信息展現(xiàn)方式與二維圖表示有較大不同，這也使得審查人員熟悉的二維圖審查方法無法直接作用于BIM模型。因此，與二維圖審查審批平臺相比，BIM審查審批平臺能否有效支持各類建筑規(guī)范在BIM模型上的自動或智能審查，將成為檢驗其能否基于BIM技術優(yōu)勢促進審查審批行業(yè)變革，從而促進工程建設行業(yè)提質(zhì)增效的一個重要內(nèi)容。

清華大學軟件學院BIM課題組自主研發(fā)了BIM模型智能檢查工具BIMChecker，該研究成果以建筑規(guī)范描述語言SNL(Structural Natural Language)、基于知識的模型檢查工具、語義和幾何特征融合的高效檢查算法等技術為核心，有效支持面向多業(yè)務規(guī)范、多BIM模型表示的統(tǒng)一自動檢查，具有靈活性、易理解性、可擴展性強等特點，已在國內(nèi)多個典型工程項目的設計施工中應用，對BIM模型質(zhì)量保障起到了促進作用[2，3]。基于BIMChecker的研究成果和實踐經(jīng)驗，清華大學2018年牽頭完成了國內(nèi)首個面向共享信息模型的系列國家標準《面向工程領域的共享信息模型》，于2019年1月1日正式實施[4-6]。標準第三部分《面向工程領域的共享信息模型：測試方法》(GB/T36456.3-2018)對建筑規(guī)范形式化描述語言和基于規(guī)則的信息模型測試方法進行了規(guī)定。

圖1 BIMChecker工具的功能架構(gòu)圖

湖南省住建廳于2018年12月在國內(nèi)率先啟動了省級BIM審查系統(tǒng)的建設，中國建筑科學研究院有限公司(以下簡稱建研院)承擔了該BIM模型審查平臺的整體研發(fā)工作，包括BIM模型的提交管理、模型可視化、審查規(guī)范的管理、模型審查、審查結(jié)果展現(xiàn)和標注等內(nèi)容。在該審查系統(tǒng)的建設中，清華大學與建研院合作，實現(xiàn)了BIMChecker工具與BIM審查平臺上的集成，通過建筑規(guī)范描述語言SNL和檢查工具的應用，實現(xiàn)了消防領域各類復雜規(guī)范的智能審查，為基于BIM的審查審批提供了靈活可擴展的自動審查支持?？紤]到國內(nèi)各省市對基于BIM的審查審批方案的關注和需求，本文將系統(tǒng)性地介紹BIM模型智能檢查工具在審查平臺及消防審查上的應用方法和實踐，以供讀者參考借鑒。

1 BIMChecker智能檢查工具介紹

1.1 BIMChecker智能檢查工具的功能架構(gòu)

BIMChecker工具是一款基于認知計算的建筑規(guī)范智能審查工具，其核心思想是實現(xiàn)基于知識的智能檢查。與一般自然語言文本相比，建筑規(guī)范的條款描述及審查過程呈現(xiàn)了豐富的領域概念、潛在知識和關聯(lián)知識。為有效實現(xiàn)建筑規(guī)范的智能檢查，須基于對規(guī)范條款及審查方法的深層次理解。該任務不是自然語言處理、知識圖譜等某一項技術可以解決的。BIMChecker工具充分考慮了工程領域的問題特點，結(jié)合領域選取適合的智能技術進行綜合應用和實現(xiàn)，其功能架構(gòu)如圖1所示。工具主要由規(guī)則庫構(gòu)建子工具、語義模型轉(zhuǎn)換模塊、BIM模型檢查引擎和輸出展示模塊等構(gòu)成。

1)對于自然語言描述的各類建筑規(guī)范，基于規(guī)則庫構(gòu)建子工具，使用建筑規(guī)范描述語言SNL，可以統(tǒng)一表示為人和計算機均可理解的一組規(guī)則，形成領域規(guī)則庫； 該部分體現(xiàn)了智能審查工具對各種建筑規(guī)范通用的特點；

2)針對遵從不同格式和數(shù)據(jù)標準的BIM模型(如.ifc，.rvt，.dwg等)，通過語義模型轉(zhuǎn)換模塊，將其抽取轉(zhuǎn)換為適用于模型檢查的語義模型(圖結(jié)構(gòu)，以JSON形式表示)； 該部分體現(xiàn)了智能審查工具關注于“語義內(nèi)容”而非“數(shù)據(jù)格式”的特點；

3)BIM模型檢查引擎，基于SNL規(guī)則與語義模型的概念映射、應用語義檢索和幾何計算融合的計算框架和高效模型檢查算法，給出BIM模型與規(guī)范符合與否的結(jié)論； 該部分體現(xiàn)了智能審查工具充分考慮BIM模型區(qū)別于一般信息模型的特點，即需要有效處理幾何和信息兩類要素；

4)輸出展示模塊，將條款的檢查結(jié)果數(shù)據(jù)，按照易于用戶理解的分類統(tǒng)計和展示方式，輸出給用戶進行檢查結(jié)果后續(xù)應用。

1.2 BIMChecker智能檢查工具的適用范圍

BIMChecker工具采用了基于規(guī)則庫的智能檢查框架，使得該工具并不限定于對某一特定專業(yè)或者特定規(guī)范的審查。例如，通過編制《建筑設計防火規(guī)范》對應的SNL規(guī)則庫，工具實現(xiàn)的是消防專業(yè)的合規(guī)性審查功能； 通過編制《住宅設計規(guī)范》對應的SNL規(guī)則庫，工具實現(xiàn)的是住宅建筑的合規(guī)性審查功能。目前BIMChecker工具的內(nèi)置規(guī)則庫已經(jīng)覆蓋了建筑、結(jié)構(gòu)、機電、暖通等多個專業(yè)的規(guī)范條款，具有通用性。

然而，根據(jù)BIMChecker智能審查工具的技術特點和SNL定義，我們可以發(fā)現(xiàn)，該工具擅長的是對復雜邏輯關系的表達，以及在復雜邏輯關系下，對語義信息和幾何信息內(nèi)容的直接檢測。因此，對于需要復雜數(shù)學公式計算、動態(tài)過程模擬等才能確定結(jié)果的合規(guī)性內(nèi)容，并不能直接通過BIMChecker工具完成，而需要與專業(yè)計算軟件配合使用，如結(jié)構(gòu)、抗震、綠建等專業(yè)計算軟件。通過應用專業(yè)計算軟件進行模擬計算，并將最終結(jié)果寫入語義模型，可納入BIMChecker工具的檢查框架，進行統(tǒng)一結(jié)果輸出和報告生成。

此外，對于各類工程規(guī)范而言，BIMChecker工具能夠描述和自動審查的是具有精確含義和量化要求的條文內(nèi)容，這也是目前機器能理解的全部內(nèi)容。對于綱領性的條文，或含義模糊的條文，BIMChecker工具尚無法處理，需要留給專家評判。因此，就目前規(guī)范條文審查而言，采取的是BIMChecker智能審查工具和專家審查分工合作的方式：對于明確量化條款，基于機器智能審查，發(fā)揮其審查快速、全面、精細的優(yōu)勢； 對于復雜特殊情形，提交給專家進行確認審核，發(fā)揮人類在全局決策方面的智慧和經(jīng)驗； 通過人機協(xié)作，全面促進審查效率和審查質(zhì)量的雙重提升。

2 智能審查工具在消防審查中的應用方法及實踐

本節(jié)介紹在湖南省BIM審查系統(tǒng)中，通過BIM模型智能審查工具與審查平臺的集成，提供自動消防審查服務的一些關鍵點。具體內(nèi)容包括實現(xiàn)基于SNL語言的防火規(guī)范庫精確編制，基于語義推理功能實現(xiàn)對防火規(guī)范概念的支持，以及基于語義和幾何計算融合的檢查框架對各類復雜建筑規(guī)范條款實現(xiàn)全自動檢查。

在“雙創(chuàng)”時代背景下，高職院校教師必須與時俱進，不斷提高自身的核心素養(yǎng)和能力，為學生做出良好的榜樣，為培養(yǎng)出滿足“雙創(chuàng)”型人才奠定堅實基礎。高職教師核心素養(yǎng)和能力［2］主要包括高職教師的教育理念與師德素養(yǎng)、教學和教改能力、專業(yè)實踐和指導能力、信息化應用及科研能力、創(chuàng)新創(chuàng)業(yè)能力等。高職院校應該充分地利用“政校行企”四方聯(lián)動的模式，構(gòu)建雙創(chuàng)型的教師隊伍，促進教師核心素養(yǎng)和能力的全面提升。

2.1 基于SNL語言的防火規(guī)范庫編制

現(xiàn)有建筑規(guī)范的編制都是面向人來查看和處理的，規(guī)范條款因自然語言本身的模糊性、二義性，以及條款包含的隱藏知識等問題，并不能被計算機直接進行有效識別和處理。建筑規(guī)范描述語言SNL，致力于搭建人的理解與機器理解之間的橋梁、統(tǒng)一條款的解釋、將隱形知識顯式化，從而解決規(guī)范條款自動審查的“條款理解”這一核心問題。一個典型的SNL規(guī)則如圖2所示?；赟NL語言，自然語言條款被結(jié)構(gòu)化為一組SNL規(guī)則，每個SNL規(guī)則描述為一個簡單句、復合句或條件句(IF-THEN結(jié)構(gòu))。SNL語言支持實體之間的二元關系、實體的數(shù)值關系和四則計算以及基于邏輯AND和邏輯OR的嵌套組合。

圖2 基于SNL的防火規(guī)范條款規(guī)則描述示例

建筑消防審查參考的一個主要規(guī)范是現(xiàn)行的《建筑設計防火規(guī)范》(GB 50016-2014，2018年版，以下簡稱防火規(guī)范)。該規(guī)范全面定義了對不同類型功能建筑、同一建筑的不同功能空間以及不同消防設施配備下的防火設計要求。防火規(guī)范條款通常不是由一個句子，而是由前后相互關聯(lián)的多個句子甚至多個段落構(gòu)成，語言描述比較復雜。因此，如何對防火規(guī)范條款進行準確和有效的拆解，是實現(xiàn)防火規(guī)范自動審查的一個關鍵點。圖3展示了建筑設計防火規(guī)范條款5.5.17的內(nèi)容，該條款又分為了四個小點。在第一小點，防火規(guī)范通過表5.5.17對不同類型的功能建筑在不同條件下，房間疏散門至最近安全出口的直線距離提出了明確的量化要求。然而，注1、注2、注3又分別針對房間是否開向敞開式外廊、樓梯間是否是敞開樓梯間、以及建筑內(nèi)是否全部設置了自動噴水滅火系統(tǒng)提出了補充規(guī)定，需要綜合考慮表1及注1、注2、注3的內(nèi)容并進行正確的組合才能準確表達出最終的規(guī)范要求。

圖3 防火規(guī)范條款5.5.17的條款內(nèi)容展示

基于建筑規(guī)范描述語言SNL，條款5.5.17共拆解為429條SNL規(guī)則，其中5.5.17-1拆解了384條，5.5.17-2拆解了2條，5.5.17-3拆解了40條，5.5.17-4拆解了3條。圖4展示了針對一個表項的SNL規(guī)則描述，即對于一個單多層醫(yī)療建筑，當其耐火等級為一級或二級、疏散門處于兩個安全出口之間、疏散門不開向敞開式外廊，并且樓梯間采用的不是敞開樓梯間，建筑全局設置了自動噴水滅火系統(tǒng)，那么要求該疏散門到最近安全出口的距離不大于35*1.25，即43.75m。

圖4 防火規(guī)范條款5.5.17對應的一條SNL規(guī)則

由圖4所示的SNL規(guī)則可以看出，SNL規(guī)則不僅是可被機器識別和理解的，它也同樣可被人所讀取和理解。正因為SNL的這一設計特性，使得在防火規(guī)范規(guī)則庫編制過程中，領域?qū)＜铱梢匀探槿?，基于SNL規(guī)則的顯式表達對規(guī)則進行檢查和確認。這一過程在建筑規(guī)范的規(guī)則化編制過程中也是重要的一個環(huán)節(jié)。細心的讀者可能注意到，SNL語言的條件句設計為IF-THEN結(jié)構(gòu)，不包含ELSE部分，也不支持各類嵌套。該設計是為了將所有約束以盡可能直觀和顯式的方式表達，而不是通過否命題或者逆否命題等各類邏輯特性考驗人們的理解力。事實上，語言的表達能力和易理解性始終是一個矛盾，SNL語言的設計在二者之間取了一個有效的折衷。另一方面，該設計也使得后端檢查工具要處理的邏輯相對直觀，確保能夠?qū)NL語言表達出的全部內(nèi)容提供自動檢查支持。

2.2 檢查工具的語義表示和推理

BIM模型檢查引擎的輸入語義模型是一個三元組(Elements，Rels，GeometryModel)。Elements為模型中的元素(構(gòu)件和空間)集合，包括元素的ID、名稱和屬性集等內(nèi)容； Rels為二元關系集合，包括空間與構(gòu)件的包含關系、空間與構(gòu)件的邊界關系、樓層與空間的包含關系、構(gòu)件之間的連接關系以及構(gòu)件之間的嵌入關系等； GeometryModel則記錄了構(gòu)件的幾何信息，分為包圍盒和線狀構(gòu)件兩類。包圍盒又分為正交包圍盒、斜包圍盒、多邊形包圍盒以及包圍盒集合等四種類型。不同的幾何類型記錄和存儲不同的數(shù)據(jù)內(nèi)容，以便在檢查階段提供給檢查工具實現(xiàn)精確幾何計算。

值得注意的是，從BIM源模型中直接提取和轉(zhuǎn)換后的模型數(shù)據(jù)，通常并不能包含足夠的規(guī)范檢查所需的語義信息。例如，消防審查中會對“封閉樓梯間”、“走道的布房情況”等進行相關約束，而BIM模型中通常并不顯式包含如“封閉樓梯間”這樣的概念。在人工審查時可根據(jù)樓梯間是否為一個封閉的空間以及樓梯間是否有門來判斷，機器則不能直接理解這一領域知識。為了解決這一問題，檢查工具實現(xiàn)了對輸入語義模型進行語義推理的功能，根據(jù)推理結(jié)果將新增的構(gòu)件屬性、關系等信息進行補充，形成“增強語義模型”。

在消防審查的應用實踐中，檢查工具的知識推理功能起到了重要作用。檢查工具根據(jù)標高的常用命名規(guī)則，推理并補充了樓層、房間、構(gòu)件的“計算標高”屬性，取值為數(shù)值類型，支持規(guī)范檢查中的數(shù)值運算。檢查工具實現(xiàn)了對“封閉樓梯間”的推理并將該語義標簽加入房間的名稱屬性； 通過計算添加了走道的布房屬性，根據(jù)其為單面布房或雙面布房填入相應數(shù)據(jù)； 計算并添加了房間相對于走道的位置信息，根據(jù)其處于走道盡端、安全出口之間還是袋形走道兩側(cè)寫入對應數(shù)據(jù)； 計算了房間內(nèi)任一點至最近疏散門的直線距離，并將其填入房間的“至疏散門計算長度”屬性等等。考慮BIM模型的建模習慣，檢查工具也會考察語義模型中給出的如墻與房間的邊界關系，并結(jié)合引擎內(nèi)進行幾何計算得到的墻與房間的邊界關系，將二者綜合后的結(jié)果增強到語義模型中。檢查工具的推理功能，將人工審查過程中使用的潛在領域知識傳授給機器，提高了檢查的智能性，從而降低了對前端BIM模型輸入的要求、有利于面向各類具有不同BIM建模習慣的用戶推廣應用。

2.3 檢查工具對復雜建筑條款的支持

檢查工具的目標在于對用戶編制的各種復雜的SNL規(guī)則，能夠自動適配和完全支持。例如，圖2所示的SNL規(guī)則不包含幾何計算，而圖4所示的SNL規(guī)則在檢查過程中則需要計算構(gòu)件之間的距離，并與條件中的構(gòu)件過濾要求相結(jié)合。事實上，建筑規(guī)范中的大量條款，都是語義與幾何約束的結(jié)合體。為了實現(xiàn)復雜建筑條款的全自動檢查，檢查工具實現(xiàn)了一個語義和幾何計算融合的檢查框架，并提供了一個可擴展的幾何計算庫，與SNL規(guī)則緊密結(jié)合實現(xiàn)自動檢查支持。

在語義和幾何計算融合的檢查框架中，將一條SNL規(guī)則歸納為范式Rif∧Rif_comp?Rthen∧Rthen_comp的形式。Rif和Rthen分別表示SNL規(guī)則中條件和結(jié)論部分的語義約束(即不含如距離、穿越等特定幾何計算的描述)，使用Rif_comp和Rthen_comp分別表示條件和結(jié)論部分的幾何計算約束。Rif、Rthen、Rif_comp和Rthen_comp可為空。圖5展示了防火規(guī)范條款7.3.6對應的一條SNL規(guī)則，該規(guī)則的幾何計算約束出現(xiàn)在SNL規(guī)則的條件部分，對應范式中，Rif_comp為空的情況。圖6展示了防火規(guī)范條款8.1.6對應的一條SNL規(guī)則，該規(guī)則不包含幾何計算約束，對應范式中，Rif_comp和Rthen_comp均為空的情況。

圖5 防火規(guī)范條款7.3.6對應的一條包含房間隔墻判定的SNL規(guī)則

圖6 防火規(guī)范條款8.1.6對應的一條包含存在性判定的SNL規(guī)則

Rif和Rthen基于檢查工具中對語義模型的檢索查詢實現(xiàn)。檢查工具可支持各類復雜的SNL規(guī)則描述。如圖6所示的SNL規(guī)則展示了對“存在一個符合要求的構(gòu)件即可”之類的描述。檢查工具根據(jù)SNL規(guī)則的表示，自動判定是檢查全部構(gòu)件還是檢查是否存在一個構(gòu)件符合要求，并分別轉(zhuǎn)換為不同的語義查詢，實現(xiàn)自動檢查。此外，基于SNL的靈活性特點，在應用中可按需求分別編寫SNL規(guī)則使其作用于整個建筑(如圖4)、某個樓層(如圖6)或某個特定功能空間(如圖5)。當作用于整個建筑時，檢查工具會將建筑的全局屬性與建筑內(nèi)的各類構(gòu)件及信息進行有效融合。例如，在處理圖4所示的規(guī)則時，檢查工具會基于SNL的條件對非醫(yī)療建筑自動跳過，無需人工對哪些類型的建筑應檢查哪些條款進行選擇或標注，檢查工具可對其一致性處理。這一點對于需要覆蓋各種不同類別建筑的防火規(guī)范檢查尤為重要。

Rif_comp和Rthen_comp基于檢查工具內(nèi)置的幾何計算庫實現(xiàn)。目前檢查工具中已實現(xiàn)的幾何計算包括門的開向、房間之間的隔墻、構(gòu)件之間的碰撞、構(gòu)件之間的距離(水平距離、豎直距離、路徑距離、最大距離、最小距離等)、構(gòu)件之間的位置關系(如上下關系、平行并排、異面交叉)等。檢查工具的幾何計算庫可隨著未來應用實踐的要求逐漸擴充。新的幾何計算功能會自動嵌入到語義和幾何計算融合的檢查框架中，從而支持各類復雜約束條件下的自動檢查。

2.4 檢查工具應用于BIM審查平臺的消防審查實踐

在湖南省審查系統(tǒng)的消防審查應用中，建研院與清華大學合作，實現(xiàn)了BIM審查平臺與檢查工具的集成。面向防火規(guī)范民用建筑涉及的強條，建立了規(guī)則庫，提供了BIM審查平臺的消防審查服務。防火規(guī)范規(guī)則庫目前共拆解為95個條款，包含860條SNL規(guī)則。規(guī)則庫覆蓋了人工審查時面臨的各類重難點條款，如5.3.1、5.5.15、5.5.17、5.5.18等，并經(jīng)過了領域?qū)＜业臋z查和確認，確保規(guī)則描述正確性?；诮y(tǒng)一的檢查工具，湖南省審查系統(tǒng)在消防審查部分，實現(xiàn)了對防火分區(qū)、消防電梯、封閉樓梯間和防煙樓梯間設置、疏散門和疏散距離要求、特殊功能空間的防火等級和層數(shù)要求等各類條款要求的系統(tǒng)性全自動檢查。

圖7展示了未通過防火規(guī)范自動審查的一些樣例。圖7a展示了違反條款7.3.6的情況，該圖也展示了檢查工具能夠適配多種墻體建模習慣如用三段墻組合成隔墻這一情況，精確識別房間隔墻； 圖7b展示了檢查工具根據(jù)5.5.15要求，檢測出房間1不滿足設置不少于2個疏散門以及房間2未設置疏散門的情況。圖7c展示了高層醫(yī)療建筑某病房不滿足房間疏散門到最近安全出口的直線距離要求的情況。

圖7 防火規(guī)范條款的自動審查不通過的樣例展示

在應用實踐中，檢查效率也是工具面臨的一個重要問題。在消防審查應用的性能測試實踐中，基于CPU配置為Intel CORE i7-7700K 4.20GHZ、內(nèi)存為32GB的臺式機，在典型BIM整體建筑模型(大小為203M)上執(zhí)行防火規(guī)范庫的全部95個條款，檢查工具的執(zhí)行總時間約為102s，其中語義模型讀取和推理時間為30s，檢查執(zhí)行總時間為72s，每條SNL規(guī)則的平均執(zhí)行時間為8ms，基本滿足應用要求。為了提升運行效率，檢查工具內(nèi)部實現(xiàn)了多種基于查詢策略的優(yōu)化。此外，對于哪些內(nèi)容通過語義模型增強方式實現(xiàn)，哪些內(nèi)容通過語義和幾何融合框架實現(xiàn)也進行了精心選擇。面向現(xiàn)實大規(guī)模復雜BIM模型，幾何計算相關檢查通常需要耗費較多的時空資源。若全部采用預計算和語義模型增強的方法，將會導致大量不必要的計算浪費。如條款7.3.6之類的檢查，僅涉及少量特定功能空間，并不需要對建筑中所有房間計算隔墻。因此，檢查工具將房間隔墻實現(xiàn)為幾何計算庫中的一項內(nèi)容，從而基于檢查框架的“使用時調(diào)用”機制，僅對過濾出來的少量功能空間進行幾何計算，大大降低了條款檢查的計算量，提升了模型檢查效率。

3 總結(jié)與展望

隨著BIM技術應用的普及，基于BIM技術進行工程項目審查審批逐漸成為了業(yè)內(nèi)關注的熱點。本文結(jié)合清華大學與建研院在湖南省BIM審查系統(tǒng)上的創(chuàng)新性合作，闡述了BIM模型智能檢查工具在審查平臺及消防自動審查方面的應用。通過構(gòu)建防火規(guī)范的SNL規(guī)則庫、應用檢查工具的語義推理能力及語義和幾何計算融合的檢查能力，BIM模型智能審查工具實現(xiàn)了靈活可配置的精確審查，與審查平臺在數(shù)據(jù)標準、流程管理、可視化等方面的特色功能，實現(xiàn)了優(yōu)勢互補。

BIM模型智能審查工具在BIM審查平臺上的應用，是基于BIM技術開展工程項目審查審批的一個有益嘗試。在消防規(guī)范審查上的應用實踐說明了該工具的有效性。BIMChecker工具因采用了基于規(guī)則庫的智能檢查框架，使得該工具并不限定于特定領域如防火規(guī)范的審查。通過編制不同的規(guī)則庫，檢查工具可自動適配并給出相應審查結(jié)果，以一致性的輸入輸出形式展現(xiàn)。目前我們正在進一步深入擴展BIM智能檢查工具的各類應用，包括擴展到結(jié)構(gòu)、機電、暖通等更多專業(yè)，擴充到更多不同類型的設計規(guī)范，以及與更多合作伙伴如深圳市建筑工務署、萬達集團等開展深入應用，促進行業(yè)提質(zhì)增效。