色彩的表现是指在模拟真实建筑的基础上，设计师要不遗余力地利用手中的材料发挥出造型艺术和色彩的魅力。模型公司表示：建筑模型的色彩应用一方面来自材质本身的颜色和纹理，另一方面来自后期的涂刷。 上图是由名筑模型制作的中铁建绞吸船礼品船模 大部分的商业和展示模型都需要根据不同的基材选取不同的颜料进行调配，并确定涂刷方式。在色彩的应用过程中要注意以下几点： 1、要注意模型色彩的视觉艺术、色彩构成的原理、色彩的功能、色彩的对比和调和以及色彩设计的应用。如在模型颜色设计中运用比较协调的色彩以及利用色相不同但明度和纯度类似的颜色，以达到视觉的统一。 2、要掌握好模型色彩中原色、间色和复色之间的微妙差别。如利用少量原色和间色与大量的复色形成对比关系，可使整体形象活跃，突出所表达的重点。 3、要处理好模型色彩中色相、明度和色度的属性关系。如在模型制作中将灯光与纯度较高的颜色结合，那么，会使整体模型具有很强的视觉吸引力，起到突出视觉效果的作用。 涂饰处理要注意： 通过涂饰处理可以表达出模型外观色彩和质感的效果。不能利用材质本身颜色和纹理的就要进行涂饰处理，比较常见的是有机玻璃切割后进行涂饰处理和ABS板材切割后进行涂饰处理。另外，还可以利用板材已有的雕刻纹样，如砖纹、石纹、屋面瓦等。 在有些情况下涂饰是为了突出模型的表现力和特殊质感，常用一些激励材料喷涂或在由基底表面的情况下涂刷。总的来说，涂饰处理要掌握以下几点： 1、要掌握一般的涂饰材料和涂饰工艺知识。 2、了解和熟悉各种涂饰材料及工艺所产生的效果。 3、模型表面处理的材料包括各种绘画颜料和装饰纸。 4、饰工艺主要采用贴饰和喷涂。
一、 智能交通沙盘模型主要实现功能有：信号灯控制(定时控制、感应控制)、违章抓拍上传(闯红灯抓拍、逆行、占线、)、卡扣抓拍、智能停车场(立体停车位动态演示、车位引导、智能收费等)、etc收费等功能，实际当中已经普及的技术，以及还在研制当中的新技术都可以通过智能交通沙盘试验并演示出来。
动态沙盘模型
二、 智能农业沙盘模型针对于农业种植大棚物联网技术的应用：光照检测、温湿度检测、二氧化碳检测、土壤检测、水质检测等智能化试验控制。还有物联网针对于养殖业的应用、针对于农田种植的应用等都可以以沙盘的形式模拟试验演示出来。
三、 智慧城市沙盘模型主要功能有：智能交通演示、智能农业、智能物流、智能家居、智慧工业等等，投影结合沙盘动态演示，人盘互动的演示出物联网技术在现代化城市的广泛应用。
建筑沙盘模型区别于产品实体模型，如产品铸造翻砂用的木模，或机械加工金属冲压模等。这类模型是根据现有实物测绘或定型图纸，按比例放大或缩小，选用木材或金属材料加工制作，此类模型要求尺寸严格，准确地来表现物体形象。这类模型在制作过程中，不允许对原图纸和实物做任何修改变动，如果想要改变，一定要经多方手续，得到设计者和领导批准签字同意后，方可进行改动。
由手工或电脑雕刻机将各立面的墙体做好然后拼接而成。其色彩及质感选用是关键的一环。和真的外墙装饰材料。因为在模型上与在电脑效果图中的着色肌理是完全不同的，光的反向原理也不同。在参考色彩这一点上，电脑效果图的用途就是显示色彩之间的搭配关系，生意下的就要看制作者自己的把握水平了。
工业模型的时候有很多不同类型的建筑模型，不同的建筑模型特点不同，所采用的材料也不一样。不同的建筑模型适用的场合也是不一样的。黏土模型、工业模型、俗称手版、手版模型和快速成型，主要制作方法有CNC加工，激光快速成型和硅胶模小批量生产，广泛应用于工业新产品设计研发阶段。在短的时间内加工出和设计一致的实物模型，设计师进行产品外观确认和功能测试等，从而完善设计方案 。
我认为，至少，正确的模型应该是经过充分验证的。除了“充分验证”，还应该满足什么条件呢？我能想到的就是“可验证”，“可验证”也是充分验证的前提。
模型的“可验证”以后会专门介绍，本文先说说模型中代码生成之前可以做哪些验证？
按照模型是否运行来划分，可以把验证分为静态验证和动态验证两大类。
静态验证
静态验证有评审、建模标准检查、形式化验证等方式。
1模型评审
评审是质量体系要求的，通常我们模型画完之后，需要通过评审的方式去评审模型是否实现了相应的需求。那么，评审发生的时刻应该如何把握？是否在画完模型之后紧跟着就去做评审呢？我个人认为，如果有工具可以帮我们实现静态检查，我们为什么不先做静态检查呢？先做静态检查的好处是把可以通过工具发现的软件缺陷在评审之前消除掉，这样可以避免在评审的时候在此类问题上浪费时间。
2建模标准检查
目前MATLAB通过SimulinkVerification&Validation（以下简称SLVnV）提供了ModelAdvisor，可以实现建模标准的静态检查，实现起来也不困难，并且工具还具有可定制功能，可以在SLVnV提供的诸多检查项里挑选适合自己开发团队的检查集，也有可能有一些检查是ModelAdvisor没有提供的，这种情况下，也可以通过编写MATLAB程序的方式定制检查项。
3形式化验证
MATLAB提供了SimulinkDesignVerifier（以下简称SLDV）产品，可以对模型进行形式化验证。SLDV可以检查模型中是否有整数溢出，或者是否有死逻辑。这两类错误都是很容易被评审和功能测试错过的错误，其实，软件里一旦发现有这两类错误，复现或者定位这两类错误都非常困难，而SLDV可以通过分析模型的给出发生或者可能发生错误的环节。另外，需要注意的是，在模型评审或者功能测试过程中，我们都可能发现一些软件缺陷，发现这些缺陷之后，我们需要修改模型，模型经过修改可能会再次引入数据溢出或者死逻辑之类的错误，所以建议做功能测试之后，再次使用SLDV检查一下模型。