The practical result of this thesis is an extension to OpenModelica that transforms Modelica into Figaro. Modelica is an equation-based object-oriented modeling language. OpenModelica is an open source implementation of Modelica. Figaro is a language used for reliability modeling. Figaro is a general representation formalism that can be transformed into reliability models like fault trees. Figaro was designed for fault analysis. Modelica was designed to model the behavior of physical systems and run dynamic simulations. Because of that, you cannot just break components and analyze what happens to a system. This work enables us to have fault analysis in OpenModelica by transforming our Modelica model into a Figaro model and invoke the Figaro compiler. This lets us break particular components and see what happens to the system. This work is part of an ongoing effort to integrate several modeling environments.

Robust fault analysis (FA) including the diagnosis of faults and predicting their level of severity is necessary to optimise maintenance and improve reliability of Aircraft. Early diagnosis of faults that might occur in the supervised process renders it possible to perform important preventative actions. The proposed diagnostic models were validated in two experimental tests. The first test concerned a single localised and generalised roller element bearing fault in a permanent magnet brushless DC (PMBLDC) motor. Rolling element bearing defect is one of the main reasons for breakdown in electrical machines. Vibration and current are analysed under stationary and non-stationary load and speed conditions, for a variety of bearing fault severities, and for both local and global bearing faults. The second test examined the case of an unbalance rotor due to blade faults in a thruster, motor based on a permanent magnet brushed DC (PMBDC) motor. A variety of blade fault conditions were investigated, over a wide range of rotation speeds. The test used both discrete wavelet transform (DWT) to extract the useful features, and then feature reduction techniques to avoid redundant features. This reduces computation requirements and the time taken for classification by the application of an orthogonal fuzzy neighbourhood discriminant analysis (OFNDA) approach. The real time monitoring of motor operating conditions is an advanced technique that presents the real performance of the motor, so that the dynamic recurrent neural network (DRNN) proposed predicts the conditions of components and classifies the different faults under different operating conditions. The results obtained from real time simulation demonstrate the effectiveness and reliability of the proposed methodology in accurately classifying faults and predicting levels of fault severity.

No / Fault management is one of the important management functions of a telecommunication network and mainly deals with fault monitoring and diagnosis. This paper applies reliability theories and methodologies for the fault management of an aeronautical communication system developed within the EU FP7 SANDRA project. The failure of the SANDRA terminal demonstrator is an undesirable event and the corresponding fault tree was built upon a reliability function analysis and was used to quickly monitor failures in the system. By using Monte Carlo simulations, the SANDRA demonstrator's reliability can be predicted and important components, which have major contributions to system failures, can be identified. The results can be used to improve the system reliability by adding parallel components in weak and important places. / Fault management is one of the important management functions of a telecommunication network and mainly deals with fault monitoring and diagnosis. This paper applies reliability theories and methodologies for the fault management of an aeronautical communication system developed within the EU FP7 SANDRA project. The failure of the SANDRA terminal demonstrator is an undesirable event and the corresponding fault tree was built upon a reliability function analysis and was used to quickly monitor failures in the system. By using Monte Carlo simulations, the SANDRA demonstrator's reliability can be predicted and important components, which have major contributions to system failures, can be identified. The results can be used to improve the system reliability by adding parallel components in weak and important places.

Computational biology and bioinformatics for apoptosis have been gaining much momentum due to the advances in computational sciences. Both fields use extensive computational techniques and modeling to mimic real world behaviors. One problem of particular interest is on the study of reachability, in which the goal is to determine if a target state or protein concentration in the model is realizable for a signaling pathway. Another interesting problem is to examine faulty pathways and how a fault can make a previously unrealizable state possible, or vice versa. Such analysis can be extremely valuable to the understanding of apoptosis. However, these analyses can be costly or even impractical for some approaches, since they must simulate every aspect of the model. Our approach introduces an abstracted model to represent a portion of the apoptosis signaling pathways as a finite state machine. This abstraction allows us to apply hardware testing and verification techniques and also study the behaviors of the system without full simulation. We proposed a framework that is tailor-built to implement these verification techniques for the discrete model. Through solving Boolean constraint satisfaction problems (SAT-based) and with guided stimulation (Genetic Algorithm), we can further extract the properties and behaviors of the system. Furthermore, our model allows us to conduct cause-effect analysis of the apoptosis signaling pathways. By constructing single- and double-fault models, we are able to study what fault(s) can cause the model to malfunction and the reasons behind it. Unlike simulation, our abstraction approach allows us to study the system properties and system manipulations from a different perspective without fully relying on simulation. Using these observations as hypotheses, we aim to conduct laboratory experiments and further refine our model. / Master of Science

