Este estudo visou a utilização direta da análise modal adjunta em sistemas não-clásicos de natureza concentrada e distribuída, explorando o conceitos de biortogonalidade modal e da resposta impulso evolutiva e estacionária. Discutiu-se a natureza do espectro para diversas classes de sistemas, em particular para sistemas com efeitos giroscópicos e com atrito interno. A teoria foi desenvolvida de maneira paralela para sistemas de primeira ordem e de segunda ordem, porém é apresentada de maneira independente, ou seja, para os sistemas de segunda ordem não é utilizada a formulação de espaço de estado, a qual reduz o sistema para primeira ordem. Assim, as relações de biortogonalidade para sistemas de segunda ordem são apresentadas e utilizadas de maneira direta na expansão modal da resposta dos sistemas. A forma dos modos de vibração em variadas aplicações é determinada de maneira exata com o uso da base dinâmica gerada pela resposta impulso espacial. No cálculo dos autovalores foi introduzida uma aproximação polinomial para a resposta impulso espacial Os coeficientes dessa aproximação foram obtidos por recursão, a partir de uma equação em diferenças associada à equação característica do problema modal. Simulações numéricas foram realizadas para obter a resposta impulso evolutiva, respostas forçadas e modos de vibração de sistemas não-clássicos concentrados, formulados através de modelos ou aproximações, e sistemas distribuídos, formulados através de modelos ou incluindo distúrbios e acoplamento através das condições decontorno. Os resultados deste estudo permitiram concluir, através das simulações numéricas realizadas, a importância da base dinâmica no sentido de simplificar os cálculos para obtenção dos autovalores, dos modos de vibração e, consequentemente, da resposta do sistema, seja concentrado, distribuído com ou sem acoplamento das condições de contorno. A utilização da análise modal adjunta, desde que ocorra uma ordenação adequada dos autovalores e modos, mostrou-se um método eficiente na obtenção direta da resposta de sistemas não-clássicos de segunda ordem, ou seja, sem redução ao espaço de estado.

