A poluição sonora é um problema central de uma grande diversidade de aplicações industriais. Na engenharia, podemos citar diversos casos que geram ruído, como exemplos os trens, automóveis, rotores de helicópteros e o ruído aerodinâmico das aeronaves, o qual se divide em ruído gerado pelos motores a jato e a estruturas da aeronave. No presente momento o ruído dos motores aeronáuticos, principalmente os jatos, atingiu níveis de ruídos semelhantes às estruturas da aeronave, como por exemplo, eslates, flaps e trens de pouso. Desta forma, as autoridades de transporte aéreo estão exigindo também redução no ruído das estruturas. O presente trabalho apresenta a verificação das potencialidades e limitações do software CFD++, programa este adquirido pela EMBRAER e inserido como parte do projeto Aeronave Silenciosa, para assim poder compreender de uma melhor maneira o fenômeno da aeroacústica, e deste modo, poder contribuir para a redução do ruído externo das aeronaves. Para verificar as potencialidades e limitações do CFD++, foi proposto investigar o mecanismo de som do eslate. Tal fenômeno é devido ao deslocamento da camada limite no intradorso do eslate a partir de onde se desenvolve a camada de mistura, foco do presente trabalho. / Noise pollution is a central problem of a wide variety of industrial applications. In engineering, cite several cases that generate noise, as examples trains, automobiles, rotors of helicopters and the noise generated by aircraft, which is divided into noise generated by jet engines and airframe. At present the noise of aircraft engines, largely the jets reached noise levels similar structures, such as slat, flaps and landing gear. Thus, the air transport authorities are also demanding a reduction in noise of the structures of airframe. This report presents the verification of potentialities and limitations of CFD++, a program acquired by EMBRAER and inserted as part of the Silent Aircraft, so they can understand better how the phenomenon of aeroacoustics, and thus able to reduce contribute external noise from aircraft. To check the potentialities and limitations of CFD++, was proposed to investigate the mechanism of sound generated by the slat. This phenomenon is due to the displacement of the boundary layer on the lower surface of the slat from which the mixed layer develops. The mixing layer is the focus of this work.

Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-06-15T20:18:58Z No. of bitstreams: 1 SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-06-18T19:19:46Z (GMT) No. of bitstreams: 1 SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5) / Made available in DSpace on 2018-06-18T19:19:46Z (GMT). No. of bitstreams: 1 SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5) Previous issue date: 2018-02-22 / O uso de Geradores Automáticos de Código para Métodos Formais não apenas minimiza esforços na implementação de Sistemas de Software, como também reduz a chance da existência de erros na execução destes Sistemas. Estas ferramentas, no entanto, podem ter faltas em seus códigos-fonte que causam erros na geração dos Sistemas de Software, e então a verificação de tais ferramentas é encorajada. Esta tese de Doutorado visa criar e desenvolver uma estratégia para verificar JCircus, um Gerador Automático de Código de um amplo sub-conjunto de Circus para Java. O interesse em Circus vem do fato de que ele permite a especificação dos aspectos concorrentes e de estado de um Sistema de maneira direta. A estratégia de verificação consiste nos seguintes passos: (1) extensão da Semântica Operacional de Woodcock e prova de que ela é sólida com respeito à Semântica Denotacional existente de Circus na Teoria Unificada de Programação (UTP), que é um framework que permite prova e unificação entre diferentes teorias; (2) desenvolvimento e implementação de uma estratégia que verifica o refinamento do código gerado por JCircus, através de uma toolchain que engloba um Gerador de Sistema de Transições Rotuladas com Predicado (LPTS) para Circus e um Gerador de Modelos que aceita como entrada (I) o LPTS e (II) o código gerado por JCircus, e gera um modelo em Java Pathfinder que verifica o refinamento do código gerado por JCircus. Através da aplicação do passo (2) combinada com técnicas baseadas em cobertura no código fonte de JCircus, nós visamos aumentar a confiabilidade do código gerado de Circus para Java. / The use of Automatic Code Generators for Formal Methods not only minimizes efforts on the implementation of Software Systems, but also reduces the chance of existing errors on the execution of such Systems. These tools, however, can themselves have faults on their source codes that may cause errors on the generation of Software Systems, and thus verification of such tools is encouraged. This PhD thesis aims at creating and developing a strategy to verify the code generation from the Circus formal method to Java Code. The interest in Circus comes from the fact that it allows the specification of concurrent and state-rich aspects of a System in a straightforward manner. The code generation envisaged to be verified is performed by JCircus, a tool that translates a large subset of Circus to Java code that implements the JCSP API. The strategy of verification consists on the following steps: (1) extension of Woodcock’s Operational Semantics to Circus processes and proof that it is sound with respect to the Denotational Semantics of Circus in the Unifying Theories of Programming (UTP), that is a framework that allows proof and unification of different theories; (2) development and implementation of a strategy that refinement-checks the code generated by JCircus, through a toolchain that encompasses (2.1) a Labelled Predicate Transition System (LPTS) Generator for Circus and (2.2) a Model Generator that inputs (I) a LPTS and (II) the code generated by JCircus, and generates a model (that uses the Java Pathfinder code model-checker) that refinement-checks the code generated by JCircus. Combined with coverage-based techniques on the source code of JCircus, we envisage improving the reliability of the Code Generation from Circus to Java.