ITC/USA 2009 Conference Proceedings / The Forty-Fifth Annual International Telemetering Conference and Technical Exhibition / October 26-29, 2009 / Riviera Hotel & Convention Center, Las Vegas, Nevada / Current equipment and vehicle failure analysis practices use diagnostic technology developed over the past 100 years of designing and manufacturing electrical and mechanical equipment to identify root cause of equipment failure requiring expertise with the equipment under analysis. If the equipment that failed had telemetry embedded, prognostic algorithms can be used to identify the deterministic behavior in completely normal appearing data from fully functional equipment used for identifying which equipment will fail within 1 year of use, can also identify when the presence of deterministic behavior was initiated for any equipment failure.

ITC/USA 2011 Conference Proceedings / The Forty-Seventh Annual International Telemetering Conference and Technical Exhibition / October 24-27, 2011 / Bally's Las Vegas, Las Vegas, Nevada / Current failure analysis practices use diagnostic technology developed over the past 100 years of designing and manufacturing electrical and mechanical equipment to identify root cause of equipment failure requiring expertise with the equipment under analysis. If the equipment that failed had telemetry embedded, prognostic algorithms can be used to identify the deterministic behavior in completely normal appearing data from fully functional equipment used for identifying which equipment will fail within 1 year of use, can also identify when the presence of deterministic behavior was initiated for any equipment failure.

Este trabalho apresenta o desenvolvimento de algoritmos para a análise automática de eventos de sobrecorrente em sistemas elétricos de potência. Os algoritmos propostos neste trabalho são baseados em registros de tensões e correntes, efetuados por dispositivos eletrônicos inteligentes (oscilógrafos digitais e/ou relés de proteção) instalados nas redes elétricas, e são capazes de avaliar o estado operativo dessas redes com base nessas informações. Os algoritmos integram um sistema automático de análise de eventos de sobrecorrente, que é capaz de estimar o instante de ocorrência do evento, identificar as fases envolvidas e classificar o tipo de falta por meio de fasores calculados a partir dos seus registros. Além disso, este trabalho apresenta uma comparação entre duas técnicas distintas para o cálculo do fasor (a primeira utiliza a Transformada Discreta de Fourier, com janela de um ciclo, e a segunda é baseada em algoritmos genéticos) e três técnicas distintas para a estimação do instante de ocorrência do evento (a primeira utiliza a transformada de Fourier associada a um filtro digital que implementa uma função densidade de probabilidade, a segunda substitui a transformada de Fourier pelos algoritmos genéticos e a terceira é baseada somente na Transformada de Park). Para a avaliação dos algoritmos desenvolvidos, foram elaboradas simulações de duas redes de distribuição no software ATP Alternative Electromagnetic Transients Program, além de dados reais de sistemas de distribuição de concessionárias brasileiras. / This work presents the development of algorithms for the automatic analysis of overcurrent events in electrical power systems. The algorithms proposed in this paper are based on data of voltages and currents recorded by intelligent electronic devices (digital oscillographs and / or protection relays) installed in electrical networks, which can evaluate the operating state of these networks based on this information. The algorithms incorporate an automatic system for overcurrent analysis, which is able to estimate the time of occurrence of the event, identify the steps involved and classify the fault type using the phasors of voltages and currents calculated from their records. Furthermore, this work presents a comparison between two distinct techniques for phasor calculation (the first one uses the Discrete Fourier Transform, with a cycle window, and the second one is based on genetic algorithms) and three distinct techniques to estimate the time of the occurrence of the event (the first is based on Fourier Transform and a digital filter that implements a probability density function, the second one replaces Fourier transform by Genetic Algorithm and the third one is based on Park transform). For the evaluation of the developed algorithms, cases from two distribution network model have been generated in the ATP software - Alternative Electromagnetic Transients Program, additionally, actual data from distribution Brazilian utilities systems were also analyzed by the developed algorithm.

