Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

Abuso sexual em meninos

O impacto da experiência de abuso sexual foi estudado em seis meninos, com idades entre 7 e 13 anos, atendidos em um programa de extensão da UFRGS para prevenção e tratamento de abuso físico e sexual, desenvolvido num Conselho Tutelar e numa Escola Municipal de Primeiro Grau. Para cada caso, entrevistou-se, a partir de um roteiro tópico flexível, um ou mais familiares, o professor ou orientador educacional da Escola que o menino freqüentava e os conselheiros tutelares e monitores envolvidos diretamente no caso. Quanto aos meninos vitimados, o roteiro de entrevista utilizado fazia parte do processo de avaliação clínica que precedia o tratamento psicológico. Utilizou-se da comunicologia - conjunção entre fenomenologia existencial e a semiótica - como argumento metodológico no delineamento qualitativo dos procedimentos de análise e como argumento teórico na interpretação dos resultados. A experiência da vitimação foi estudada através da descrição, redução e interpretação dos contextos de abuso, revelação e reações. A interpretação dos resultados indicou que, inicialmente, os meninos expressam prejuízos vivenciais e relacionais, experienciam o dilema entre revelar e não revelar e, posteriormente, apresentam possibilidades de reações como confusão quanto à orientação sexual, comportamento sexualizado , revitimação e comportamento abusivo. Sugestões terapêuticas são apresentadas utilizando-se como referência do processo comunicativo.

Variabilidade genética no Complexo Principal de Histocompatibilidade (MHC) de três espécies de mamíferos marinhos da costa do Rio grande do Sul

O MHC (Major Histocompatibility Complex) é um sistema genético importante para a manutenção de espécies ameaçadas, uma vez que baixa variabilidade para locos MHC tem sido associada a uma menor capacidade de resposta a doenças e diminuição do sucesso reprodutivo. Deste modo, pesquisas sobre a variabilidade genética do MHC têm demonstrado ser bastante informativas em estudos populacionais voltados para aspectos referentes à conservação. No presente trabalho foi investigada a variabilidade genética do MHC para três espécies de mamíferos marinhos (toninha, baleia franca austral e lobo marinho sul-americano) do sul do Brasil, com intensa mortalidade provocada por atividades humanas atuais ou passadas. As amostras foram coletadas de animais mortos encalhados na costa, de animais capturados acidentalmente por barcos pesqueiros, e também através de um sistema de biópsia. A região variável do exon 2 do gene DQB do MHC foi amplificada por PCR (Polymerase Chain Reaction) em 109 amostras de toninhas (Rio de Janeiro n=32, Rio Grande do Sul n=52, Argentina n=25), 35 amostras de lobo marinho sul-americano e 30 amostras de baleia franca austral, utilizando-se um par de primers heterólogos. O fragmento resultante de 172 pares de bases foi analisado quanto ao polimorfismo de seqüência através da técnica de SSCP (Polimorfismo de Conformação de Fita Simples) em todas as amostras de toninha e de lobo marinho sul-americano e 14 amostras de baleia franca austral. Dificuldades associadas à amplificação resultaram em padrões de SSCP pouco informativos para as amostras de lobo marinho sul-americano e baleia franca austral Todas as amostras de toninha apresentaram um padrão de pelo menos 4 bandas por indivíduo. As 4 bandas de um único indivíduo do Rio Grande do Sul foram seqüenciadas, tendo sido possível verificar que 2 seqüências relacionadas ao genes DQB estão sendo amplificadas com estes primers. Pelas análises de SSCP foi possível detectar ausência de variabilidade para as amostras de toninha provenientes do Rio de Janeiro e diferenciá-las da população da Argentina, que é polimórfica. A população do Rio Grande do Sul parece apresentar níveis intermediários de variação em relação aos extremos da distribuição da espécie. Analisando as três populações amostradas, conclui-se que a espécie apresenta baixos níveis de variabilidade para o loco DQB, a exemplo do que é reportado para os genes de MHC de outros mamíferos marinhos.

Os ambientes de geometria dinâmica e o pensamento hipotético-dedutivo

