1、“.....最早的研究努力必须从零开始,但对于而后的开发研究可以建立在已经开中华人民共和国公安部建设工程消防设计审查规则第部分非书资料北京中国质检出版社,清华大学软件学院课题组中国建筑信息模型标准框架研究土木建筑工程是由与进行联合开发的。结论笔者介绍了包括阶逻辑本体论模型视图等规则自动检查理论方法。研究了等软件的应用情况。根据文中提到的制约规则准确实现自动审查的个因素,为改进审查效能检查理论方法。消防规则自动检查软件的流程可分为个阶段规则的解释和应用中的逻辑结构建筑模型的制备,在这个阶段检查所需的必要信息会被准备好规则执行阶段,检查执行情况的阶段,最后检查结果报告。规则自动检查方法理论综述理论体系架构结合规范自动检查领域早期的研究成果,之父提取了为实现个功能完消防设计自动审查软件应用研究原稿容进行整合的成果......”。

2、“.....它提供了空间工艺实施者建筑对象和其他常规信息的分类。平行于也有别于国际字典的框架,它在不同语言间对于建筑组件的属性与不同的用途提供了的确切的定义。规则中的对象,属性或关系的评估抽取是规则解释的关键,规则解释的终端处理很,作者简介第作者余君,女,福建惠安人,泉州市防火监督处助理工程师,清华大学硕士,主要研究方向为基于的消防应用。第作者郑琪,女,福建惠安人,泉州市消防支队鲤城区大队助理工程师,学士,主要从事消防设计审查消防验收及消防监督检查等工作。消防设计自动审查软件应用研究题的自动观看显示,可用于展示报告可达性检查功能,基于代码的可达性基于实际建筑空间的空间程序检查消防逃生路径距离检查。本体论准确的规则翻译依靠统定义与标注的的对象分类疏散逃生空间和使用统定义的测量方法提取数据长度宽度。这些分类和属性从早期的分类中提取并进行了扩展......”。

3、“.....清华大学软件学院课题组中国建筑信息模型标准框架研究土木建题的自动观看显示,可用于展示报告可达性检查功能,基于代码的可达性基于实际建筑空间的空间程序检查消防逃生路径距离检查。研究了等软件的应用情况。根据文中提到的制约规则准确实现自动审查的个因素,为改进审工程信息技术,李智勇建筑防火设计审核系统的研制与开发大连大连理工大学,杨炳城基于凸函数证据理论的消防审核办公自动化系统设计长春吉林大学国外规则自动检查软件应用分析为建筑模型制作的规则导向系统的研究发展起于十多年前。在此期间,建筑模型和规则检查的方法发展了起来,但是高效的规则检查系统仍仅处于发展和投入使用的初期。规则检查系统是个需要大量软件工具来满足我们提出的功能需求的大型应用软件。最早的研究努力必须从零开始,但对于而后的开发研究可以建立在已经开行于也有别于国际字典的框架......”。

4、“.....规则中的对象,属性或关系的评估抽取是规则解释的关键,规则解释的终端处理很大程度上依赖于从和获取的标准。模型视图建筑模型需要大量的数据集。而且迄今建造的模型通常未包含支持建筑规则检查所需的细节。有些规则检查涉及隐含属性。例如玻璃在个楼层房间内的比例。或者残疾人在厕所无障碍通行的最窄宽度。规则检查可通过生成相应的模型视图解决目标对象的检查。然而,全新的规则正在通过的应用程序编程接口并使用编写进行添加。接口是不公开的,从而限制提供的进行检查的规则。提供了个对象数原稿。提供了从书面语言规则到计算机代码的翻译方法,使用特定领域的术语和半正式的映射方法的字典。还提供了方法来访问在模型中的相关数据和报告结果。是由与进行联合开发的。结论笔者介绍了包括阶逻辑本体论模型视图等规则自动工程信息技术,李智勇建筑防火设计审核系统的研制与开发大连大连理工大学......”。

5、“.....通过将建筑信息分类从而支撑数字建模和模型信息间的转换。它提供了空间工艺实施者建筑对象和其他常规信息的分类。平行于也有别于国际字典的框架,它在不同语言间对于建筑组件的属性与不同的用途提供了的确切的定义。规则中的对象,属性或关系的评估抽取是规则解释的关键,规则解释的终端处理很开发了些功能的平台基础上。笔者通过对几个规则检查系统的应用研究,简要的分析报告如下。是个基于的应用程序,它能读取模型,并将其映射到内部结构,便于访问和处理。它包括多种内置功能个可以预检查模型的数据库,预检查的内容包括形状重叠,名称和属性的命名规则,对象的存在性等,作为更详细检查的前提准备校核消防设计自动审查软件应用研究原稿等人分别提供了用于特定类型规则检查的数据获取的模型视图和更有效率的在个总体建筑模型中的抽取子模型来使运行的方法......”。

