O sistema de elevadores como equipamento para o transporte vertical de pessoas e bens é um componente fundamental no projeto de edifícios e, neste âmbito, a disponibilidade e eficiência do seu serviço deve ser objeto de cuidadosa análise em função de sua influência no desempenho e produtividade das atividades dos usuários do prédio. Neste contexto e considerando especificamente os edifícios inteligentes cuja finalidade é a otimização a nível estrutural e funcional do edifício como um todo, e onde a integração entre seus sistemas cumpre um papel fundamental para atingir estes objetivos, o presente trabalho propõe uma metodologia para a modelagem de sistemas de elevadores nestes prédios, que considera a sua integração com outros sistemas prediais. A abordagem empregada no desenvolvimento deste trabalho baseia-se na caracterização dos sistemas de elevadores como sistemas a eventos discretos (SED), pois sua dinâmica é definida através da ocorrência de eventos e a manutenção de estados discretos. Assim, na metodologia utiliza-se técnicas derivadas das redes de Petri (redes de Petri interpretadas), de comprovada eficiência para a modelagem, análise e controle de SEDs. Estas ferramentas são usadas através de uma abordagem estrutural, onde o sistema é modelado em diferentes níveis de abstração: um modelo conceitual obtido pelo uso da técnica PFS (Production Flow Schema) em um primeiro nível, e o refinamento deste para modelos funcionais através do uso do MFG (Mark Flow Graph) e suas extensões, onde são preservadas as estruturas das atividades do nível superior e são descritos os detalhes em um nível funcional. A metodologia proposta confirmou ser útil e eficiente para a modelagem do sistema de elevadores em edifícios inteligentes, ao permitir a especificação do modelo funcional de todo o sistema (objeto de controle e sistema de controle) e das estratégias que facilitam a sua integração com outros sistemas prediais / The elevator system as mean for the vertical transport of people and goods is a fundamental component in the design of buildings. The availability and efficiency of this service must be object of careful analysis due to its influence on the performance and productivity of the building users' activities. In intelligent buildings, the purpose is the optimization of its structural and functional levels and where also the integration between all building systems accomplishes a fundamental role to reach these objectives. In this context, this work proposes a methodology for the modeling of elevator systems in these buildings, which consider your integration with others buildings systems. The approach developed in this work is based on the characterization of elevator systems as Discrete Event Systems (DES), since the dynamic behavior is defined through the discrete events and discrete states. The proposed methodology uses techniques, that are derived of interpreted Petri nets, which has been proven as an efficient tool for modeling, analysis and control of DES. In this context, systems are modeled in different levels of abstraction: a conceptual model which is obtained by using the PFS (Production Flow Schema) technique level, and a functional model by using MFG (Mark Flow Graph) and its extensions. The MFG abstraction level describes details in a functional form, where are preserved the description activities of previous levels. The methodology proposal confirmed to be useful and efficient to elevator systems modeling, when allowing the functional specification of the whole system (object of control and control system), and strategies that facilitate its integration with others building systems.