O processo de demonstração é axial na construção do conhecimento matemático. Na geometria euclidiana, ele é um dos aspectos que apresenta grandes obstáculos aos alunos. Uma das dificuldades aparece na transição, necessária, entre o conhecimento de natureza empírica, já adquirido, e aquele a ser construído: a geometria euclidiana enquanto modelo teórico, organizado em axiomas, teoremas e demonstrações. Os recursos informáticos hoje disponíveis provocam a busca de estratégias pedagógicas favoráveis à construção deste conhecimento. Entender as suas potencialidades torna-se um objeto de investigação: o que acontece com os processos cognitivos quando ao sujeito em interação com a máquina é possibilitada a concretização de seus construtos e ações mentais, e quando, mediante realimentação imediata, ele é levado a novas reelaborações e construções mentais? E como tais processos concorrem para um novo conhecimento? Esta tese propõe uma engenharia didática, em ambiente de geometria dinâmica, que favorece a ascensão dos alunos em patamar de conhecimento — de empírico a hipotético-dedutivo. Toma-se como referencial a teoria piagetiana, bem como a teoria da situação didática em matemática desenvolvida pela escola francesa. A engenharia se desenrola em três níveis: no primeiro, o propósito é a compreensão do significado e da necessidade de demonstração por via de construções geométricas; no segundo nível, pretende-se o desenvolvimento das primeiras habilidades na produção de demonstrações; e, no terceiro, os problemas propostos ao alunos exigem mais de seus funcionamentos cognitivos no tratamento adequado de uma figura geométrica — trata-se das extensões de desenho e concomitantes apreensões operativas responsáveis pela identificação de subconfigurações geométricas que dão suporte à argumentação dedutiva. Análise a posteriori do desenrolar dos trabalhos dos alunos confirma as expectativas anunciadas na análise a priori apresentada na fase de concepção da situação didática cuja implementação é proposta: o progresso dos alunos na construção de conhecimento em geometria, como modelo matemático, foi expressivo.

Simulação da propagação de poluentes no canal do Jacuí e no Rio dos Sinos

No trabalho proposto é apresentado um método analítico para a obtenção da solução da equação advectivo-difusiva que rege a propagação de poluentes em corpos hídricos. Este método utiliza transformações conformes para efetuar o mapeamento de um corpo hídrico com geometria arbitrária em um semi-plano, fornecendo uma solução em forma fechada expressa em termos da função corrente e do potencial velocidade.

Por um "nó" espistemológico da linguística e da psicanálise : um estudo sobre Saussure, Jakobson, Benveniste e Lacan

O objetivo do presente trabalho é construir recursos operatórios de leitura que permitam articular, desde um ponto de vista epistemológico, lingüística e psicanálise. Esta temática surge de uma problemática de pesquisa atual, relativa à crescente demanda, endereçada a lingüística, por diferentes práticas clínicas nas quais a linguagem está implicada. Neste sentido, procura-se relacionar um paradigma de linguagem com uma teoria da subjetividade apropriada tanto à reflexão clínica quanto à reflexão epistemológica. Desta forma, esta dissertação opta por um estudo teórico, visando a construção de operadores conceituais que possibilitem a articulação entre a psicanálise lacaniana e as teorias da linguagem de Saussure, Jakobson e Benveniste, utilizando como corpus de análise essas próprias teorias lingüísticas e psicanalíticas. Portanto, seu procedimento analítico pode ser qualificado como metateórico. Quatro critérios são utilizados para a seleção dos autores: 1°) as três teorias são, cada uma a seu modo, estruturalistas – isso significa que a estrutura é o conceito operador que permite pensar as proposições que estão na base de cada teoria (seus axiomas); 2°) as três teorias estabelecem proposições sobre o objeto língua – isso requer perguntar quais axiomas sobre a língua cada teoria teve que construir para dar conta da estrutura. Desses dois critérios deriva-se um terceiro; 3°) as três teorias conformam três “sistemas de linguagem” que não dissolvem o “objeto língua” para se constituírem em sua especificidade (diluindo-a em objetos de outros domínios teóricos, exteriores ao campo da linguagem – ou da lingüística – propriamente dito, tais como, por exemplo, a biologia, a psicologia, a sociologia). Cada sistema é representado por um nome próprio : I – Sistema de Linguagem elaborado por Saussure; II – Sistema de Linguagem tratado por Jakobson; III – Sistema de Linguagem concebido por Benveniste. Como critério de fechamento, temos que : 4°) as três teorias interessam de perto ao Sistema de Linguagem da psicanálise lacaniana. A relação entre tais teorias deverá servir de suporte de leitura à interlocução estabelecida no campo interdisciplinar sobre a presença da linguagem nas diferentes clínicas, assim como revitalizar os campos conceituais tanto da lingüística quanto da psicanálise.

