Made available in DSpace on 2015-05-15T11:46:04Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 467058 bytes, checksum: ebe1089b4399fe71150fc70fa81ea4ed (MD5) Previous issue date: 2012-04-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, we study a fixed point theorem for increasing operators in ordered normed spaces and we apply it in order to obtain results of existence of weak solution for semilinear elliptic equations of type 8<: ---u = f(x; u) + h; in u = 0; on @ ; where - RN is a smooth domain, f : -R --! R satisfies some convenient conditions and h 2 H--1(. / Neste trabalho, estudamos um teorema de ponto fixo para operadores crescentes em espaços vetoriais ordenados e o aplicamos para obter resultados de existência de solução fraca para problemas elípticos semilineares do tipo 8<: ---u = f(x; u) + h; em u = 0; sobre @ em que - RN é um domínio suave, f : - R ! R satisfaz algumas condições convenientes e h 2 H- -1(:).

Made available in DSpace on 2015-05-15T11:46:10Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1460078 bytes, checksum: ab8d7121292edcb81fa92ad0b561c2e0 (MD5) Previous issue date: 2012-08-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this paper, we study questions related to the existence and multiplicity of solutions to problems of Ambrosetti-Prodi type. We present the conjecture of Lazer- McKenna, checking its validity in the one dimensional case. To obtain our results, we use essentially topological, variational and sub and supersolution methods. / Neste trabalho, estudamos questões relacionadas à existência e multiplicidade de soluções para problemas do tipo Ambrosetti-Prodi. Apresentamos a conjectura de Lazer-McKenna, verificando sua validade no caso unidimensional. Na obtenção de nosso resultados, utilizamos essencialmente métodos topológicos, variacionais e de sub e supersolução.

Made available in DSpace on 2015-05-15T11:46:10Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 517535 bytes, checksum: 44009b0bc09a5af772f82b9303aa5e7b (MD5) Previous issue date: 2010-11-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Here we study a class of semilinear elliptic equations with nonlinearity of an inverse square type. This equations arise, in applications, on the modeling of certain electrostatic devices from microtechnology, MEMS - Micro Electro Mechanical Systems. More precisely, these equations characterizes the function that represents the deformation of a deformable capacitor under the influence of an applied voltage. The Mathematical tools used on the study of such problems involve a bit of Nonlinear Analysis and Partial Differential Equations' methods as sub and supersolutions, sign preserving Theorems (Maximum Principle, Boggio's Principle), energy estimates via Sobolev spaces, etc. In a parallel way we wish to emphasize the importance of this investigation, in Mathematics, on helping the understanding on the class of singular problems in Partial Differential Equations. / Estudamos aqui uma classe de equações elípticas semilineares com singularidade do tipo inverso do quadrado. Estas equações aparecem, na modelagem de certos dispositivos eletrostáticos da microtecnologia, MEMS - Micro Electro Mechanical Systems (sistemas microeletromecânicos). Mais precisamente tais equações caracterizam a função que descreve a deformação de um capacitor deformável sob a influência de uma voltagem aplicada. A Matemática necessária ao estudo de tais problemas envolve um bom aparato de métodos da Análise não Linear e das Equações Diferenciais Parciais tais como Método de Sub- e Supersolução, Teoremas de Preservação de Sinal (Princípio do Máximo, Princípio de Boggio), estimativas de Energia via Espaços de Sobolev, entre outros. Em paralelo destacamos a importância desta investigação em Matemática, para entendermos como se comportam as soluções de problemas supercríticos em Equações Diferenciais Parciais.

Made available in DSpace on 2015-05-15T11:46:20Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 842217 bytes, checksum: 4549b711fa61f709fe2ff3b8c94c4bef (MD5) Previous issue date: 2014-02-25 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, we study the existence of positive solutions for a class of semilinear elliptic equations in a smooth bounded domain, with Dirichlet boundary condition and non-linear terms changing sign as well as with small perturbations. In order to obtain the positive solution, in the first case we use a version of the Mountain Pass Theorem in Ordered Banach spaces. In the second case, the main term is under assumptions that guarantee the application of the usual Mountain Pass Theorem and the perturbation term does not require any hypothesis. / Neste trabalho, estudamos existência de solução positiva para uma classe de equações elípticas semilineares em um domínio limitado suave, com condição de fronteira de Dirichlet, tanto com termos nao-lineares mudando de sinal, quanto com termos com pequenas perturbações. A fim de obtermos solução positiva, no primeiro caso, usamos uma versão do Teorema do Passo da Montanha para Espacos de Banach Ordenados. No segundo caso, o termo principal esta sob condições que garantem a aplicação do Teorema do Passo da Montanha usual e o termo de perturbação não requer nenhuma hipótese.

