Resumo: Analisamos o potencial do LEP e da nova geração de aceleradores lineares de altas energias na descobertas de biléptons escalares e vetoriais, bem como o potencial de uma fábrica de neutrinos na detecção de física além do Modelo Padrão, tanto com, como sem violação de CP. Ambas análises foram realizadas empregando-se um formalismo independente de modelo. / Abstracts: We analized the potential of both LEP and the new generation of high-energy linear colliders to discover both scalar and vectorial bileptons, as well as the potential of a neutrino factory in the detection of physics beyond the standard model, with and without CP violation. Both analysis where caried out by employing a model independent formalism. / Orientador: Sérgio Ferraz Novaes / Coorientador: Eduardo de Moraes Gregores / Banca: Gastão Inácio Krein / Banca: Oscar José Pinto Éboli / Banca: Renata Zukanovich Funchal / Banca: Fernando Luiz de Campos Carvalho / Doutor

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2006. / Texto parcialmente liberado pelo autor. / Submitted by Mariana Fonseca Xavier Nunes (nanarteira@hotmail.com) on 2010-09-16T09:40:23Z No. of bitstreams: 1 2006_Marcus Antonio Mendoça Marrocosl.pdf: 164978 bytes, checksum: f3e8074f28006b988344420d060e2dc8 (MD5) / Approved for entry into archive by Carolina Campos(carolinacamposmaia@gmail.com) on 2010-09-28T13:03:22Z (GMT) No. of bitstreams: 1 2006_Marcus Antonio Mendoça Marrocosl.pdf: 164978 bytes, checksum: f3e8074f28006b988344420d060e2dc8 (MD5) / Made available in DSpace on 2010-09-28T13:03:22Z (GMT). No. of bitstreams: 1 2006_Marcus Antonio Mendoça Marrocosl.pdf: 164978 bytes, checksum: f3e8074f28006b988344420d060e2dc8 (MD5) Previous issue date: 2006 / O método de sub e supersolução será usado para demonstrar que uma classe de problemas quasilineares, envolvendo um termo sublinear e um com crescimento crítico, possui solução positiva. Além disso, quando o termo sublinear é substituido por um linear, a exitência de solução positiva será obtida pelo método variacional. _____________________________________________________________________________ ABSTRACT / The sub and supersolution method will be used to show that a class of quasilinear problens, involving a sublinear term and with critical growth, has a positive solution. Moreover, when the sublinear term is changed by a linear one, the existence of the positive solution will be gotten by the variational method.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2007. / Texto parcialmente liberado pelo autor. / Submitted by Mariana Fonseca Xavier Nunes (nanarteira@hotmail.com) on 2010-09-18T03:16:13Z No. of bitstreams: 1 2007-João Pablo Pinheiro da Silva.pdf: 105970 bytes, checksum: f1b0084bd0126c417b9755f40424d01d (MD5) / Approved for entry into archive by Carolina Campos(carolinacamposmaia@gmail.com) on 2010-09-29T15:54:46Z (GMT) No. of bitstreams: 1 2007-João Pablo Pinheiro da Silva.pdf: 105970 bytes, checksum: f1b0084bd0126c417b9755f40424d01d (MD5) / Made available in DSpace on 2010-09-29T15:54:46Z (GMT). No. of bitstreams: 1 2007-João Pablo Pinheiro da Silva.pdf: 105970 bytes, checksum: f1b0084bd0126c417b9755f40424d01d (MD5) Previous issue date: 2007 / Neste trabalho estudaremos existência e multiplicidade de soluções positivas, para uma equação semilinear (demonstração matemática da equação), onde (ômega está contido) RN é um domínio limitado, N (maior ou igual a)4 e 2* = 2N/(N - 2) é o expoente crítico de Sobolev. Para apropriados valores de (lâmbda) > 0, nós aplicaremos Métodos Variacionais para provar a existência de soluções e a Teoria de Ljusternik-Schnirelmann para relacionar o número de soluções com a topologia de (ômega). _____________________________________________________________________________ ABSTRACT / In this work we study the existence and multiplicity of positive solutions for the semilinear equation (mathematical proof of equation), where (Omega is contained) RN is a bounded domain, N (greater than or equal to) 4 and 2* = 2N=(N - 2) is the critical Sobolev exponent. For suitable values of (lambda) > 0, we apply Variational Methods to prove existence of solution and Ljusternik-Schnirelmann Theory to relate the number of solutions with the topology of (omega).

