O teste de software engloba diferentes técnicas, métodos e conceitos capazes de garantir a qualidade dos mais variados tipos de sistemas. Dentre tais técnicas, encontra-se o teste baseado em Máquinas de Estados Finitos (MEFs), que visa a garantir a conformidade entre a implementação e a especificação de um software. Com esse propósito, diversos métodos foram propostos para a geração de seqüências de verificação que garantam cobertura total das possíveis falhas existentes em uma implementação. A maioria dos métodos conhecidos são baseados na utilização de seqüências de distinção. Esse recurso, porem, não existe para toda MEF. Alguns métodos buscam a geração de seqüências de verificação baseados em recursos alternativos as seqüências de distinção, contudo, as seqüências geradas são exponencialmente longas. Este trabalho apresenta um método para geração de seqüências de verificação que visa a reduzir o tamanho das seqüências geradas para o domínio de MEFs que não dispõem de seqüência de distinção. Para isso, o método proposto baseia-se na utilização de conjuntos de distinção. Uma avaliação experimental foi realizada afim de mensurar a redução proporcionada pelo método proposto em relação aos principais métodos existentes na literatura. Com esse intuito, foram geradas MEFs aleatórias sob a perspectiva diferentes fatores. Em relação a variação do número de estados, os resultados indicaram reduções acima de 99; 5% em comparação com os métodos existentes, quando analisadas 75% das MEFs geradas / Software testing involves several techniques, methods, and concepts employed to guarantee a high level of quality in different application domains. Among such techniques, Finite State Machine (FSM) based testing aims to guarantee the conformance between the implementation and the specification of a system under test. In this context, several methods were proposed to generate checking sequences that cover all the possible faults existing in an implementation. Most of these methods are based on a special sequence, named distinguishing sequence, which does not exist for every minimal machine. Some methods were proposed to generate checking sequences based on alternative solutions in order to be applied on FSMs that do not have distinguishing sequences. However, these methods generate checking sequences exponentially long. This work proposes a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the main existing methods. In the experiments, we used random FSMs that have different configurations of states, inputs, and outputs. Concerning the variation of number of states, the results show reductions higher than 99:5% in comparison with the existing methods for 75% of the experimented machines

A realização de atividades de teste é indispensável para a garantia da qualidade de um produto e para a identificação de defeitos, diminuindo custos de manutenção e evitando ao máximo o risco do cliente encontrar esses defeitos. Nessa linha, testes baseados em modelos têm se mostrado atrativos, pois o custo de geração de casos de testes e de correção de defeitos tende a ser menor. Devido à sua simplicidade conceitual e expressividade na descrição do comportamento de um sistema, um dos modelos mais usados e pesquisados na área de teste baseado em modelos são as Máquinas de Estados Finitos (MEFs). Por meio de MEFs e com apoio de ferramentas apropriadas, a geração de casos de testes para avaliar os comportamentos esperados de um sistema é automatizada, reduzindo tanto o custo da geração e da manutenção quanto as falhas humanas. Desta forma, a aplicabilidade de métodos de geração de casos de teste baseados em modelos no contexto de sistemas embarcados vem sendo investigada. O objetivo deste trabalho de mestrado consiste em investigar a aplicabilidade dos métodos de geração em cenários de teste reais, com foco em sistemas embarcados, identificando as difi- culdades e limitações do processo, bem como os requisitos essenciais para a adequação dos métodos de geração propostos na literatura e de ferramentas de apoio à atividade de teste. O foco principal do projeto é a implementação de mecanismos que atendam aos requisitos levantados, visando a usabilidade, segurança e portabilidade da ferramenta / Test activities are essential to ensure the quality of products and identify faults to reduce maintenance costs and avoid that the client finds these faults. In this sense, model-based tests have been proved useful, because the cost of generating test cases and fault correction tend to be smaller. Due to its conceptual simplicity and expressiveness in describing the behavior of a system, Finite State Machines (FSM) have been used and researched in the model-based testing area. FSMs, employed with the support of appropriate tools, enable the generation of test cases in an automated way to assess the expected behavior of a system, reducing both the generation and maintenance costs and human failures. Thus, the applicability of test cases generation methods based on models in the context of embedded systems should be investigated. Test cases generation methods based on FSM are designed to derive test cases from the model. In this context, this work aims to investigate the applicability of generation methods in real-world scenarios, focusing embedded systems. It should identify the difficulties and limitations of the process, as well as the essential requirements for the adequacy of generation methods proposed in the literature and tools to support the test activity. The main focus of the project is the implementation of mechanisms that meet the elicited requirements in order to provide usability, security and tool portability

