Orientador: Samuel Euzédice de Lucena / Banca: Márcio Abud Marcelino / Banca: Inácio Bianchi / Banca: Carlos Yujiro Shigue / Banca: Neusa Maria Franco de Oliveira / Resumo: Veículos elétricos são considerados a melhor alternativa aos veículos com motores de combustão interna, apresentando vantagens bastante significativas, tais como: emissão zero de poluentes, alta eficiência dos motores elétricos e baixa emissão de ruído acústico. O sistema de propulsão de um veículo elétrico consiste basicamente de uma ou mais fontes de energia, um ou mais motores, conversores de potência, componentes eletrônicos, componentes mecânicos para transmissão de torque e velocidade e rodas com pneus. Neste trabalho é proposta a modelagem de um sistema de propulsão para um veículo elétrico, que inclui o modelo dinâmico veicular para movimento longitudinal, o modelo dinâmico do motor elétrico, o modelo do conversor utilizado para acionamento do motor e o modelo do sistema de controle. Devido às características bastante adequadas para aplicação em sistemas de propulsão automotiva, o motor de indução trifásico é o selecionado para estudo. A estratégia de controle para acionamento do motor, foco deste trabalho, é o Controle Vetorial Direto Orientado pelo Fluxo do Estator, que garante alto desempenho, rápida resposta dinâmica e apresenta insensibilidade à variação de parâmetros do motor durante sua operação. São desenvolvidas novas técnicas para a reconstrução dos sinais das tensões do estator a partir de sinais de controle PWM do conversor e da tensão DC que alimenta o inversor e estimativa da amplitude e posição angular do vetor espacial do fluxo do estator, primordial p... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Electric vehicles are the best alternative to internal combustion engines vehicles, presenting significant advantages such as: zero emission of pollutants, high efficiency of electric motors and low noise emission. Basically, an electric vehicle propulsion system consists of one or more energy sources, one or more engines, power converters, electronic components, mechanical components for torque and speed transmission, and wheels with tires. This work proposes the modeling of a propulsion system for an electric vehicle, which includes the dynamic vehicle model for longitudinal movement, the dynamic model of the electric motor, the model of the converter used as motor driver and the model of the control system. Due to very suitable characteristics for application in automotive propulsion systems, three-phase induction motor is chosen for this study. Focus of this work, Direct Stator-FluxOriented Vector Control is the control strategy for the motor drive, which guarantees high performance, fast dynamic response and insensitivity due motor parameters variation during its operation. New techniques are developed for the reconstruction of the stator voltages signals from the PWM control signals of the converter and the DC voltage that feeds the inverter and the estimation of the amplitude and angular position of the spatial vector of the stator flux, primordial for the adopted control strategy. Modeling is developed using PSIM software and simulation results are presented / Doutor

Esta dissertação expõe sobre a resolubilidade do campo vetorial complexo L = ∂ /∂t +(a(x) + ib(x))∂/∂x, b ≢ 0 definido em Ωε = (-ε, ε) × S1, ε > 0, perto do conjunto característico Σ = {0} × S1, sendo a e b funções de classe C∞ em (- ε, ε) a valores reais. Os resultados apresentados mostram que a resolubilidade de L em uma vizinhança cheia de Σ depende da relação entre as ordens de anulamento de a e b em x = 0. / This dissertation deals with the solvability of complex vector fieldL = ∂ /∂t +(a(x) + ib(x))∂/∂x, b ≢ 0 defined on Ωε = (-ε ε) × S1, ε > 0, near the characteristic set Σ = {0} × S1, where a and b are C∞ real-valued functions in (- ε, ε). The presented results show hat solvability of L in a full neighborhood of Σ depends on the interplay between the order of vanishing of the functions and a and b at x = 0.

