BIM模型的正确性与协调一致性是BIM技术应用的基础。本文介绍了关于模型检查工作的基本现状，简述了建筑、结构专业的模型检查的基本内容和方法。主要借助芬兰Solibri公司的模型检查软件Solibri Model Checker(SMC) v8.0对BIM模型质量的检查方法和流程进行了初步探究。

目前，经济社会各领域正在从数字化、网络化向智能化加速跃升。如何结合人工智能技术提升土木建筑行业的智能化水平是学者们关注的热点问题。BIM技术是该领域数字化、网络化发展的重要成果。在BIM技术进入深度应用、普及应用和规模化应用阶段，如何自动和智能地实现对BIM模型质量多方位、客观、量化评价是一项重要内容。本文结合课题组BIMChecker工具的研发实践和研究成果，阐述了如何综合应用领域特定语言设计、自然语言处理、知识图谱、数据挖掘、机器学习等重要技术，解决建筑规范理解和表示、BIM模型语义信息抽取和组织、新知识发现、图纸图元自动识别等关键问题的思路、方法及效果，并介绍了BIMChecker工具在典型项目上的应用示范。本文为探索人工智能技术在土木建筑行业的有效结合和应用点提供参考借鉴。

为了适应各种越来越复杂的建筑结构形式，重新设计了空间建模系统SpasCAD。新版重点提高了软件的稳定性、易用性，增加了对新结构形式的支持，针对空间结构的特点设计了完整的显示查询检查系统，可以接力PMSAP完成计算分析设计，新版本设计了全新接口，为开发专用行业分析软件提供了平台。本文对新版SpasCAD的各项重要改进、新特性进行了阐述。

广州地铁六号线二期机电安装及公共区装修项目在施工阶段引入BIM技术, 各施工单位根据设计图纸完成施工模型的建立, 现场监理组织各专业施工单位完成模型合并。模型合并过程中存在许多问题, 本文将问题做简要分析并提出可行性解决方案, 最后对后期线路的合模工作进行展望。