6、“.....有些规则检查涉及隐含属性。例如玻璃在个楼层房间内的比例。或者残疾人在厕所无障碍通行的最窄宽度。规则检查可通过生成相应的模型视图解决目标对象的检容进行整合的成果,通过将建筑信息分类从而支撑数字建模和模型信息间的转换。它提供了空间工艺实施者建筑对象和其他常规信息的分类。平行于也有别于国际字典的框架,它在不同语言间对于建筑组件的属性与不同的用途提供了的确切的定义。规则中的对象,属性或关系的评估抽取是规则解释的关键,规则解释的终端处理很则翻译依靠统定义与标注的的对象分类疏散逃生空间和使用统定义的测量方法提取数据长度宽度。这些分类和属性从早期的分类中提取并进行了扩展。是将和欧洲研究内容进行整合的成果,通过将建筑信息分类从而支撑数字建模和模型信息间的转换。它提供了空间工艺实施者建筑对象和其他常规信息的分类。,作者简介第作者余君,女,福建惠安人,泉州市防火监督处助理工程师......”。

7、“.....主要研究方向为基于的消防应用。第作者郑琪,女,福建惠安人,泉州市消防支队鲤城区大队助理工程师,学士,主要从事消防设计审查消防验收及消防监督检查等工作。消防设计自动审查软件应用研究原稿库,并支持使用语言进行开源规则开发,这同时也是模型模式的开发语言。新的模型可以采用和语言,这是从个模式到另个映射实例数据的语言,并支持丰富的查询和报告开发。这些技术设施使能打开复杂的用户扩展。消防设计自动审查软件应用研究原稿。本体论准确的规工程信息技术,李智勇建筑防火设计审核系统的研制与开发大连大连理工大学,杨炳城基于凸函数证据理论的消防审核办公自动化系统设计长春吉林大学程度上依赖于从和获取的标准。模型视图建筑模型需要大量的数据集。而且迄今建造的模型通常未包含支持建筑规则检查所需的细节。等人分别提供了用于特定类型规则检查的数据获取的模型视图和更有效率的在个总体建筑模型中的抽取子模型来使运行的方法......”。

8、“.....可用于展示报告可达性检查功能,基于代码的可达性基于实际建筑空间的空间程序检查消防逃生路径距离检查。本体论准确的规则翻译依靠统定义与标注的的对象分类疏散逃生空间和使用统定义的测量方法提取数据长度宽度。这些分类和属性从早期的分类中提取并进行了扩展。是将和欧洲研究内开发了些功能的平台基础上。笔者通过对几个规则检查系统的应用研究,简要的分析报告如下。是个基于的应用程序,它能读取模型,并将其映射到内部结构,便于访问和处理。它包括多种内置功能个可以预检查模型的数据库,预检查的内容包括形状重叠,名称和属性的命名规则,对象的存在性等,作为更详细检查的前提准备校核。国外规则自动检查软件应用分析为建筑模型制作的规则导向系统的研究发展起于十多年前。在此期间,建筑模型和规则检查的方法发展了起来......”。

9、“.....规则检查系统是个需要大量软件工具来满足我们提出的功能需求的大型应用软件。最早的研究努力必须从零开始,但对于而后的开发研究可以建立在已消防设计自动审查软件应用研究原稿容进行整合的成果,通过将建筑信息分类从而支撑数字建模和模型信息间的转换。它提供了空间工艺实施者建筑对象和其他常规信息的分类。平行于也有别于国际字典的框架,它在不同语言间对于建筑组件的属性与不同的用途提供了的确切的定义。规则中的对象,属性或关系的评估抽取是规则解释的关键,规则解释的终端处理很息技术,李智勇建筑防火设计审核系统的研制与开发大连大连理工大学,杨炳城基于凸函数证据理论的消防审核办公自动化系统设计长春吉林大学题的自动观看显示,可用于展示报告可达性检查功能,基于代码的可达性基于实际建筑空间的空间程序检查消防逃生路径距离检查......”。