Made available in DSpace on 2016-08-17T18:39:49Z (GMT). No. of bitstreams: 1 5446.pdf: 6420983 bytes, checksum: cd2748ec47e6d89e8d5068843b5f9fc5 (MD5) Previous issue date: 2013-04-15 / Financiadora de Estudos e Projetos / Non-covalent interactions involving aromatic rings pi, systems play an important role in a wide range of complexes. Their understanding is essential for drug design since most of the crystal structures of complexes of proteins with small molecules reveal the existence of these interactions involving the side chains of aromatic amino acids in the receptor and / or aromatic rings and hetero-aromatic ligands acting as acceptors or donors. The analysis of the structural parameters involved in pi interactions begins with the determination and mapping of the geometrical centers (centroid) of the aromatic groups followed by the calculation of distances, angles and dihedral angles to atoms and / or other pi systems, within pre-established limits. This is combined with a visual analysis of the results in graphical displays. In this way it is possible to determine the variables needed to create a mathematical model for mapping the possible pi-interactions and to create a tool to locate them. This will assist in identifying possible binding sites of the drugs or other ligands and to create "graph sets" to compare two functionally similar but different macromolecules. As a result, we have a software that will automate the job of identifying PI- interactions, reducing search time and providing the researcher to increase their productivity. / As interações não covalentes envolvendo anéis aromáticos, sistemas pi, possuem um papel importante em uma ampla gama de complexos. A sua compreensão é essencial para o desenho de drogas já que a maioria das estruturas cristalinas de complexos de proteínas com moléculas pequenas revela a existência destas interações envolvendo as cadeias laterais de aminoácidos aromáticos no receptor e/ou anéis aromáticos e heteroaromáticos dos ligantes atuando como receptores ou doadores. A análise dos parâmetros estruturais envolvidos nas interações pi começa com a determinação e mapeamento dos centros geométricos (centroides) dos grupos aromáticos e segue com o cálculo de distâncias, ângulos e ângulos diedros a átomos e/ou outros sistemas pi dentro de determinados limites pré-estabelecidos. Isto é combinado com uma análise em tela gráfica dos resultados. Desta forma é possível determinar as variáveis necessárias à criação de um modelo matemático para o mapeamento das interações pi e criar uma ferramenta para localizá-las e assim auxiliar na identificação de possíveis sítios de ligação a fármacos ou outros ligantes, bem como criar graph sets para comparar duas macromoléculas distintas, porém funcionalmente semelhantes. Consequentemente será possível ter um software que automatizará o trabalho de identificação das interações pi, reduzindo o tempo da pesquisa e proporcionando ao pesquisador um aumento da sua produtividade.

Este trabalho desenvolve um novo método de controle de eficiência energética no acionamento de motores de indução. Esta técnica utiliza um modelo de perdas e uma estrutura de controle baseada no mínimo consumo de energia elétrica. Em um primeiro momento, são apresentados os estudos com os principais controladores de eficiência energética da última década. Depois, são apresentados os modelos elétricos e mecânicos do motor de indução trifásico, a partir do modelo clássico, com o eixo de referência qd0. O controlador utilizado, é o controle por campo orientado indireto (IFOC - Indirect Field Oriented Control), composto por uma malha externa de controle de velocidade e fluxo, e uma malha interna de controle de correntes, que demonstram um bom desempenho de torque e velocidade. Por se tratar de um controlador IFOC, onde os parâmetros do motor são fundamentais para obter bons resultados, o ensaio do motor de indução é realizado e apresentado. Sabendo-se das principais fontes de perdas do motor, o controlador de eficiência energética pode ser elaborado. O controlador baseado no modelo de perdas (LMC -Loss-Model-Based Control) é descrito, assim como o controlador de busca recursiva (SC - Search Control), ambos muito utilizados na literatura. O LMC proposto é implementado através de curvas padrão de fluxo ótimo baseado na potência absorvida, dependendo da carga no eixo do motor, uma nova curva padrão é utilizada. O controlador de eficiência proposto chamado de (MBC - Model Based Control), utiliza o método LMC com um controlador IFOC, este é simulado via software Matlab e verificado experimentalmente através de uma plataforma de acionamento projetada e montada, conforme o projeto descrito. O controlador de eficiência proposto, é comparado com o acionamento de fluxo constante e com o controlador SC, para diferentes perfis de carga no eixo. Para todos os casos o controlador proposto, apresentou o melhor rendimento da máquina. / This paper develops a new method of controlling the drive energy efficiency of induction motors . This technique uses a model of losses and a control structure based on minimum energy consumption . At first , studies with the main drivers of energy efficiency in the last decade are presented . Then the electrical and mechanical models of three-phase induction motor are presented , from the classic model , with the reference axis qd0 . The controller used is an indirect field-oriented control (IFOC), composed of an outer control loop speed and flow , and an inner current control loop , showing a good performance of torque and speed. Because it is a IFOC controller, where the engine parameters are critical to obtain good results , the testing of induction motor is carried out and presented . Knowing the main sources of losses of the engine, the controller of energy efficiency can be drawn . The loss model based (LMC) controller is described , as well as the controller recursive search (SC), both widely used in the literature . The LMC proposed is implemented through optimum standard curves of flow based on power absorbed. Depending on the load on the motor shaft , a new standard curve is used . The proposed controller called efficiency ( MBC - Model Based Control ) uses the LMC method with a IFOC controller , this is simulated via textit software emph Matlab and verified experimentally through a platform drive designed and assembled , as the project described . The controller proposed efficiency is compared with the drive and the constant flow controller SC to different profiles of the axle. For all cases, the proposed controller showed the best performance of the machine.

