Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker
Autor(a) principal: | |
---|---|
Data de Publicação: | 2017 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFMG |
Texto Completo: | http://hdl.handle.net/1843/BUOS-B32NDG |
Resumo: | A Norma de Desempenho NBR 15.575 - tem objetivo de estabelecer diretrizes para execução de empreendimentos habitacionais mais seguros, com qualidade e longevidade (ABNT 15.575, 2013). Uma parte significativa das exigências desta Norma refere-se aos projetos. A verificação automática de parâmetros normativos por meio de regras introduzidas nos sistemas computacionais tem-se mostrado eficiente, na medida que reduz o tempo de verificação e análise dos projetos e ainda pode contribuir para aumentar a precisão dos resultados (Rodrigues, 2015). Nessa direção, o presente trabalho objetivou avaliar a aplicabilidade, a aderência e os desafios da verificação dos requisitos de projeto da norma de desempenho de forma automática com a utilização do software Solibri Model Checker (SMC), para uso em modelos de construção virtual BIM. Dentro desse objetivo principal buscou-se: a) parametrizar um conjunto de regras por meio do SMC com o intuito de atender parcialmente as exigências de projeto da NBR15.575; b) propor uma ferramenta que facilite a tradução das diretrizes normativas para a linguagem do SMC e c), testar e avaliar a parametrização proposta em um empreendimento vinculado ao projeto governamental Minha Casa Minha Vida modelado pelo software Revit. A pesquisa foi baseada no método denominado constructive research. Não obstante as limitações da plataforma SMC, foi possível codificar aproximadamente um terço dos requisitos de projeto da Norma para checagem de forma automática. Vale destacar que os esforços para interligar os requisitos da norma à checagem do SMC não se realizaram de maneira direta, ou seja, em média, mais de 4 regras do software para verificar um único requisito da norma. O estudo constatou uma redução de tempo de conferência dos projetos, em torno de 60% e ainda apontou 22% a mais de não conformidades do que o método de conferência manual |
id |
UFMG_6a8597806d2f9c5d5f343706ad6f62ed |
---|---|
oai_identifier_str |
oai:repositorio.ufmg.br:1843/BUOS-B32NDG |
network_acronym_str |
UFMG |
network_name_str |
Repositório Institucional da UFMG |
repository_id_str |
|
spelling |
Eduardo Marques ArantesEduardo Toledo SantosPaulo Roberto Pereira AnderyFlávio Paulino de Andrade e Silva2019-08-14T06:49:29Z2019-08-14T06:49:29Z2017-11-20http://hdl.handle.net/1843/BUOS-B32NDGA Norma de Desempenho NBR 15.575 - tem objetivo de estabelecer diretrizes para execução de empreendimentos habitacionais mais seguros, com qualidade e longevidade (ABNT 15.575, 2013). Uma parte significativa das exigências desta Norma refere-se aos projetos. A verificação automática de parâmetros normativos por meio de regras introduzidas nos sistemas computacionais tem-se mostrado eficiente, na medida que reduz o tempo de verificação e análise dos projetos e ainda pode contribuir para aumentar a precisão dos resultados (Rodrigues, 2015). Nessa direção, o presente trabalho objetivou avaliar a aplicabilidade, a aderência e os desafios da verificação dos requisitos de projeto da norma de desempenho de forma automática com a utilização do software Solibri Model Checker (SMC), para uso em modelos de construção virtual BIM. Dentro desse objetivo principal buscou-se: a) parametrizar um conjunto de regras por meio do SMC com o intuito de atender parcialmente as exigências de projeto da NBR15.575; b) propor uma ferramenta que facilite a tradução das diretrizes normativas para a linguagem do SMC e c), testar e avaliar a parametrização proposta em um empreendimento vinculado ao projeto governamental Minha Casa Minha Vida modelado pelo software Revit. A pesquisa foi baseada no método denominado constructive research. Não obstante as limitações da plataforma SMC, foi possível codificar aproximadamente um terço dos requisitos de projeto da Norma para checagem de forma automática. Vale destacar que os esforços para interligar os requisitos da norma à checagem do SMC não se realizaram de maneira direta, ou seja, em média, mais de 4 regras do software para verificar um único requisito da norma. O estudo constatou uma redução de tempo de conferência dos projetos, em torno de 60% e ainda apontou 22% a mais de não conformidades do que o método de conferência manualThe Performance Standard - NBR 15,575 has the objective of establishing guidelines for the execution of safer residential developments, with quality and longevity (ABNT 15.575, 2013). A significant part of the requirements of this Standard refers to projects. The automatic verification of normative parameters through rules introduced in the computational systems has been shown to be efficient, as it reduces the time of verification and analysis of the projects and can contribute to increase the precision of the results (Rodrigues, 2015). In this direction, the present work aimed to evaluate the applicability, adherence and challenges of verifying design requirements of the performance standard automatically using the Solibri Model Checker (SMC) software, for use in BIM virtual construction models. Within this main objective we sought: a) parameterize a set of rules through the SMC in order to partially meet the design requirements of NBR15,575; b) to propose a tool that facilitates the translation of normative guidelines into the SMC language and c) to test and evaluate the proposed parameterization in an enterprise linked to the government project My Home My Life modeled by Revit software. The research was based on the method called constructive research. Notwithstanding the limitations of the SMC platform, it was possible to encode approximately one-third of the design requirements of the Standard for checking automatically. It is worth noting that efforts to link the requirements of the standard to SMC checking were not carried out directly, ie on average more than 4 rules of the software to verify a single requirement of the standard. The study found a reduction in project conferencing time of around 60% and still pointed to 22% more nonconformities than the manual conference methodUniversidade Federal de Minas GeraisUFMGProjetos AvaliaçãoModelagem de informação da construçãoNormas técnicas (Engenharia)Construção civilNorma de desempenhoBIMVerificação automáticaVerificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checkerinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMGORIGINALtese_flavio_p_final.pdfapplication/pdf6369126https://repositorio.ufmg.br/bitstream/1843/BUOS-B32NDG/1/tese_flavio_p_final.pdfb034259bb7e94d2f601b8041dc8a2611MD51TEXTtese_flavio_p_final.pdf.txttese_flavio_p_final.pdf.txtExtracted texttext/plain326334https://repositorio.ufmg.br/bitstream/1843/BUOS-B32NDG/2/tese_flavio_p_final.pdf.txt85a7d3b6239ba251eb8faf381f8f18f3MD521843/BUOS-B32NDG2019-11-14 12:05:52.768oai:repositorio.ufmg.br:1843/BUOS-B32NDGRepositório de PublicaçõesPUBhttps://repositorio.ufmg.br/oaiopendoar:2019-11-14T15:05:52Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false |
dc.title.pt_BR.fl_str_mv |
Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker |
title |
Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker |
spellingShingle |
Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker Flávio Paulino de Andrade e Silva Norma de desempenho BIM Verificação automática Projetos Avaliação Modelagem de informação da construção Normas técnicas (Engenharia) Construção civil |
title_short |
Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker |
title_full |
Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker |
title_fullStr |
Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker |
title_full_unstemmed |
Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker |
title_sort |
Verificação automática dos requisitos de projetos da norma de desempenho pela plataforma Bim Solibri Model Checker |
author |
Flávio Paulino de Andrade e Silva |
author_facet |
Flávio Paulino de Andrade e Silva |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Eduardo Marques Arantes |
dc.contributor.referee1.fl_str_mv |
Eduardo Toledo Santos |
dc.contributor.referee2.fl_str_mv |
Paulo Roberto Pereira Andery |
dc.contributor.author.fl_str_mv |
Flávio Paulino de Andrade e Silva |
contributor_str_mv |
Eduardo Marques Arantes Eduardo Toledo Santos Paulo Roberto Pereira Andery |
dc.subject.por.fl_str_mv |
Norma de desempenho BIM Verificação automática |
topic |
Norma de desempenho BIM Verificação automática Projetos Avaliação Modelagem de informação da construção Normas técnicas (Engenharia) Construção civil |
dc.subject.other.pt_BR.fl_str_mv |
Projetos Avaliação Modelagem de informação da construção Normas técnicas (Engenharia) Construção civil |
description |
A Norma de Desempenho NBR 15.575 - tem objetivo de estabelecer diretrizes para execução de empreendimentos habitacionais mais seguros, com qualidade e longevidade (ABNT 15.575, 2013). Uma parte significativa das exigências desta Norma refere-se aos projetos. A verificação automática de parâmetros normativos por meio de regras introduzidas nos sistemas computacionais tem-se mostrado eficiente, na medida que reduz o tempo de verificação e análise dos projetos e ainda pode contribuir para aumentar a precisão dos resultados (Rodrigues, 2015). Nessa direção, o presente trabalho objetivou avaliar a aplicabilidade, a aderência e os desafios da verificação dos requisitos de projeto da norma de desempenho de forma automática com a utilização do software Solibri Model Checker (SMC), para uso em modelos de construção virtual BIM. Dentro desse objetivo principal buscou-se: a) parametrizar um conjunto de regras por meio do SMC com o intuito de atender parcialmente as exigências de projeto da NBR15.575; b) propor uma ferramenta que facilite a tradução das diretrizes normativas para a linguagem do SMC e c), testar e avaliar a parametrização proposta em um empreendimento vinculado ao projeto governamental Minha Casa Minha Vida modelado pelo software Revit. A pesquisa foi baseada no método denominado constructive research. Não obstante as limitações da plataforma SMC, foi possível codificar aproximadamente um terço dos requisitos de projeto da Norma para checagem de forma automática. Vale destacar que os esforços para interligar os requisitos da norma à checagem do SMC não se realizaram de maneira direta, ou seja, em média, mais de 4 regras do software para verificar um único requisito da norma. O estudo constatou uma redução de tempo de conferência dos projetos, em torno de 60% e ainda apontou 22% a mais de não conformidades do que o método de conferência manual |
publishDate |
2017 |
dc.date.issued.fl_str_mv |
2017-11-20 |
dc.date.accessioned.fl_str_mv |
2019-08-14T06:49:29Z |
dc.date.available.fl_str_mv |
2019-08-14T06:49:29Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1843/BUOS-B32NDG |
url |
http://hdl.handle.net/1843/BUOS-B32NDG |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais |
dc.publisher.initials.fl_str_mv |
UFMG |
publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFMG instname:Universidade Federal de Minas Gerais (UFMG) instacron:UFMG |
instname_str |
Universidade Federal de Minas Gerais (UFMG) |
instacron_str |
UFMG |
institution |
UFMG |
reponame_str |
Repositório Institucional da UFMG |
collection |
Repositório Institucional da UFMG |
bitstream.url.fl_str_mv |
https://repositorio.ufmg.br/bitstream/1843/BUOS-B32NDG/1/tese_flavio_p_final.pdf https://repositorio.ufmg.br/bitstream/1843/BUOS-B32NDG/2/tese_flavio_p_final.pdf.txt |
bitstream.checksum.fl_str_mv |
b034259bb7e94d2f601b8041dc8a2611 85a7d3b6239ba251eb8faf381f8f18f3 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG) |
repository.mail.fl_str_mv |
|
_version_ |
1803589201886707712 |