A poluição sonora é um problema central de uma grande diversidade de aplicações industriais. Na engenharia, podemos citar diversos casos que geram ruído, como exemplos os trens, automóveis, rotores de helicópteros e o ruído aerodinâmico das aeronaves, o qual se divide em ruído gerado pelos motores a jato e a estruturas da aeronave. No presente momento o ruído dos motores aeronáuticos, principalmente os jatos, atingiu níveis de ruídos semelhantes às estruturas da aeronave, como por exemplo, eslates, flaps e trens de pouso. Desta forma, as autoridades de transporte aéreo estão exigindo também redução no ruído das estruturas. O presente trabalho apresenta a verificação das potencialidades e limitações do software CFD++, programa este adquirido pela EMBRAER e inserido como parte do projeto Aeronave Silenciosa, para assim poder compreender de uma melhor maneira o fenômeno da aeroacústica, e deste modo, poder contribuir para a redução do ruído externo das aeronaves. Para verificar as potencialidades e limitações do CFD++, foi proposto investigar o mecanismo de som do eslate. Tal fenômeno é devido ao deslocamento da camada limite no intradorso do eslate a partir de onde se desenvolve a camada de mistura, foco do presente trabalho. / Noise pollution is a central problem of a wide variety of industrial applications. In engineering, cite several cases that generate noise, as examples trains, automobiles, rotors of helicopters and the noise generated by aircraft, which is divided into noise generated by jet engines and airframe. At present the noise of aircraft engines, largely the jets reached noise levels similar structures, such as slat, flaps and landing gear. Thus, the air transport authorities are also demanding a reduction in noise of the structures of airframe. This report presents the verification of potentialities and limitations of CFD++, a program acquired by EMBRAER and inserted as part of the Silent Aircraft, so they can understand better how the phenomenon of aeroacoustics, and thus able to reduce contribute external noise from aircraft. To check the potentialities and limitations of CFD++, was proposed to investigate the mechanism of sound generated by the slat. This phenomenon is due to the displacement of the boundary layer on the lower surface of the slat from which the mixed layer develops. The mixing layer is the focus of this work.

O som gerado por escoamentos, também conhecido como aeroacústica, tem se tornado cada vez mais importante em áreas industriais diversas desde aviação comercial até aparelhos eletrodomésticos, afetando diretamente os requisitos necessários para o desenvolvimento de novos produtos. Um caso particular é o ruído gerado por válvulas de compressores herméticos de refrigeração, sendo o compressor a principal fonte de ruído em refrigeradores domésticos. O presente trabalho tem por objetivo iniciar o desenvolvimento de uma ferramenta confiável de simulação capaz de auxiliar engenheiros na predição de problemas de aeroacústica, especialmente um que possa no futuro ser utilizado para estudar o ruído gerado pelo escoamento em válvulas de compressores herméticos. Para isso, foi desenvolvido um código para simulação numérica direta de aeroacústica. Utilizou-se processamento paralelo com decomposição de domínio para usar Simulação Numérica Direta em um tempo factível; esquemas de discretização espaciais e temporais de alta ordem para minimizar ao máximo os fenômenos de dissipação e dispersão do escoamento e das ondas acústicas e uma série de tratamentos no domínio como filtragem e estiramento da malha como também condições de contorno características com o intuito de obter uma solução adequada para estudo de aeroacústica. Assim, são apresentadas todas as etapas desenvolvidas no equacionamento, implementação e verificação. A verificação foi realizada segundo um processo matemático formal (Método das Soluções Manufaturadas) com o qual obteve-se que a ordem de precisão dos cálculos era a mesma da ordem formal dos esquemas de discretização utilizados para todas as variáveis. Também obteve-se a mesma concordância para análise do divergente da velocidade, verificando o código para simulação numérica direta de aeroacústica. Posteriormente, foram realizadas simulações de escoamentos compressíveis cisalhantes e seus resultados comparados com dados apresentados em literatura. Também foram calculadas as taxas de amplificação de perturbações e comparadas com a Teoria de Estabilidade Linear. Novamente, foram obtidos resultados satisfatórios nessas etapas, mostrando que a implementação do código DNS está verificada. / Sound generated by flow, known as aeroacoustics, is becoming more important in several industrial areas from commercial aircraft to household appliances, affecting directly the requirements to the development of new products. A particular case is the noise generated by valves of refrigeration hermetic compressors, being the compressor the main noise source in household refrigerators. This work has the goal of initiate the development of a reliable tool able to help engineers to predict aeroacoustics problems, specially one that can be used in the future to study the noise generated by the flow in valves of hermetic compressors. To do so, it was developed a numerical code to perform direct numerical simulation of aeroacoustics. It was used parallel processing with domain decomposition to use Direct Numerical Simulation in a feasible time; high order temporal and spatial discretization schemes to minimize the most the dispersion and dissipation phenomena of the flow field and of the acoustics waves and a series of treatments in the domain as filtering and mesh stretching as well as characteristics boundary conditions aiming a proper solution to study aeroacoustics. Thus, here all the steps developed in the formulation, implementation and verification are presented . The verification was done according to a formal mathematical procedure (Method of Manufactured Solutions) with which was found that the precision order of the calculations was the same of the formal order of the used discretization schemes for all variables. The same agreement was also obtained to the analysis of the divergence of the velocity, verifying the code to direct numerical simulation of aeroacoustics. Posteriorly, it were simulated shear compressible flows and the results were compared to literature data. Also, it were calculated the amplification rates of the disturbances and compared to Linear Stability Theory. Once more, it was obtained satisfactory results in these steps, showing that the implementation of the DNS code is verified.