Este trabalho desenvolve um novo método de controle de eficiência energética no acionamento de motores de indução. Esta técnica utiliza um modelo de perdas e uma estrutura de controle baseada no mínimo consumo de energia elétrica. Em um primeiro momento, são apresentados os estudos com os principais controladores de eficiência energética da última década. Depois, são apresentados os modelos elétricos e mecânicos do motor de indução trifásico, a partir do modelo clássico, com o eixo de referência qd0. O controlador utilizado, é o controle por campo orientado indireto (IFOC - Indirect Field Oriented Control), composto por uma malha externa de controle de velocidade e fluxo, e uma malha interna de controle de correntes, que demonstram um bom desempenho de torque e velocidade. Por se tratar de um controlador IFOC, onde os parâmetros do motor são fundamentais para obter bons resultados, o ensaio do motor de indução é realizado e apresentado. Sabendo-se das principais fontes de perdas do motor, o controlador de eficiência energética pode ser elaborado. O controlador baseado no modelo de perdas (LMC -Loss-Model-Based Control) é descrito, assim como o controlador de busca recursiva (SC - Search Control), ambos muito utilizados na literatura. O LMC proposto é implementado através de curvas padrão de fluxo ótimo baseado na potência absorvida, dependendo da carga no eixo do motor, uma nova curva padrão é utilizada. O controlador de eficiência proposto chamado de (MBC - Model Based Control), utiliza o método LMC com um controlador IFOC, este é simulado via software Matlab e verificado experimentalmente através de uma plataforma de acionamento projetada e montada, conforme o projeto descrito. O controlador de eficiência proposto, é comparado com o acionamento de fluxo constante e com o controlador SC, para diferentes perfis de carga no eixo. Para todos os casos o controlador proposto, apresentou o melhor rendimento da máquina. / This paper develops a new method of controlling the drive energy efficiency of induction motors . This technique uses a model of losses and a control structure based on minimum energy consumption . At first , studies with the main drivers of energy efficiency in the last decade are presented . Then the electrical and mechanical models of three-phase induction motor are presented , from the classic model , with the reference axis qd0 . The controller used is an indirect field-oriented control (IFOC), composed of an outer control loop speed and flow , and an inner current control loop , showing a good performance of torque and speed. Because it is a IFOC controller, where the engine parameters are critical to obtain good results , the testing of induction motor is carried out and presented . Knowing the main sources of losses of the engine, the controller of energy efficiency can be drawn . The loss model based (LMC) controller is described , as well as the controller recursive search (SC), both widely used in the literature . The LMC proposed is implemented through optimum standard curves of flow based on power absorbed. Depending on the load on the motor shaft , a new standard curve is used . The proposed controller called efficiency ( MBC - Model Based Control ) uses the LMC method with a IFOC controller , this is simulated via textit software emph Matlab and verified experimentally through a platform drive designed and assembled , as the project described . The controller proposed efficiency is compared with the drive and the constant flow controller SC to different profiles of the axle. For all cases, the proposed controller showed the best performance of the machine.

