A tendência para o futuro da tecnologia é a produção de dispositivos eletrônicos e de computação cada vez menores. Em curto e médio prazos, ainda há poucos recursos de memória e processamento neste ambiente. A longo prazo, conforme a Física, a Química e a Microeletrônica se desenvolvem, constata-se significativo aumento na capacidade de tais dispositivos. No intervalo de curto e médio prazos, entre 20 e 50 anos, até que a tecnologia tenha avanços, soluções leves de software se vêem necessárias. No Brasil, o protocolo de assinatura digital RSA é o mais amplamente adotado, sendo obsolescente como padrão. O problema é que os avanços tecnológicos impõem um aumento considerável no tamanho das chaves criptográficas para que se mantenha um nível de segurança adequado, resultando efeitos indesejáveis em tempo de processamento, largura de banda e armazenamento. Como solução imediata, temos a criptografia de curvas elípticas sendo mais adequada para utilização por órgãos públicos e empresas. Dentro do estudo de curvas elípticas, este trabalho contribui especificamente com a introdução de uma nova subfamília das curvas amigáveis a emparelhamento Barreto-Naehrig (BN). A subfamília proposta tem uma descrição computacionalmente simples, tornando-a capaz de oferecer oportunidades de implementação eficiente. A escolha das curvas BN também se baseia no fato de possibilitarem uma larga faixa de níveis práticos de segurança. A partir da subfamília introduzida foram feitas algumas implementações práticas começando com algoritmos mais básicos de operações em corpos de extensão, passando por algoritmos de aritmética elíptica e concluindo com o cálculo da função de emparelhamento. A combinação da nova subfamília BN com a adoção de técnicas de otimização, cuidadosamente escolhidas, permitiu a mais eficiente implementação do emparelhamento Ate ótimo, operação bastante útil em aplicações criptográficas práticas. / The trend for the future consists of steadfast shrinking of electrical and computing devices. In the short to medium term, one will still find constrained storage and processing resources in that environment. In the long run, as Physics, Chemistry and Microelectronics progress, the capabilities of such devices are likely to increase. In 20 to 50 years from now, until technology has firm advances, lightweight software solutions will be needed. In Brazil, the most widely adopted signature protocol, the RSA scheme, is obsolescent as a standard. The problem is that technological advances impose a considerable increase in cryptographic key sizes in order to maintain a suitable security level, bringing about undesirable effects in processing time, bandwidth occupation and storage requirements. As an immediate solution, we have the Elliptic Curve Cryptography which is more suitable for utilization in public agencies and industry. In the field of elliptic curves, this work contributes specifically with the introduction of a new subfamily of the pairing-friendly Barreto-Naehrig (BN) curves. The proposed subfamily has a computationally simple description, and makes it able to offer opportunities for efficient implementation. The choice of the BN curves is also based on the fact that they allow a range of practical security levels. Furthermore, there were made practical implementations from the introduced subfamily, like the most basic extension fields algorithms, elliptic curve arithmetic and pairing computation. The adoption of the new BN subfamily with carefully chosen optimization techniques allowed the most efficient implementation of the optimal Ate pairing, which is a very useful operation in many practical cryptographic applications.