A presente tese se refere a três principais objetivos. Um objetivo foi desenvolver um código de simulação numérica direta para simulação de ondas de instabilidade em um escoamento de Poiseuille plano. O outro objetivo foi analisá-Io através do Método das Soluções Manufaturadas (MMS), e por fim, um terceiro objetivo foi estudar o regime não-linear da evolução de trens de ondas modulados em um escoamento de Poiseuille plano. O código resolve numericamente, com diferenças finitas de ordem de precisão alta e métodos pseudo espectrais, as equações de Navier-Stokes tri-dimensionais e incompressíveis numa formulação vorticidade-velocidade. O MMS é um método de verificação de código mais completo que os normalmente usados, por exemplo, comparação com teoria de estabilidade linear. O código usa diferenças finitas de ordem alta de precisão, mas com diferentes ordens em diferentes regiões do domínio. O MMS é pouco utilizado neste tipo de código. Concluiu-se que estes códigos em geral não operam na chamada faixa assintótica de erro. Na faixa de trabalho, a ordem do erro varia no domínio computacional de forma consistente com os métodos numéricos empregados. Isto permite, entre outras coisas, a otimização do esquema numérico. Após os testes de verifição, simulações numéricas dos trens de ondas foram realizadas. A análise dos resultados foi feita através das teorias de instabilidade primária e secundária e teoria fracamente não-linear. Foi estudado um trem de ondas modulado numa região do diagrama de instabilidade onde vários estudos para ondas mono cromáticas foram realizados. Os resultados sugeriram que nesta região o regime não-linear de transição dos trens de ondas modulados é governado pela instabilidade tipo-K. Com a redução da amplitude inicial de perturbação um cenário mais complexo, que pode estar envolvendo outros mecanismos, foi observado. Casos mais próximos ao primeiro ramo do diagrama também foram estudados. Nesta região a teoria linear prevê ondas tri-dimensionais sendo as mais instáveis, fato que poderia favorecer a ocorrência da chamada transição oblíqua. Os resultados indicaram que o trem de ondas modulado se divide em duas regiões que tendem-se afastar uma da outra. Apesar de estar associado com a instabilidade linear, este comportamento não havia sido antecipado na literatura. Neste cenário, para trens de ondas modulados isolados, o regime não-linear não pode ser correlacionado claramente com nenhum dos cenários clássicos de transição. Neste contexto transição oblíqua pode estar restrito a situações que envolvem a interação entre trens de ondas modulados. / The current thesis had three objectives. The first objective was to develop a code of direct numerical simulation (DNS) to simulation of waves of instability in a plane Poiseuille flow. The other main objective was to analyze it through the method of manufactured solutions (MMS). Finally, a third objective was to study the nonlinear regime of spanwise modulated wavetrains in a plane Poiseuille flow. Using high-order finite differences and pseudo-spectral methods, the DNS code solved the incompressible three-dimensional Navier-Stokes equations in a vorticity-velocity formulation. The MMS is a verification method more complete than the others more often used, for example, comparison with linear stability theory. The code used different high-order finite differences in different regions of the domain. The MMS has been little used for this type of code. It was concluded that these codes generally do not operate in the so-called errar asymptotic range. In the working range, the observed arder changes in the computational domain in a manner consistent with the numerical methods employed. This allows, among other things, optimization of the numerical scheme. After testing, numerical simulations of the wavetrains were performed. The analysis of the results was made based on the primary and secondary instability theories and weakly non-linear theory. A modulated wavetrain was studied in a region of the stability diagram where several studies for monochromatic waves were performed. The results suggested that in this region the non-linear regime of transition of the modulation wavetrain is governed by the K-type instability. With the reduction of the magnitude of the initial disturbance, a more complex scenario, which may involve other mechanisms, was observed. Cases near the first branch of the instability diagram were also studied. In this region, the linear theory predicts tri-dimensional waves are the most unstable, a fact that could lead to the so-called oblique transition. The results indicated that the modulated wavetrain divided into two regions, which tend move further from each other. Despite being associated with the linear instability, this behavior was not anticipated in the literature. In this scenario, for isolated modulated wavetrains, the non-linear system could not be clearly correlated with any of the classic scenarios of transition. In this context, oblique transition may perhaps to situations involving the interaction between modulated wavetrains.

