環(huán)球優(yōu)路

       基于BIM的自動化建筑法規(guī)檢測的架構(gòu)
       (一)、準(zhǔn)備模型(Building model preparation)
       進行法規(guī)檢測時，被檢測模型必須配合能檢測的應(yīng)對數(shù)據(jù)，而針對對象使用的命名，又通常具有一定的法令術(shù)語規(guī)定。因此，在建置模型的階段，必要有一定的規(guī)范，以引導(dǎo)設(shè)計者可以設(shè)計出符合法規(guī)驗證的模型出來。因此，提供此預(yù)先內(nèi)置有針對法規(guī)所需屬性命名標(biāo)準(zhǔn)的樣板檔案，是滿足建置可供檢測之模型的準(zhǔn)備要件之一。另外，如何確保準(zhǔn)備模型的數(shù)據(jù)質(zhì)量亦為重要的議題之一。
       (二)、法規(guī)解譯(Rule interpretation)
       如果用「里應(yīng)外合」的成語來形容「準(zhǔn)備模型」及「法規(guī)解譯」間的關(guān)系，則「里應(yīng)」就是「準(zhǔn)備模型」，而「外合」就是「法規(guī)解譯」?！阜ㄒ?guī)解譯」本身結(jié)合了建筑法規(guī)專業(yè)領(lǐng)域的知識，以及程序設(shè)計的信息技術(shù)，缺一不可，尤其以建筑法規(guī)專業(yè)領(lǐng)域的知識**為首要，而信息技術(shù)應(yīng)該為輔。目前此部分大致有兩種做法，一是經(jīng)由程序設(shè)計師直接將法規(guī)利用一般的程序語言寫成一個個程序模塊。二是這些以人類語法邏輯所描述的法規(guī)，使用一種正規(guī)化發(fā)展出來的方法予以轉(zhuǎn)譯，然后再轉(zhuǎn)換為可執(zhí)行的程序語言。**種方法由于程序設(shè)計人員大都不是建筑法規(guī)專家，對法規(guī)的認(rèn)知易生誤差。而第二種發(fā)展一個正規(guī)化的方法，由業(yè)界法規(guī)專家對法規(guī)的邏輯進行階段式的解譯，使法規(guī)變成較具邏輯推演的描述，再交由程序人員進行軟件法規(guī)的實作，應(yīng)是一個較為可行的方法。
       在法規(guī)與法規(guī)轉(zhuǎn)化的過程中，一階謂詞邏輯(First-Order Logic)可能是一個可行的邏輯描述方式之一，在邏輯上，「謂詞」是一個定義明確的術(shù)語(或功能)，較容易產(chǎn)出明確的需求定義，而且較容易轉(zhuǎn)換成標(biāo)準(zhǔn)的程序語法。而在處理上，法規(guī)轉(zhuǎn)換主要處理兩種要素：a.法規(guī)的條件與內(nèi)容，及b.法規(guī)作用的屬性，而這些都是與對象的名稱與屬性息息相關(guān)，Solibri 將前者內(nèi)化為規(guī)則集，而將后者設(shè)計成參數(shù)化表格供輸入來進行檢測。就長遠而言，下列兩種不同的語言發(fā)展形式應(yīng)該可以被考慮：1.以謂詞邏輯為基礎(chǔ)，經(jīng)由謂詞邏輯將法規(guī)與法規(guī)先行轉(zhuǎn)譯成謂詞邏輯描述，再轉(zhuǎn)換為可執(zhí)行的程序代碼；2.發(fā)展領(lǐng)域?qū)虻某绦蛘Z言(Rule-based)，讓法規(guī)可以簡單的被定義與實作測試，如BERA 語言。
       (三)、法規(guī)檢測(Rule execution)
       前兩項基本要素備妥后，即可進行檢測運算，此階段重點在執(zhí)行過程的管理，例如在正式進行法規(guī)檢測之前，需要先對受檢模型進行語法檢查(syntactic checking)，以確定建筑模型帶有必要的屬性、名稱、所需的對象等，無論是整套的檢測任務(wù)，或可能是對映檢查規(guī)則集的一部分之局限型模型視域，皆需先做檢查。另外a.法規(guī)檢測完整性，及b.模型版本一致性的管理，也是此階段的重點工作。
       (四)、輸出結(jié)果(Rule reporting)
       檢測結(jié)果的輸出，目前以Solibri Model Checker 的做法較具代表性，就是包括a.法規(guī)實作圖形化報告(Rule instance graphical reporting)，及b.對照法規(guī)條文(Reference to source rule)。將來應(yīng)該可以考慮更積極的做法，即將抵觸法規(guī)的部分能自動回饋成模型視域修正的建議，直接幫助建筑師調(diào)整設(shè)計，更省時間。