Os sistemas de integração de dados que usam a arquitetura de data warehouse (DW) têm se tornado cada vez maiores e mais difíceis de gerenciar devido à crescente heterogeneidade das fontes de dados envolvidas. Apesar dos avanços tecnológicos e científicos, os projetos de DW ainda são muito lentos na geração de resultados pragmáticos. Este trabalho busca responder à seguinte questão: como pode ser reduzida a complexidade do desenvolvimento de sistemas de DW que integram dados provenientes de sistemas transacionais heterogêneos? Para isso, apresenta duas contribuições: 1) A criação de diretrizes metodológicas baseadas em ciclos de modelagem conceitual e análise de dados para guiar a construção de um sistema modular de integração de dados. Essas diretrizes foram fundamentais para reduzir a complexidade do desenvolvimento do projeto internacional Retrovirus Epidemiology Donor Study-II (REDS-II), se mostrando adequadas para serem aplicadas em sistemas reais. 2) O desenvolvimento de um método de validação de lotes de dados candidatos a serem incorporados a um sistema integrador, que toma decisões baseado no perfil estatístico desses lotes, e de um projeto de sistema que viabiliza o uso desse método no contexto de sistemas de DW. / Data integration systems that use data warehouse (DW) architecture are becoming bigger and more difficult to manage due to the growing heterogeneity of data sources. Despite the significant advances in research and technologies, many integration projects are still too slow to generate pragmatic results. This work addresses the following question: how can the complexity of DW development for integration of heterogeneous transactional information systems be reduced? For this purpose, we present two contributions: 1) The establishment of methodological guidelines based on cycles of conceptual modeling and data analysis to drive construction of a modular data integration system. These guidelines were fundamental for reducing the development complexity of the international project Retrovirus Epidemiology Donor Study-II (REDS-II), proving suited to be applied in real systems. 2) The development of a validation method of data batches that are candidates to be incorporated into an integration system, which makes decisions based on the statistical profile of these batches, and a project of a system that enables the use of this method in DW systems context.

J.-P. Serre a conjecturé à la fin des années 60 et P. Deligne a prouvé au début des années 70 que pour toute newform f = q + ∑ n⩾2 a n q n 2 S k (N; "), k ⩾ 2, et tout premier l du corps de nombres Kf = Q(a n ; n ⩾ 2), il existe une représentation galoisienne l-adique pf;l : Gal(Q=Q) ! GL2 (ZKf;l) qui est non-ramifiée en dehors de ℓN et telle que le polynôme caractéristique du Frobenius en p ∤ ℓN est X2 a pX + "(p)p k 1 .Après réduction modulo l et semi-simplification, on obtient une représentation galoisienne pf;l : Gal(Q=Q) ! GL2 (Fl) modulo l, non-ramifiée en dehors de ℓN et telle que lepolynôme caractéristique du Frobenius en p ∤ ℓN est X 2 a pX + "(p)p k 1mod l, d'où un moyen de calcul rapide de ap mod l pour p gigantesque.L'objet de cette thèse est l'étude et l'implémentation d'un algorithme reposant sur cette idée (initialement due à J.-M. Couveignes and B. Edixhoven), qui calcule les coefficients ap modulo l en calculant d'abord cette représentation modulo l, en s'appuyant sur le fait que pour k < ℓ, cette représentation est réalisée dans la ℓ-torsion de la jacobienne de la courbe modulaire X1 (ℓN ).Grâce à plusieurs améliorations, telles que l'utilisation des méthodes de K. KhuriMakdisi pour calculer dans la jacobienne modulaire J1(ℓN ) ou la construction d'une fonction a 2 Q (J1(ℓN )) au bon comportement arithmétique, cet algorithme est très efficace, ainsi qu'illustré par des tables de coefficients. Cette thèse se conclut par la présentation d'une méthode permettant de prouver formellement que les résultats de ces calculs sont corrects. / It was conjectured in the late 60's by J.-P. Serre and proved in the early 70's by P.Deligne that to each newform f = q +Σn ⩾2 anqn 2 Sk(N; "), k ⩾2, and each primel of the number field Kf = Q(an; n ⩾ 2), is attached an l-adic Galois representationPf;l : Gal(Q=Q) ! GL2(ZKf;l ), which is unrami fied outside ℓN and such the characteristicpolynomial of the Frobenius element at p ∤ ℓN is X2 apX +"(p)pk1. Reducing modulo land semi-simplifying, one gets a mod l Galois representation Pf;l : Gal(Q=Q) ! GL2(Fl),which is unrami filed outside ℓN and such that the characteristic polynomial of the Frobeniuselement at p ℓN is X2 apX +"(p)pk1 mod l. In particular, its trace is ap mod l, whichgives a quick way to compute ap mod l for huge p.The goal of this thesis is to study and implement an algorithm based on this idea(originally due to J.-M. Couveignes and B. Edixhoven) which computes the coefficients apmodulo l by computing the mod l Galois representation first, relying on the fact that ifk < ℓ, this representation shows up in the ℓ-torsion of the jacobian of the modular curveX1(ℓN).Thanks to several improvements, such as the use of K. Khuri-Makdisi's methods tocompute in the modular Jacobian J1(ℓN) or the construction of an arithmetically well-behaved function alph 2 Q(J1(ℓN)), this algorithm performs very well, as illustrated bytables of coefficients. This thesis ends by the presentation of a method to formally provethat the output of the algorithm is correct.

