Os processos de negócio desempenham um papel muito importante na indústria, principalmente pela evolução das tecnologias da informação. As plataformas de computação em nuvem, por exemplo, com a alocação de recursos computacionais sob demanda, possibilitam a execução de processos altamente requisitados. Para tanto, é necessário definir o ambiente de execução dos processos de tal modo que os recursos sejam utilizados de forma ótima e seja garantida a correta funcionalidade do processo. Nesse contexto, diferentes métodos já foram propostos para modelar os processos de negócio e analisar suas propriedades quantitativas e qualitativas. Há, contudo, vários desafios que podem restringir a aplicação desses métodos, especialmente para processos com alta demanda (como os workflows de numerosas instâncias) e que dependem de recursos limitados. A análise de desempenho de workflows de numerosas instâncias via modelagem analítica é o objeto de estudo deste trabalho. Geralmente, para a realização desse tipo de análise usa-se modelos matemáticos baseados em técnicas Markovianas (sistemas estocásticos), que sofrem do problema da explosão do espaço de estados. Entretanto, a Teoria do Campo Médio indica que o comportamento de um sistema estocástico, sob certas condições, pode ser aproximado por o de um sistema determinístico, evitando a explosão do espaço de estados. Neste trabalho usamos tal estratégia e, com base na definição formal de aproximação determinística e suas condições de existência, elaboramos um método para representar os workflows, e seus recursos, como equações diferenciais ordinárias, que descrevem um sistema determinístico. Uma vez definida a aproximação determinística, realizamos a análise de desempenho no modelo determinístico, verificando que os resultados obtidos são uma boa aproximação para a solução estocástica. / Business processes play a very important role in the industry, especially by the evolution of information technologies. Cloud computing platforms, for example, with the allocation of on-demand computing resources enable the execution of highly requested processes. Therefore, it is necessary to define the execution environment of the processes in such a way that the resources are used optimally and the correct functionality of the process is guaranteed. In this context, different methods have already been proposed to model business processes and analyze their quantitative and qualitative properties. There are, however, a number of challenges that may restrict the application of these methods, especially for high-demanded processes (such as workflows of numerous instances) and that rely on resources that are limited. The analysis of the performance of workflows of numerous instances through analytical modeling is the object of study of this work. Generally, for the accomplishment of this type of analysis, mathematical models based on Markovian techniques (stochastic systems) are used, which suffer the problem of the state space explosion. However, the Mean Field Theory, indicates that the behavior of a stochastic system, under certain conditions, can be approximated by that of a deterministic system, avoiding the explosion of the state space. In this work we use such a strategy, based on the formal definition of deterministic approximation and its conditions of existence, we elaborate a method to represent the workflows, and their resources, as ordinary differential equations, which describe a deterministic system. Once the deterministic approximation has been defined, we perform the performance analysis in the deterministic model, verifying that the obtained results are a good approximation for the stochastic solution.