Neste trabalho estudou-se a modelagem matemática de processo de polimerização em suspensão de estireno, envolvendo a equação de balanço populacional para a previsão da distribuição de tamanhos de partículas. Neste problema os termos referentes aos processos de quebra e coalescência de partículas são importantes. Foram estudados métodos de solução da equação de balanço populacional e a solução desta equação, para o problema de polimerização em suspensão, foi obtida pelo método discretização do domínio em classes, usando a técnica dos pivôs fixos. Foram investigados os efeitos no número de elementos de discretização (número de classes) e o modo de modelar a distribuição inicial de tamanhos de gotas de monômero, quando esta não é medida experimentalmente. Neste caso, adotou-se uma distribuição normal com média elevada e variância pequena, arbitrárias, e simulou-se o processo de agitação com ocorrência de quebra e coalescência, até que se atingisse uma distribuição que não variasse com o tempo. Esta distribuição era usada então como condição inicial para a simulação do processo. Os resultados da simulação foram validados por comparação com dados experimentais referentes à evolução da distribuição de tamanhos das partículas, obtidos da literatura. O primeiro conjunto de dados foi referente ao processo de dispersão de gotas de estireno em água (sem ocorrência de polimerização). O segundo conjunto de dados foi referente ao processo de polimerização em suspensão de estireno em reator de batelada de escala de laboratório, nas quais os efeitos da velocidade de agitação, quantidade de agente estabilizante e fração de fase dispersa foram estudados. Em ambos os casos, o modelo representou corretamente o comportamento dos dados experimentais. / The mathematical modeling of suspension polymerization of styrene accounting for the population balance equation to predict the dynamic behavior of particle size distribution was studied. In this process, the population balance is determined by the rates of breakage and coalescence. Different methods for solving population balance (BP) equations were studied and, for the case of suspension polymerization, the numerical solution was obtained using the discretized BP by the method of classes and the fixed pivot technique. The effect of the number of discretization elements (number of classes) was investigated. In order to model the initial particle size distribution (PSD), which was not measured experimentally, an initial normal distribution with high average and low variance was assumed and the agitation process with breakage and coalescence was simulated until a constant PSD is reached. This PSD is then used as the initial condition for the process simulation. Simulation results were validated by comparison with experimental data taken from the literature. The first data set involves the dispersion process of styrene droplets in water, without polymerization. The second data set refers to the process of suspension polymerization of styrene carried out in a laboratory-scale batch reactor, in which the effects of agitation speed, amount of stabilizer (surface-active agent) and disperse phase holdup were studied. In both cases, the model was able to represent correctly the trends of the experimental data.

Made available in DSpace on 2016-04-27T16:57:24Z (GMT). No. of bitstreams: 1 TATIANA ALBIERI BARBOSA.pdf: 3147539 bytes, checksum: 085577e83e34af251e8ba627515ea0e1 (MD5) Previous issue date: 2013-05-14 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / This paper presents a Masters qualitative study which aimed to investigate if and how High School students observe regularities and generalize them, building expressions of Geometric Progressions with the use of simple calculators or with printer. To collect data for the research three sessions were held, with volunteer students from the first grade of High School from the same State School in the city of São Paulo, which according to André (2005) is a case study. The analyzes made were based mainly on the ideas of Devlin (2002), Mason (1996a and 1996b), Orton and Orton (1999), Silva, Loureiro and Veloso (1989) and Abelló (1997). It was concluded that the calculator was used as a tool that allowed students to focus on solving the activities, and not on the calculations to be performed. It was used as "leverage", enabling students to manipulate the statements data, perceive the presented patterns, establish relations and give sense to them in a way to generalize patterns, and express them as algebraic expression / O presente trabalho apresenta uma pesquisa qualitativa de Mestrado que teve como objetivo investigar se e como estudantes do Ensino Médio observam regularidades e as generalizam, construindo expressões relativas às Progressões Geométricas com o recurso das calculadoras simples ou com impressora. Para a coleta de dados da pesquisa foram realizadas três sessões, com alunos voluntários da 1ª série do Ensino Médio de uma mesma Escola Estadual, da cidade de São Paulo, o que, de acordo com André (2005) caracteriza um estudo de caso. As análises realizadas foram baseadas, sobretudo, nas ideias de Devlin (2002), Mason (1996a e 1996b), Orton e Orton (1999), Silva, Loureiro e Veloso (1989) e Abelló (1997). Concluiu-se que a calculadora serviu como um instrumento que possibilitou aos alunos focar na resolução das atividades, e não nos cálculos a serem realizados. Ela serviu como alavanca , possibilitando aos alunos manipular os dados dos enunciados, perceber os padrões apresentados, estabelecer relações e dar sentido às mesmas, de forma generalizar os padrões, e expressá-los por meio de expressões algébricas