Submitted by Luciclea Silva (luci@ufpa.br) on 2018-11-09T12:44:16Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Analisesmultisicametodo.pdf: 8640136 bytes, checksum: fb4885177a022217a3a13cc9edf858e7 (MD5) / Approved for entry into archive by Luciclea Silva (luci@ufpa.br) on 2018-11-09T12:44:35Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Analisesmultisicametodo.pdf: 8640136 bytes, checksum: fb4885177a022217a3a13cc9edf858e7 (MD5) / Made available in DSpace on 2018-11-09T12:44:35Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_Analisesmultisicametodo.pdf: 8640136 bytes, checksum: fb4885177a022217a3a13cc9edf858e7 (MD5) Previous issue date: 2018-09-21 / O Sistema Interligado Nacional (SIN) é um sistema de fundamental importância no panorama brasileiro. Sua função é conectar eletricamente os centros geradores e os centros consumidores, sendo eles empresariais, comercias ou residenciais. Os principais equipamentos responsáveis pela conexão e transmissão de energia elétrica dos centros geradores aos consumidores são os transformadores de potência. Esses equipamentos estão sujeitos a diversos tipos de falhas que podem afetar seus componentes chegando, em alguns casos, a comprometer a operação deste equipamento e, em consequência, o abastecimento de energia elétrica. Desta forma, neste trabalho é realizada uma análise multifisica nos transformadores de potência, acoplando simulações eletromagnéticas, térmicas e estruturais com o objetivo de fornecer ao operador informação sobre o momento ideal para a realização de manutenções preditivas, evitando paradas não planejadas. Para isso, foram utilizadas simulações computacionais por meio do Método de Elementos Finitos (MEF) e, a partir disso, foram analisadas as diversas situações as quais esses equipamentos podem ser submetidos, tanto na condição nominal, quanto em condições extremas de funcionamento, como corrente de inrush e corrente de curto-circuito. Nesta perspectiva, foram realizadas análises dos efeitos que a dilatação térmica e as forças axiais e radiais exercem, contribuindo para possíveis defeitos nesses equipamentos. Como objeto de estudo, as simulações foram realizadas em um transformador monofásico de 50 MVA, equipamento que encontra-se em funcionamento na região norte do país. Para melhor validação da metodologia utilizada neste trabalho, as simulações foram validadas com dados reais de medição e com resultados presentes em literaturas atuais. Desta forma, este trabalho apresenta uma metodologia que pode auxiliar o quadro técnico de uma indústria na decisão do momento adequado de parada em um transformador de potência para a realização de manutenções preditivas. / The National Interconnected System (NIS) is an organ of fundamental importance in the Brazilian panorama. Its function is to electrically connect generating centers and consumer centers, whether they are business, commercial or residential. The main equipment responsible for the connection and transmission of electric power from the generating centers to the consumers are the power transformers. This equipment is subject to several types of faults that can affect its components, in some cases compromising the operation of this equipment, and consequently the supply of electric energy. In this work, a multiphysical analysis is performed on power transformers, coupling thermal and structural electromagnetic simulations with the objective of providing the operator with information about the ideal moment for performing predictive maintenance, avoiding unplanned shutdowns. For this, computational simulations using the Finite Element Method (FEM) were used and from this, we analyzed the different situations that these equipments can be submitted, in the nominal condition, as well as extreme conditions of operation like current of inrush and current short-circuit. In this perspective, analyzes of the effects that the thermal expansion and the axial forces and radia exerted contributing to possible defects in these equipments were carried out. As a study object, the simulations were performed in a 50 MVA single-phase transformer, which is an equipment that is in operation in the northern region of the country. For a more validation of the methodology used in this work the simulations were validated with real measurement data and with results present in current literature. In this way, this work presents a methodology that can help the technical framework of an industry in the decision of the appropriate moment of stop in a power transformer for the accomplishment of predictive maintenance.