A presente tese se refere a três principais objetivos. Um objetivo foi desenvolver um código de simulação numérica direta para simulação de ondas de instabilidade em um escoamento de Poiseuille plano. O outro objetivo foi analisá-Io através do Método das Soluções Manufaturadas (MMS), e por fim, um terceiro objetivo foi estudar o regime não-linear da evolução de trens de ondas modulados em um escoamento de Poiseuille plano. O código resolve numericamente, com diferenças finitas de ordem de precisão alta e métodos pseudo espectrais, as equações de Navier-Stokes tri-dimensionais e incompressíveis numa formulação vorticidade-velocidade. O MMS é um método de verificação de código mais completo que os normalmente usados, por exemplo, comparação com teoria de estabilidade linear. O código usa diferenças finitas de ordem alta de precisão, mas com diferentes ordens em diferentes regiões do domínio. O MMS é pouco utilizado neste tipo de código. Concluiu-se que estes códigos em geral não operam na chamada faixa assintótica de erro. Na faixa de trabalho, a ordem do erro varia no domínio computacional de forma consistente com os métodos numéricos empregados. Isto permite, entre outras coisas, a otimização do esquema numérico. Após os testes de verifição, simulações numéricas dos trens de ondas foram realizadas. A análise dos resultados foi feita através das teorias de instabilidade primária e secundária e teoria fracamente não-linear. Foi estudado um trem de ondas modulado numa região do diagrama de instabilidade onde vários estudos para ondas mono cromáticas foram realizados. Os resultados sugeriram que nesta região o regime não-linear de transição dos trens de ondas modulados é governado pela instabilidade tipo-K. Com a redução da amplitude inicial de perturbação um cenário mais complexo, que pode estar envolvendo outros mecanismos, foi observado. Casos mais próximos ao primeiro ramo do diagrama também foram estudados. Nesta região a teoria linear prevê ondas tri-dimensionais sendo as mais instáveis, fato que poderia favorecer a ocorrência da chamada transição oblíqua. Os resultados indicaram que o trem de ondas modulado se divide em duas regiões que tendem-se afastar uma da outra. Apesar de estar associado com a instabilidade linear, este comportamento não havia sido antecipado na literatura. Neste cenário, para trens de ondas modulados isolados, o regime não-linear não pode ser correlacionado claramente com nenhum dos cenários clássicos de transição. Neste contexto transição oblíqua pode estar restrito a situações que envolvem a interação entre trens de ondas modulados. / The current thesis had three objectives. The first objective was to develop a code of direct numerical simulation (DNS) to simulation of waves of instability in a plane Poiseuille flow. The other main objective was to analyze it through the method of manufactured solutions (MMS). Finally, a third objective was to study the nonlinear regime of spanwise modulated wavetrains in a plane Poiseuille flow. Using high-order finite differences and pseudo-spectral methods, the DNS code solved the incompressible three-dimensional Navier-Stokes equations in a vorticity-velocity formulation. The MMS is a verification method more complete than the others more often used, for example, comparison with linear stability theory. The code used different high-order finite differences in different regions of the domain. The MMS has been little used for this type of code. It was concluded that these codes generally do not operate in the so-called errar asymptotic range. In the working range, the observed arder changes in the computational domain in a manner consistent with the numerical methods employed. This allows, among other things, optimization of the numerical scheme. After testing, numerical simulations of the wavetrains were performed. The analysis of the results was made based on the primary and secondary instability theories and weakly non-linear theory. A modulated wavetrain was studied in a region of the stability diagram where several studies for monochromatic waves were performed. The results suggested that in this region the non-linear regime of transition of the modulation wavetrain is governed by the K-type instability. With the reduction of the magnitude of the initial disturbance, a more complex scenario, which may involve other mechanisms, was observed. Cases near the first branch of the instability diagram were also studied. In this region, the linear theory predicts tri-dimensional waves are the most unstable, a fact that could lead to the so-called oblique transition. The results indicated that the modulated wavetrain divided into two regions, which tend move further from each other. Despite being associated with the linear instability, this behavior was not anticipated in the literature. In this scenario, for isolated modulated wavetrains, the non-linear system could not be clearly correlated with any of the classic scenarios of transition. In this context, oblique transition may perhaps to situations involving the interaction between modulated wavetrains.