Made available in DSpace on 2014-12-17T15:14:54Z (GMT). No. of bitstreams: 1 SelmaRV_TESE.pdf: 3758039 bytes, checksum: 6ed2e51c943660db7972e9c51961c80a (MD5) Previous issue date: 1999-06-18 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Ising and m-vector spin-glass models are studied, in the limit of infinite-range in-teractions, through the replica method. First, the m-vector spin glass, in the presence of an external uniform magnetic field, as well as of uniaxial anisotropy fields, is consi-dered. The effects of the anisotropics on the phase diagrams, and in particular, on the Gabay-Toulouse line, which signals the transverse spin-glass ordering, are investigated. The changes in the Gabay-Toulouse line, due to the presence of anisotropy fields which favor spin orientations along the Cartesian axes (m = 2: planar anisotropy; m = 3: cubic anisotropy), are also studied. The antiferromagnetic Ising spin glass, in the presence of uniform and Gaussian random magnetic fields, is investigated through a two-sublattice generalization of the Sherrington-Kirpaktrick model. The effects of the magnetic-field randomness on the phase diagrams of the model are analysed. Some confrontations of the present results with experimental observations available in the literature are discussed / Modelos de vidros de spins, dos tipos Ising e m-vetorial, com intera??es de al-cance infinito, s?o estudados atrav?s do m?todo das r?plicas. Inicialmente, o vidro de spins TO-vetorial, na presen?a de um campo magn?tico externo uniforme e de campos de anisotropias uniaxiais, ? considerado. Os efeitos das anisotropias nos diagramas de fases e, em particular, na linha de Gabay-Toulouse, que sinaliza o ordenamento dos graus de liberdade de vidro de spins transversos, s?o investigados. As modifica??es na linha de Gabay-Toulouse, devido ? presen?a de campos de anisotropia que privilegiam orienta??es segundo os eixos cartesianos (m = 2: anisotropia planar; m 3: anisotropia c?bica), tamb?m s?o estudadas. O vidro de spins de Ising com favorecimento antiferromagn?tico, na presen?a de campos magn?ticos uniforme e aleat?rio obedecendo uma distribui??o de probabilidades gaussiana, ? investigado atrav?s de uma generaliza??o do modelo Sherrington-Kirpaktrick em duas subredes. Os efeitos da aleatoriedade no campo magn?tico sobre os diagramas de fases do modelo s?o analisados. Algumas confronta??es entre resultados deste trabalho e medidas experimentais existentes na literatura s?o discutidas

O trabalho consiste no estudo de sistemas vibratórios lineares com n graus de liberdade, regidos pela equação diferencial vetorial linear. São analisados aspectos como a aplicação da solução dinâmica a vibrações aleatórias e métodos para a resolução do problema inverso (análise modal experimental). / The work consists on the stucly of vibrating systems with n degrees of freedom, described by the linear vectorial differential equation. We focus our analysis on applications of the dynamical solution to ranclom vibration anel methods for solving thc inverse problem (experimental modal analysis).