Materiais enrijecidos são encontrados cotidianamente na engenharia, como na construção de aeronaves, veículos, navios e manufaturas diversas. Na Engenharia Civil, são exemplos de materiais enrijecidos o concreto armado e o solo reforçado. A solução aproximada para esse tipo de problema pode ser encontrada pelo uso de métodos numéricos como o Método dos Elementos Finitos (MEF) e o Método dos Elementos de Contorno (MEC). Particularmente, o MEC é muito vantajoso em casos onde se tem elevados gradientes de tensão, como em problemas da mecânica da fratura, além de modelar de forma natural meios infinitos, sendo muito utilizado na análise de interação solo-estrutura ou de túneis. No entanto, como no MEC somente o contorno é discretizado, torna-se necessária a utilização de um acoplamento numérico para que o efeito mecânico dos enrijecedores seja considerado. Para esse acoplamento, podem ser utilizados diversos métodos numéricos, sendo neste trabalho realizado com o MEF e o MEC em sua forma unidimensional (MEC 1D). Dentro desse contexto, o acoplamento com o MEC 1D destaca-se por vantagens, como a compatibilidade dos métodos e a redução de aproximações. Com isso, este trabalho tem como principal objetivo o desenvolvimento e comparação de soluções numéricas para o problema de domínios enrijecidos, no âmbito do MEC aplicado a problemas bidimensionais. Os enrijecedores foram considerados como elementos de treliça, sendo realizado inicialmente na sua forma mais usual, modelando-os por meio do MEF. A seguir foi implementada nova formulação para o acoplamento, na qual os enrijecedores são modelados por meio do MEC 1D. A implementação do MEC 1D foi validada pela comparação de resultados com soluções analítica e do programa computacional FTOOL. No caso do acoplamento, os resultados de ambas formulações foram comparados com resposta do programa computacional ANSYS. Foram avaliados quatro exemplos, sendo dois isotrópicos e dois anisotrópicos. Foram aplicadas diferentes condições de carregamentos, apoios e materiais, sendo utilizadas diversas discretizações e graus de aproximação nos enrijecedores. Verificou-se os efeitos da mudança do grau de aproximação, mantendo-se constante o número de graus de liberdade. Os resultados obtidos foram similares às respostas do ANSYS, foram mecanicamente equivalentes, não havendo diferença relevante em custo computacional. O acoplamento com o MEC 1D levou a resultados estáveis e, em geral, melhores do que com o MEF. No caso de aproximação quadrática, o acoplamento com o MEF frequentemente levou a resultados instáveis. Com o aumento do grau de aproximação, os resultados de ambos métodos se aproximam, se tornando muito próximos com aproximação do quarto grau. Verificou-se que próximo às pontas dos enrijecedores ocorrem concentrações de tensão, havendo maior influência da discretização e grau de aproximação adotado nestas áreas. / The reinforced materials are commonly encountered in engineering applications, as in the construction of airplanes, vehicles, ships and general manufactures. In Civil Engineering, the reinforced concrete and the reinforced soil are examples of reinforced materials. The solution of this kind of problem can be found by the use of numerical methods as the Finite Element Method (FEM) and the Boundary Element Method (BEM). Particularly, the BEM use in cases with high stress gradients, such as in fracture mechanics problems, is very advantageous. The BEM models infinite domains in a natural way, being largely used in analysis as soil-structure interaction and tunnel modelling. However, as in the BEM only the boundary is discretized, became necessary the use of a numerical coupling to consider the mechanical effect of the stiffeners. For the coupling many numerical methods can be used, in this study it was realized with the FEM and with the BEM in its unidimensional way (BEM 1D). In this context, the coupling BEM/BEM 1D stands out for its advantages, like the compatibility between the methods and the reduction of approximations. Therefore, the main objective of this study is the development and the comparison of numerical solutions for reinforced media problems, considering the framework of the bidimensional BEM problems. The coupling was implemented considering the stiffeners as truss elements, initially it was implemented in the most usual way, by modelling the stiffeners through the FEM. In the following, a new coupling formulation was proposed, in which the stiffeners are modelled through the BEM 1D method. The BEM 1D implementation was validated by comparing the results with analytical and numerical solutions, the last one obtained with the software FTOOL. Both coupling strategies were compared with the solution obtained by the software ANSYS. Four examples were evaluated, with two isotropic and two anisotropic domains. Different boundary conditions, supports and materials were applied, as many discretization and the approximation degree of the stiffeners were tested. The effects of changing the approximation degree in both coupling strategies keeping the degrees of freedom constant were analysed. The results obtained with the implemented algorithms were mechanically coherent, and they were similar to ANSYS results. For all examples, there is no significant computational costs differences between the two coupling strategies. However, the coupling with the BEM 1D leaded to more stable results and better approximations. It was observed that the MEF results were instable for many results, mainly in the quadratic approximations. When the approximation degree rises, the methods tend to converge to equivalent results, becoming very close in fourth degree approximation. Lastly, it was observed stress concentration in the stiffeners ends. In these regions, the discretization and the approximation degree have large influence to the numerical response.