Mobila verksamhetslokaler erbjuder flexibel lokalförsörjning som alternativ till permanent utbyggnad, eller under tiden som befintliga lokaler renoveras eller byggs om. Denna flexibla möjlighet används dock i en ganska liten omfattning på marknaden. För att öka lokalernas användning finns det därför ett behov av en marknadsundersökning som identifierar de faktorer som kunden värderar. Utredningen syftar till att få fram vad kunden värderar då han eller hon hyr och/eller använder en temporär lokal, och möjligen identifiera nya element som inte finns i marknadens utbud. För att få fram värderingsfaktorer har en litteraturundersökning implementerats och samtidigt har 13 personliga intervjuer genomförts. Intervjuer skedde med personer som använder dessa lokaler och parallellt de som tecknat kontrakt för att hyra dessa lokaler. Studieobjekt är kontor, skola och förskola. / Mobile buildings offer a flexible supply of buildings as an alternative to permanent expansion or while the existing facilities being renovated or rebuilt. This flexible option is used, however in a rather small scale in the market. Thus, to increase consumption of mobile buildings, there is a need for market research that will contribute to find the factors that customer value. The purpose of research is to investigate customer values when it leases and/or uses temporary buildings, and possibly encourage new elements that do not exist in the market range yet. To obtain the valuation factors have been implemented a literature survey and 13 personal interviews were conducted. Interviews took place with people who use these buildings and those who entered a contract to rent these buildings. The study objects are offices, schools and kindergartens.

