Made available in DSpace on 2014-06-11T19:25:19Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-09-27Bitstream added on 2014-06-13T18:26:17Z : No. of bitstreams: 1 silvestrini_lhc_me_mar.pdf: 390849 bytes, checksum: 3e56bcae7fb7fbdc04cda1eb30e5f1ea (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocínio indutivo de maneira que uma 'boa parte' dos indivíduos possui determinada propriedade. O presente trabalho introduz um novo sistema dedutivo para a Lógica do Plausível, denominado TLP, construído seguindo os princípios de tableaux semânticos clássicos. Na elaboração do sistema de tableaux TLP, há uma forma original de localizar pontos nos ramos de um dado tableau. Ademais, por meio do raciocínio indutivo engendrado por esta lógica, discussões sucederam acerca da indução ser considerada um processo genuinamente lógico, tendo por ponto de partida o problema epistemológico da indução. / The Logic of the Plausible was introduced in 1999 by Grácio as a particularization of a family of logical systems characterized by the inclusion of a generalized quantifier in the syntax of the classical logic of predicates, denominated the Modulated Logics, whose semantical interpretation is given by a subset of the power set of the universe. In this particularization of modulated logics, it is included the quantifier of Plausible P that engenders the formalization of a type of inductive reasoning so that a 'good' number of individuals possesses certain property . This work introduces a new deductive system for the Logic of the Plausible, denominated TLP, built according to the principles of the classical semantical tableaux. In the construction of the tableaux system TLP, an original form of locating points in the branches of any tableaux is presented. Besides, through the inductive reasoning engendered by this logic, the work also promotes discussions concerning the consideration of the induction as a genuinely logical process, beginning from the epistemological problem of the induction.

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-07-14Bitstream added on 2014-06-13T18:53:32Z : No. of bitstreams: 1 matulovic_m_me_mar.pdf: 351553 bytes, checksum: ce05b2472eda1483cbde0d4d3caf708d (MD5) / Dentre as diversas lógicas não-clássicas, que complementam o cálculo de predicados de primeira ordem, destacamos as lógicas moduladas. As lógicas moduladas são caracterizadas pela inclusão de um novo quantificador, chamado modulado, que tem a incumbência de interpretar aspectos indutivos de quantificadores das linguagens naturais. Como um caso particular de lógica modulada, a lógica do muito formaliza a noção intuitiva de “muitos”. O quantificador do muito é representado por G. Assim, uma sentença do tipo Gxα(x) deve ser entendida como “muitos indivíduos satisfazem a propriedade α”. Semanticamente, a noção de muitos está associada a uma estrutura matemática denominada família fechada superiormente e própria. Seja E um conjunto não vazio. Uma família própria fechada superiormente F em E é tal que: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitivamente, F caracteriza os conjuntos que possuem ‘muitos’ elementos. E, assim, o universo E possui muitos elementos; o ∅ não possui muitos elementos; e se A possui muitos elementos, então todo conjunto que contém A também possui muitos elementos. Com elementos sintáticos que caracterizam linguisticamente estas propriedades de F, pode-se verificar que a lógica do muito é correta e completa para uma estrutura de primeira ordem estendida por uma família própria fechada superiormente. A lógica do muito foi originalmente introduzida em um sistema dedutivo hilbertiano, baseado apenas em axiomas e regras de dedução. Neste trabalho, desenvolvemos um outro sistema dedutivo para a lógica do muito, porém num sistema de tablôs. Demonstramos, naturalmente, que esse novo sistema é equivalente ao sistema axiomático original. / Among the several non classical logics that complement the classical first-order logic, we detach the Modulated Logics. This class of logics is characterized by extending the classical logic by the introduction of a new generalized quantifier, called modulated quantifier, that has the attribution of interpreting some inductive aspects of quantifiers in any natural language. As a particular case of Modulated Logic, the Logic of Many formalize the intuitive notion of “many”. The quantifier of many is represented by G. Thus, a sentence of the type Gxα(x) must be understood like “many individuals satisfy the property α”. Semantically, the notion of many is associated with a mathematical structure named proper superiorly closed family. Let E be a non empty set. A proper superiorly closed family F in E is such that: (i) F ⊆ P(E); (ii) E ∈ F; (iii) ∅ ∉ F; (iv) A ∈ F e A ⊆ B ⇒ B ∈ F. Intuitively, F characterizes the sets which have “many” elements. The empty set ∅ does not have many elements. And if A has many elements, then any set which contains A, also has many elements. The logic of many has syntactical elements that caracterize linguisticaly these properties of F. We can verify that the Logic of Many is correct and complete for a first order structure extended by a proper superiorly closed family. The Logic of Many was originally introduced in a Hilbertian deductive system, based only on axioms and rules. In this work, we developed another deductive system for the Logic of Many, but in a tableaux system. We proof that this new system is equivalent to the original one.

As aplicações aeroespaciais estão frequentemente associadas a escoamentos compressíveis com altíssimos números de Reynolds. No entanto, existem no contexto aeroespacial importantes aplicações que envolvem escoamentos compressíveis a Reynolds relativamente baixos. Entre eles se destacam o escoamento em pás de turbina a gás e ao redor de dispositivos de alta sustentação como eslates e flapes em grandes ângulos de ataque. Pode-se destacar também o processo de combustão supersônica que está intimamente ligado e é fortemente beneficiado pelo presente estudo. Nas aplicações aerodinâmicas em baixos números de Reynolds frequentemente uma parcela significativa do escoamento se apresenta no regime de transição para turbulência, ou nos estágios iniciais do escoamento turbulento. O objetivo do presente projeto é a simulação numérica direta de escoamentos compressíveis transicionais com desenvolvimento de um código para simulação em três dimensões de escoamentos alto subsônicos. O escoamento a ser estudado no projeto é a evolução linear e não linear de trens de onda e pacotes de onda em uma camada de mistura compressível. A solução das equações de Navier-Stokes é obtida através do método das diferenças finitas. As derivadas espaciais são resolvidas através de um método compacto de sexta ordem, enquanto que as derivadas temporais são resolvidas através do método de Runge-Kutta de quarta ordem. Os métodos de aproximação foram modificados para trabalhar com malhas não uniformes visando refinar a malha em pontos em que o fenômeno ocorre e, consequentemente, reduzir o custo computacional. A investigação numérica inicia-se com a análise da taxa de amplificação dos trens de ondas fortemente modulados em regime linear. Os resultados obtidos foram comparados favoravelmente com a teoria linear. Os testes foram estendidos para a análise não linear, e consequentemente, foi possível reproduzir os fenômenos clássicos de instabilidade hidrodinâmica através da evolução dos trens de ondas oblíquos. / Aerospace applications are frequently associated with compressible flows at relatively high Reynolds number. Nevertheless important applications involve compressible flows at relatively low Reynolds number in the aerospace context. Among them, the flow on gas turbine blades and high lift devices such as slats and flaps at high angle of attack are particulary important. Besides, progress in aeroespace research is dependent on developing more efficient propulsion systems. In aerodynamic applications at low Reynolds number, often a substancial portion of the flow is in the transition regime, or in the initial stages of a turbulent flow. The objective of the present study is the Direct Numerical Simulation of three-dimensional transition of compressible flows in a mixing layer. Inspired on the worked devoted to modulated waves, the current work investigates the linear and nonlinear temporal evolution of wavetrains in this phenomenon. The Navier-Stokes equations were solved with a sixth-order compact finite-difference schemes. The time integration was performed by a fourth-order Runge-Kutta scheme. Moreover, the methods to solve the spatial derivatives were modified to work with non-uniform grids. This technique was implemented with the objective to improve the resolution of the grid where the phenomenon occurs and to reduce the computational cost. The numerical investigation starts with an analysis of the growth rate of the wavetrains in linear regime to verify the numerical code. The results compared favourably with linear theory. Tests were also performed in the nonlinear regime to simulate the oblique wavetrains and it was possible to reproduce the classical hydrodynamic instability phenomena.

As aplicações aeroespaciais estão frequentemente associadas a escoamentos compressíveis com altíssimos números de Reynolds. No entanto, existem no contexto aeroespacial importantes aplicações que envolvem escoamentos compressíveis a Reynolds relativamente baixos. Entre eles se destacam o escoamento em pás de turbina a gás e ao redor de dispositivos de alta sustentação como eslates e flapes em grandes ângulos de ataque. Pode-se destacar também o processo de combustão supersônica que está intimamente ligado e é fortemente beneficiado pelo presente estudo. Nas aplicações aerodinâmicas em baixos números de Reynolds frequentemente uma parcela significativa do escoamento se apresenta no regime de transição para turbulência, ou nos estágios iniciais do escoamento turbulento. O objetivo do presente projeto é a simulação numérica direta de escoamentos compressíveis transicionais com desenvolvimento de um código para simulação em três dimensões de escoamentos alto subsônicos. O escoamento a ser estudado no projeto é a evolução linear e não linear de trens de onda e pacotes de onda em uma camada de mistura compressível. A solução das equações de Navier-Stokes é obtida através do método das diferenças finitas. As derivadas espaciais são resolvidas através de um método compacto de sexta ordem, enquanto que as derivadas temporais são resolvidas através do método de Runge-Kutta de quarta ordem. Os métodos de aproximação foram modificados para trabalhar com malhas não uniformes visando refinar a malha em pontos em que o fenômeno ocorre e, consequentemente, reduzir o custo computacional. A investigação numérica inicia-se com a análise da taxa de amplificação dos trens de ondas fortemente modulados em regime linear. Os resultados obtidos foram comparados favoravelmente com a teoria linear. Os testes foram estendidos para a análise não linear, e consequentemente, foi possível reproduzir os fenômenos clássicos de instabilidade hidrodinâmica através da evolução dos trens de ondas oblíquos. / Aerospace applications are frequently associated with compressible flows at relatively high Reynolds number. Nevertheless important applications involve compressible flows at relatively low Reynolds number in the aerospace context. Among them, the flow on gas turbine blades and high lift devices such as slats and flaps at high angle of attack are particulary important. Besides, progress in aeroespace research is dependent on developing more efficient propulsion systems. In aerodynamic applications at low Reynolds number, often a substancial portion of the flow is in the transition regime, or in the initial stages of a turbulent flow. The objective of the present study is the Direct Numerical Simulation of three-dimensional transition of compressible flows in a mixing layer. Inspired on the worked devoted to modulated waves, the current work investigates the linear and nonlinear temporal evolution of wavetrains in this phenomenon. The Navier-Stokes equations were solved with a sixth-order compact finite-difference schemes. The time integration was performed by a fourth-order Runge-Kutta scheme. Moreover, the methods to solve the spatial derivatives were modified to work with non-uniform grids. This technique was implemented with the objective to improve the resolution of the grid where the phenomenon occurs and to reduce the computational cost. The numerical investigation starts with an analysis of the growth rate of the wavetrains in linear regime to verify the numerical code. The results compared favourably with linear theory. Tests were also performed in the nonlinear regime to simulate the oblique wavetrains and it was possible to reproduce the classical hydrodynamic instability phenomena.

[pt] O presente trabalho apresenta um estudo experimental da distribuição da fuligem e de hidrocarbonetos aromáticos policíclicos (PAH) em chamas laminares não pré-misturadas de etileno e ar, mediante o uso de técnicas de diagnóstico espectroscópico, num queimador tipo co-flow. Para este fim são aplicadas as técnicas de fluorescência induzida por plano laser e incandescência induzida por plano laser, com excitação no espectro ultravioleta. Bandas espectrais de detecção centradas em 340, 400, 450, 500, 550 nm são empregadas para caracterizar diferentes PAH, aproveitado o fenômeno do deslocamento do espectros de fluorescência para o infravermelho, conforme se incrementa sua massa molecular. A técnica de extinção laser é utilizada para calibrar os resultados de incandescência e obter a fração volumétrica de fuligem. A radiação espontânea emitida pela fuligem é utilizada para medir a temperatura pela técnica de termometria em duas cores. A comparação dos resultados obtidos com uma detecção simultânea (0 ns) e atrasada (50 ns) com respeito ao pulso laser permite discriminar entre as regiões onde estão presentes PAHs e fuligem ou apenas fuligem. Os resultados mostram que na região mais fria, perto da entrada de combustível, apenas existem PAH. Seguindo esta região, numa zona de altura intermediária e mais quente, tanto a fuligem como o PAHs coexistem até a o ponto de máxima fração volumétrica integrada de fuligem. O deslocamento no sentido vertical da distribuição de fluorescência é observado com o aumento do comprimento de onda de detecção, o que é consistente com o crescimento do tamanho de PAH e sua progressiva transformação em fuligem. A distribuição de PAH e da fuligem é investigada como função da vazão de combustível. A fração volumétrica de fuligem apresenta uma distribuição clássica, cujo valor se incrementa com a vazão de combustível, enquanto que a temperatura medida diminui. / [en] This work presents an experimental study of soot and polycyclic aromatic hydrocarbons (PAH) distribution in axisymmetric ethylene-air non-premixe laminar flames using spectroscopic diagnostic in a co-flow target burner. For this purpose, are applied laser-induced fluorescence and laser-induced incandescence techniques with UV excitation. Spectral detection bands centered at 340, 400, 450, 500, 550 nm are employed to characterize PAH, using the infrared fluorescence spectra displacement phenomenon with the molecular mass increase. The incandescence is captured at 400 nm and the laser extinction technique is used to calibrate the signal, and, thus to obtain the soot volume fraction at the reaction zone. The soot spontaneous emitted radiation is used to measure the temperature by the two-color pyrometry technique. The comparison between results with prompt (0 ns) and delayed (50 ns) detection, with respect to the laser pulse, allows to discriminate the regions between soot precursors (PAH) and soot. The results show that, in the colder region, near the fuel inlet, PAH exist only. Following this region, in an intermediate warmer zone, both soot and PAH appear to coexist until the point of maximum integral soot volumetric fraction. A vertical displacement of the fluorescence distribution with increasing detection wavelength is observed, which is consistent with PAH size growth and with its progressive transformation into soot. PAH and soot distribution are investigated as a function of the fuel flow rate. The soot volumetric fraction exhibits a classical distribution, whose value increases with the fuel flow rate, whereas the measured temperature decreases, exhibiting a singular behavior in the region where the soot is formed.