Solução do problema de controle H [infinito] não-linear

Este trabalho apresenta novos resultados matemáticos sobre a positividade local de funções escalares multivariáveis. Estes resultados são usados para resolver de forma quantitativa o problema de controle +¥ não-linear. Por solução quantitativa, entende-se uma solução (uma lei de controle) associada a uma região de validade. A região de validade é a região do espaço de estados onde os requerimentos de estabilidade e desempenho são satisfeitos. Para resolver o problema de forma eficiente, foi desenvolvido um procedimento que visa maximizar a região de validade do controlador enquanto garante um desempenho mínimo. A solução deste problema de otimização é estudada e alternativas para sua simplificação são apresentadas. Uma aplicação experimental a um sistema de controle de pH é apresentada. A utilidade dos resultados teóricos desenvolvidos na teoria de estabilidade de Lyapunov também é estudada.

Solução da equação de transporte multidimensional em geometria cartesiana e meio infinito usando derivada fracionária

Neste trabalho, foi construída uma forma integral para a solução das equações de transporte em uma, duas e três dimensões, considerando o núcleo de espalhamento de Klein-Nishina, espalhamento isotrópico e o núcleo de espalhamento de Rutherford, respectivamente, seguindo a mesma idéia proposta em trabalhos recentes, nos quais foi construída uma solução para a equação de transporte de nêutrons em geometria cartesiana, usando derivada fracionária. A metodologia consiste em igualar a derivada fracionária do fluxo angular à equação integral, determinar a ordem da derivada fracionária comparando o núcleo da equação integral com o da definição de Riemann-Liouville. Essa formulação foi aplicada ao cálculo de dose absorvida. São apresentadas soluções geradas a partir do emprego do método da derivada fracionária e comparadas a resultados disponíveis na literatura.

Formulação analítica para solução do problema de ordenada discreta unidimensional

Nete trabalho é apresentada uma solução analílica para o problema de ordenada discreta unidimensional e multigrupo de transporle de neutrons em simetria planar. A idéia básica da formulação proposta consiste na aplicação da transformada de Laplace na equação de ordenada discreta. Para a solução do sistema linear resultante, uma solução explícila para a matriz lnversa é estabelecida. Dessa forma, o fluxo angular é obtido, por inversão analítica, em termos do fluxo angular em x=O. Essa formulação é aplicada a problemas de domínio finito e semi-infinito. No primeiro caso, os valores de fluxo angular desconhecidos na fronteira em x=O, são determinados a partir dos valores conhecidos do fluxo angular em x=a; no segundo caso é usada a condição de que o fluxo angular é limilado no infinito. Foram tratados problemas homogêneos e heterogêneos para a placa plana com um grupo de neutrons e multigrupo.O problema inverso, que consiste na determinação do fluxo incidente na fronteira a partir de valores do fluxo escalar no interior do domínio, também foi resolvido. Os resullados obtidos para os problemas acima descritos, apresentaram uma boa comparação com os resultados disponíveis na literatura.

Duas ou três idéias sobre o fazer psi e a contemporaneidade

Duas ou três idéias sobre o fazer psi e a contemporaneidade, antes de uma pesquisa, é um trabalho autoral. Seu percurso inicia pela busca das bases do projeto da modernidade, especialmente sobre os fundamentos dos ideais que estabeleceriam um novo laço social. Há o movimento de privatização da subjetividade, trazendo para o mundo interior deste novo homem, agora sob o conceito de culpa, os demônios antes metafísicos. Estavam, assim, criadas as condições suficientes que levariam ao surgimento da psicologia enquanto disciplina. Em consonância com o projeto da modernidade, as práticas psi, empreendem a construção de um saber que muitas vezes se confundirá com o próprio padrão de normalidade. São, assim, além de produto, também produtoras de subjetividade. Se a modernidade prometia um homem livre das tiranias da tradição (e consequentemente da transmissão), a chamada pós-modernidade, através da virtualidade, se desdobra em um infinito de possibilidades que o aproximam do ideal. Entretanto, é exatamente por essa dimensão virtual das relações que podemos falar em um mal-estar na contemporaneidade. Como então está sendo operado o saber psicológico na atualidade? Qual a pertinência desse conhecimento em um mundo cujos ideais exigem respostas imediatas? Em que o virtual é capaz de confundir-se com o ideal; com o eu ideal?