Os processos de negócio desempenham um papel muito importante na indústria, principalmente pela evolução das tecnologias da informação. As plataformas de computação em nuvem, por exemplo, com a alocação de recursos computacionais sob demanda, possibilitam a execução de processos altamente requisitados. Para tanto, é necessário definir o ambiente de execução dos processos de tal modo que os recursos sejam utilizados de forma ótima e seja garantida a correta funcionalidade do processo. Nesse contexto, diferentes métodos já foram propostos para modelar os processos de negócio e analisar suas propriedades quantitativas e qualitativas. Há, contudo, vários desafios que podem restringir a aplicação desses métodos, especialmente para processos com alta demanda (como os workflows de numerosas instâncias) e que dependem de recursos limitados. A análise de desempenho de workflows de numerosas instâncias via modelagem analítica é o objeto de estudo deste trabalho. Geralmente, para a realização desse tipo de análise usa-se modelos matemáticos baseados em técnicas Markovianas (sistemas estocásticos), que sofrem do problema da explosão do espaço de estados. Entretanto, a Teoria do Campo Médio indica que o comportamento de um sistema estocástico, sob certas condições, pode ser aproximado por o de um sistema determinístico, evitando a explosão do espaço de estados. Neste trabalho usamos tal estratégia e, com base na definição formal de aproximação determinística e suas condições de existência, elaboramos um método para representar os workflows, e seus recursos, como equações diferenciais ordinárias, que descrevem um sistema determinístico. Uma vez definida a aproximação determinística, realizamos a análise de desempenho no modelo determinístico, verificando que os resultados obtidos são uma boa aproximação para a solução estocástica. / Business processes play a very important role in the industry, especially by the evolution of information technologies. Cloud computing platforms, for example, with the allocation of on-demand computing resources enable the execution of highly requested processes. Therefore, it is necessary to define the execution environment of the processes in such a way that the resources are used optimally and the correct functionality of the process is guaranteed. In this context, different methods have already been proposed to model business processes and analyze their quantitative and qualitative properties. There are, however, a number of challenges that may restrict the application of these methods, especially for high-demanded processes (such as workflows of numerous instances) and that rely on resources that are limited. The analysis of the performance of workflows of numerous instances through analytical modeling is the object of study of this work. Generally, for the accomplishment of this type of analysis, mathematical models based on Markovian techniques (stochastic systems) are used, which suffer the problem of the state space explosion. However, the Mean Field Theory, indicates that the behavior of a stochastic system, under certain conditions, can be approximated by that of a deterministic system, avoiding the explosion of the state space. In this work we use such a strategy, based on the formal definition of deterministic approximation and its conditions of existence, we elaborate a method to represent the workflows, and their resources, as ordinary differential equations, which describe a deterministic system. Once the deterministic approximation has been defined, we perform the performance analysis in the deterministic model, verifying that the obtained results are a good approximation for the stochastic solution.

O grande aumento da capacidade de integração de transistores em um único circuito integrado tem exigido grande e constante evolução na metodologia de projeto e práticas de implementação de sistemas eletrônicos embarcados. Tal capacidade de integração resultou no surgimento de sistemas sobre silício (SoCs). O projeto de tais sistemas, mais complexos que seus predecessores, alteram significativamente os fluxos tradicionais de concepção de sistemas, fazendo surgir estratégias tais quais reuso, projetos orientados a plataformas, assim como modelagens e simulações em diferentes níveis de abstração. Um dos diferentes níveis de abstração estudados é o analítico, onde os sistemas são modelados através de representações abstratas. A adoção de modelos analíticos apresenta vantagens, como alta velocidade de execução (permitindo um grande número de análises de modelos diferentes) e facilidade de alteração. No entanto, por se tratarem de modelagens distantes, em termos de abstração, de implementações reais, podem oferecer prognósticos não exatos. Faz-se então necessária a investigação de metodologias que tenham como propósito o aperfeiçoamento de tais modelos em termos de acurácia e fidelidade. O presente trabalho apresenta uma metodologia de modelagem analítica para avaliação de desempenho de sistemas-sobre-silício orientada a aplicação de processadores de redes de pacotes. A metodologia de Network Calculus, a ser implementada nos estágios iniciais de projeto de sistemas-sobre-silício baseados em plataforma, contribui para reduzir o espaço de avaliação de projeto. Trata do equacionamento analítico de representações abstratas das cargas de entrada e também da capacidade de processamento de recursos, visando obter prognósticos mais pessimistas e mais otimistas de parâmetros como latência, requisição de buffer e utilização do sistema, descrito de modo abstrato através de grafos. / The great increase in terms of integration capacity of transistors on integrated circuits has demanded great and constant evolution in the design methodology and practical implementation of embedded electronic systems. Such capacity of integration resulted in the sprouting of systems-on-chips (SoCs). The design of such systems, more complex than their predecessors, significantly changes the traditional flow in the conception of systems, bringing up strategies such like reuse, platform based design, as well as modeling and simulation in different abstraction levels. One of the different abstraction levels under study is the analytical one, where the systems are shaped through abstract representations. The adoption of analytical models presents advantages, such as high speed of execution (allowing a great number of analyses of different models) and easiness for alteration. However, due to their distant representation models, in terms of abstraction, from real implementations, they cannot offer accurate prognostics on several design metrics. Therefore, it is necessary the investigation on methodologies aiming to the enhancement of such models in terms of accuracy and fidelity. The present work shows a methodology of analytical modeling for evaluation of system-on-chip performance guided to the application of network processors of packages. The methodology of Network Calculus, to be implemented in the initial steps of of system-on-chip´s design cycle, contributes to reduce the design space exploration. It deals with the building of analytical equations for abstract representations of workloads and also the processing capacity of resources, aiming at to get most pessimistic and most optimistic prognostics of parameters such like latency, buffer requirements and the system utilization, described in abstract way through graphs.