Pode-se afirmar que os processos de organização, recuperação e visualização de informações estão interligados por pelo menos um ponto em comum: a indexação de textos ou documentos. A indexação, um componente essencial do tratamento e organização de informações, é também importante tanto para a recuperação quanto para a visualização de informações. Nesse contexto, destacam-se as soluções que objetivam automatizar a indexação. As pesquisas que propõe soluções de indexação automática são desenvolvidas com base em diferentes pressupostos teóricos, entre os quais podem ser destacados: a Estatística, a Lingüística e o Controle de Vocabulários (Leiva, 1999). A grande maioria dessas soluções utiliza modelos híbridos que combinam dois ou três desses pressupostos. Outras abordagens para o problema da indexação automática utilizam, além dos pressupostos anteriormente citados, teorias que permitem o tratamento da incerteza, da imprecisão e da vagueza, tais como a teoria de Dempster-Shafer e a lógica difusa. O objetivo desta pesquisa é avaliar o potencial de utilização da lógica paraconsistente, uma lógica não clássica, com capacidade para tratar situações que envolvem incerteza, imprecisão e vagueza nos procedimentos de indexação automática. A hipótese de trabalho sustentada nesta pesquisa apóia-se teoricamente nos princípios da Lógica Paraconsistente. A utilização dessa lógica e de métodos derivados da mesma, por ser flexível e comportar estados lógicos que vão além das dicotomias sim e não, permite adiantar a hipótese de que os resultados da indexação poderão ser melhores do que os obtidos por métodos tradicionais. Do ponto de vista metodológico, optou-se pela utilização de um algoritmo para tratamento de incerteza e imprecisão, desenvolvido no âmbito da lógica paraconsistente, para modificar os valores dos pesos atribuídos aos termos de indexação. Os testes foram realizados em um sistema de visualização de informações, com código fonte disponível. As coleções utilizadas são disponibilizadas com o sistema. Os resultados obtidos foram avaliados por meio de critérios e índices embutidos no próprio sistema de visualização, e demonstram ganhos mensuráveis de qualidade na construção das visualizações, confirmando, assim a hipótese de pesquisa elencada. / It can be argued that the processes of organization, retrieval and visualization of information are conected, presenting one point in common: the indexing of texts or documents. Indexing, an essential component of text analysis, is important to information retrieval and visualization. In this context, we highlight solutions to automate indexing. Researchs that propose solutions for automatic indexing are developed based on different theoretical assumptions as, for example: Statistics, Linguistics and Controlled vocabularies (Leiva, 1999). Most of these solutions uses hybrid models combining two or three of these theoretical assumptions. Other approaches to the problem of automatic indexing uses, besides the aforementioned assumptions, theories that allow the treatment of uncertainty, imprecision and vagueness, as the Dempster-Shafer theory and the fuzzy logic. The aim of this research is to evaluate the use of paraconsistent logic, a nonclassical logic, capable of dealing with situations involving uncertainty, imprecision and vagueness, in the procedures of automatic indexing. The working hypothesis supported in this research is based theoretically on the principles of Paraconsistent Logic. The utilization of this logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permit to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. From the methodological point of view, we chose to use an algorithm for treatment of uncertainty and imprecision, developed under the paraconsistent logic, to modify the values of the weights assigned to index terms. The tests were performed on a information visualization system, with source code available. The collections used are available with the system. The results were evaluated by criteria and indices built into the information visualization system itself, and demonstrate measurable gains in the construction quality of the displays, thus confirming the hypothesis listed.

Neste trabalho, faremos uma apresentaÃÃo da Ãlgebra Linear presente no ensino mÃdio de forma alternativa. Nesta forma, serà proposto a introduÃÃo dos conceitos de espaÃo vetorial e variedade afim, que serÃo exemplificados atravÃs do estudo das matrizes e dos sistemas lineares. Sendo assim as matrizes aparecem como elementos de um espaÃo vetorial e o conjunto soluÃÃo de um sistema linear como uma variedade afim. Neste texto nÃo serà abordado a ideia de determinantes, acreditamos que esta pode ser, sem muitos prejuÃzos, retirada do currÃculo matemÃtico da educaÃÃo bÃsica. / In this work, we will make a presentation of Linear Algebra in high school this alternative form. In this way, the introduction of the concepts of vector space and afine variety, which are introduced through the study of matrices and linear systems, will be proposed. Thus the arrays appear as elements of a vector space and the solution set of a linear system as an ane variety. This text will not be addressed the idea of determinants,we believe this can be without much damage, withdrawal of the mathematical curriculum of basic education.

O trabalho consiste no estudo de sistemas vibratórios lineares com n graus de liberdade, regidos pela equação diferencial vetorial linear. São analisados aspectos como a aplicação da solução dinâmica a vibrações aleatórias e métodos para a resolução do problema inverso (análise modal experimental). / The work consists on the stucly of vibrating systems with n degrees of freedom, described by the linear vectorial differential equation. We focus our analysis on applications of the dynamical solution to ranclom vibration anel methods for solving thc inverse problem (experimental modal analysis).