Submitted by Aline Mendes (alinemendes.ufc@gmail.com) on 2014-10-30T16:41:14Z No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5) / Approved for entry into archive by Aline Mendes(alinemendes.ufc@gmail.com) on 2014-10-30T16:43:23Z (GMT) No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5) / Made available in DSpace on 2014-10-30T16:43:23Z (GMT). No. of bitstreams: 1 2013_dis_aadodó.pdf: 766766 bytes, checksum: fe9ca34054b8f516e6a8b7c29863d627 (MD5) Previous issue date: 2013 / This thesis is about the enrichment of modal logics. We use the term enrichment in two distinct ways. In the first of them, it is a semantical enrichment. We propose a fuzzy semantics to di erent normal modal logics and we prove a completeness result for a generous class of this logics enriched with multiple instances of the axiom of confluence. A curious fact about this semantics is that it behaves just like the usual boolean-based Kripke semantics for modal logics. The other enrichment is about the expressibility of the logic and it occurs by means of the addition of new connectives, essentially modal negations. In this sense, firstly we study the positive fragment of classical logic extended with a paraconsistent modal negation and we show that this language is su ciently strong to express the normal modal logics. It is also possible to define a paracomplete modal negation and restoration connectives that internalize at the level object-language the notions of consistency and determinedness. This logic constitutes a Logic of Formal Inconsistency and a Logic of Formal Undeterminedness.In such logics, with the objective of recovering lost inferences of classical logic, Derivability Adjustment Theorems are proved. In the case of the logic with one paraconsistent negation, if we remove the implication we still have a rich language, with both paranormal negations and its respective connectives of restoration. In this logic we study the minimal normal modal logic defined by means of a Gentzen calculus, differently of the others modal systems studied, which are presented by means of Hilbert calculus. Next, after we prove a ompleteness result of the deductive system associated to this calculus, we present some extensions of this system and we look for appropriate Derivability Adjustment Theorems. / Esta dissertação trata do enriquecimento de lógicas modais. O termo enriquecimento é usado em dois sentidos distintos. No primeiro deles, de fundo semântico, propomos uma semântica difusa para diversas lógicas modais normais e demonstramos um resultado de completude para uma extensa classe dessas lógicas enriquecidas com múltiplas instâncias do axioma da confluência. Um fato curioso a respeito dessa semântica é que ela se comporta como as semânticas de Kripke usuais. O outro enriquecimento diz respeito à expressividade da lógica e se dá por meio da adição de novos conectivos, especialmente de negações modais. Neste sentido, estudamos inicialmente o fragmento da lógica clássica positiva estendido com uma negação modal paraconsistente e mostramos que essa linguagem é forte o suficiente para expressar as linguagens modais normais. Vemos que também é possível definir uma negação modal paracompleta e conectivos de restauração que internalizam as noções de consistência e determinação a nível da linguagem-objeto. Esta lógica constitui-se em uma Lógica da Inconsistência Formal e em uma Lógica da Indeterminação Formal. Em tais lógicas, com o objetivo de recuperar inferências clássicas perdidas, demonstram-se Teoremas de Ajuste de Derivabilidade. No caso da lógica estendida com uma negação paraconsistente, se removermos a implicação ainda lidaremos com uma linguagem bastante rica, com ambas negações paranormais e seus respectivos conectivos de restauração. Sobre esta linguagem estudamos a lógica modal normal minimal definida por meio de um cálculo de Gentzen apropriado, à diferença dos demais sistemas estudados até então, que são apresentados via cálculo de Hilbert. Em seguida após demonstrarmos a completude do sistema dedutivo associado a este cálculo, introduzimos algumas extensões desse sistema e buscamos Teoremas de Ajuste de Derivabilidade adequados.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológio. Programa de Pós-Graduação em Engenharia Mecânica. / Made available in DSpace on 2013-06-25T23:35:52Z (GMT). No. of bitstreams: 1 311999.pdf: 6982867 bytes, checksum: 6fb3a4081303e36d793ec38b67599714 (MD5) / Este trabalho apresenta uma metodologia numérica para a predição dos três primeiros modos de vibração de um motor elétrico fixo em base rígida. O trabalho foi amparado por uma revisão bibliográfica que motivou a confecção de quatro protótipos para permitir o desenvolvimento dessa metodologia. A partir dos protótipos foram obtidos os parâmetros modais utilizados para ajustar os modelos numéricos, e as curvas de Função Resposta em Frequência (FRF) utilizadas para validar a solução numérica. O modelo validado foi utilizado para promover uma alteração estrutural do protótipo e torná-lo mais robusto às variações dos processos de fabricação e montagem. Os ajustes, bem como a alteração estrutural, foram feitos através de um processo de otimização estrutural usando Algoritmo Genético. A solução foi desenvolvida com base no código comercial de elementos finitos ANSYS. / This work proposes a numerical methodology for the prediction of the first three modes of vibration of an electric motor fixed on a rigid base. A deep literature review supported the production of four ad hoc prototypes that aided the development of the proposed approach. Tests carried out with the prototypes led to the procurement of the modal parameters used to calibrate the numerical models, as well as the Frequency Response Function (FRF) curves used to validate the numerical solution. The validated model allowed structural changes to be then promoted on the prototypes, in order to make them more robust to variations in manufacturing and assembling processes. The mentioned adjustments and structural changes were accomplished by means of a process of structural optimization using Genetic Algorithm. The solution was developed based on the commercial finite element code ANSYS.

The sound radiated during a tennis impact has been shown to greatly influence the perception of 'feel' but has also been suggested to contribute to the perception of equipment quality, as is the case with many other consumer products. In an industry that is governed by design limitations, tennis racket manufactures are continually aiming to differentiate their products from their competitors' and the sound character of a racket is seen as one such method to do so. In order to control the sound radiated from a tennis racket it was first necessary to identify how a tennis racket radiates sound. Through a number of controlled player tests, involving groundstrokes and serves, the sound was recorded along with measurements of the physical vibrations excited in the frame. Analysis of the data revealed typical characteristics of the sound in the time and frequency domain. The sound was split into two sections to aid the analysis; an initial impulsive component that decayed very quickly and a ringing component that was of much lower amplitude but decayed at a much slower rate. The evolution of the frequency content over time was also investigated, however, the data provided much more information as to where each frequency component originated by analysing the data together with the experimental modal analysis data. The experimental modal analysis of a tennis racket was a vital stage in understanding which components of the racket were responsible for radiating the identified frequency component in the sound spectrum. The investigations identified frame bending modes, out-of-plane and inplane, as well as torsional modes, hoop modes and stringbed modes. To enable direct comparison between the natural frequencies excited during a tennis shot and the frequencies recorded from a freely suspended racket, the effect of the hand on the modal behaviour of the racket was analysed; experimental modal analysis data from a hand-gripped racket was compared with data generated by adding simulated mass to the modal model of the freely suspended racket. The first stringbed mode was identified as a key contributor to the sound of the racket, especially in the ringing component of the sound. Analysis of the physical vibrations in the frame following a tennis shot revealed that the first stringbed mode excited the frame of the racket, which is iv thought to be the reason why stringbed modes contribute to the sound more so than their surface area would suggest that they are capable of. Analysis of the relationship between subjective perceptions of players and calculated sound metrics suggest a negative correlation exists between the duration and loudness of a tennis shot and the appeal of the sound. Further investigations involving a jury to evaluate the appeal of a tennis impact sound, modified in terms of duration, revealed further evidence to support the theory that tennis impact sounds of greater duration are less appealing than those that decay quickly. This is the first study to investigate the sound radiated from a tennis racket and has identified how the sound is radiated from the racket and also suggests which parameters of the sound are considered appealing to tennis players. With this information it is possible to suggest design modifications that would influence the sound of a tennis racket in a predictable manner.

