消防设计自动审查软件应用的研究.docVIP

消防设计自动审查软件应用的研究 目录 TOC \o 1-9 \h \z \u 目录 1 正文 1 文1：消防设计自动审查软件应用研究 2 2规则自动检查方法理论综述 2 2.1理论体系架构 2 2.2一阶谓语逻辑 2 2.3本体论 3 2.4模型视图 3 3国外规则自动检查软件应用分析 3 3.1SolibriModelChecker 4 3.2JotneEDModelChecker 5 3.3FORNAX 5 3.4SMARTcodes 5 4结论 6 文2：空调系统节能运行自动控制的应用研究 6 1 引言 6 2 空调系统运行原理及节能的重要性 7 3 空调系统节能运行自动控制的应用 7 3.1 空调水系统自动控制分析 7 3.2 空调风系统自动控制分析 8 3.3 参数的调节 9 4 结语 9 参考文摘引言： 9 原创性声明（模板） 10 正文 消防设计自动审查软件应用的研究 文1：消防设计自动审查软件应用研究 1前言 BIM全称为BuildingInformationModel，它具备支持三维可视化、信息结构化集成、全局更新等优点。 消防规则自动检查软件的流程可分为四个阶段：（1）规则的解释和应用中的逻辑结构（2）建筑模型的制备，在这