In last decades, there has been a relevant growth in the application of composite materials reinforced by fibers in the several industries, especially the aeronautical, automotive, construction and offshore structures segments. How the composites exhibit relationships stiffness/weight and resistance/high weight, and other interesting features compared with other materials, they have been increasingly used to replace conventional materials. The present work has as objective to develop a study about laminated polymeric composite tubes subjected to thermomechanical loads. The laminae are composed of polymeric matrix involving unidirectional long fiber reinforcement. The walls of the studied tubes present various lamination schemes and different constituent materials. The analyses are set by analytical formulations that permits obtaining the displacements, stresses and strains, as well as verification failures in the laminae. Different empirical and semi-empirical analytical models are used for failure analyses. Effects of thermomechanical loads, such as internal pressure, bending, and temperature changes are considered. The analyzed cases consist of tubes with walls comprised of several layers with different directions of fibers, some including laminae sand impregnated with resin. The results are also compared with other available in the literature. It is verified that the Tsai-Wu criterion provides superior results to the other two failure models used in the work, especially for angles greater than 50°. Moreover, this criterion obtained an inconsistent result in the analysis of the temperature effects for the laminae [+55°/−55°]2. / Fundação de Amparo a Pesquisa do Estado de Alagoas / Nas últimas décadas, houve um grande crescimento na aplicação de materiais compósitos reforçados por fibras em diversos setores, com destaque para os segmentos aeronáutico, automotivo, construção civil e de estruturas offshore. Como os referidos compósitos apresentam relações rigidez/peso e resistência/peso elevadas, além de outras características interessantes, em comparação com outros materiais, eles têm sido cada vez mais utilizados em substituição aos materiais convencionais. O presente trabalho tem como objetivo o desenvolvimento de um estudo sobre tubos de materiais compósitos poliméricos laminados submetidos a cargas termomecânicas. As lâminas são constituídas por uma matriz polimérica envolvendo fibras unidirecionais longas de reforço. As paredes dos tubos estudadas apresentam diferentes esquemas de laminação, podendo ser constituídas por diferentes materiais. As análises são feitas através de formulações analíticas que permitem a obtenção dos deslocamentos, tensões e deformações, assim como a verificação de falhas nas lâminas. Para a análise de falhas são empregados diferentes modelos analíticos empíricos e semiempíricos. Efeitos de cargas termomecânicas, tais como pressão interna, flexão e de variação de temperatura são considerados. Os casos analisados consistem de tubos com paredes constituídas por várias camadas com diferentes direções de fibras, alguns incluindo lâminas de areia impregnada com resina. Os resultados encontrados também são comparados com outros disponíveis na literatura. Verifica-se que o critério de Tsai-Wu fornece resultados superiores aos dos outros dois modelos de falha utilizados no trabalho, principalmente para ângulos superiores a 50°. Além disso, esse critério obteve resultado inconsistente na análise dos efeitos de temperatura para o laminado [+55°/−55°]2.

