建筑沙盤模型在制作模型的時候，步就是打磨，在打磨過程中需要注意很多地方，本文提供一些模型打磨和涂漆的經(jīng)驗技巧。 當模型組合好后，模型表面會有許多夾縫，這樣會嚴重影響模型的外觀，所以必須要對模型夾縫進行修補。主要的工具是補土、銼刀和砂紙。另外要注意的是模型在組合時必須下膠水，否則夾縫修補后很易又裂開。補土也叫不地，是專門用來填補模型夾縫的一種有機樹脂。種類也有許多，一般較常用的是田宮公司的。在許多較大的模型店都有售。使用時用適當?shù)墓ぞ哒慈∵m量抹在想填補的接合線上或凹處，抹的時候要施加一定的壓力，將補土填滿凹處的每一角落。補土的成份中含有可溶解塑料的溶液，所以接觸到模型表面時不易脫落。但因其中的溶液會揮發(fā)，所以當它完全干燥硬化后體積會縮小一點。當我們上補土時就要多補一點。使補土有足夠體積應(yīng)付打磨需要。
等補土完全干后（約四五小時）就可以進行打磨了。先用銼刀銼，要順著弧度，當銼得差不多時（要自己判斷）就換砂紙打磨。砂紙?zhí)柎a越大，代表顆粒越細。通常先用400號，再用600號、800號。使用800號以上的砂紙時沾一點水來打磨，這樣表面會更平滑。有時補土會填了模型的凹線，這時可在補土未干時用刻刀或牙簽刻回凹線。打磨好后就要噴上一層水補土，它是液狀的，主要能檢查修補打磨的情況。同時它是淺灰色的，可以用來作模型的底色。當發(fā)現(xiàn)要再修補時就要放上，等水補土干后再修補打磨。
建筑沙盤模型制作方面有著自己的經(jīng)驗和文化。出色的完成了眾多的知名建筑項目，充分展示行業(yè)發(fā)展的歷程及項目背后的文化藝術(shù)內(nèi)涵和社會背景，超高的仿真率，使每一個模型作品都有著自己的特色。
在進行建筑與環(huán)境設(shè)計的過程中個，根據(jù)設(shè)計過程的目的和需要，會制作各種不同比例、材料、細節(jié)表現(xiàn)程度的模型，有的是為激發(fā)設(shè)計構(gòu)思服務(wù)的，有的是為研究和推敲建筑結(jié)構(gòu)或空間分配服務(wù)的，有的是為終總體效果表現(xiàn)服務(wù)的，但是無論是哪一個設(shè)計階段的模型，都應(yīng)遵循靈活性和科學性相結(jié)合的原則。
建筑沙盤模型靈活性表現(xiàn)在不同的設(shè)計階段可以根據(jù)需要采用不同的表現(xiàn)比例和材料以及不同的細節(jié)表現(xiàn)程度；科學性則表現(xiàn)在無論處于建筑與環(huán)境設(shè)計的何種階段，采用何種手法與比例建造模型，都應(yīng)該明白建筑模型和建筑實體之間應(yīng)該體現(xiàn)出一種準確的縮比關(guān)系，如建筑體量、組合、方向、外形輪廓、空間序列、環(huán)境構(gòu)造等都應(yīng)該體現(xiàn)一種理性的邏輯，與實際情況相符合。隨著設(shè)計程度的深入，科學性表現(xiàn)得愈加明顯。
不同的沙盤用不同的材料，不同的制作表現(xiàn)手法，設(shè)備是死的，思想是活的，這正是當今大部份模型公司沒能領(lǐng)悟的悟區(qū)，很多公司有先進的設(shè)備，卻無法聚合的人才，大部份公司是因為賺錢而設(shè)，沒有長遠目標與愿景，企業(yè)沒有靈魂，好的技術(shù)人才沒有用武之地，正是因為這種固封的思想，使很多模型公司的沙盤模型沒有靈魂，就象是一件非常普通的日用品，充其量只是能用而已，所以要提高沙盤的質(zhì)量及展示模型沙盤的藝術(shù)魅力，關(guān)鍵在于對沙盤的認知與感悟，祝愿從事沙盤模型行業(yè)的老板及設(shè)計師們，改變你們的思想，制作出有靈魂的沙盤模型，就象謝工常說的一句話：我們制作的不只是模型，更重要的是我們在鑄造藝術(shù)的靈魂！
我認為，至少，正確的模型應(yīng)該是經(jīng)過充分驗證的。除了“充分驗證”，還應(yīng)該滿足什么條件呢？我能想到的就是“可驗證”，“可驗證”也是充分驗證的前提。
模型的“可驗證”以后會專門介紹，本文先說說模型中代碼生成之前可以做哪些驗證？
按照模型是否運行來劃分，可以把驗證分為靜態(tài)驗證和動態(tài)驗證兩大類。
靜態(tài)驗證
靜態(tài)驗證有評審、建模標準檢查、形式化驗證等方式。
1模型評審
評審是質(zhì)量體系要求的，通常我們模型畫完之后，需要通過評審的方式去評審模型是否實現(xiàn)了相應(yīng)的需求。那么，評審發(fā)生的時刻應(yīng)該如何把握？是否在畫完模型之后緊跟著就去做評審呢？我個人認為，如果有工具可以幫我們實現(xiàn)靜態(tài)檢查，我們?yōu)槭裁床幌茸鲮o態(tài)檢查呢？先做靜態(tài)檢查的好處是把可以通過工具發(fā)現(xiàn)的軟件缺陷在評審之前消除掉，這樣可以避免在評審的時候在此類問題上浪費時間。
2建模標準檢查
目前MATLAB通過SimulinkVerification&Validation（以下簡稱SLVnV）提供了ModelAdvisor，可以實現(xiàn)建模標準的靜態(tài)檢查，實現(xiàn)起來也不困難，并且工具還具有可定制功能，可以在SLVnV提供的諸多檢查項里挑選適合自己開發(fā)團隊的檢查集，也有可能有一些檢查是ModelAdvisor沒有提供的，這種情況下，也可以通過編寫MATLAB程序的方式定制檢查項。
3形式化驗證
MATLAB提供了SimulinkDesignVerifier（以下簡稱SLDV）產(chǎn)品，可以對模型進行形式化驗證。SLDV可以檢查模型中是否有整數(shù)溢出，或者是否有死邏輯。這兩類錯誤都是很容易被評審和功能測試錯過的錯誤，其實，軟件里一旦發(fā)現(xiàn)有這兩類錯誤，復(fù)現(xiàn)或者定位這兩類錯誤都非常困難，而SLDV可以通過分析模型的給出發(fā)生或者可能發(fā)生錯誤的環(huán)節(jié)。另外，需要注意的是，在模型評審或者功能測試過程中，我們都可能發(fā)現(xiàn)一些軟件缺陷，發(fā)現(xiàn)這些缺陷之后，我們需要修改模型，模型經(jīng)過修改可能會再次引入數(shù)據(jù)溢出或者死邏輯之類的錯誤，所以建議做功能測試之后，再次使用SLDV檢查一下模型。