Uso da função de transferência em problemas de condução do calor com a lei de Fourier modificada

Este trabalho visa o uso da função de transferência, a qual relaciona distribuição de temperatura e fluxo de calor, na comparação no domínio freqüência, entre o modelo de difusão usual (parabólico) e um modelo ondulatório (hiperbólico) que inclue o efeito de propagação do calor não instantâneo, sendo avaliados os casos de meio semi-infinito e finito. Para o caso de meio semi-infinito, são determinadas as expressões para as características de amplitude e de fase, considerando tanto a abordagem parabólica quanto hiperbólica. É observada a relação entre estas duas abordagens, mostrando que a abordagem parabólica é uma caso particular da abordagem hiperbólica, podendo ser obtida através de um processo de limite envolvendo o tempo de relaxação r . Para o caso de meio finito, são determinadas as expressões para as caracteríısticas de amplitude de ambas as faces da placa unidimensional, considerando tanto a abordagem parabólica quanto hiperbólica. Estas expressões são transformadas para a forma adimensional quando então são deduzidas as expressões correspondentes das características de amplitude. Mais uma vez, todos os resultados para o caso parabólico podem ser determinados a partir dos resultados do caso hiperbólico, através de um processo de limite envolvendo o tempo de relaxação r São apresentados resultados numéricos referentes às características de amplitude, onde é apontada a existência de uma freqüência limite, acima da qual a diferença entre os dois modelos, do tipo parabólico ou hiperbólico, aumenta rapidamente. Também é apresentada uma forma alternativa de cálculo da distribuição de temperatura transiente que faz uso da função de transferência do sistema.

Dinâmica estocástica de íons sujeitos a um conjunto quase-monocromático de ondas do tipo híbrida inferior

Neste trabalho, estudamos a interação de íons com um conjunto quase-monocromático de ondas eletrostáticas de frequência na faixa das frequências híbridas inferiores, propagando-se perpendicularmente a um campo magnético uniforme. Consideramos que as fases das ondas são aleatoriamente distribuídas (ondas incoerentes), tratando o caso de ondas de fases coerentes (ondas coerentes) como um caso particular. Derivamos o Hamiltoniano adequado a esse sistema, e deduzimos as equações de movimento, cujas soluções são analisadas numericamente, mostrando a ocorrência de difusão estocástica no espaçoo de fase ângulo-ação, para amplitudes de onda suficientemente grandes. Também fazemos estimativas sobre a amplitude mínima (threshold) para o aparecimento de ilhas de primeira ordem no espaço de fase. Estimamos, também, o limiar para as ilhas de segunda ordem e de ordens maiores, bem como o limiar de estocasticidade. A análise mostra que para o caso de várias ondas o comportamento estocástico ocorre antes do limiar de estocasticidade comparado com o caso de uma onda. No caso de ondas coerentes, observa-se que o limiar de estocasticidade diminui com o aumento do número de ondas que comp˜oem o conjunto de ondas, proporcionalmente ao inverso da raiz quadrada deste número, portanto, tendendo a ser nulo no limite em que o número de ondas no pacote tende a infinito. No caso de ondas incoerentes, observa-se também uma diminuição do limiar de estocasticidade com o aumento do número de ondas, mas nesse caso, saturando com valor até um terço do valor do limiar de estocasticidade para o caso de uma onda. Observa-se também que o limite superior da região de estocasticidade no espaço de fase aumenta com o aumento do número de ondas. No caso de ondas coerentes, esse aumento é proporcional à raiz cúbica do número de ondas que compõem o conjunto de ondas. No caso de ondas incoerentes o limite superior da região de estocasticidade têm um aumento de até o dobro em relação ao caso de uma onda. A análise também mostra que o mecanismo da estocasticidade para o caso de várias ondas é diferente do mecanismo atuante no caso de uma onda. No caso de uma onda, a estocasticidade ocorre por superposição de ilhas de ordens maiores do que um, com o aumento da intensidade da onda. No caso de várias ondas, a presençaa de ondas de frequências próximas à frequência de ressonância causa pequenas perturbações na trajetória principal das partículas, causada pela onda central, espalhando-a pelo espaço de fase de forma mais eficiente que o mecanismo de estocasticidade para o caso de uma onda.