O tema desta pesquisa refere-se ao tratamento numérico de estruturas de pavimentos, dando ênfase à utilização do método dos elementos de contorno - MEC para o tratamento de elementos planos, enquanto os elementos lineares serão tratados através do método dos elementos finitos - MEF. Busca-se contribuir com uma série de trabalhos realizados nesta área, principalmente com a consideração do efeito da excentricidade do eixo neutro das barras em relação à superfície neutra da placa somando-o, portanto, ao fenômeno de flexão desta última. A técnica de acoplamento dos elementos estruturais utilizada foi a técnica das sub-regiões, que facilita a visualização do problema da combinação e viabiliza o uso da técnica de condensação estática na resolução do sistema de equações. / This research refers to the numeric analysis of structures, emphasizing the use of the boundary element method - BEM - in the discretization of the plates, while the linear elements wil be formulated through the finite element method - FEM. The aim is to contribute with a number of works related to this subject, specially in the consideration of the effect of the stiffeners eccentricity in relation to the plates neutral surface, in addition to its bending state. The tool adopted to fulfill the coupling among these kinds of structural elements is the well-known sub region or multi-domain technique, which works well with the static condensation technique for solving the sparse system of equation generated.

A finalidade inicial deste estudo foi desenvolver um modelo computacional multifísico de um acionamento eletrônico, composto por um motor de relutância 4/2 bifásico, um conversor eletrônico de potência, um controlador, os componentes mecânicos estruturais do motor e os acoplamentos entre os diferentes domínios físicos. Para a implementação do modelo proposto, foram utilizados recursos de simulações numéricas e acopladas do MEF (Método dos Elementos Finitos) em uma plataforma de simulação multifísica, de modo a realizar acoplamento entre três áreas do conhecimento: circuitos elétricos, campos eletromagnéticos e componentes mecânicos estruturais e de vibração. Uma vez desenvolvido o modelo multifísico, este foi associado a um procedimento de otimização dos ângulos de disparo que utiliza um modelo de algoritmos genéticos e, como um conjunto, estes foram aplicados na redução da vibração e da ondulação de torque do motor de relutância chaveado, resultando em uma nova metodologia para a abordagem desses problemas. De modo a comprovar os resultados obtidos nas simulações, foram realizados diversos ensaios experimentais para a validação de cada etapa do desenvolvimento, tais como levantamento das formas de onda de tensão e correntes, ensaios de vibração, etc. Os modelos desenvolvidos foram testados em função de modificações realizadas tanto nos parâmetros de controle do acionamento, como também em função de modificações mecânicas estruturais na geometria do rotor. / The initial purpose of this study was developing a multi-physical computational model of a power electronic motor drive, composed to a 2-Phase Switched Reluctance Motor (SRM) 4/2, a power electronic converter, a controller, motor mechanical and structural components and the coupling among different physical domains. For implementing of the proposed model, it was used FEM (Finite Element Method) coupled and numerical simulations resources in a multi-physic simulation platform, in order to accomplish the coupling among the three areas of knowledge: electrical circuits, electromagnetic fields and structural and mechanics components and vibration. Once finished the multi-physical model, it was associated with a optimization procedure of firing angles which uses genetic algorithm model and, as a whole, it was applied on the SRM vibration and torque ripple reduction, resulting in a new methodology to approaching these problems. In order to prove obtained simulation results, it was carried out several experimental tests to validate each development stage, such as the voltage and currents wave forms mapping, vibration tests, etc. The developed models were tested as much function of drive control parameters as the rotor geometry mechanical and structural modifications.

Tese de mestrado. Mestrado Integrado em Engenharia Mecânica. Faculdade de Engenharia. Universidade do Porto. 2012