Síntese de co- e terpolimeros de etileno-propileno através de catalisadores metalocênicos homogêneos e heterogêneos

Neste trabalho, estudaram-se reações de co- e terpolimerização com sistemas metalocênicos, cocatalisadas por metilaluminoxano (MAO). A estrutura destes complexos foi analisada com respeito aos efeitos estéricos e eletrônicos. A otimização da geometria destes complexos foi realizada através de cálculos de campo de força, e os aspectos eletrônicos dos complexos neutros foram analisados por espectroscopia de UV-visível e fotoeletrônica de raios-X (XPS). A performance catalítica destes complexos foi avaliada com relação à atividade, incorporação de propileno, massa molar média e sua distribuição em diferentes condições de polimerização. O sistema catalítico Et(4-Ph-7MeInd)2ZrCl2/MAO foi testado pela primeira vez na literatura aberta para a reação de copolimerização de etileno-propileno obtendo-se altas atividades, alta incorporação de propileno e microestrutura tipo bloco nos copolímeros. A heterogeneização dos sistemas metalocênicos foi avaliada através de três rotas básicas: imobilização diretamente sobre sílica, sobre sílica modificada com MAO e sobre sílica modificada com compostos atuando como espaçadores horizontais. Estes três métodos foram comparados com relação às características finais dos copolímeros. Na etapa de modificação da sílica com MAO, inicialmente estudaram-se as condições de preparação do sistema catalítico, concentração de Zr e Al e temperatura, que poderiam levar a mudanças no produto final. Através de técnicas de análise de superfície como XPS, DRIFTS (Espectroscopia de Infravermelho por refletância difusa) e UV-DRS (Espectroscopia de UV-Visível por refletância difusa) foi possível o estudo das espécies formadas na superfície da sílica modificada com MAO. Os sistemas catalíticos suportados na sílica modificada com espaçadores horizontais mostraram ser mais ativos que o sistema suportado diretamente sobre sílica incorporando distintos teores de propileno. As modificações na superfície da sílica com relação ao teor final de grupos hidroxilas e energia de ligação dos elétrons 3d5/2 do átomo de Zr também foram analisadas. Foi feito o estudo cinético da co- e terpolimerização de etileno-propileno para alguns sistemas metalocênicos estudados. No caso da terpolimerização foi realizado o estudo teórico e experimental da reação de terpolimerização para a síntese de EPDM com o sistema catalítico Et(Ind)2ZrCl2/MAO e 2-etilideno-5-norbornadieno (ENB) como termonômero. Finalmente, este modelo foi adaptado às reações de copolimerização realizadas na primeira etapa do trabalho. As razões de reatividade foram determinadas para os precursores catalíticos Me2Si(2-MeInd)2ZrCl2, Et(IndH4)2ZrCl2, Me2Si(IndH4)2ZrCl2 and Et(4-Ph-7-MeInd)2ZrCl2 e também para os respectivos sistemas suportados em sílica modificada por MAO. Também realizou-se a determinação do coeficiente de transferência de massa convectivo para o etileno e o propileno nas reais condições de polimerização. As razões de reatividade e os parâmetros de transferência de massa foram usados no modelo da reação de copolimerização para sistemas metalocênicos homogêneos e suportado. Este modelo permitiu o discernimento das reações que controlam as características finais dos copolímeros sintetizados.

Estresse pós-traumático : sintomatologia e funcionamento cognitivo

O presente trabalho é composto por dois estudos independentes sobre o Transtorno de Estresse Pós-Traumático (TEPT). O primeiro estudo empregou procedimentos paralelos de análise de componentes principais em duas versões do Screen for Posttraumatic Stress Symptoms (SPTSS) respondidas por estudantes universitários norte-americanos (n = 2.389) e brasileiros (n = 755). Três componentes de primeira ordem (revivência/ansiedade; depressão; evitação) e um componente de segunda ordem (TEPT) representaram a estrutura interna do SPTSS. O segundo estudo empregou testes neuropsicológicos em estudantes universitários (N = 72) com graus variados de sintomatologia pós-traumática. Foi encontrada diferença significativa no desempenho em tarefas de atenção seletiva, função executiva e processamento emocional. Os estudos realizados contribuem para a compreensão do modelo conceitual e dos prejuízos cognitivos associados ao TEPT.