Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2006 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | http://www.teses.usp.br/teses/disponiveis/3/3152/tde-20042007-180941/ |
Resumo: | O sistema de proteção técnica contra incêndio (SPTCI) é um dos principais sistemas que compõem o edifício inteligente (EI), pois a eficiência do seu funcionamento afeta diretamente a segurança das pessoas e o patrimônio do prédio. O SPTCI é composto de diferentes dispositivos, estratégias de controle e atua segundo legislação específica. Devido à complexidade do SPTCI, torna-se fundamental uma modelagem adequada que permita verificar a dinâmica do sistema e sua relação com outros sistemas prediais. Neste contexto, este trabalho propõe um procedimento para a modelagem e análise de estratégias de controle para o SPTCI, integrado com outros sistemas prediais dentro do contexto de EI. A abordagem considerada para este propósito baseia-se na teoria dos sistemas a eventos discretos, na aplicação de técnicas derivadas da rede de Petri e em técnicas de análise através de simulação discreta. Com esta abordagem são desenvolvidos modelos do sistema de controle do SPTCI onde é considerada a sua relação com outros sistemas prediais. Particularmente, explora-se as extensões da rede de Petri como as técnicas Production Flow Schema e Mark Flow Graph. Um estudo de caso é apresentado para ilustrar as principais características deste procedimento. |
id |
USP_5f84cfb5b73d29fa8056ec8c41ea041f |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-20042007-180941 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri.Modeling of fire protection systems in intelligent building through Petri net.Discrete event dynamic systemEdifício inteligenteFire protection systemIntelligent buildingPetri netRede de PetriSistema de detecção e combate a incêndiosSistemas a eventos discretosO sistema de proteção técnica contra incêndio (SPTCI) é um dos principais sistemas que compõem o edifício inteligente (EI), pois a eficiência do seu funcionamento afeta diretamente a segurança das pessoas e o patrimônio do prédio. O SPTCI é composto de diferentes dispositivos, estratégias de controle e atua segundo legislação específica. Devido à complexidade do SPTCI, torna-se fundamental uma modelagem adequada que permita verificar a dinâmica do sistema e sua relação com outros sistemas prediais. Neste contexto, este trabalho propõe um procedimento para a modelagem e análise de estratégias de controle para o SPTCI, integrado com outros sistemas prediais dentro do contexto de EI. A abordagem considerada para este propósito baseia-se na teoria dos sistemas a eventos discretos, na aplicação de técnicas derivadas da rede de Petri e em técnicas de análise através de simulação discreta. Com esta abordagem são desenvolvidos modelos do sistema de controle do SPTCI onde é considerada a sua relação com outros sistemas prediais. Particularmente, explora-se as extensões da rede de Petri como as técnicas Production Flow Schema e Mark Flow Graph. Um estudo de caso é apresentado para ilustrar as principais características deste procedimento.From the point of view of property damage and personal security, the fire protection system (FPS) is one of the most important systems in an intelligent building (IB). The FPS is composed of several devices and control strategies. Furthermore, it must act in accordance with specific laws. As a consequence the design of FPSs is a complex task and it is very important to provide an adequate model that supports the verification of the FPS dynamics and its integration with others building systems, facilitating its test and validation. In this context, this work proposes a procedure to model in a systematic and rational way a FPS in the IB context. Considering the nature of the structure and processes of FPS the approach is based on the discrete event dynamic system theory and the application of the Petri net. Then, the models the FPS control system and the controlled plant must include its integration with other building systems. Particularly, it explores Petri net extensions such as Production Flow Schema and Mark Flow Graph techniques. Through an example it is illustrated the main aspects of the proposed procedure.Biblioteca Digitais de Teses e Dissertações da USPMiyagi, Paulo EigiKaneshiro, Percy Javier Igei2006-12-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/3/3152/tde-20042007-180941/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2016-07-28T16:10:00Zoai:teses.usp.br:tde-20042007-180941Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:10Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri. Modeling of fire protection systems in intelligent building through Petri net. |
title |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri. |
spellingShingle |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri. Kaneshiro, Percy Javier Igei Discrete event dynamic system Edifício inteligente Fire protection system Intelligent building Petri net Rede de Petri Sistema de detecção e combate a incêndios Sistemas a eventos discretos |
title_short |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri. |
title_full |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri. |
title_fullStr |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri. |
title_full_unstemmed |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri. |
title_sort |
Modelagem de sistemas de proteção técnica contra incêndio em edifícios inteligentes através de rede de Petri. |
author |
Kaneshiro, Percy Javier Igei |
author_facet |
Kaneshiro, Percy Javier Igei |
author_role |
author |
dc.contributor.none.fl_str_mv |
Miyagi, Paulo Eigi |
dc.contributor.author.fl_str_mv |
Kaneshiro, Percy Javier Igei |
dc.subject.por.fl_str_mv |
Discrete event dynamic system Edifício inteligente Fire protection system Intelligent building Petri net Rede de Petri Sistema de detecção e combate a incêndios Sistemas a eventos discretos |
topic |
Discrete event dynamic system Edifício inteligente Fire protection system Intelligent building Petri net Rede de Petri Sistema de detecção e combate a incêndios Sistemas a eventos discretos |
description |
O sistema de proteção técnica contra incêndio (SPTCI) é um dos principais sistemas que compõem o edifício inteligente (EI), pois a eficiência do seu funcionamento afeta diretamente a segurança das pessoas e o patrimônio do prédio. O SPTCI é composto de diferentes dispositivos, estratégias de controle e atua segundo legislação específica. Devido à complexidade do SPTCI, torna-se fundamental uma modelagem adequada que permita verificar a dinâmica do sistema e sua relação com outros sistemas prediais. Neste contexto, este trabalho propõe um procedimento para a modelagem e análise de estratégias de controle para o SPTCI, integrado com outros sistemas prediais dentro do contexto de EI. A abordagem considerada para este propósito baseia-se na teoria dos sistemas a eventos discretos, na aplicação de técnicas derivadas da rede de Petri e em técnicas de análise através de simulação discreta. Com esta abordagem são desenvolvidos modelos do sistema de controle do SPTCI onde é considerada a sua relação com outros sistemas prediais. Particularmente, explora-se as extensões da rede de Petri como as técnicas Production Flow Schema e Mark Flow Graph. Um estudo de caso é apresentado para ilustrar as principais características deste procedimento. |
publishDate |
2006 |
dc.date.none.fl_str_mv |
2006-12-01 |
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://www.teses.usp.br/teses/disponiveis/3/3152/tde-20042007-180941/ |
url |
http://www.teses.usp.br/teses/disponiveis/3/3152/tde-20042007-180941/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1809090886245548032 |