O sistema de elevadores como equipamento para o transporte vertical de pessoas e bens é um componente fundamental no projeto de edifícios e, neste âmbito, a disponibilidade e eficiência do seu serviço deve ser objeto de cuidadosa análise em função de sua influência no desempenho e produtividade das atividades dos usuários do prédio. Neste contexto e considerando especificamente os edifícios inteligentes cuja finalidade é a otimização a nível estrutural e funcional do edifício como um todo, e onde a integração entre seus sistemas cumpre um papel fundamental para atingir estes objetivos, o presente trabalho propõe uma metodologia para a modelagem de sistemas de elevadores nestes prédios, que considera a sua integração com outros sistemas prediais. A abordagem empregada no desenvolvimento deste trabalho baseia-se na caracterização dos sistemas de elevadores como sistemas a eventos discretos (SED), pois sua dinâmica é definida através da ocorrência de eventos e a manutenção de estados discretos. Assim, na metodologia utiliza-se técnicas derivadas das redes de Petri (redes de Petri interpretadas), de comprovada eficiência para a modelagem, análise e controle de SEDs. Estas ferramentas são usadas através de uma abordagem estrutural, onde o sistema é modelado em diferentes níveis de abstração: um modelo conceitual obtido pelo uso da técnica PFS (Production Flow Schema) em um primeiro nível, e o refinamento deste para modelos funcionais através do uso do MFG (Mark Flow Graph) e suas extensões, onde são preservadas as estruturas das atividades do nível superior e são descritos os detalhes em um nível funcional. A metodologia proposta confirmou ser útil e eficiente para a modelagem do sistema de elevadores em edifícios inteligentes, ao permitir a especificação do modelo funcional de todo o sistema (objeto de controle e sistema de controle) e das estratégias que facilitam a sua integração com outros sistemas prediais / The elevator system as mean for the vertical transport of people and goods is a fundamental component in the design of buildings. The availability and efficiency of this service must be object of careful analysis due to its influence on the performance and productivity of the building users' activities. In intelligent buildings, the purpose is the optimization of its structural and functional levels and where also the integration between all building systems accomplishes a fundamental role to reach these objectives. In this context, this work proposes a methodology for the modeling of elevator systems in these buildings, which consider your integration with others buildings systems. The approach developed in this work is based on the characterization of elevator systems as Discrete Event Systems (DES), since the dynamic behavior is defined through the discrete events and discrete states. The proposed methodology uses techniques, that are derived of interpreted Petri nets, which has been proven as an efficient tool for modeling, analysis and control of DES. In this context, systems are modeled in different levels of abstraction: a conceptual model which is obtained by using the PFS (Production Flow Schema) technique level, and a functional model by using MFG (Mark Flow Graph) and its extensions. The MFG abstraction level describes details in a functional form, where are preserved the description activities of previous levels. The methodology proposal confirmed to be useful and efficient to elevator systems modeling, when allowing the functional specification of the whole system (object of control and control system), and strategies that facilitate its integration with others building systems.

Este trabalho tem como objetivo apresentar uma coletânea de resultados sobre produtos caixa de espaços topológicos. Com o intuito de comparação com o produto de Tychonoff, apresentamos propriedades do produto caixa relacionadas a espaços discretamente gerados e ao espaço C(X). Em seguida apresentamos alguns resultados relativos ao problema da paracompacidade de produtos caixa, o qual é a principal questão envolvendo este tipo de pro- duto. Por fim, utilizamos o produto caixa para construir dois exemplos de espaços normais cujos produtos não são normais. / The aim of this work is to present a selection of results about box products of topological spaces. In order to compare this product with the Tychonoff product, we present properties of the box products related to discretely generated spaces and to the space C(X). Then we present results on the problem of paracompactness of the box products, wich is the main question regarding this kind of product. At last, we use the box products to create examples of normal spaces whose products are not normal.

Tese de mestrado. Mestrado integrado em Engenharia Civil - Especialização em Geotecnia. Faculdade de Engenharia. Universidade do Porto. 2012

A utilização de técnicas de emissão acústica para detectar e mapear o dano em estruturas tem sofrido grandes avanços nos últimos anos, em parte devido a possibilidade de poder contar com instrumentos de maior exatidão e precisão. Metodologias são utilizadas para, através dos resultados adquiridos, obter informação de como e onde a estrutura investigada está rompendo. Desenvolvimentos teóricos importantes na área de análise sísmica tem trazido um ferramental teórico que pode ser aplicado em estudos de estruturas e corpos de prova. Dentro deste contexto, neste trabalho é apresentado o estudo da localização e caracterização de defeitos utilizando técnicas conhecidas de emissão acústica. Ensaios em materiais de baixo módulo de elasticidade (poliestireno expandido) possibilitou o trabalho com os microfones de baixa frequência disponíveis para realização dos experimentos. Juntamente com os ensaios experimentais, simulações utilizando o método numérico dos elementos discretos (DEM) foram realizados. Os resultados obtidos nos ensaios e nas simulações foram processados e conclusões sobre a forma de ruptura esperada foram feitas. Informações relativas à evolução das cargas durante os ensaios e simulações, e comparativos da evolução com o número de eventos são apresentados. Ensaios de três tamanhos diferentes de corpos de prova permitiram medir o efeito de escala esperado. Técnicas de localização dos eventos em corpos de prova de maiores dimensões também são aplicadas para efetuar a localização de defeitos utilizando emissão acústica, bem como a interpretação e análise dos dados obtidos. Utilizando o cálculo da velocidade de propagação da onda sonora no material, uma técnica de localização foi apresentada e utilizada para calcular posições de zona de fratura, a fim de identificar regiões que possuem defeitos. / The usage of acoustic emission techniques in order to detect damage in structures has undergone great advances in the last years, partly because of the possibility to rely on instruments of highest accuracy and precision. Methodologies are used to obtain information about how and where the structure cracks. Important theoretical developments in the seismic analysis field have provided tools that can be applied in studies on structures and specimens. This work aims to study the localization and characterization of defects using acoustic emission techniques. Experimental tests on specimens with low elasticity modulus gave the possibility to work with the piezoeletric sensors available. Computational analyses using the discrete elements method (DEM) were performed. Conclusions about the expected rupture characteristics are shown. Information about the evolution loading during the tests, and a comparative of events evolution are shown. Tests on three different sizes of specimens allowed the scale effect analysis. Event location techniques on higher length specimens, using acoustic emission, are used to perform defects localization in order to obtain information about the defects position.