Orientador: Marco Aurelio Amaral Henriques / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T22:16:21Z (GMT). No. of bitstreams: 1 Oliveira_MatheusFernandesde_M.pdf: 924070 bytes, checksum: b0355f2150875c0a6c636bf2da2ea8a9 (MD5) Previous issue date: 2010 / Resumo: Emparelhamentos bilineares sobre curvas elípticas são funções matemáticas que viabilizam o desenvolvimento de uma série de novos protocolos criptográficos, entre eles, os criptossistemas baseados em identidades. Esses criptossistemas representam uma nova forma de se implementar criptografia de chaves públicas na qual são atenuadas ou completamente retiradas as restrições relativas ao tipo, tamanho e formato das chaves públicas. Este trabalho apresenta um estudo sobre a implementação de criptossistemas baseados em emparelhamentos bilineares sobre curvas elípticas em cartões inteligentes de oito bits. O trabalho mostra ainda o desenvolvimento de equações específicas baseadas no método conhecido como Montgomery's Ladder para multiplicação escalar de curvas elípticas supersingulares em corpos binários. Estas novas equações tornam o algoritmo mais rápido sem perder suas características de segurança originais. O trabalho apresenta também a técnica de delegação segura de emparelhamentos, na qual um dispositivo computacionalmente restrito, como um cartão inteligente, delega o cálculo do emparelhamento para um dispositivo com maior poder computacional. É proposta uma modificação nesta técnica que diminui o número de operações executadas pelo cartão inteligente / Abstract: Bilinear pairings over elliptic curves are mathematical functions that enable the development of a set of new cryptographic protocols, including the so called identity based cryptosystems. These cryptosystems represent a new way to implement public- key cryptography in such a way that the restrictions related to public keys type, size and format are reduced or completely removed. This work presents a study about implementation of pairing based cryptosystems in 8-bit smart cards. It also presents new equations to be used in Montgomery's Ladder algorithm for scalar multiplication of supersingular ellipitic curves over binary fields. These equations make the algorithm faster without compromising its security characteristics. Finally, it discusses the secure delegation of pairing computation, that enables a computationally limited device, like a smart card, to delegate the computation of pairings to a more powerful device. It is proposed a modification in this technique to decrease the number of operations executed by the smart card / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientador: Jose Raimundo de Oliveira / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T13:54:55Z (GMT). No. of bitstreams: 1 Dias_MauricioAraujo_D.pdf: 794928 bytes, checksum: a328a640d35118ea7fb606ac9f4ab2b2 (MD5) Previous issue date: 2007 / Resumo: Este trabalho propõe um sistema criptográfico para Criptografia baseada em Curvas Elípticas (ECC). ECC é usada alternativamente a outros sistemas criptográficos, como o algoritmo RSA (Rivest-Shamir-Adleman), por oferecer a menor chave e a maior segurança por bit. Ele realiza multiplicação de pontos (Q = kP) para curvas elípticas sobre corpos finitos binários. Trata-se de um criptosistema programável e configurável. Graças às propriedades do circuito programável (FPGA) é possível encontrar soluções otimizadas para diferentes curvas elípticas, corpos finitos e algoritmos. A característica principal deste criptosistema é o uso de um circuito combinacional para calcular duplicações e adições de pontos, por meio da aritmética sobre corpos finitos. Os resultados deste trabalho mostram que um programa de troca de chaves fica aproximadamente 20.483 vezes mais rápido com a ajuda do nosso sistema criptográfico. Para desenvolver este projeto, nós consideramos que o alto desempenho tem prioridade sobre a área ocupada pelos seus circuitos. Assim, nós recomendamos o uso deste circuito para os casos em que não sejam impostas restrições de área, mas seja exigido alto desempenho do sistema / Abstract: This work proposes a cryptosystem for Elliptic Curve Cryptography (ECC). ECC has been used as an alternative to other public-key cryptosystems such as the RSA (Rivest-Shamir-Adleman algorithm) by offering the smallest key size and the highest strength per bit. The cryptosystem performs point multiplication (Q = kP) for elliptic curves over binary polynomial fields (GF(2m)). This is a programmable and scalable cryptosystem. It uses the abilities of reconfigurable hardware (FPGA) to make possible optimized circuitry solutions for different elliptic curves, finite fields and algorithms. The main feature of this cryptosystem is the use of a combinatorial circuit to calculate point doublings and point additions, through finite field arithmetic. The results of this work show that the execution of a key-exchange program is, approximately, 20,483 times faster with the help of our cryptosystem. To develop this project we considered that high-performance has priority over area occupied by its circuit. Thus, we recommend the use of this circuit in the cases for which no area constraints are imposed but high performance systems are required. / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Orientador: Marcelo da Silva Montenegro / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T08:16:43Z (GMT). No. of bitstreams: 1 Queiroz_OlivaineSantanade_D.pdf: 886346 bytes, checksum: 5fe477c4619e746d923fc51e7d78f55c (MD5) Previous issue date: 2008 / Resumo: Estudamos a equação - D. u = x{ u>O} ( log u + )..1 (x, u)) em um domínio limitado e suave Ç1 C JR.n, com condições de fronteira u = O em é)Ç1. Demonstramos resultados de existência e regularidade da solução maximal. A positividade dessa solução depende do parâmetro ).. e de Ç1. Se a solução maximal se anula em partes de Ç1, obtemos uma estimativa local para a medida de Hausdorff da fronteira livre. Se a singularidade log u for trocada por -u-(3, com O < (3 < 1, então a teoria de Alt&Caffarelli e Alt&Phillips implica que a fronteira livre é regular. Também estudamos o problema de Neumann com não-linearidade logarítmica por meio de perturbações e técnicas variacionais / Abstract: We study the equation -D.u = X{u>O} (log u+Àf(x, u)) in a smooth bounded domain fl C JRn, with boundary conditions u = O on 8fl. We obtain existence and regularity of the maximal solution. The positivity of such a solution depends on the parameter À and on the domain fl. .If the maximal solution vanishes on a set of positive measure, then we obtain local estimates for the Hausdorff measure of the free boundary. If the singularity logu is replaced by -u-!3, with O < (3 < 1, the theory of Alt&Caffarelli and Alt&Phillips implies that the free boundary is regular. We also study the Neumann problem with logarithmic nonlinearity using perturbation techniques and variational methods / Doutorado / Doutor em Matemática

Apresentamos algumas aplicações de ferramentas estatísticas que são comumente utilizadas na melhoria da qualidade de processos industriais. Inicialmente, desenvolveu-se procedimentos para testar a competência de laboratórios que participam de programas de ensaios de proficiência. Em situações onde os laboratórios medem várias vezes no mesmo ponto, utilizou-se o modelo de erros de medição, proposto por Jaech [39](1985). Além disso, a inferência sobre os parâmetros de tendência aditiva foi generalizada para a classe de distribuições elípticas. A competência dos laboratórios é avaliada pelo teste da razão de verossimilhança generalizada, do qual, obtemos a distribuição exata para a estatística proposta. Em situações onde os laboratórios medem várias vezes em vários pontos e a variável em análise apresenta variações naturais, utilizou-se o modelo com erro nas variáveis. Diante disso, vamos estender o modelo estrutural definido em Barnett [13] (1969) para o modelo ultra-estrutural com réplicas. Neste caso, vamos avaliar não somente a tendência aditiva, mas também, a tendência multiplicativa, ou seja, avaliar a linearidade das medições. As estimativas dos parâmetros foram obtidas via procedimento do algorítmo EM, com isso, desenvolvemos os teste de Wald, razão de verossimilhança e escore para avaliar a competência dos laboratórios. Nos dois modelos propostos, generalizamos o erro normalizado (En) sugerido pelo Guia 43 [37] para testar a competência dos laboratórios participantes de programas de ensaio de proficiência. Apresentamos também, um procedimento para calcular índices de performance para processos univariados e multivariados. Nestes casos, consideramos que a distribuição dos dados segue uma distribuição Normal assimétrica. Além disso, apresentamos uma análise de simulação onde concluímos que a presença de assimetria nos dados pode causar interpretações erradas sobre o processo, quando a distribuição assumida para os dados é a Normal / We present some applications of statistical tools that are used in the improvement of the quality of industrial processes. Initially, we develop procedures to test the ability of laboratories that participate of programs of proficiency test. In situations where the laboratories measure several times in the same point, we use the model of errors of measurement, considered for Jaech [39](1985). Moreover, the inference on the parameters additive bias was generalized for the class of elliptical distributions. The ability of the laboratories is evaluated by the generalized likelihood ratio test, of which, we get the accurate distribution for the statistics proposal. In situations where the laboratories measure some times in some points and the variable in analysis presents natural variations, uses the model with error in the variable. With this, we go to extend the model structural defined in Barnett [13] (1969) for the ultrastructural model with replicate. In this case, we go to not only evaluate the bias additive, but also, the bias multiplicative, that is, to evaluate the linearity of the measurements. The estimates of the parameters had been gotten by the procedure of the EM algorithm, with this, develop of Wald, likelihood ratio and score test to evaluate the ability of the laboratories. In the two considered models, we generalize the normalized error (En) suggested for Guide 43 [37] to test the ability of the participant laboratories of programs of proficiency test. We also present, a procedure to calculate index of performance for univariate and multivariate processes. In these cases, we consider that the distribution of the data follows a skew Normal distribution. Moreover, we present a simulation analysis where we conclude that the presence of asymmetry in the data can cause interpretations missed on the process, when the distribution assumed for the data is the Normal

Neste trabalho, tivemos como objetivo estudar a existência de soluções fracas não triviais para o problema elíptico com não linearidade crítica { - &Delta;u = &lambda;u + u2* - 1+ + g(x, u+) + f(x); em &Omega; u = 0; sobre &part; &Omega; , (P) onde &Omega; é um domínio limitado com fronteira suave em &#8477;N, com N &ge; 3, 2* = 2N / (N - 2) é o expoente crítico de Sobolev, u+ = max(u; 0), g &isin; C(&Omega;&#772; x &#8477;, &#8477;+), &lambda; > &lambda;1, &lambda; &notin; &sigma; (- &Delta;) e f &isin; Lr> (&Omega;), com r > N. Com o intuito de observar as mudanças que ocorrem do caso subcrítico para o crítico e as diferentes técnicas variacionais para a resolução de problemas elípticos, estudamos, inicialmente, um problema um pouco mais antigo que (P), que, por sua vez, motivou seu estudo. Tal problema é { - &Delta;u = &lambda; u + up+ +f; em &Omega; u = 0; sobre &part; &Omega;(P\') onde consideramos o caso subcrítico, ou seja, quando p &isin; (1; 2* - 1). Com o auxílio do TEOREMA DE ENLACE verificamos que tanto (P) quanto (P\') têm pelo menos duas soluções fracas não triviais. / In this work, we aimed to study the existence of nontrivial weak solutions for the elliptic problem with critical non-linearity { - &Delta;u = &lambda;u + u2* - 1+ + g(x, u+) + f(x); in &Omega; u = 0; on &part; &Omega; , (P) where &Omega; is a bounded domain with smooth boundary in &#8477;N, with N &ge; 3, 2* = 2N / N -2 is the critical Sobolev exponent, u+ = max(u; 0), g &isin; C(&Omega;&#772; x &#8477;, &#8477;+), &lambda; > &lambda;1, &lambda; &notin; &sigma; (- &Delta;) and f &isin; Lr (&Omega;), with r > N. In order to observe different variational techniques for solving elliptic problems, we studied initially a problem a little older than (P), which, in turn, led to its study. This problem is { - &Delta;u = &lambda; u + up+ +f; in&Omega; u = 0; on &part; &Omega;(P\') where we consider the subcritical case, that is, when p &isin; (1, 2* - 1). With the aid of the LINKING THEOREM we see that both (P) and (P\') have at least two nontrivial weak solutions.

Alguns problemas elípticos assintoticamente lineares são considerados e é provada a existência de solução. Os principais resultados são estabelecidos de dois modos distintos e as provas são baseadas em resultados clássicos da teoria de pontos críticos, a saber: minimização, princípio variacional de Ekeland, grau topológico, teorema do ponto de sela e o teorema do passo da montanha / Some asymptotically linear elliptic problems are considered and solutions are proved to exist. The main results are proved in two different ways. The proofs rely on some classical results in Critical Point Theory such as minimization, Ekeland variational principle, topological degree, saddle point theorem and mountain pass theorem