Nesta dissertação estudamos algumas aplicações da teoria das bases de Gröbner, visando principalmente a utilização dessas técnicas na teoria de códigos. Apresentamos um algoritmo para obter a base de Gröbner reduzida do ideal de um conjunto finito de pontos, e descrevemos um método para encontrar aproximações de Padé de polinômios multivariados. Terminamos apresentando o procedimento desenvolvido por J. Farr e S. Gao para a construção e decodificação de códigos lineares via bases de Gröbner. / In this master thesis we study some applications of Grobner bases theory, aiming using these techniques in coding theory. We present an algorithm for computing the reduced Grobner basis of the vanishing ideal of a finite set of points, and describe a method for finding Padé approximations of multivariate polynomials. We finish presenting the procedure developed by J. Farr and S. Gao for construction and decoding of linear codes via Gröbner bases.

A paralelização de métodos de resolução de sistemas de equações lineares e não lineares é uma atividade que tem concentrado várias pesquisas nos últimos anos. Isto porque, os sistemas de equações estão presentes em diversos problemas da computação cientí ca, especialmente naqueles que empregam equações diferenciais parciais (EDPs) que modelam fenômenos físicos, e que precisam ser discretizadas para serem tratadas computacionalmente. O processo de discretização resulta em sistemas de equações que necessitam ser resolvidos a cada passo de tempo. Em geral, esses sistemas têm como características a esparsidade e um grande número de incógnitas. Devido ao porte desses sistemas é necessária uma grande quantidade de memória e velocidade de processamento, sendo adequado o uso de computação de alto desempenho na obtenção da solução dos mesmos. Dentro desse contexto, é feito neste trabalho um estudo sobre o uso de métodos de decomposição de domínio na resolução de sistemas de equações em paralelo. Esses métodos baseiam-se no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções de cada subdomínio. Uma vez que diferentes subdomínios podem ser tratados independentemente, tais métodos são atrativos para ambientes paralelos. Mais especi camente, foram implementados e analisados neste trabalho, três diferentes métodos de decomposição de domínio. Dois desses com sobreposição entre os subdomínios, e um sem sobreposição. Dentre os métodos com sobreposição foram estudados os métodos aditivo de Schwarz e multiplicativo de Schwarz. Já dentre os métodos sem sobreposição optou-se pelo método do complemento de Schur. Todas as implementações foram desenvolvidas para serem executadas em clusters de PCs multiprocessados e estão incorporadas ao modelo HIDRA, que é um modelo computacional paralelo multifísica desenvolvido no Grupo de Matemática da Computação e Processamento de Alto Desempenho (GMCPAD) para a simulação do escoamento e do transporte de substâncias em corpos de águas.

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-07-08T18:52:48Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertacao_final_branco.pdf: 2067159 bytes, checksum: 55486dfa00398f45d021d144db2756a2 (MD5) / Made available in DSpace on 2016-07-08T18:52:48Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertacao_final_branco.pdf: 2067159 bytes, checksum: 55486dfa00398f45d021d144db2756a2 (MD5) Previous issue date: 2016-02-12 / CAPES / O estudo de dados contínuos no intervalo (0; 1) vem crescendo bastante nesses últimos anos. Na literatura destaca-se o modelo de regressão beta, proposto por Ferrari e Cribari- Neto (2004), como um dos principais modelos para analisar esses tipos dados. No entanto, para situações em que o ajuste do modelo beta não se torna adequado, surge uma contraproposta, o uso do modelo de regressão simplex, apresentado por Song e Tan (2000), que consiste em supor que a variável resposta possui uma distribuição simplex. Essa distribui ção é derivada da distribuição Gaussiana inversa generalizada, e foi desenvolvida por Barndor -Nielsen e Jørgensen (1991), sendo bastante estudada por Song e Tan (2000) e Song et al. (2004), que apresentaram várias propriedades importantes dessa distribuição. Entretanto, é possível haver casos em que o ajuste do modelo simplex também não seja adequado, sendo assim, esse trabalho consiste em desenvolver um teste de diagnóstico proposto, originalmente, por Zhu e Zhang (2004) para esse modelo. A construção do teste é baseado no método de in uência local. Por meio de simulações de Monte Carlo avaliamos o desempenho do teste, observando o tamanho e o poder em diversas situações. Trabalhamos com os quantis empíricos da distribuição da estatística de teste, obtidos via método bootstrap paramétrico. Finalmente, realizamos algumas aplicações do teste, com dados reais e comparamos os resultados obtidos usando esse teste com os resultados segundo outros métodos de diagnóstico, bastante conhecidos na literatura. / The study of continuous data in interval (0,1) has grown much in recent years, in literature stands out the beta regression model, proposed by Ferrari and Cribari-Neto (2004), as one of the models to analyze these data. The simplex regression model proposed by Song and Tang (2000) based on simplex distribution is another option to modelling data on unit interval. This distribution was developed by Barndor -Nielsen and Jørgensen (1991) and was derived from the generalized inverse Gaussian distribution. Song and Tang (2000) and Song et al. (2004) presented several important properties of this distribution. This work consist in develop a diagnostic test originally proposed by Zhu and Zhang (2004) for this model. The construction of the test is based on the local in uence method (Cook, 1986). We also propose a new test, based on bootstrap empirical distribution of the original test statistic. The tests performance were evaluated based on size and/or power. Finally, were performed some applications using real data and the results of bootstrap test were compared with results obtained by other diagnostic methods well known in the literature.

