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

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