Este trabalho tem como objetivo a classificação simplética de germes de curvas parametrizadas e de estrelas lagrangianas por meio do método das restrições algébricas. Classificamos simpleticamente germes de curvas parametrizadas com semigrupos (4; 5; 6); (4; 5; 7) e (4; 5; 6; 7). Introduzimos um invariante para distinguir restrições algébricas a germes de curvas parametrizadas quase homogêneas: a parte de quase grau mínimo proporcional. Através do método das restrições algébricas, este invariante é capaz de distinguir diferentes órbitas de germes de curvas parametrizadas quase homogêneas sob a ação dos germes de simplectomorfismos. Classificamos estrelas lagrangianas duas a duas transversais com respeito ao grupo dos simplectomorfismos. / This work aims the symplectic classification of parametrized curve-germs and Lagrangian stars using the method of algebraic restrictions. We classify simplecticaly parametrized curve-germs with semigroups (4; 5; 6); (4; 5; 7) e (4; 5; 6; 7) We introduce an invariant for algebraic restrictions to quasi-homogeneous parametrized curve-germs: the proportional minimum quasi degree part. By the method of algebraic restrictions, this invariant is able to distinguish different orbits of parameterized quasi-homogeneous curve-germs under the action of symplectomorphisms. We classify Lagrangian stars two to two transversal with respect to the group of simplectomorphisms.

Serge Ovsienko provou que a variedade de Gelfand-Tsetlin para gl(n) é equidimensional (i.e., todas suas componentes irredutíveis têm a mesma dimensão) com dimensão n(n-1)/2. Este resultado é conhecido como \"Teorema de Ovsienko\" e tem importantes consequências na Teoria de Representacões de Álgebras. Neste trabalho, provamos uma versão fraca do Teorema de Ovsienko para gl(n) e estendemos tal versão fraca a uma estrutura que tem como caso particular gl(3), esse é o caso do grupo quântico Yangian Yp(gl(3)) de nível p. Além disso, o Teorema de Ovsienko também tem consequências na Geometria Simplética, especificamente na equidimensionalidade das fibras em uma projeção da aplicação de Kostant-Wallach. Neste trabalho apresentamos a generalização deste resultado. / Serge Ovsienko proved that the Gelfand-Tsetlin variety for gl(n) is equidimensional (i.e., all its irreducible components have the same dimension) with dimension n(n-1)/2. This result is known as \"Ovsienko\'s Theorem\" and it has important consequences in Representation Theory of Algebras. In this work, we prove a weak version of Ovsienko\'s Theorem for gl(n) and we extend that weak version to a structure which has as particular case gl(3), this case is the quantum group level p Yangian Yp(gl(3)). Moreover, the theorem of Ovsienko also has consequences in Symplectic Geometry, more concretely in the equidimensionality of the fibers in a projection of the Kostant-Wallach map. In this work we will present the generalization of that result.

As equações polinomiais são estudadas desde a antiguidade e atualmente são utilizadas, por exemplo, para modelar problemas do cotidiano nas mais variadas áreas do conhecimento. As técnicas de solução de equações polinomiais nem sempre são triviais, principalmente quando envolvem equações de alta ordem e raízes complexas. O ensino desse tema no Ensino Básico é limitado a equações de segundo ou terceiro grau e coeficientes inteiros, o que restringe a aplicação em problemas mais realistas. Assim, o objetivo deste trabalho é trazer uma contribuição aos estudantes, aos professores do Ensino Básico e aos demais interessados, apresentando um material que aborde técnicas de resolução para equação polinomial de diversas naturezas. Iniciamos por uma revisão dos números complexos e dos polinômios, suas operações e propriedades. Embasamos o trabalho com teoremas e permeamos de exemplos com um crescente grau de dificuldade. Dividimos as técnicas de resolução em analíticas e numéricas. Entre as primeiras, tratamos das relações de Girard, das fórmulas resolventes e de alguns casos particulares de equações. Entre as técnicas numéricas, estudamos o método de Newton, o método das secantes e o método de Newton-Bairstow, este último para encontrar raízes complexas. / Polynomial equations have been studied since antiquity and are currently used, for example, to model everyday problems in the most varied areas of knowledge. The solution techniques of polynomial equations are not always trivial, especially when they involve high order equations and complex roots. The teaching of this subject in Basic Education is limited to second or third degree equations and integer coefficients, which restricts the application to more realistic problems. Thus, the objective of this work is to bring a contribution to students, teachers of Basic Education and other interested parties, presenting a material that treats of resolution techniques for polynomial equation of different natures. We begin with a review of complex numbers and polynomials, their operations and properties. We support the work with theorems and permeate examples with an increasing degree of difficulty. We divide the techniques of resolution into analytical and numerical. Among the first, we deal with Girards relations, the resolvent formulas, and some particular cases of equations. Among numerical techniques, we studied the Newton method, the secant method, and the Newton-Bairstow method, the last one to find complex roots.