No presente trabalho é apresentada uma versão do Método dos Elementos Discretos formado por barras (DEM) no estudo do colapso de estruturas. O Método dos Elementos Discretos foi introduzido, especialmente, para a simulação numérica de problemas de dano e fratura. Esse método tem habilidade natural para introduzir descontinuidades de uma maneira muito direta e intuitiva. Além disso, métodos discretos oferecem uma estrutura conveniente para dar conta da desordem da microestrutura do material por meio de modelos estatísticos. A versão do DEM utilizada neste trabalho consiste na discretização do contínuo em barras que formam uma treliça espacial regular, onde massas equivalentes são concentradas nos nós, e as rigidezes das barras são equivalentes ao contínuo que tentam representar. Leis uniaxiais de dano permitem modelar fratura e dano anisotrópico com relativa facilidade. Esta versão foi amplamente testada em diversos campos da Engenharia, entre eles, problemas dinâmicos, de impacto, geração e propagação de sismos, estudo de efeito de escala em rochas e concreto, análise da microestrutura de materiais. Este trabalho apresenta dois grandes temas, nos quais foram realizadas implementações no DEM que aumentam sua aplicabilidade. Também são implementadas modificações nas leis constitutivas antes utilizadas, e apresentadas, também, novas leis para dar flexibilidade na calibração dos modelos. São comparados os resultados utilizando as diversas leis na análise do efeito de escala de placas submetidas à tração. Também são analisados os resultados obtidos sob a óptica da teoria de escala multifractal. Neste campo, encontram-se respostas muito interessantes que explicam os mecanismos de fratura, assim como dão uma noção de que alterações deveriam ser realizadas no DEM para conseguir que o método fique completamente objetivo em relação à escala. Nesse processo, estudam-se diferentes formas de obter as dimensões fractais de placas de rocha submetidas à tração e é analisada a influência de alguns dos parâmetros do DEM, além da relação constitutiva utilizada. Finalmente, o DEM é introduzido dentro do sistema comercial Abaqus, com objetivo de resolver problemas com grande quantidade de graus de liberdade ou com as condições de contorno ou de carregamento muito complexos. Apresentam-se exemplos de validação e exemplos de aplicação que mostram as vantagens das inovações realizadas. / This paper presents a version of the Truss-like Discrete Element Method in the study of the collapse of structures. The discrete element method was introduced especially for numerical simulation of fracture and damage problems. This method has the natural ability to introduce discontinuities in a very direct and intuitive way. Moreover, discrete methods offer a convenient framework to account for the disorder of the material microstructure by means of statistical models. The truss-like Discrete Element Method (DEM) used in this work represents the continuum by means of a periodic spatial arrangement of bars with the masses lumped at their ends. The rigidity of the bars is equivalent to the continuum to trying to represent. Uniaxial damage Laws allow model fracture and anisotropic damage with relative ease. This version was widely tested in various engineering fields including: dynamics problems, impact, generation and propagation of earthquakes, study of scale effect in rock and concrete analysis of the microstructure of materials. This work presents two major issues in witch were performed DEM implementations that increase its applicability. To obtain a better description of the model modifications in the constitutive laws are implemented and new ones are presented. The scale effect results of plates of rock subjected to traction obtained to different laws are compared. These obtained results are examined under the Multifractal scaling law theory. In this field, very interesting answers that explain the mechanisms of fracture are found. They gives some notions of which changes should be made in DEM to obtain a fully scale objective method. In the process, different ways to obtain the fractal dimension of rock plates subjected to traction are studied. The influence of some DEM parameter and constitutive laws are also analyzed. Finally, the DEM has been implemented within the commercial system ABAQUS to solve problems with a large number of degrees of freedom or very complex contour or loading conditions. Presents examples of validation and application that show the benefits of innovations through.