Vivências em arte : processo para uma estética do sujeito

Somos envolvidos ao longo de nossas vidas com as coisas do mundo numa relação direta com os nossos sentidos que emprestam significações à nossa existência e, estão ligados ao nosso corpo, as percepções, aos sentimentos. Estamos envolvidos numa avassaladora estimulação visual que não desenvolve o olhar, mas condiciona para uma restrita percepção do mundo em que vivemos. Nossa língua e nosso olfato se perdem nos gostos e odores quimicamente preparados. O tato se amortece nesta civilização de plástico e, nosso ouvido é anestesiado numa cacofonia diária. O processo de desenvolvimento do estésico será um convite para a transformação do cotidiano a partir da sensibilização construída nos pequenos gestos e expresso nas emoções sabidas pelo corpo, sentidas frente a beleza do mundo. Um novo olhar, subjetivado, vai além da presença do sensível que, educado pela estesia é deflagrador de outros processos cognitivos que permitem singularizar o mundo tornando-o visível para si e para os outros. Oportunizar a educação dos sentidos para a apreensão do mundo, frente a beleza e o prazer sentido nas coisas do cotidiano. Pensar o espaço da estética como uma indagação da experiência vivida e, como reflexão que possibilite a formação de um sentimento pessoal que oriente nossa ação no mundo. O objeto específico deste trabalho será o fator fundamental de todo o processo de comunicação: o sentido. Isto equivale dizer que, a vivência em arte, nos instala na origem da inteligência formadora do universo simbólico e em reconhecer o que estes representam para nós no mundo. Trata-se pois, da busca por uma ciência que reúna a ordem de uma racionalidade secular e a súbita intempérie de nossa origem. Propõe-se, a descrever a formação do sentido – e falar da gradual emergência da capacidade de entender, ordenar e comunicar – e, descrever a formação da cultura ou, se quisermos, o processo do espírito a partir da não uniformidade originária. Será necessário que nos disponhamos a um olhar transcendente, totalizante, tendo este um lugar ao mesmo tempo na origem, na duração e no fim deste espetáculo que de todos os modos é infinito, complexo.

Comportamento infravermelho do propagador do glúon na rede

Investigamos o comportamento infravermelho do propagdor do glúon,no calibre de Ladau, em três dimensões (2+1) para teoria Yang-Mills SU (2) (YM23 )usando simulações em redes euclidianas de grande volume(403, 803, 1403). Obtemos indicações bastante fortes de que esse propagador tende a valor infinito para momentum nulo,decrescendo, a partir de ~350 MeV, com , expoente crítico κ ~ 0.6. Comparações com predições analíticas não-perturbativas mostram boa concordância e sugerem existência de pólos imaginários no propagador.Obtemos clara evidência de violação em YM23, condição suficiente para o confinamento de cor.

Vidro de spins com campo transverso e com quebra de simetria de réplicas

Estudamos vidros de spin de Ising de alcance infinito com campo transverso. A função de partição foi calculada no formalismo da integral funcional com operadores de spins na representação fermiônica e dentro da aproximação estática e na primeira etapa de quebra de simetria de réplicas da teoria de Parisi onde o conjunto de n réplicas é dividido em K blocos de m elementos. Obtivemos uma expressão para energia livre, entropia e energia interna para dois modelos: o modelo de quatro estados onde o operador Szi tem dois autovalores não físicos que são suprimidos por um vínculo no modelo de dois estados. A temperatura crítica em função do campo transverso, isto é, Tc(T), para ambos os modelos, diminui quando T cresce até atingir um valor crítico Tc. Fizemos também estudo numérico para os parâmetros de ordem, energia livre, entropia, energia interna e diagrama de fase com o parâmetro m fixo. Em ambos os modelos, a fase de vidros de spins é instável. Nosso trabalho difere da teoria de Parisi, onde m é dependente da temperatura. Na segunda parte da tese,analisamos vidros de spin com campo transverso na teoria de C. De Dominicis et. al. para o modelo de dois estados e o moidelo de quatro estados. Calculamos energia livre, a temperatura crítica Tc(T), determinamos o campo crítico e obtemos o diagrama de fase numericamente para ambos os modelos.

Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Alguns aspectos numéricos e teóricos das equações de Navier-Stokes na modelagem do escoamento em torno de um vórtice