Este estudo visou a utilização direta da análise modal adjunta em sistemas não-clásicos de natureza concentrada e distribuída, explorando o conceitos de biortogonalidade modal e da resposta impulso evolutiva e estacionária. Discutiu-se a natureza do espectro para diversas classes de sistemas, em particular para sistemas com efeitos giroscópicos e com atrito interno. A teoria foi desenvolvida de maneira paralela para sistemas de primeira ordem e de segunda ordem, porém é apresentada de maneira independente, ou seja, para os sistemas de segunda ordem não é utilizada a formulação de espaço de estado, a qual reduz o sistema para primeira ordem. Assim, as relações de biortogonalidade para sistemas de segunda ordem são apresentadas e utilizadas de maneira direta na expansão modal da resposta dos sistemas. A forma dos modos de vibração em variadas aplicações é determinada de maneira exata com o uso da base dinâmica gerada pela resposta impulso espacial. No cálculo dos autovalores foi introduzida uma aproximação polinomial para a resposta impulso espacial Os coeficientes dessa aproximação foram obtidos por recursão, a partir de uma equação em diferenças associada à equação característica do problema modal. Simulações numéricas foram realizadas para obter a resposta impulso evolutiva, respostas forçadas e modos de vibração de sistemas não-clássicos concentrados, formulados através de modelos ou aproximações, e sistemas distribuídos, formulados através de modelos ou incluindo distúrbios e acoplamento através das condições decontorno. Os resultados deste estudo permitiram concluir, através das simulações numéricas realizadas, a importância da base dinâmica no sentido de simplificar os cálculos para obtenção dos autovalores, dos modos de vibração e, consequentemente, da resposta do sistema, seja concentrado, distribuído com ou sem acoplamento das condições de contorno. A utilização da análise modal adjunta, desde que ocorra uma ordenação adequada dos autovalores e modos, mostrou-se um método eficiente na obtenção direta da resposta de sistemas não-clássicos de segunda ordem, ou seja, sem redução ao espaço de estado.

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

Orientador: Aloisio Ernesto Assan / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil / Made available in DSpace on 2018-07-21T04:00:48Z (GMT). No. of bitstreams: 1 BobadillaGuadalupe_Ulises_M.pdf: 3394831 bytes, checksum: e8741ace54dc8dfeff48f8d58b72f2dd (MD5) Previous issue date: 1996 / Resumo: Este trabalho apresenta a análise dinâmica modal espectral de estruturas aporticadas planas. A ação dinâmica excitando as estruturas é o abalo sísmico, que se mostra através de gráficos espectrais que representam as respostas máximas das estruturas à excitação sísmica. Apresenta-se também o cálculo sísmico-estático destas estruturas, aplicandose para este fim os requerimentos das normas de cálculo sísmico-resistentes de alguns países sujeitos ao abalo sísmico. Faz-se uma comparação das respostas destas estruturas tanto para a análise sísmico-estática (segundo as normas acima mencionadas), quanto para a análise sísmico dinâmica modal espectral / Abstract: This work presents the modal spectral dynamic analysis of plane framed structures. The Seismic Force is the dynamic excitation acting on structures. A response spectrum, namely, a plot of the maximum response (maximum displacement, velocity, acceleration, or any other quantity of interest) to a specified seismic load function for all possible single degree of freedom systems, is used to show the seismic action on these structures. The seismic static design of these structures, also presented, is made through the apI1ication of requirements of the some earthquake resistant design codes. A comparison of the responses of these structures to seismic static analysis (using the building codes) and to seismic dynamic analysis (using modal spectral dynamic analysis), is made / Mestrado / Estruturas / Mestre em Engenharia Civil