Orientador: Jose Claudio Geromel / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:08:13Z (GMT). No. of bitstreams: 1 Egas_ReinaldoGiusti_M.pdf: 597388 bytes, checksum: 81f485d9d9e5200b4c88e60fcac0a14b (MD5) Previous issue date: 2004 / Resumo: Neste trabalho, o problema de redução de modelos e reestudado e formulado atraves de programação convexa restrita por desigualdades matriciais lineares. As normas H2 e H°° são utilizadas como criterio de comparação entre o modelo original e o modelo de ordem reduzida, tendo como ponto de partida os resultados atuais em filtragem para tempo continuo. Uma restrição de posto em certas variaveis, trabalhada apropriadamente, faz com que modelos parcialmente observaveis sejam obtidos, gerando uma função de transferencia de ordem reduzida que aproxima o sistema inicial. A validação desse metodo e feita atrav'es de comparações entre os resultados obtidos aqui e aqueles advindos do procedimento de truncamento balanceado, ja bem conhecido na literatura. Tal comparação e feita utilizando sistemas gerados estatisticamente. Por fim, duas estruturas flexiveis são estudadas, resultando em aproximações validas para sistemas de grande ordem obtidas atrav'es do m'etodo aqui desenvolvido / Abstract: In this work the model reduction problem is revisited and formulated through convex programming constrained by linear matrix inequalities. The H2 and H°° norms are used as comparison criteria between the original and reduced order models, having as starting point the present continuous-time filtering results. A rank constraint in some variables, suitably developed, results in partially observable state space equations, generating a transfer function of reduced order that approximates the original system. This method is validated by comparisons between the results obtained herein and the ones provided by the well known balanced truncation procedure. Such comparison is done by using statistically generated systems. Finally, two flexible structures are studied, leading to valid approximations for systems of high order derived from the method developed here / Mestrado / Automação / Mestre em Engenharia Elétrica

Made available in DSpace on 2014-06-12T18:05:11Z (GMT). No. of bitstreams: 2 arquivo7238_1.pdf: 5549505 bytes, checksum: 273b31eeccc7615c0975723d862955e5 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Inferência em modelos lineares de regressão na presença de heteroscedasticidade de forma desconhecida de usualmente realizada através do uso do estimador de mínimos quadrados ordinários do vetor de parâmetros de regressão juntamente com um estimador consistente de sua matriz de covariâncias. O estimador mais comumente usado é o proposto por Halbert White e conhecido como HC0. Algumas formas alternativas deste estimador foram propostas na literatura, dentre as quais destacam-se HC1, HC2, HC3 e HC4. Tais estimadores são rotineiramente usados na construção de testes quasi-t, que são realizados com base em valores crítico assintóticos obtidos da distribuição normal padrão. O objetivo da presente dissertação de, através do uso de métodos numéricos, obter valores críticos ajustados para esses testes. O uso de tais valores críticos conduz a inferências mais precisas em amostras finitas

