建筑沙盘模型在制作模型的时候，步就是打磨，在打磨过程中需要注意很多地方，本文提供一些模型打磨和涂漆的经验技巧。 当模型组合好后，模型表面会有许多夹缝，这样会严重影响模型的外观，所以必须要对模型夹缝进行修补。主要的工具是补土、锉刀和砂纸。另外要注意的是模型在组合时必须下胶水，否则夹缝修补后很易又裂开。补土也叫不地，是专门用来填补模型夹缝的一种有机树脂。种类也有许多，一般较常用的是田宫公司的。在许多较大的模型店都有售。使用时用适当的工具沾取适量抹在想填补的接合线上或凹处，抹的时候要施加一定的压力，将补土填满凹处的每一角落。补土的成份中含有可溶解塑料的溶液，所以接触到模型表面时不易脱落。但因其中的溶液会挥发，所以当它完全干燥硬化后体积会缩小一点。当我们上补土时就要多补一点。使补土有足够体积应付打磨需要。

等补土完全干后（约四五小时）就可以进行打磨了。先用锉刀锉，要顺着弧度，当锉得差不多时（要自己判断）就换砂纸打磨。砂纸号码越大，代表颗粒越细。通常先用400号，再用600号、800号。使用800号以上的砂纸时沾一点水来打磨，这样表面会更平滑。有时补土会填了模型的凹线，这时可在补土未干时用刻刀或牙签刻回凹线。打磨好后就要喷上一层水补土，它是液状的，主要能检查修补打磨的情况。同时它是浅灰色的，可以用来作模型的底色。当发现要再修补时就要放上，等水补土干后再修补打磨。

建筑沙盘模型制作方面有着自己的经验和文化。出色的完成了众多的知名建筑项目，充分展示行业发展的历程及项目背后的文化艺术内涵和社会背景，超高的仿真率，使每一个模型作品都有着自己的特色。

在进行建筑与环境设计的过程中个，根据设计过程的目的和需要，会制作各种不同比例、材料、细节表现程度的模型，有的是为激发设计构思服务的，有的是为研究和推敲建筑结构或空间分配服务的，有的是为终总体效果表现服务的，但是无论是哪一个设计阶段的模型，都应遵循灵活性和科学性相结合的原则。

建筑沙盘模型灵活性表现在不同的设计阶段可以根据需要采用不同的表现比例和材料以及不同的细节表现程度；科学性则表现在无论处于建筑与环境设计的何种阶段，采用何种手法与比例建造模型，都应该明白建筑模型和建筑实体之间应该体现出一种准确的缩比关系，如建筑体量、组合、方向、外形轮廓、空间序列、环境构造等都应该体现一种理性的逻辑，与实际情况相符合。随着设计程度的深入，科学性表现得愈加明显。

不同的沙盘用不同的材料，不同的制作表现手法，设备是死的，思想是活的，这正是当今大部份模型公司没能领悟的悟区，很多公司有先进的设备，却无法聚合的人才，大部份公司是因为赚钱而设，没有长远目标与愿景，企业没有灵魂，好的技术人才没有用武之地，正是因为这种固封的思想，使很多模型公司的沙盘模型没有灵魂，就象是一件非常普通的日用品，充其量只是能用而已，所以要提高沙盘的质量及展示模型沙盘的艺术魅力，关键在于对沙盘的认知与感悟，祝愿从事沙盘模型行业的老板及设计师们，改变你们的思想，制作出有灵魂的沙盘模型，就象谢工常说的一句话：我们制作的不只是模型，更重要的是我们在铸造艺术的灵魂！

我认为，至少，正确的模型应该是经过充分验证的。除了“充分验证”，还应该满足什么条件呢？我能想到的就是“可验证”，“可验证”也是充分验证的前提。

模型的“可验证”以后会专门介绍，本文先说说模型中代码生成之前可以做哪些验证？

按照模型是否运行来划分，可以把验证分为静态验证和动态验证两大类。

静态验证

静态验证有评审、建模标准检查、形式化验证等方式。

1模型评审

评审是质量体系要求的，通常我们模型画完之后，需要通过评审的方式去评审模型是否实现了相应的需求。那么，评审发生的时刻应该如何把握？是否在画完模型之后紧跟着就去做评审呢？我个人认为，如果有工具可以帮我们实现静态检查，我们为什么不先做静态检查呢？先做静态检查的好处是把可以通过工具发现的软件缺陷在评审之前消除掉，这样可以避免在评审的时候在此类问题上浪费时间。

2建模标准检查

目前MATLAB通过SimulinkVerification&Validation（以下简称SLVnV）提供了ModelAdvisor，可以实现建模标准的静态检查，实现起来也不困难，并且工具还具有可定制功能，可以在SLVnV提供的诸多检查项里挑选适合自己开发团队的检查集，也有可能有一些检查是ModelAdvisor没有提供的，这种情况下，也可以通过编写MATLAB程序的方式定制检查项。

3形式化验证

MATLAB提供了SimulinkDesignVerifier（以下简称SLDV）产品，可以对模型进行形式化验证。SLDV可以检查模型中是否有整数溢出，或者是否有死逻辑。这两类错误都是很容易被评审和功能测试错过的错误，其实，软件里一旦发现有这两类错误，复现或者定位这两类错误都非常困难，而SLDV可以通过分析模型的给出发生或者可能发生错误的环节。另外，需要注意的是，在模型评审或者功能测试过程中，我们都可能发现一些软件缺陷，发现这些缺陷之后，我们需要修改模型，模型经过修改可能会再次引入数据溢出或者死逻辑之类的错误，所以建议做功能测试之后，再次使用SLDV检查一下模型。