O grande aumento da capacidade de integração de transistores em um único circuito integrado tem exigido grande e constante evolução na metodologia de projeto e práticas de implementação de sistemas eletrônicos embarcados. Tal capacidade de integração resultou no surgimento de sistemas sobre silício (SoCs). O projeto de tais sistemas, mais complexos que seus predecessores, alteram significativamente os fluxos tradicionais de concepção de sistemas, fazendo surgir estratégias tais quais reuso, projetos orientados a plataformas, assim como modelagens e simulações em diferentes níveis de abstração. Um dos diferentes níveis de abstração estudados é o analítico, onde os sistemas são modelados através de representações abstratas. A adoção de modelos analíticos apresenta vantagens, como alta velocidade de execução (permitindo um grande número de análises de modelos diferentes) e facilidade de alteração. No entanto, por se tratarem de modelagens distantes, em termos de abstração, de implementações reais, podem oferecer prognósticos não exatos. Faz-se então necessária a investigação de metodologias que tenham como propósito o aperfeiçoamento de tais modelos em termos de acurácia e fidelidade. O presente trabalho apresenta uma metodologia de modelagem analítica para avaliação de desempenho de sistemas-sobre-silício orientada a aplicação de processadores de redes de pacotes. A metodologia de Network Calculus, a ser implementada nos estágios iniciais de projeto de sistemas-sobre-silício baseados em plataforma, contribui para reduzir o espaço de avaliação de projeto. Trata do equacionamento analítico de representações abstratas das cargas de entrada e também da capacidade de processamento de recursos, visando obter prognósticos mais pessimistas e mais otimistas de parâmetros como latência, requisição de buffer e utilização do sistema, descrito de modo abstrato através de grafos. / The great increase in terms of integration capacity of transistors on integrated circuits has demanded great and constant evolution in the design methodology and practical implementation of embedded electronic systems. Such capacity of integration resulted in the sprouting of systems-on-chips (SoCs). The design of such systems, more complex than their predecessors, significantly changes the traditional flow in the conception of systems, bringing up strategies such like reuse, platform based design, as well as modeling and simulation in different abstraction levels. One of the different abstraction levels under study is the analytical one, where the systems are shaped through abstract representations. The adoption of analytical models presents advantages, such as high speed of execution (allowing a great number of analyses of different models) and easiness for alteration. However, due to their distant representation models, in terms of abstraction, from real implementations, they cannot offer accurate prognostics on several design metrics. Therefore, it is necessary the investigation on methodologies aiming to the enhancement of such models in terms of accuracy and fidelity. The present work shows a methodology of analytical modeling for evaluation of system-on-chip performance guided to the application of network processors of packages. The methodology of Network Calculus, to be implemented in the initial steps of of system-on-chip´s design cycle, contributes to reduce the design space exploration. It deals with the building of analytical equations for abstract representations of workloads and also the processing capacity of resources, aiming at to get most pessimistic and most optimistic prognostics of parameters such like latency, buffer requirements and the system utilization, described in abstract way through graphs.