Serge Ovsienko provou que a variedade de Gelfand-Tsetlin para gl(n) é equidimensional (i.e., todas suas componentes irredutíveis têm a mesma dimensão) com dimensão n(n-1)/2. Este resultado é conhecido como \"Teorema de Ovsienko\" e tem importantes consequências na Teoria de Representacões de Álgebras. Neste trabalho, provamos uma versão fraca do Teorema de Ovsienko para gl(n) e estendemos tal versão fraca a uma estrutura que tem como caso particular gl(3), esse é o caso do grupo quântico Yangian Yp(gl(3)) de nível p. Além disso, o Teorema de Ovsienko também tem consequências na Geometria Simplética, especificamente na equidimensionalidade das fibras em uma projeção da aplicação de Kostant-Wallach. Neste trabalho apresentamos a generalização deste resultado. / Serge Ovsienko proved that the Gelfand-Tsetlin variety for gl(n) is equidimensional (i.e., all its irreducible components have the same dimension) with dimension n(n-1)/2. This result is known as \"Ovsienko\'s Theorem\" and it has important consequences in Representation Theory of Algebras. In this work, we prove a weak version of Ovsienko\'s Theorem for gl(n) and we extend that weak version to a structure which has as particular case gl(3), this case is the quantum group level p Yangian Yp(gl(3)). Moreover, the theorem of Ovsienko also has consequences in Symplectic Geometry, more concretely in the equidimensionality of the fibers in a projection of the Kostant-Wallach map. In this work we will present the generalization of that result.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-09-17T20:41:31Z No. of bitstreams: 2 Pereira, Helder Rodrigues - 2013.pdf: 841356 bytes, checksum: 3bd0e20d40243c777f889a858fd653d3 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Rejected by Luciana Ferreira (lucgeral@gmail.com), reason: Érica, olhe nas orientações como deve ser digitado as palavras chaves e como deve ser a citação. - Palavras chaves só use a primeira letra maiúscula - ALCÂNTARA, Guizelle Aparecida de. Caracterização farmacognostica e atividade antimicrobiana da folha e casca do caule da myrciarostratadc.(myrtaceae). 2012. 41 f. Dissertação (Mestrado em Ciências Farmacêuticas) - Universidade Federal de Goiás, Goiânia, 2012. on 2014-09-18T12:30:53Z (GMT) / Submitted by Erika Demachki (erikademachki@gmail.com) on 2014-09-18T18:16:25Z No. of bitstreams: 2 Pereira, Helder Rodrigues - 2013.pdf: 841356 bytes, checksum: 3bd0e20d40243c777f889a858fd653d3 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2014-09-18T21:46:11Z (GMT) No. of bitstreams: 2 Pereira, Helder Rodrigues - 2013.pdf: 841356 bytes, checksum: 3bd0e20d40243c777f889a858fd653d3 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2014-09-18T21:46:11Z (GMT). No. of bitstreams: 2 Pereira, Helder Rodrigues - 2013.pdf: 841356 bytes, checksum: 3bd0e20d40243c777f889a858fd653d3 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-07-05 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The set of complex numbers arose from the necessity of expanding the set of real numbers with the aim of solving algebraic equations. That has happened in Europe in the sixteenth century. Great Italian mathematicians as Scipione , Tartaglia, Cardano and Bombelli, contributed. This was the initial step that now allows us to know the square root of a negative number. A set numeric need not necessarily associated elements numbering, measuring or a count. O set of parts, a set of objects, provided the operations union and intersection, can be a set number even if its elements are not numbers. The body unordered of the complex numbers is a set of numbers (where the numbers are ordered pairs ) and can be represented by other structures, isomorphs to this set as the square matrices as two or classes of residual polynomial. Certain complex functions contribute for a better understanding of geometric transformations. The transformation of M obius is a good example of complex function,applied on a curve that can generate the e ects of rotation, translation, dilation (or contraction) and inversion. / O conjunto dos números complexos surgiu da necessidade da expansão do conjunto dos números reais visando a resolução de equações algébricas. O fato se deu na Europa no século dezesseis. Grandes matemáticos italianos como Scipione, Tartaglia, Cardano e Bombelli contribuíram para isto. Este foi o passo inicial que hoje nos permite conhecer as raízes quadradas de um número negativo. Um conjunto numérico não precisa ter necessariamente elementos associados à numeração, medição ou a contagem. O conjunto das partes de um conjunto de objetos, munido das operações união e interseção, pode ser um conjunto numérico mesmo que seus elementos não sejam números. O corpo não ordenado dos números complexos é um conjunto numérico (onde os nú- meros são pares ordenados) e pode ser representado por outras estruturas isomorfas a este conjunto como as matrizes quadradas de ordem dois ou como classes de restos de polinômios. Certas funções complexas colaboram para um melhor entendimento das transformações geométricas. A transformação de M obius é um bom exemplo de função complexa que aplicada sobre uma curva pode gerar os efeitos de rotação, translação, dilatação ( ou contração) e inversão.