Orientador: Paulo R. G. Kurka / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-03T20:42:45Z (GMT). No. of bitstreams: 1 Cambraia_HeraldoNelio_D.pdf: 6440128 bytes, checksum: 3b01e07adebf4150eeb25c257d2b1894 (MD5) Previous issue date: 2003 / Resumo:A análise do comportamento dinâmico de sistemas estruturais é fundamental por sua importância econômica e tecnológica. Este trabalho apresenta um conjunto de métodos de identificação no domínio do tempo baseados na teoria de realização de sistemas lineares e implementados usando uma metodologia orientada a subespaços vetoriais e multivariável. As características destes métodos, bem como a comparação com outros métodos tradicionais de identificação moda1 no dominio do tempo, são apresentadas através de simulações numéricas. Além disso, foram realizados testes experimentais para demonstrar a aplicação dos aIgoritmos desenvolvidos em dados experimentais obtidos de um escapamento automotivo e de um modelo reduzido de uma asa de avião / Abstract: The analysis oí the dynamical behaviour oí structures is oí great economical and technological importance. The present work brings a contribution to this field, presenting time domam identification methods based on rea1ization theory. The methods are implemented for multivariable measurements through the use of the subspace approách. Numerical simulations are used to present the main characteristics oí the methods and to compare its performance with traditional techniques used in experimental moda! analysis. The proposed algorithms are also used in the moda! tests of two practicaI engineering structmes: an automotive exhaust system and a simplified aircraft wing mode! / Doutorado / Mecanica de Solidos e Projeto Mecanico / Doutor em Engenharia Mecânica

Orientador: Ariovaldo V. Garcia / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T09:27:30Z (GMT). No. of bitstreams: 1 Almeida_MadsonCortesde_M.pdf: 3993664 bytes, checksum: 2fe7ad4f45d20bf8ef4fa6e6cecf8b65 (MD5) Previous issue date: 1999 / Resumo: Neste trabalho apresenta-se uma abordagem estática para auxiliar a detecção e prevenção do problema da instabilidade de tensão, baseada na análise modal da matriz de sensibilidades entre o módulo da tensão e a injeção de potência reativa nas barras de um sistema de energia elétrica. A matriz de sensibilidades proposta é obtida a partir das equações do modelo de Acoplamentos Implícitos (CRIC - Constrained Reactive Implicit Coupling) desenvolvidas por J .Carpentier. Esta matriz mantém um elevado grau de esparsidade, o que torna o método computacionalmente eficiente, viabilizando sua utilização em aplicações de tempo real. Inicialmente obtêm-se alguns dos menores autovalores e os respectivos autovetores à direita e à esquerda da matriz de sensibilidades. A magnitude dos autovalores fornece uma medida relativa da proximidade da instabilidade de tensão. A partir dos autovetores obtêm-se fatores de participação para as barras, ramos e geradores, com os quais é possível obter informações relativas ao mecanismo de perda da estabilidade, além de fornecer subsídios para a determinação de possíveis ações de controle corretivo, visando sanar o problema da instabilidade de tensão. Para verificar a eficácia do método apresentado, foram realizados vários testes com os sistemas IEEEO6, IEEE14 e IEEE118. Foram também utilizados dois sistemas reais brasileiros: o primeiro deles, contendo 471 barras e 769 ramos, é composto por regiões dos sistemas FURNAS, CEMIG e LIGHT; o segundo é composto por barras do sistema FURNAS / Abstract: This work presents a static approach to aid the detection and prevention of voltage instability problems in electric power systems. This method is based on modal analysis of the sensitivity matrix of bus volt age magnitudes with respect to bus reactive power injections. The Constrained Reactive Implicit Coupling (CRIC) model, developed by J. Carpentier, is used in the sensitivity analysis. The matrix sparsity can be exploited to reduce CPU requirements in order to make the method useful in real-time applications. The first step is to calculate some of the smallest eigenvalues and the associated right and left eigenvectors of the matrix. The eigenvalues provide a relative measure of proximity to volt age stability. The eigenvectors are used to calculate bus, branch and generator participation factors in each critical mode. This participation provides information about the mechanism of loss of volt age stability and makes possible the determination of remedial actions to solve volt age instabilities. Several systems like IEEEO6, IEEE14 and IEEE118 have been used to test the modal analysis. Two Brazilian systems were also used. The first system has 371 bus and 769 branches and comprises FURNAS, CEMIG and LIGHT systems. The second comprises FURNAS system only / Mestrado / Energia Eletrica / Mestre em Engenharia Elétrica