[pt] A proposta deste trabalho é viabilizar e acelerar a simulação de um sistema de grãos implementado inteiramente na GPU, utilizando o Método dos Elementos Discretos (MED). O objetivo de implementar todo o sistema na GPU é evitar o custo de transferência de informações entre a placa gráfica e a CPU. O sistema proposto simula partículas de diferentes diâmetros, com tratamento de colisão entre partículas e entre partículas e o ambiente. Com o Método dos Elementos Discretos são consideradas forças normais e forças tangenciais aplicadas sobre as partículas. Algoritmos paralelos foram desenvolvidos para construção e armazenamento do histórico de forças tangenciais existente em cada contato entre partículas. São comparadas duas propostas de construção de grade regular de células para realizar a detecção de contato. A primeira proposta é muito eficiente para partículas com raio fixo, enquanto que a segunda se mostra com maior escalabilidade para modelos com variação de raio. O sistema é composto por diversos algoritmos executados em threads, responsáveis por cada etapa da simulação. Os resultados da simulação foram validados com o programa comercial PFC3D. O sistema de partículas em GPU consegue ser até 10 vezes mais rápido do que o programa comercial. / [en] The purpose of this work is to make possible and speed up a grain system simulation implemented entirely on GPU, using the Discrete Element Method (DEM). The goal of implementing all the system on GPU is to avoid the cost of data transfer between the graphics hardware and the CPU. The proposed system simulate particles of different diameters, with collision treatment between particles and between particles and the environment. The Discrete Element Method consider normal forces and tangential forces applied on the particles. Parallel algorithms were designed to construct and storage the tangential forces history present in each contact between particles. Two ideas for the construction of the regular grid of cells are proposed and compared to perform the collision detection. The first one is very efficient to particles with fixed radius, while the second one shows more scalability in models with radius variation. The system consists of several algorithms running in threads, responsible for each step of the simulation. The results of the simulation were validated with the commercial program called PFC3D. The GPU particle system can be up to 10 times faster then the commercial program.

É uma verdade incontestável que a fadiga constitui um dos problemas mais críticos em engenharia, especialmente em estruturas formadas por materiais dúcteis. Por essa razão, uma grande quantidade de métodos e estudos tem sido desenvolvida para tratar deste problema. No entanto, no caso de materiais quase frágeis como concreto, rochas cerâmicas e alguns tipos de materiais compostos, o efeito que cargas oscilantes produzem sobre estes materiais é menos conhecido e aparentemente também menos crítico. No presente trabalho, se utiliza uma versão do método dos elementos discretos formado por barras para explorar as possibilidades do mesmo na simulação do efeito de fadiga em materiais quase frágeis. Simulações sobre corpos de prova simples são apresentadas e vários aspectos deste estudo são discutidos, entre eles: influência da escala, influência da aleatoriedade nas propriedades do material simulado e se a lei de crescimento prevista por Paris (1961) se apresenta nas simulações realizadas. Finalmente, nas considerações finais, são salientadas as possibilidades que se abrem ao aplicar o modelo de elementos discretos apresentado no estudo de materiais quase frágeis submetidos à ação de cargas oscilantes. / It is an unquestionable truth that fatigue consists in one of the most critical problems of engineering, especially in ductile material structures. For that reason, a great amount of methods and studies has been developed to deal with this matter. However, when it comes to quasi brittle materials like concrete, ceramic stones and a few kinds of composites, the effect of cyclic loading on these materials is less well known, and apparently also less critical. In this work, a version of the discrete elements method formed by bars is applied to explore the possibilities of its use on simulating the effect of fatigue over quasi brittle materials. Simulations are presented over simple test specimens and several features of this study are discussed, among them: the influence of specimen scale, the influence of random distribution on material properties and if crack growth laws previewed by Paris, (Paris et al., 1961) are verified in the performed simulations. In the final considerations, the possibilities brought by applying the discrete elements method in this study of quasi brittle materials submitted to cyclic loading are highlighted.