A tendência para o futuro da tecnologia é a produção de dispositivos eletrônicos e de computação cada vez menores. Em curto e médio prazos, ainda há poucos recursos de memória e processamento neste ambiente. A longo prazo, conforme a Física, a Química e a Microeletrônica se desenvolvem, constata-se significativo aumento na capacidade de tais dispositivos. No intervalo de curto e médio prazos, entre 20 e 50 anos, até que a tecnologia tenha avanços, soluções leves de software se vêem necessárias. No Brasil, o protocolo de assinatura digital RSA é o mais amplamente adotado, sendo obsolescente como padrão. O problema é que os avanços tecnológicos impõem um aumento considerável no tamanho das chaves criptográficas para que se mantenha um nível de segurança adequado, resultando efeitos indesejáveis em tempo de processamento, largura de banda e armazenamento. Como solução imediata, temos a criptografia de curvas elípticas sendo mais adequada para utilização por órgãos públicos e empresas. Dentro do estudo de curvas elípticas, este trabalho contribui especificamente com a introdução de uma nova subfamília das curvas amigáveis a emparelhamento Barreto-Naehrig (BN). A subfamília proposta tem uma descrição computacionalmente simples, tornando-a capaz de oferecer oportunidades de implementação eficiente. A escolha das curvas BN também se baseia no fato de possibilitarem uma larga faixa de níveis práticos de segurança. A partir da subfamília introduzida foram feitas algumas implementações práticas começando com algoritmos mais básicos de operações em corpos de extensão, passando por algoritmos de aritmética elíptica e concluindo com o cálculo da função de emparelhamento. A combinação da nova subfamília BN com a adoção de técnicas de otimização, cuidadosamente escolhidas, permitiu a mais eficiente implementação do emparelhamento Ate ótimo, operação bastante útil em aplicações criptográficas práticas. / The trend for the future consists of steadfast shrinking of electrical and computing devices. In the short to medium term, one will still find constrained storage and processing resources in that environment. In the long run, as Physics, Chemistry and Microelectronics progress, the capabilities of such devices are likely to increase. In 20 to 50 years from now, until technology has firm advances, lightweight software solutions will be needed. In Brazil, the most widely adopted signature protocol, the RSA scheme, is obsolescent as a standard. The problem is that technological advances impose a considerable increase in cryptographic key sizes in order to maintain a suitable security level, bringing about undesirable effects in processing time, bandwidth occupation and storage requirements. As an immediate solution, we have the Elliptic Curve Cryptography which is more suitable for utilization in public agencies and industry. In the field of elliptic curves, this work contributes specifically with the introduction of a new subfamily of the pairing-friendly Barreto-Naehrig (BN) curves. The proposed subfamily has a computationally simple description, and makes it able to offer opportunities for efficient implementation. The choice of the BN curves is also based on the fact that they allow a range of practical security levels. Furthermore, there were made practical implementations from the introduced subfamily, like the most basic extension fields algorithms, elliptic curve arithmetic and pairing computation. The adoption of the new BN subfamily with carefully chosen optimization techniques allowed the most efficient implementation of the optimal Ate pairing, which is a very useful operation in many practical cryptographic applications.