Orientador: Jorge Alberto Gonzalez / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica "Gleb Wataghin" / Made available in DSpace on 2018-07-24T19:57:00Z (GMT). No. of bitstreams: 1 Mello_BernardodeAssuncao_D.pdf: 8932198 bytes, checksum: 8d12de683290a63dbaae263e92405500 (MD5) Previous issue date: 1999 / Resumo: Investigamos as catástrofes que podem ocorrer na dinâmica de kinks na presença de forças externas e impurezas. Sob a ação de algumas forças anarmônicas, pode acontecer de, não só o modo translacional ser instável, como também os modos internos (modos de forma), ou mesmo parte do espectro contínuo. A competição entre escalas da "largura" das inomogeneidades, da distâncias entre elas e da largura do sóliton leva a bifurcações inesperadas na estabilidade. Investigamos a dinâmica de um sóliton, que comporta-se como uma partícula extendida, levando a efeitos não lineares na oscilação em torno de um mínimo ou ao comportamento caótico tipo Duffing. Generalizamos os conceitos de ressonância geométrica e ressonância estocástica, que aplicamos aos sólitons. Investigamos uma equação de .5íne-Gordon modificada, que possui soluções solitônicas com interação de longo alcance. Generalizando a equação de Ginzburg-Landau obtemos o mesmo tipo de comportamento em mais de uma dimensão. Essas interações levam ao regime não extensivo para a termodinâmica do sistema / Abstract: We study the catastrophes that can occur in kink dynamics in the presence of external forces and impurities. Under the action of some anharmonic forces it can occurs that not only the translational mode is unstable but also the internal modes ( shape modes) or even part of the continuum spectrum ( the soliton is unstable against the interaction with phonons! ). AlI this leads to interesting phenomena like soliton explosions,--, The lenght scale competition between the "width" of the inhomogeneities, the distance between them and the "width" of the kink leads to unexpected bifurcation phenomena. We investigate the dynamics of a soliton that behaves as an extended particle. The soliton motion in an effective bistable potential can be chaotic in a similar way as the Duffing oscillator . We generalize the concept of geometrical resonance to spatiotemporal systems and apply it to design a nonfeedback mechanism of chaos control using localized perturbations. We show the existence of solitonic stochastic resonance. We investigate a modified sine-Gordon equation wich possesses soliton solutions with long-range interaction. We introduce a generalized version of Ginzburg-Landau equation wich supports long-range topological defects in D = 1 and D > 1. The interaction force between the defects decay so slowly that it is possible to enter the non-extensivity regime / Doutorado / Física / Doutor em Ciências

Orientador: Jose Claudio Geromel / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:48:19Z (GMT). No. of bitstreams: 1 Souza_SergioRicardode_M.pdf: 5700478 bytes, checksum: 39cb6df68322b125d584fdd0e8e906d1 (MD5) Previous issue date: 1991 / Resumo: Este trabalho trata de sistemas dinâmicos lineares, modelados por variáveis de estados, com incertezas nos parâmetros dos modelos. Seu objetivo é o estudo do problema de determinar um ganho de realimentação linear e estática de estados de modo que um sistema incerto, em malha fechada, seja estável quadraticamente e possua norma H'infinito¿ menor que um certo limitante prescrito. As incertezas consideradas são pertencentes a domínios convexos na forma de poliedros fechados. A principal propriedade a ser utilizada é a convexidade do problema tal como será proposto. Para o caso contínuo, condições necessárias e suficientes para a existência de solução são encontradas; no caso discreto, somente condições suficientes o são. Um algoritmo que implementa tais resultados é apresentado e, por último, exemplos numéricos para as duas classes de modelos discutem a validade das soluções / Abstract: In this work, we analyse linear dynamic models, described by state variables with uncertain parameters. The problem solved here concerns the determination of a linear static state feedback gain that guarantees quadratic stability and prescribed H¿infinite¿ norm for the uncertain closedloop system. The uncertainties belong to polyhedral convex domains. The main property of the stated problem is its convexity. For the continuos-time case, necessary and sufficient conditions are obtained; for the discrete-time, only sufficient condition are provided. An algcr rithm that performs this result is developped and, finally, numerical examples concerning both the continuos and discrete-time cases validate our method / Mestrado / Mestre em Engenharia Elétrica