A comunidade internacional vem continuamente alertando sobre os riscos ambientais advindos da emissão de gases de efeito estufa. Considerada uma alternativa limpa, segura e de baixo impacto ambiental, a energia eólica tem se tornado uma alternativa para geração de eletricidade. No Brasil, tem-se realizado grandes investimentos na construção de parques eólicos e seu contínuo crescimento tem motivado a realização de estudos que proponham melhorias no funcionamento do sistema. Devido à característica inconstante do vento, os aerogeradores comerciais utilizados nos parques eólicos frequentemente possuem conversores de potência, desta forma, apresentam características diferentes em relação a sistemas de geração convencionais quando da ocorrência de faltas internas. Este estudo propõe a análise de transitórios eletromagnéticos em aerogeradores que utilizam geradores síncronos associados a conversores de potência, com ênfase nas faltas internas. Para tanto, foi realizado o equacionamento dinâmico do sistema que representa o aerogerador conectado à rede através do conversor back-to-back. A partir das funções de transferências obtidas, foram definidos os ajustes para os controladores através do método simétrico ótimo. Para a validação do sistema de controle foi elaborado o modelo computacional do sistema, a partir do qual foram gerados resultados que possibilitam melhor compreensão da atuação dos controladores e das formas de onda do sistema. Por fim, foram aplicadas faltas em diversos pontos do sistema, gerando como resultados gráficos que apresentam a interação entre as proteções dos conversores, local de ocorrência das faltas, resistência de falta e as grandezas analisadas. / The international community has been continuously warning of environmental risks arising from greenhouse gas emissions. For being considered as a clean, safe and low environmental impact alternative, wind energy has been considered attractive for electricity generation. Brazilian government have made great investments in the construction of wind farms, and its continued growth has motivated studies proposing improvements for the wind power generation systems. Commercial wind turbines used in wind farms, often employ power converters, behaving different from conventional electromechanical generation systems in the event of internal faults. This study proposes the analysis of electromagnetic transients in wind turbines that use synchronous generators in association with power converters, with emphasis in internal faults. For this, the dynamic behaviour of the system representing the wind turbine connected to the network through the backto-back converter was performed. Based on the transfer functions obtained, the settings for the controllers were defined by the optimal symmetric method. In order to validate the control system a computational model was elaborated, from which graphics were generated, allowing a better understanding of the controllers actuation and the waveforms of the system. Finally, faults were applied in multiple points of the system, generating as results, graphs that show the interaction between the protections of the converters, place of occurrence of faults, fault resistance and the parameters analyzed.