Submitted by Haroudo Xavier Filho (haroudo.xavierfo@ufpe.br) on 2016-03-11T13:40:44Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao - Eliomar Gomes Campos - Mestrado Ciência da computação.pdf: 5177532 bytes, checksum: 4fc152f297f19c035a0affba1640dcc3 (MD5) / Made available in DSpace on 2016-03-11T13:40:44Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao - Eliomar Gomes Campos - Mestrado Ciência da computação.pdf: 5177532 bytes, checksum: 4fc152f297f19c035a0affba1640dcc3 (MD5) Previous issue date: 2015-08-03 / FACEPE / Composite web services, also known as mashups, are useful to build added-value products in the web. Cloud computing environments have been widely used for hosting web services due to the possibility of increasing or decreasing available resources through automatic mechanisms (i.e.: auto scaling). Such elastic behavior ease the task of reaching satisfactory performance on peaks of demand without wasting resources. It is hard to determine the right components to tune such systems performance when eventually needed. This study evaluates the performance of auto scaling mechanisms for private clouds hosting an event recommendation web service. A hierarchical modeling approach is used to cope with the complexity of such a system, and represent specific details of these mechanisms. Our study applies parametric sensitivity analysis from several performance metrics of the models, such as mean execution time of the auto scaling monitoring, mean time of VMs instantiation, and the mean response time perceived by the web service user. We also have carried a General Full Factorial Experiment, in order to calculate the relevance and effects of each factor involved in the processes of auto scaling and virtual machines (VMs) instantiation. For the auto scaling monitoring, we analyze the factors: collection period of a metric, number of monitored virtual machines, and the time of monitoring of a metric. Regarding the instantiation process, the following factors have been chosen: VM type, VM image size, and VM caching. This analysis allows checking the impact of parameters on the system response time and pointing out effective ways for improvement of performance. / Serviços web compostos, também conhecidos como mashups, são úteis para construir produtos de valor agregado na web. Ambientes de computação em nuvem têm sido amplamente utilizados para hospedar serviços web, devido à possibilidade de aumentar ou diminuir os recursos disponíveis através de mecanismos automáticos (i.e.: escala automática). Tal comportamento elástico facilita a tarefa de alcançar um desempenho satisfatório nos picos de demanda sem desperdiçar recursos. É difícil determinar os componentes certos para ajustar o desempenho desses sistemas eventualmente, quando necessário. Este estudo avalia o desempenho dos mecanismos de escala automática e elasticidade para nuvens privadas hospedando um serviço web de recomendação de eventos. Uma abordagem de modelagem hierárquica é utilizada afim de lidar com a complexidade de tal sistema, e representar detalhes específicos desses mecanismos. Nosso estudo aplicou análise de sensibilidade paramétrica a partir de várias métricas de desempenho dos modelos, tais como o tempo médio de execução do monitoramento de escala automática, tempo médio da instanciação de VMs e o tempo médio da resposta percebida pelo usuário do serviço web. Realizamos também um Experimento Geral Fatorial Completo, com o objetivo de calcular os efeitos e relevâncias de cada fator envolvido nos processos escala automática e instanciação de máquinas virtuais (virtual machines - VMs). Para o monitoramento de escala automática, analisamos os fatores: período de coleta de uma métrica, número de máquinas virtuais monitoradas, e o tempo de monitoração de uma métrica. Quanto ao processo de instanciação, os seguintes fatores foram escolhidos: tipo de VM, tamanho da imagem da VM, e cache da VM. Estas análises permitem verificar o impacto dos parâmetros sobre o tempo de resposta do sistema e apontar formas eficazes de melhoria do desempenho.