A resposta impulso é utilizada como ferramenta padrão no estudo direto de sistemas concentrados, discretos e distribuídos de ordem arbitrária. Esta abordagem leva ao desenvolvimento de uma plataforma unificada para a obtenção de respostas dinâmicas. Em particular, as respostas forçadas dos sistemas são decompostas na soma de uma resposta permanente e de uma resposta livre induzida pelos valores iniciais da resposta permanente. A teoria desenvolve-se de maneira geral e direta para sistemas de nésima ordem, introduzindo-se a base dinâmica gerada pela resposta impulso na forma padrão e normalizada, sem utilizar-se a formulação de estado, através da qual reduz-se um sistema de ordem superior para um sistema de primeira ordem. Considerou-se sistemas de primeira ordem a fim de acompanhar-se os muitos resultados apresentados na literatura através da formulação de espaço de estado. Os métodos para o cálculo da resposta impulso foram classificados em espectrais, não espectrais e numéricos. A ênfase é dada aos métodos não espectrais, pois a resposta impulso admite uma fórmula fechada que requer o uso de três equações características do tipo algébrica, diferencial e em diferenças. Realizou-se simulações numéricas onde foram apresentados modelos vibratórios clássicos e não clássicos. Os sistemas considerados foram sistemas do tipo concentrado, discreto e distribuído. Os resultados da decomposição da resposta dinâmica de sistemas concentrados diante de cargas harmônicas e não harmônicas foram apresentados em detalhe. A decomposição para o caso discreto foi desenvolvida utilizando-se os esquemas de integração numérica de Adams-Basforth, Strömer e Numerov. Para sistemas distribuídos, foi considerado o modelo de Euler-Bernoulli com força axial, sujeito a entradas oscilatórias com amplitude triangular, pulso e harmônica. As soluções permanentes foram calculadas com o uso da função de Green espacial. A resposta impulso foi aproximada com o uso do método espectral. / The impulse response is employed as a standard tool for a direct study of concentrated, discrete and distributed systems of arbitrary order. This approach leads to the development o f a unified platform for obtaining dynamical responses. In particular, forced responses are decomposed into the sum of a permanent response and a free response induced by the initial values of the permanent solution. The theory is developed in a general manner for n-th order systems; being introduced the standard dynamical basis generated by the impulse response and the normalized one, without employing the state formulation, through which a higher-order system is reduced to a first-order system. In order to follow the many results found in the literature through the state space formulation, first-order systems were considered. The methods for computing the impulse response were classified into spectral, non spectral and numeric. Emphasis was given to non spectral methods, because the impulse response has a closed-form formula that requires the use of three characteristic equations of algebraic, differential and difference type. Numerical simulations were performed with classical and non classical vibrating models. The systems considered were concentrated, discrete and distributed. The decomposition results of the forced response of concentrated systems subject to harmonic and non harmonic loads were worked out in detail. The decomposition for the discrete case was developed by using the numerical integration schemes of Adams-Basforth, Strõmer and Numerov. For distributed systems was considered the Euler-Bernoulli model with an axial force subject to oscillating inputs with triangular, pulse and harmonic amplitude. The permanent solutions were computed with the spatial Green function. The impulse response was approximated with the spectral method.