Este trabalho apresenta o desenvolvimento de algoritmos para a análise automática de eventos de sobrecorrente em sistemas elétricos de potência. Os algoritmos propostos neste trabalho são baseados em registros de tensões e correntes, efetuados por dispositivos eletrônicos inteligentes (oscilógrafos digitais e/ou relés de proteção) instalados nas redes elétricas, e são capazes de avaliar o estado operativo dessas redes com base nessas informações. Os algoritmos integram um sistema automático de análise de eventos de sobrecorrente, que é capaz de estimar o instante de ocorrência do evento, identificar as fases envolvidas e classificar o tipo de falta por meio de fasores calculados a partir dos seus registros. Além disso, este trabalho apresenta uma comparação entre duas técnicas distintas para o cálculo do fasor (a primeira utiliza a Transformada Discreta de Fourier, com janela de um ciclo, e a segunda é baseada em algoritmos genéticos) e três técnicas distintas para a estimação do instante de ocorrência do evento (a primeira utiliza a transformada de Fourier associada a um filtro digital que implementa uma função densidade de probabilidade, a segunda substitui a transformada de Fourier pelos algoritmos genéticos e a terceira é baseada somente na Transformada de Park). Para a avaliação dos algoritmos desenvolvidos, foram elaboradas simulações de duas redes de distribuição no software ATP Alternative Electromagnetic Transients Program, além de dados reais de sistemas de distribuição de concessionárias brasileiras. / This work presents the development of algorithms for the automatic analysis of overcurrent events in electrical power systems. The algorithms proposed in this paper are based on data of voltages and currents recorded by intelligent electronic devices (digital oscillographs and / or protection relays) installed in electrical networks, which can evaluate the operating state of these networks based on this information. The algorithms incorporate an automatic system for overcurrent analysis, which is able to estimate the time of occurrence of the event, identify the steps involved and classify the fault type using the phasors of voltages and currents calculated from their records. Furthermore, this work presents a comparison between two distinct techniques for phasor calculation (the first one uses the Discrete Fourier Transform, with a cycle window, and the second one is based on genetic algorithms) and three distinct techniques to estimate the time of the occurrence of the event (the first is based on Fourier Transform and a digital filter that implements a probability density function, the second one replaces Fourier transform by Genetic Algorithm and the third one is based on Park transform). For the evaluation of the developed algorithms, cases from two distribution network model have been generated in the ATP software - Alternative Electromagnetic Transients Program, additionally, actual data from distribution Brazilian utilities systems were also analyzed by the developed algorithm.

A comunidade internacional vem continuamente alertando sobre os riscos ambientais advindos da emissão de gases de efeito estufa. Considerada uma alternativa limpa, segura e de baixo impacto ambiental, a energia eólica tem se tornado uma alternativa para geração de eletricidade. No Brasil, tem-se realizado grandes investimentos na construção de parques eólicos e seu contínuo crescimento tem motivado a realização de estudos que proponham melhorias no funcionamento do sistema. Devido à característica inconstante do vento, os aerogeradores comerciais utilizados nos parques eólicos frequentemente possuem conversores de potência, desta forma, apresentam características diferentes em relação a sistemas de geração convencionais quando da ocorrência de faltas internas. Este estudo propõe a análise de transitórios eletromagnéticos em aerogeradores que utilizam geradores síncronos associados a conversores de potência, com ênfase nas faltas internas. Para tanto, foi realizado o equacionamento dinâmico do sistema que representa o aerogerador conectado à rede através do conversor back-to-back. A partir das funções de transferências obtidas, foram definidos os ajustes para os controladores através do método simétrico ótimo. Para a validação do sistema de controle foi elaborado o modelo computacional do sistema, a partir do qual foram gerados resultados que possibilitam melhor compreensão da atuação dos controladores e das formas de onda do sistema. Por fim, foram aplicadas faltas em diversos pontos do sistema, gerando como resultados gráficos que apresentam a interação entre as proteções dos conversores, local de ocorrência das faltas, resistência de falta e as grandezas analisadas. / The international community has been continuously warning of environmental risks arising from greenhouse gas emissions. For being considered as a clean, safe and low environmental impact alternative, wind energy has been considered attractive for electricity generation. Brazilian government have made great investments in the construction of wind farms, and its continued growth has motivated studies proposing improvements for the wind power generation systems. Commercial wind turbines used in wind farms, often employ power converters, behaving different from conventional electromechanical generation systems in the event of internal faults. This study proposes the analysis of electromagnetic transients in wind turbines that use synchronous generators in association with power converters, with emphasis in internal faults. For this, the dynamic behaviour of the system representing the wind turbine connected to the network through the backto-back converter was performed. Based on the transfer functions obtained, the settings for the controllers were defined by the optimal symmetric method. In order to validate the control system a computational model was elaborated, from which graphics were generated, allowing a better understanding of the controllers actuation and the waveforms of the system. Finally, faults were applied in multiple points of the system, generating as results, graphs that show the interaction between the protections of the converters, place of occurrence of faults, fault resistance and the parameters analyzed.