Cette thèse traite de la modélisation, conception, optimisation ainsi que de la validation expérimentale d'une machine à reluctance variable à double alimentation (BDFRM-Brushless Doubly-Fed Reluctance Machine) destinée aux éoliennes. La BDFRM est notamment considérée comme une alternative viable à la Machine Asynchrone à Double Alimentation (MASDA) dans les systèmes éoliens à vitesse variable. Elle maintient les avantages de coût de la MASDA tout en permettant l'utilisation d'un convertisseur de puissance réduit ainsi que la diminution des coûts d'entretien en raison de son fonctionnement sans balais. Une revue de la littérature fait apparaitre un manque de recherches concernant la définition de procédures de conception pour rendre cette machine plus populaire en général, et dans l'éolien en particulier. L'objectif principal de cette thèse est de contribuer à la maîtrise du processus de conception optimale de la BDFRM en proposant une approche méthodologique basée sur différents niveaux de modélisation et sur l'optimisation. Elle examine comment l'optimisation pourrait être appliquée à toutes les étapes de développement avec des objectifs distincts à évaluer. Plus précisément, elle se focalise sur la définition du problème d'optimisation sous contraintes et sur sa solution itérative en utilisant un algorithme déterministe couplé à des modèles semi-analytiques de différents niveaux. Les activités effectuées au cours de cette thèse peuvent être divisées en cinq parties principales. La première se réfère à l'étude de la BDFRM et de son principe de fonctionnement dans le contexte de l'énergie éolienne. La seconde partie examine les aspects de modélisation électromagnétique de la BDFRM en utilisant différentes approches. Deux modèles orientés pour l'optimisation ont été développés: le Modèle Semi-Analytique (SAM-Semi Analytical Model ) et le modèle multistatique de réseau de reluctances (MSRN-Multi-Static Reluctance Network). La mise en œuvre des modèles axés sur l'optimisation déterministe et leurs vérifications par des simulations utilisant la méthode des éléments finis (MEF) constituent la troisième partie. Il est possible de conclure qu'à partir des résultats de simulation que le SAM a un niveau de précision limité et qu'il est alors recommandé de l'utiliser dans les étapes de prédimensionnement, où le concepteur est plus intéressé par l'acquisition de résultats avec des temps de calcul rapides que par l'obtention d'une plus grande précision. Le MSRN, au contraire, présente des résultats d'une précision remarquable par rapport à la MEF, ce qui donne un compromis très intéressant entre précision et temps de calcul. Cette thèse a permis aussi de spécifier et réaliser un prototype de BDFRM en utilisant une approche d'optimisation présenté en quatrième partie. Ensuite, les données expérimentales obtenues à partir du prototype ont été confrontées aux résultats de la simulation pour valider les modèles, mettant l'accent sur le processus de modulation de flux par le rotor à réluctance, en particulier l'inductance mutuelle entre les enroulements. Bien que les résultats soient dans un sens satisfaisant pour la validation des modèles, il y a des différences qui ont exigés un examen plus approfondie. Une discussion sur les hypothèses les plus probables a donc été effectuée, celle-ci a souligné le rôle important du processus de fabrication de la machine sur ses performances. La cinquième partie explore à travers une étude de cas l'utilisation de la procédure de conception de la BDFRM proposée dans cette thèse pour les éoliennes. En conclusion générale, on peut affirmer que la BDFRM est potentiellement une bonne candidate pour être utilisée dans les systèmes éoliens. Toutefois, les aspects techniques et économiques sur ce choix doivent être encore évalués, en analysant et en comparant la solution globale du système dans le même cadre de recherche avec d'autres solutions alternatives. / This thesis addresses the modeling, design and optimization with experimental validation of the Brushless Doubly-Fed Reluctance Machine (BDFRM) for wind power systems. The BDFRM is being considered as a viable alternative to the Doubly Fed Induction Machine (DFIG) in variable speed wind energy conversion systems. It keeps the cost advantages of the DFIG by allowing the use of a fractionally rated power converter and it has the advantage of reduced maintenance costs due to its brushless operation. A literature review shows that there is still a lack of researches to define a design procedure to make this machine widely used in general and in such application in particular. The main goal of this thesis is to contribute on mastering the BDFRM optimized design by proposing a methodological approach based on different modeling levels and on optimization. It discusses how optimization could be applied in all development stages with distinct objectives to be assessed. More precisely, it draws its attention on setting the optimization problem and on the iterative solution of a constrained inputs/outputs problem by using a deterministic algorithm coupled to analytical-based modeling levels. The activities performed during this thesis can be divided in five main topics. The first refers to the study of the BDFRM and its operating principles in the context of wind power. The second discusses the BDFRM electromagnetic modeling aspects using different approaches. Two optimization-oriented models have been developed: the Semi-Analytical Model (SAM) and the Multi-Static Reluctance Network model (MSRN). The implementation of the models focusing on deterministic optimization and their verification through simulations using Finite Element Analysis (FEA) are considered the third topic. It can be concluded from the simulation results that the SAM has a limited accuracy level and it is recommended to be used in early design stages, where the designer is most interested in fast computation times to test many design variation than in obtaining the results with the highest possible accuracy. The MSRN, on the contrary, presents remarkably precise results when compared to FEA, yielding a very interesting trade-off among accuracy and computation time. This thesis has also allowed to specify and realize a BDFRM prototype using an optimization approach, presented in the fourth part. Then, the experimental data obtained from the prototype has been confronted to the simulation results to validate the models, focusing on the investigation of the flux modulation process by the reluctance rotor, especially the mutual inductance among the windings. Although the results were in a sense satisfactory to validate the models, there have been differences that demanded further investigation. A discussion on the most likely hypothesis for that has been performed, indicating the significant role of the manufacturing process on machine performance. The fifth topic explores through a case study the use of the proposed BDFRM design procedure for wind power applications. As a general conclusion, it can be stated that the BDFRM is potentially a good candidate to be used in wind power systems. However, the technical and economic aspects on this choice must be still assessed, analyzing and comparing the overall system solution of distinct topologies within the same framework. / Esta tese aborda a modelagem, o projeto e a otimização, com validaçãoexperimental, de máquinas de relutância duplamente alimentadas sem escovas (BDFRM)para sistemas de geração de energia eólica.A BDFRM é considerada como uma alternativa viável para o gerador de indução duplamentealimentado (DFIG) em sistemas de geração de energia eólica com variação develocidade. Ela mantém as vantagens de custo da solução com o DFIG, permitindo autilização de um conversor de frequência de potência nominal reduzida, e tem a vantagemadicional de custos de manutenção mais baixos devido a sua operação sem escovas. Umarevisão da literatura evidencia que ainda há uma necessidade de pesquisas na área parade_nir um procedimento de projeto desta máquina para torná-la amplamente utilizada emaplicações em geral e, em particular, para geração eólica.O objetivo principal desta tese é de contribuir para o domínio de técnicas de projetootimizado para a BDFRM através da proposição de uma metodologia baseada em diferentesníveis de modelagem e em otimização. Discute-se como técnicas de otimização podem seraplicadas em todas as fases de desenvolvimento com objetivos distintos. Especi_camente,a metodologia proposta se concentra na de_nição e na solução iterativa de problemas deotimização com restrições nas saídas utilizando um algoritmo determinístico acoplado amodelos semi-analíticos de diferentes níveis.As atividades realizadas durante esta tese podem ser divididas em cinco tópicos principais.O primeiro refere-se ao estudo da BDFRM e seu princípio de funcionamento no contextode geração de energia eólica. O segundo trata dos aspectos de modelagem eletromagnética da BDFRM utilizando diferentes abordagens. Dois modelos orientados à otimizaçãoforam desenvolvidos: o modelo semi-analítico (SAM) e o modelo multi-estático de redes derelutâncias (MSRN). A implementação dos modelos com foco na otimização e a veri_caçãodeles através de simulações com o método de elementos _nitos (FEA) são consideradas aterceira parte. Pode-se concluir, a partir dos resultados de simulação, que o SAM tem umaprecisão limitada e é recomendado para ser utilizado em estágios iniciais de projeto, emque o projetista está mais interessado em cálculos rápidos para testar diversas variações deprojeto do que na obtenção de resultados com a maior precisão possível. O MSRN, ao contrário, apresenta resultados precisos quando comparado aos obtidos com o FEA, resultandonum interessante custo-benefício entre precisão e tempo de cálculo. Nesta tese, fabricou-setambém um protótipo da BDFRM, o qual foi especi_cado utilizando-se otimização e osdetalhes sobre ele são introduzidos na quarta parte. Os dados experimentais obtidos com oprotótipo foram confrontados com os resultados de simulação para validação dos modelos,focando-se na investigação do processo de modulação de _uxo pelo rotor relutância, especialmentea indutância mútua entre os enrolamentos. Embora os resultados obtidos sejamsatisfatórios para validar os modelos, encontraram-se diferenças que exigiram uma investigação mais detalhada. As hipóteses mais prováveis foram investigadas e as conclusõesindicam o papel determinante do processo de fabricação no desempenho da máquina. Oquinto tópico explora através de um estudo de caso a utilização do procedimento de projetoproposto da BDFRM para aplicações de geração de energia eólica.Como conclusão geral, pode-se a_rmar que a BDFRM é potencialmente uma boa candidatapara ser utilizada em sistemas de geração de energia eólica. Contudo, aspectostécnicos e econômicos sobre essa escolha devem ainda ser avaliados, comparando-se asdiferentes topologias existentes sob o mesmo enfoque metodológico.