A utilização de técnicas de emissão acústica para detectar e mapear o dano em estruturas tem sofrido grandes avanços nos últimos anos, em parte devido a possibilidade de poder contar com instrumentos de maior exatidão e precisão. Metodologias são utilizadas para, através dos resultados adquiridos, obter informação de como e onde a estrutura investigada está rompendo. Desenvolvimentos teóricos importantes na área de análise sísmica tem trazido um ferramental teórico que pode ser aplicado em estudos de estruturas e corpos de prova. Dentro deste contexto, neste trabalho é apresentado o estudo da localização e caracterização de defeitos utilizando técnicas conhecidas de emissão acústica. Ensaios em materiais de baixo módulo de elasticidade (poliestireno expandido) possibilitou o trabalho com os microfones de baixa frequência disponíveis para realização dos experimentos. Juntamente com os ensaios experimentais, simulações utilizando o método numérico dos elementos discretos (DEM) foram realizados. Os resultados obtidos nos ensaios e nas simulações foram processados e conclusões sobre a forma de ruptura esperada foram feitas. Informações relativas à evolução das cargas durante os ensaios e simulações, e comparativos da evolução com o número de eventos são apresentados. Ensaios de três tamanhos diferentes de corpos de prova permitiram medir o efeito de escala esperado. Técnicas de localização dos eventos em corpos de prova de maiores dimensões também são aplicadas para efetuar a localização de defeitos utilizando emissão acústica, bem como a interpretação e análise dos dados obtidos. Utilizando o cálculo da velocidade de propagação da onda sonora no material, uma técnica de localização foi apresentada e utilizada para calcular posições de zona de fratura, a fim de identificar regiões que possuem defeitos. / The usage of acoustic emission techniques in order to detect damage in structures has undergone great advances in the last years, partly because of the possibility to rely on instruments of highest accuracy and precision. Methodologies are used to obtain information about how and where the structure cracks. Important theoretical developments in the seismic analysis field have provided tools that can be applied in studies on structures and specimens. This work aims to study the localization and characterization of defects using acoustic emission techniques. Experimental tests on specimens with low elasticity modulus gave the possibility to work with the piezoeletric sensors available. Computational analyses using the discrete elements method (DEM) were performed. Conclusions about the expected rupture characteristics are shown. Information about the evolution loading during the tests, and a comparative of events evolution are shown. Tests on three different sizes of specimens allowed the scale effect analysis. Event location techniques on higher length specimens, using acoustic emission, are used to perform defects localization in order to obtain information about the defects position.

Made available in DSpace on 2016-12-12T17:38:33Z (GMT). No. of bitstreams: 1 Daniel Gumiero Noronha Maas.pdf: 6258702 bytes, checksum: 06207c47266ccded357fbb819c6ae9bf (MD5) Previous issue date: 2014-09-09 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work presents a multilayer architecture for fault diagnosis in embedded systems that allows a better discrimination of the type and source of the failure, providing an accurate and assertive diagnosis. This architecture contemplates the necessary interfaces to allow integration of this diagnostic framework in the embedded system and also considers the treatment of diagnostic information for recovery system actions purposes, or simply allows the externalization of such information. This work considers the diagnosers designed according to the methodology of fault diagnosis in DES modeled by automata. Once designed the diagnosers are implemented in ANSI C language through an automated software generation tool, and finally incorporated into the main product software where it intends to perform the diagnosis. This architecture diagnosis was then applied in a case study for Frost Free refrigerator, for which the diagnosers were designed then were implemented in software and subsequently validated in order to confirm the effectiveness of the diagnosers, of the proposed architecture beyond the C language conversion process. / Este trabalho apresenta uma arquitetura de diagnóstico multicamadas para detecção de falhas em sistemas embarcados, que permite uma melhor discriminação do tipo e origem da falha, possibilitando um diagnóstico mais preciso e assertivo. Esta arquitetura contempla as interfaces necessárias para permitir a integração no sistema embarcado e também considera o tratamento das informações de diagnóstico para fins de ações de recuperação do sistema, ou simplesmente a externalização destas informações. Neste trabalho, consideram-se os diagnosticadores projetados conforme a metodologia de diagnóstico de falhas em SEDs modelados por autômatos. Uma vez concebidos, os diagnosticadores são implementados em linguagem ANSI C, através de uma ferramenta de geração automática de software, e finalmente incorporados ao software principal do equipamento onde se pretende realizar o diagnóstico. Esta arquitetura de diagnóstico foi então aplicada em um estudo de caso para um refrigerador Frost Free, para o qual foram projetados os diagnosticadores, em seguida os mesmos foram implementados em software e posteriormente validados a fim de comprovar a eficácia não somente dos diagnosticadores mas também da arquitetura proposta, além do processo de conversão dos mesmos em linguagem de software.