L’objectif de cette thèse est de réaliser un système de Contrôle Santé Intégré des structures aéronautiques (CSI ou SHM) autonome et à double-fonctionnalité. Ce système doit être en mesure d’assurer son autonomie énergétique tout en réalisant les tâches de détection et de localisation des endommagements. Latechnique retenue pour alimenter ce système est basée sur la récupération d’énergie vibratoire par transducteurs piézoélectriques SHM collés. Durant ces travaux, un modèle analytique complet de la chaîne de récupération d’énergie vibratoire a d’abord été créé. Ce modèle, validé par la Méthode des ÉlémentsFinis (MEF), permet d’améliorer le rendement du système en déterminant les dimensions, les locali-sations et le type de matériau piézoélectrique idéals des transducteurs. Ce modèle a ensuite été étendu à une configuration plus représentative des conditions de vibrations d’une structure en vol. Une bonne corrélation entre les résultats provenant du modèle prédictif et les essais sur un banc de mesures a étémise en évidence. Une puissance de 1.67mW a été récupérée et la capacité large bande des transducteurs a été vérifiée. L’application de la récupération d’énergie au contrôle de structures composites en cours d’assemblage sur les lignes de production a également été étudiée. Dans ce cas, un transducteur stratégiquement localisé et alimenté par une source de tension disponible génère des ondes de Lambdans la structure afin de pallier l’absence de vibrations naturelles. Un réseau de transducteurs secondaires disséminés sur cette structure récupère et convertit cette énergie vibratoire en énergie électrique. Une puissance de 7.36 mW a été récoltée et ce système a été en mesure de détecter une chute d’outil sur le composite et d’éclairer de façon autonome une diode électroluminescente (DEL) simulant ici la consommation de la transmission sans fil de l’information. / The aim of this thesis is to develop a self-powered Structural Health Monitoring (SHM) system for aeronautical applications. This system has to be fully autonomous and has to be able to carry out SHM tasks such as damage detection and location. The energetic autonomy of the system is provided by a vibrational energy harvesting technology using bonded SHM piezoelectric transducers. In this document,an analytical model of the energy harvesting process has been proposed. This model, validated by the Finite Element Method (FEM), allows the optimization of the energy harvesting system by determining the ideal type of transducers as well as their optimal dimensions and locations. Then, this model has been applied to a configuration aiming to be more representative of the in-flight vibrations experienced by a structure. Good agreement has been found between the analytical simulation and the experimental measurements. A power of 1.67mW has been harvested and the wideband capability of the transducers has been verified. Afterwards, the possibility of using the vibrational energy harvesting technology to control composite structures on assembly line has been investigated. For this case study, a transducer strategically located nearby an available power supply generates Lamb waves throughout the structure to tackle the absence of natural vibration. The remaining sensors, spread all over the structure, convertthe mechanical vibrations into electrical power. Using this technology, a power of 7.36mW has been harvested. Finally, this SHM system has also been able to detect a tool drop on the composite structure and to light simultaneously and autonomously a light-emitting diode (LED) simulating the consumption required to transmit the information wirelessly.

Dans ce travail, nous étudions le raffinement de maillage pour des méthodes d'éléments finis mixtes duales pour deux types de problèmes : le premier concerne le problème de l'élasticité linéaire et le second problème celui de l'élastodynamique.<br /> <br /> Pour ces deux types de problèmes et dans des domaines non réguliers, les méthodes d'éléments finis mixtes analysées jusqu'à présent, sont celles qui concernent des méthodes mixtes "classiques". Ici, nous analysons la formulation mixte duale pour les deux problèmes de l'élasticité linéaire et de l'élastodynamique. <br /> Pour le problème d'élasticité, nous sommes concernés premièrement par une analyse a priori d'erreur en utilisant l'approximation par l'élément fini $BDM_1$ stabilisé. Afin de dériver une estimation a priori optimales d'erreur, nous établissons des règles de raffinement de maillage. <br /> Ensuite, nous faisons une analyse d'erreur à posteriori sur un domaine simplement ou multiplement connexe. En fait nous établissons un estimateur résiduel fiable et efficace. Cet estimateur est alors utilisé dans un algorithme adaptatif pour le raffinement automatique de maillage. Pour le problème de l'élastodynamique, nous faisons une analyse a priori d'erreur en utilisant le même élément fini que pour le problème d'élasticité, en utilisant une formulation mixte duale pour la discrétisation des variables spatiales. <br /> Pour la discrétisation en temps nous étudions les deux schémas de Newmark explicite et implicite. Par des règles de raffinement de maillage appropriées, nous dérivons des estimées d'erreur optimales pour les deux schémas numérique.

Un certain nombre d'applications électrostatiques, notamment les dépoussiéreurs électrostatiques, mettent en oeuvre le phénomène de décharge couronne dans les gaz à partir d'électrodes ayant une forte courbure. Ces électrodes injectent des charges dans le gaz et la charge d'espace qui en résulte modifie la distribution du champ électrique. Le but de notre travail a été de développer un code numérique pour déterminer les distributions de champ électrique et de densité de charge dans la configuration lame-plan, la création de charge se faisant par effet couronne sur le bord de la lame. <br />Nous utilisons la méthode des éléments finis MEF pour résoudre l'équation de Poisson et la méthode des caractéristiques MC pour résoudre l'équation de conservation de la charge. Les deux équations couplées sont résolues par approximations successives en redéfinissant le maillage structuré à chaque itération pour éliminer la diffusion numérique. La redéfinition du maillage structuré est la partie la plus importante du travail. L'algorithme converge bien pour différentes distributions de la charge définies sur la lame injectrice. Les solutions numériques obtenues pour une loi d'injection imposée sur la lame plate donnent des résultats en très bon accord avec les mesures de densité de courant sur l'électrode plane d'un dispositif lame-plan.