Neste trabalho desenvolvemos uma metodologia numérica para a solução do escoamento em torno de um vórtice. Como a análise completa deste tipo de fluxo não é uma tarefa fácil, simplificações quanto ao escoamento e ao método numérico são necessárias. Também investigamos o comportamento das soluções das equações governantes (Navier-Stokes) quando o tempo tende ao infinito. Nesse sentido, dividimos este trabalho em duas partes: uma numérica e outra analítica. Com o intuito de resolver numericamente o problema, adotamos o método de diferenças finitas baseado na formulação incompressível das equações governantes. O método numérico para integrar essas equações é baseado no esquema de Runge- Kutta com três estágios. Os resultados numéricos são obtidos para cinco planos bidimensionais de um vórtice com números de Reynolds variando entre 1000 e 10000. Na parte analítica estudamos taxas de decaimento das soluções das equações de Navier-Stokes quando os dados iniciais são conhecidos. Também estimamos as taxas de decaimento para algumas derivadas das soluções na norma L2 e comparamos com as taxas correspondentes da solução da equação do calor.

Compressibilidade da matéria nuclear em estrelas de nêutrons

Neste trabalho, são discutidos modelos da hadrodinâmica quântica com aproximação de campo médio aplicados a estrelas de nêutrons. O modelo de Walecka define o ponto de partida para desenvolver o modelo de acoplamento derivativo ajustável. A presente dissertação visa a um estudo detalhado sobre a influência dos parâmetros do modelo ajustável no sistema, analisando seus limites, inclusive quando os parâmetros são iguais a zero ou infinito (modelo exponencial). Esta análise tem o propósito de estabelecer um conjunto de parâmetros que defina um modelo que esteja de acordo com as propriedades fenomenológicas tais como módulo de compressão da matéria nuclear, massa efetiva na saturação da matéria nuclear e também algumas propriedades estáticas globais das estrelas de nêutrons como, por exemplo, massa e raio. Estabelecido o modelo a ser considerado, a autora dessa dissertação introduz, como inovação, a compressibilidade hadrônica como função da densidade. Tradicionalmente, determinam-se propriedades da matéria apenas para a densidade de saturação.

Aspectos matemáticos do problema de aprendizagem em inteligência artificial

O objetivo deste trabalho é apresentar a base teórica para o problema de aprendizagem através de exemplos conforme as ref. [14], [15] e [16]. Aprender através de exemplos pode ser examinado como o problema de regressão da aproximação de uma função multivaluada sobre um conjunto de dados esparsos. Tal problema não é bem posto e a maneira clássica de resolvê-lo é através da teoria de regularização. A teoria de regularização clássica, como será considerada aqui, formula este problema de regressão como o problema variacional de achar a função f que minimiza o funcional Q[f] = 1 n n Xi=1 (yi ¡ f(xi))2 + ¸kfk2 K; onde kfk2 K é a norma em um espa»co de Hilbert especial que chamaremos de Núcleo Reprodutivo (Reproducing Kernel Hilbert Spaces), ou somente RKHS, IH definido pela função positiva K, o número de pontos do exemplo n e o parâmetro de regularização ¸. Sob condições gerais a solução da equação é dada por f(x) = n Xi=1 ciK(x; xi): A teoria apresentada neste trabalho é na verdade a fundamentação para uma teoria mais geral que justfica os funcionais regularizados para a aprendizagem através de um conjunto infinito de dados e pode ser usada para estender consideravelmente a estrutura clássica a regularização, combinando efetivamente uma perspectiva de análise funcional com modernos avanços em Teoria de Probabilidade e Estatística.