Made available in DSpace on 2014-06-11T19:27:26Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-08-06Bitstream added on 2014-06-13T20:35:54Z : No. of bitstreams: 1 lancia_jc_me_ia.pdf: 1949570 bytes, checksum: de65c06be1d96f797a0b1521e72e719c (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O minimalismo musical de La Monte Young, Terry, Riley, Steve Reich e Philip Glass foi chamado, entre outros rótulos, de música repetitiva, modular, de pulsação, de processos e estática – e, portanto, não-teleológica – antes que o termo minimalismo prevalecesse. Uma vez que tais termos não são infundados e refletem características percebidas no minimalismo, este trabalho tenta definir as idéias por trás desses rótulos. O trabalho também discute os procedimentos mais típicos adotados por cada um dos quatro compositores mencionados, apontando as mudanças de feições na produção desses compositores entre as décadas de 1960 e 70, período normalmente utilizado como referência para estudos. / The musical minimalism of La Monte Young, Terry, Riley, Steve Reich and Philip Glass had been called, among other labels, repetitive, modular, pulse, process, and static – and as a result, a-teleological – music before the name minimalism finally caught on. Since those labels reflect, at least in part, some of the features commonly found in the style, this study attempts to define the concepts behind such labels. This work also discusses some of the most typical procedures adopted by the four composers aforementioned, pointing their changing style during the 1960s and 70s, period often used as a reference for studies.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This Master Thesis presents an AC Power Source (ACPS) study contribution through the proposal, design and implementation of a novel hybrid ACPS topology. In general, the proposed hybrid topology is defined from the series connection between a Modular Multilevel Converter (MMC), called main amplifier, and a Linear Power Amplifier (LPA), called correction amplifier. With this connection, the proposed ACPS enables the output waveform synthesis with high fidelity when compared to the reference waveform, also with a high bandwidth. The main contribution of the proposed topology is to allow the simplification of the main amplifier input stage, since the MMC requires a common DC bus for providing power to the load. Throughout this study, a linear amplifier DC bus design is presented, since it influences directly the ACPS performance. Regarding the main amplifier, dynamic models are presented for the control system design, which will ensure the circulating component minimization in the MMC poles, as well as ensuring the converter power flow balance by controlling the sum and subtraction of the capacitor voltages. Additionally, the pole inductors design considering the current ripple at the switching frequency is also presented. The ACPS prototype consists of eight half-bridge submodules, triggered by the control system implemented on a Digital Signal Processor (DSP) and through the selection algorithm implemented on a Field-Programmable Gate Array (FPGA). Finally, experimental results are provided in order to guarantee the employed methodology in the main and correction amplifiers design, through bench test prototype. / Esta Dissertação contribuiu com o estudo de fontes CA de potência (AC Power Source ACPS), através da proposta, desenvolvimento e implementação de uma nova topologia híbrida de ACPS. De forma geral, a topologia híbrida proposta é definida a partir da conexão série entre um Conversor Multinível Modular (Modular Multilevel Converter MMC), denominado amplificador principal, e um Amplificador Linear de Potência (Linear Power Amplifier LPA), denominado amplificador de correção. Com esta conexão, a ACPS proposta sintetiza uma forma de onda de saída com elevada fidelidade em relação à forma de onda de referência, juntamente com elevada banda-passante. A principal contribuição da topologia proposta é a possibilidade de simplificação do estágio de entrada do amplificador principal, uma vez que o MMC requer apenas um barramento CC para o fornecimento de potência à carga. No decorrer deste trabalho, também é apresentada uma análise para o projeto do barramento CC do amplificador linear, uma vez que o mesmo influencia diretamente no rendimento da ACPS. Em relação ao amplificador principal, são apresentados os modelos dinâmicos para o projeto do sistema de controle, que deve garantir a minimização da componente circulante dos polos do MMC, bem como garantir o balanço de potência do conversor através do controle da soma e da subtração das tensões dos capacitores das células. Adicionalmente, é apresentada uma análise para o projeto dos indutores dos polos em função da ondulação de corrente na frequência de chaveamento. O protótipo da ACPS é composto por oito submódulos meia-ponte, acionados através do sistema de controle implementado em um Processador Digital de Sinais (Digital Signal Processor DSP) e através do algoritmo de do balanço das tensões implementado em uma FPGA (Field-Programmable Gate Array). A partir da implementação da ACPS em laboratório, são apresentados os resultados experimentais com o propósito de comprovar a metodologia empregada no projeto dos amplificadores principal e de correção, bem como da estratégia de controle.

Submitted by Emanuel Varela Cardoso (emanuel.varela@ufcg.edu.br) on 2018-05-10T18:00:56Z No. of bitstreams: 6 HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap 0.pdf: 390788 bytes, checksum: 6bd35ca677af3ae9e83b876ed6778f92 (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap I.pdf: 186004 bytes, checksum: 6dfececbfff0aed10c1d3d770ea09604 (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap II.pdf: 498769 bytes, checksum: 413e390cc4732c2c636c54e5685a89c0 (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap III.pdf: 716490 bytes, checksum: 88a70a183ecdc6c3302ef0c2d34f57b4 (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap IV.pdf: 2750520 bytes, checksum: 3f6b80a72dea065762045499726ffd7c (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap V.pdf: 3212971 bytes, checksum: 4af10723b57412f888297c0c6f6bf73e (MD5) / Made available in DSpace on 2018-05-10T18:00:56Z (GMT). No. of bitstreams: 6 HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap 0.pdf: 390788 bytes, checksum: 6bd35ca677af3ae9e83b876ed6778f92 (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap I.pdf: 186004 bytes, checksum: 6dfececbfff0aed10c1d3d770ea09604 (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap II.pdf: 498769 bytes, checksum: 413e390cc4732c2c636c54e5685a89c0 (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap III.pdf: 716490 bytes, checksum: 88a70a183ecdc6c3302ef0c2d34f57b4 (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap IV.pdf: 2750520 bytes, checksum: 3f6b80a72dea065762045499726ffd7c (MD5) HELENALDO FIRMINO DE AZEVEDO – DISSERTAÇÃO (PPGDesign) 2016_Cap V.pdf: 3212971 bytes, checksum: 4af10723b57412f888297c0c6f6bf73e (MD5) Previous issue date: 2016-12-16 / O objetivo deste trabalho é analisar os impactos da modularização no desenvolvimento de produtos e no sistema produtivo de uma organização. O método utilizado foi o Modular Function Deployment (MFD) e a aplicação foi realizada em uma máquina de processamento de forragem animal. Os resultados alcançados com a modularização mostram que houve reduções de peças e de processos de fabricação com a modularização do produto. Diante desses resultados foi possível concluir que os impactos foram positivos tanto no desenvolvimento do produto como no sistema produtivo da organização em função da racionalização da produção, redução dos custos e possível aumento da produtividade. / This present work aims to analyze the impacts of modularization on product development and on the productive system of a particular organization. The chosen method was the Modular Function Deployment (MDF) and it was applied on a processing fodder machine. The results achieved with modularization shows reduction in the number of parts, likewise reduction in the number of manufacturing processes due to product’s modularization. Based on these results, it was possible to conclude that the impacts were positive both in product’s development stage and in the company production system due to production’s rationalization, costs reduction and a projected productivity increase.

Made available in DSpace on 2014-12-17T14:57:55Z (GMT). No. of bitstreams: 1 AdrianoSB_TESE.pdf: 4047692 bytes, checksum: 5b0ec3af1fa350ee85a33e2b05f88fc7 (MD5) Previous issue date: 2012-11-30 / The static and cyclic assays are common to test materials in structures.. For cycling assays to assess the fatigue behavior of the material and thereby obtain the S-N curves and these are used to construct the diagrams of living constant. However, these diagrams, when constructed with small amounts of S-N curves underestimate or overestimate the actual behavior of the composite, there is increasing need for more testing to obtain more accurate results. Therewith, , a way of reducing costs is the statistical analysis of the fatigue behavior. The aim of this research was evaluate the probabilistic fatigue behavior of composite materials. The research was conducted in three parts. The first part consists of associating the equation of probability Weilbull equations commonly used in modeling of composite materials S-N curve, namely the exponential equation and power law and their generalizations. The second part was used the results obtained by the equation which best represents the S-N curves of probability and trained a network to the modular 5% failure. In the third part, we carried out a comparative study of the results obtained using the nonlinear model by parts (PNL) with the results of a modular network architecture (MN) in the analysis of fatigue behavior. For this we used a database of ten materials obtained from the literature to assess the ability of generalization of the modular network as well as its robustness. From the results it was found that the power law of probability generalized probabilistic behavior better represents the fatigue and composites that although the generalization ability of the MN that was not robust training with 5% failure rate, but for values mean the MN showed more accurate results than the PNL model / Quando da utiliza??o de materiais em estruturas ? comum ? realiza??o de ensaios est?ticos e c?clicos. Para os ensaios c?clicos avalia-se o comportamento ? fadiga do material e com isso obt?m-se as curvas S-N e estas s?o utilizadas para construir os diagramas de vida constante. Por?m, estes diagramas, quando constru?dos com pequenas quantidades de curvas S-N, subestimam ou sobrestimam o comportamento real do comp?sito, havendo necessidade crescente de se fazer mais ensaios para a obten??o de maior precis?o nos resultados. Pensando assim, uma forma de diminuir custos ? a an?lise estat?stica do comportamento ? fadiga. Assim, este trabalho possui o intuito de avaliar o comportamento probabil?stico ? fadiga de materiais comp?sitos e foi dividido em tr?s partes. A primeira parte consiste em como associar a equa??o de probabilidade de Weilbull ?s equa??es comumente utilizadas no modelamento da curva S-N de mat?rias comp?sitos, quais sejam, a equa??o exponencial e a lei de pot?ncia e suas respectivas generaliza??es. Na segunda parte utilizou-se os resultados obtidos pela equa??o que melhor representa as curvas S-N de probabilidade e treinou-se uma rede modular ? 5% de falha. Na terceira parte, realizou-se um estudo comparativo dos resultados obtidos usando o modelo n?o linear por partes (PNL) com os resultados de uma arquitetura de rede modular (MN) na an?lise do comportamento ? fadiga. Para tanto utilizouse uma base de dados com dez materiais obtidos da literatura para se avaliar a capacidade de generaliza??o da rede modular, bem como sua robustez. A partir dos resultados verificou-se que a lei de pot?ncia generalizada de probabilidade representa melhor o comportamento probabil?stico ? fadiga de comp?sitos e que apesar da capacidade de generaliza??o da MN esta n?o se mostrou robusta para um treinamento com 5% de falha, por?m para valores m?dios a MN apresentou resultados mais precisos que o modelo PNL

Os sistemas de integração de dados que usam a arquitetura de data warehouse (DW) têm se tornado cada vez maiores e mais difíceis de gerenciar devido à crescente heterogeneidade das fontes de dados envolvidas. Apesar dos avanços tecnológicos e científicos, os projetos de DW ainda são muito lentos na geração de resultados pragmáticos. Este trabalho busca responder à seguinte questão: como pode ser reduzida a complexidade do desenvolvimento de sistemas de DW que integram dados provenientes de sistemas transacionais heterogêneos? Para isso, apresenta duas contribuições: 1) A criação de diretrizes metodológicas baseadas em ciclos de modelagem conceitual e análise de dados para guiar a construção de um sistema modular de integração de dados. Essas diretrizes foram fundamentais para reduzir a complexidade do desenvolvimento do projeto internacional Retrovirus Epidemiology Donor Study-II (REDS-II), se mostrando adequadas para serem aplicadas em sistemas reais. 2) O desenvolvimento de um método de validação de lotes de dados candidatos a serem incorporados a um sistema integrador, que toma decisões baseado no perfil estatístico desses lotes, e de um projeto de sistema que viabiliza o uso desse método no contexto de sistemas de DW. / Data integration systems that use data warehouse (DW) architecture are becoming bigger and more difficult to manage due to the growing heterogeneity of data sources. Despite the significant advances in research and technologies, many integration projects are still too slow to generate pragmatic results. This work addresses the following question: how can the complexity of DW development for integration of heterogeneous transactional information systems be reduced? For this purpose, we present two contributions: 1) The establishment of methodological guidelines based on cycles of conceptual modeling and data analysis to drive construction of a modular data integration system. These guidelines were fundamental for reducing the development complexity of the international project Retrovirus Epidemiology Donor Study-II (REDS-II), proving suited to be applied in real systems. 2) The development of a validation method of data batches that are candidates to be incorporated into an integration system, which makes decisions based on the statistical profile of these batches, and a project of a system that enables the use of this method in DW systems context.

O objetivo desta tese é verificar se, e como a Estratégia Modular implementada por uma montadora de automóveis influencia os fornecedores de componentes que ocupam o 2º. nível da cadeia de suprimento modular. A estratégia visa aumentar a eficiência e a rentabilidade da produção e do negócio, e integra ações para reduzir custos e aumentar a produtividade através de montagem final em módulos, e para reduzir riscos do investimento via externalização de atividades de produção e projeto para os fornecedores. O método estudo de caso foi utilizado na análise de duas cadeias produtivas (mesma montadora), uma convencional e outra modular, e que produzem carros semelhantes. Foram selecionados dois módulos de cada carro: suspensão e cockpit. Em cada cadeia, foram estudados dois níveis de fornecedores: 1º. (ou sistemistas) e 2º. (fornecedores de componentes). Comparada à convencional, a organização modular se caracteriza pelo fluxo físico consolidado (de conjuntos e módulos), pela redução de número de fornecedores diretos da montadora, e criação de um nível intermediário, o do sistemista (fornecedor de módulo), entre outros. De modo amplo, os fornecedores sistemistas assumem atividades da produção, projeto e gestão de fornecedores, antes exclusivas da montadora, além de se instalarem perto da linha final. Entretanto, a pesquisa revelou dois tipos de sistemistas: montador, que gerencia compras de peças, monta os módulos e os entrega na linha final participação (atuação em projeto muito limitada) e o integrador que participa do projeto dos componentes (desde o conceito do produto até a produção), coordena técnica e comercialmente os fornecedores para que preços, prazos de entregas e qualidade estejam em conformidade, e garante a funcionalidade do módulo. A estratégia modular da montadora afeta, embora menos, os fornecedores nível 2, sendo que as mudanças são mais fortes para os que fornecem para o sistemista integrador pois a chance de perder contato direto com a montadora é maior e, junto, se perde acesso a novos projetos, melhorias tecnológicas e oportunidades rentáveis. O maior valor agregado ao produto do sistemista e a externalização causam várias mudanças de produto, processo e relações de suprimento entre o integrador e o nível 2. Quanto ao fornecedor do sistemista montador, as mudanças se concentram basicamente em logística e gestão da qualidade. / The objective of this dissertation is to verify and to understand how does the modular strategy being implemented by the car assembler influences the suppliers in the 2nd. level of the automotive chain. Modular strategy is conceptually based on modularity (more added value to components as they become modules) and outsourcing (suppliers’ involvement in activities usually made only by the assembler). Method case was used in the analysis of two productive chains of a single assembler, one is conventional and the other is modular, producing similar subcompact cars. We studied two modules of each car: suspension and cockpit. Each chain is composed of one car assembler, some 1st. tier suppliers (also called systemists or module suppliers) and some 2nd. tier suppliers (the components producers). The modular organization characterizes for the consolidated physical flow (assemblies and modules), the reduction of direct suppliers to the assembler, and the new role of the module suppliers. We found two kinds of modular supplier: first one is the 'assembler systemist' and it basically purchases the components of the module, assembles it and deliveries it at the final assembly line. The other type is the 'integrator systemist', to whom the changes are more significant. The 'integrator systemist' assumes relative responsibilities for development and many responsibilities for production and supply management. Generally speaking, the second tier suppliers (producers of components) are not very influenced by the Modular Strategy but when we consider the differences among the module suppliers, several points are distinguished. Effects of modularization and outsourcing are more intense on the second tier suppliers that work for the 'integrator systemist', since they face changes in the components development, in commercial practices, in productive processes and also in the supply system.

The problem of fault diagnosis has been widely discussed by the academic community using the theory of Discrete Event Systems. However, the application of this theory to real systems is a field where there is a lot to be explored. The problem proposed in this work is to diagnose permanent or intermittent failures in devices (sensors and actuators) belonging to stations of a didactic flexible manufacturing system, called Modular Production System - MPS, produced by Festo company. The objective will be achieved through a modeling and simulation that allow for future implementation in the system. Three methods will be presented on fault diagnosis written in UPPAAL software language which is based on the timed safety automata formalism, as proposed by ALUR and DILL (1994) and HENZINGER et al (1994). The first method is an implementation of TRIPAKIS (2002) diagnoser. The other two methods developed in this research are inspired by TRIPAKIS (2002) and are diagnosable by definitions presented in TRIPAKIS (2002) and I-diagnosability presented in Sampath et al. (1995). The strategies for fault detection include the use of a network of timed safety automata, composed of the automaton that describes the process behavior and the diagnosers automata for each type of failure. The diagnosers detect failures from the observation of delays of certain transitions in the automaton G (process) and isolate them through observations of the sensors states. Fault indicators events serve to announce failures and synchronize the automaton G with the diagnosers. / O problema do diagnóstico de falhas, utilizando a teoria de Sistemas a Eventos Discretos, tem sido largamente abordado pela comunidade acadêmica. Entretanto, a aplicação desta teoria a sistemas reais é um campo onde há muito a ser explorado. O problema proposto, neste trabalho, é o de diagnosticar falhas permanentes ou intermitentes de dispositivos (sensores e atuadores) pertencentes a estações de um sistema flexível de manufatura didático, denominado Sistema Modular de Produção - MPS, fabricado pela empresa Festo. Este objetivo será alcançado por meio de uma modelagem e simulação que permitam uma futura implementação no sistema. Serão apresentados três métodos para diagnóstico de falhas escritos na linguagem do software UPPAAL que se baseia no formalismo autômatos seguros temporizados, conforme proposto por ALUR e DILL (1994) e HENZINGER et al (1994). O primeiro método é uma implementação do diagnosticador proposto em TRIPAKIS (2002). Os outros dois métodos, elaborados nesta pesquisa, são inspirados no diagnosticador TRIPAKIS (2002) e são diagnosticáveis pelos critérios apresentados em TRIPAKIS (2002) e Idiagnosticabilidade conforme SAMPATH et al. (1995). As estratégias para detecção de falhas incluem a utilização de uma rede de autômatos seguros temporizados, composta pelo autômato que descreve o comportamento do processo e por autômatos diagnosticadores para cada tipo de falha. Os diagnosticadores detectam as falhas a partir da observação de atrasos de determinadas transições do autômato G (processo) e as isolam por meio de observações dos estados dos sensores. Eventos indicadores de falhas servem para anunciar falhas e sincronizar o autômato G com os diagnosticadores.