O som gerado por escoamentos, também conhecido como aeroacústica, tem se tornado cada vez mais importante em áreas industriais diversas desde aviação comercial até aparelhos eletrodomésticos, afetando diretamente os requisitos necessários para o desenvolvimento de novos produtos. Um caso particular é o ruído gerado por válvulas de compressores herméticos de refrigeração, sendo o compressor a principal fonte de ruído em refrigeradores domésticos. O presente trabalho tem por objetivo iniciar o desenvolvimento de uma ferramenta confiável de simulação capaz de auxiliar engenheiros na predição de problemas de aeroacústica, especialmente um que possa no futuro ser utilizado para estudar o ruído gerado pelo escoamento em válvulas de compressores herméticos. Para isso, foi desenvolvido um código para simulação numérica direta de aeroacústica. Utilizou-se processamento paralelo com decomposição de domínio para usar Simulação Numérica Direta em um tempo factível; esquemas de discretização espaciais e temporais de alta ordem para minimizar ao máximo os fenômenos de dissipação e dispersão do escoamento e das ondas acústicas e uma série de tratamentos no domínio como filtragem e estiramento da malha como também condições de contorno características com o intuito de obter uma solução adequada para estudo de aeroacústica. Assim, são apresentadas todas as etapas desenvolvidas no equacionamento, implementação e verificação. A verificação foi realizada segundo um processo matemático formal (Método das Soluções Manufaturadas) com o qual obteve-se que a ordem de precisão dos cálculos era a mesma da ordem formal dos esquemas de discretização utilizados para todas as variáveis. Também obteve-se a mesma concordância para análise do divergente da velocidade, verificando o código para simulação numérica direta de aeroacústica. Posteriormente, foram realizadas simulações de escoamentos compressíveis cisalhantes e seus resultados comparados com dados apresentados em literatura. Também foram calculadas as taxas de amplificação de perturbações e comparadas com a Teoria de Estabilidade Linear. Novamente, foram obtidos resultados satisfatórios nessas etapas, mostrando que a implementação do código DNS está verificada. / Sound generated by flow, known as aeroacoustics, is becoming more important in several industrial areas from commercial aircraft to household appliances, affecting directly the requirements to the development of new products. A particular case is the noise generated by valves of refrigeration hermetic compressors, being the compressor the main noise source in household refrigerators. This work has the goal of initiate the development of a reliable tool able to help engineers to predict aeroacoustics problems, specially one that can be used in the future to study the noise generated by the flow in valves of hermetic compressors. To do so, it was developed a numerical code to perform direct numerical simulation of aeroacoustics. It was used parallel processing with domain decomposition to use Direct Numerical Simulation in a feasible time; high order temporal and spatial discretization schemes to minimize the most the dispersion and dissipation phenomena of the flow field and of the acoustics waves and a series of treatments in the domain as filtering and mesh stretching as well as characteristics boundary conditions aiming a proper solution to study aeroacoustics. Thus, here all the steps developed in the formulation, implementation and verification are presented . The verification was done according to a formal mathematical procedure (Method of Manufactured Solutions) with which was found that the precision order of the calculations was the same of the formal order of the used discretization schemes for all variables. The same agreement was also obtained to the analysis of the divergence of the velocity, verifying the code to direct numerical simulation of aeroacoustics. Posteriorly, it were simulated shear compressible flows and the results were compared to literature data. Also, it were calculated the amplification rates of the disturbances and compared to Linear Stability Theory. Once more, it was obtained satisfactory results in these steps, showing that the implementation of the DNS code is verified.