Padrões espaciais e temporais da comunidade de invertebrados bentônicos no estuário Tramandaí-Armazém, RS, e a resposta da macro e meiofauna a um derrame experimental de óleo bruto

A distribuição espaço-temporal dos invertebrados bentônicos, no estuário Tramandaí-Armazém, localizado no Litoral Norte do Rio Grande do Sul, Brasil, foi analisada em três sub-ambientes: laguna Armazém (3 áreas amostrais), laguna Tramandaí (3 áreas amostrais) e Canal de ligação com o Oceano Atlântico (1 área amostral). Na laguna Tramandaí, ocorre um aporte de água doce pelo rio Tramandaí, na laguna Armazém, ocorre a entrada mais freqüente da cunha salina e no Canal verifica-se uma maior influência do Oceano Atlântico. No ARTIGO I, foram analisados os organismos da meiofauna, obtidos a partir de amostragens sazonais em 2000. Em cada área foram tomadas seis amostras, até a profundidade de 5 cm no interior do sedimento, com um corer de 2,7cm de diâmetro. Nematoda foi o grupo taxonômico dominante em todos os ambientes. As análises uni e multivariadas mostraram que a estrutura da meiofauna na laguna Armazém, caracterizada pelas densidades mais elevadas, difere significativamente dos demais ambientes amostrados. A similaridade das amostras coletadas na laguna Tramandaí e no Canal ocorreu em quase todas as estações, com exceção da primavera. Picos de densidade da meiofauna foram encontrados no verão. Os resultados sugerem que os fatores abióticos, como salinidade, hidrodinâmica e temperatura, são importantes condicionantes desta variabilidade espaço-temporal detectada. No ARTIGO II, detalhou-se a identificação de Nematoda, em gênero, e sua classificação em grupo trófico. As análises multivariadas mostraram que a associação de Nematoda é distinta entre os três ambientes analisados. Os atributos densidade, diversidade e riqueza de gêneros foram significativamente mais elevados na laguna Armazém. Nesta laguna, os nematódeos comedores de epistrato e de bactérias foram os dominantes, enquanto que no Canal e Tramandaí prevaleceram os comedores de depósito e predadores facultativos. Uma variabilidade temporal foi detectada tanto para os gêneros, como para os grupos tróficos, com densidades mais elevadas no verão. A identificação de Nematoda e de seu comportamento alimentar mostraram que além da salinidade, hidrodinâmica e temperatura, a disponibilidade de alimento e a forma como está disponível, determinam a estrutura desta associação. No ARTIGO III, foi analisada a distribuição espaço-temporal da macrofauna, a partir de amostragens sazonais entre o outono de 2002 e o verão de 2003. Em cada área foram obtidas 6 amostras com um corer de 10cm de diâmetro enterrado até a profundidade de 20 cm no interior do sedimento. No Canal, a comunidade da macrofauna, foi caracterizada pelas menores densidades e riqueza específica, em todas as estações do ano. Diferente do verificado para Nematoda, a estrutura da macrofauna, encontrada na laguna Armazém e laguna Tramandaí foi similar. Este resultado se deve a baixa riqueza específica da macrofauna e a dominância de espécies oportunistas. Em situações de maior oferta de alimento, oriunda da decomposição de detritos (no inverno) e ao aparecimento da macrófita Ruppia maritima (na primavera), observou-se uma diferenciação da estrutura da macrofauna encontrada na laguna Armazém da laguna Tramandaí. Na laguna Armazém densidades mais elevadas ocorreram no inverno, nos demais ambientes não foram constatadas diferenças significativas entre as estações. Provavelmente as características geomorfológicas do estuário e a hidrodinâmica atuante promovam uma instabilidade em todo o estuário, que para a macrofauna se sobrepõem às diferenças ambientais encontradas entre as lagunas. No ARTIGO IV, avaliou-se a macro e meiofauna, frente a um derrame experimental de óleo, através de análises univariadas. No experimento foram considerados dois fatores: tratamento (controle, corer sem óleo, corer com óleo) e tempo (4 e 9 horas após a adição do óleo). Cada tratamento constou de cinco réplicas, nos dois períodos de coleta. Não foram detectados efeitos do óleo sobre a macrofauna, no tempo de 4 horas e 9 horas de exposição. Para a meiofauna e gêneros de Nematoda, não foram encontradas variações significativas de densidade, com exceção do gênero Theristus, que apresentou um maior número de organismos mortos na presença do óleo.

Modelo de um neurônio diferenciador-integrador para representação temporal em arquiteturas conexionistas

O presente trabalho analisa diferentes modelos de representação temporal usados em arquiteturas conexionistas e propõe o uso de um novo modelo neural, chamado Neurônio Diferenciador-Integrador (NDI) para aplicação com processamento de sinais temporais. O NDI pode ser interpretado como filtro digital. Seu funcionamento exige poucos recursos computacionais e pode ser de grande valia em problemas onde a solução ideal depende de uma representação temporal instantânea, facilidade de implementação, modularidade e eliminação de ruído. Após a definição do modelo, o mesmo é sujeito a alguns experimentos teóricos utilizado em conjunto com arquiteturas conexionistas clássicas para resolver problemas que envolvem o tempo, como previsão de séries temporais, controle dinâmico e segmentação de seqüências espaço-temporais. Como conclusão, o modelo neural apresenta grande potencialidade principalmente na robótica, onde é necessário tratar os sinais sensoriais ruidosos do robô de forma rápida e econômica.

Perfil temporal de marcadores bioquímicos e parâmetros purinérgicos no líquor e soro de ratos em modelos eletroconvulsivos crônico e agudo

A Eletroconvulsoterapia é atualmente o método mais efetivo no manejo dos transtornos depressivos, e sua superioridade frente ao tratamento farmacológico apresenta-se bem documentada. Apesar disso, críticos ainda vêem o método como potencialmente danoso e capaz de provocar lesões cerebrais, fatos que carecem de comprovação científica. Hipóteses quanto aos mecanismos bioquímicos desencadeados pela eletroconvulsoterapia, bem como pelos antidepressivos de um modo geral, voltam-se tradicionalmente para o sistema monoaminérgico como principal envolvido na orquestração subjacente à recuperação dos sintomas de humor. Há algum tempo esforços têm sido direcionados para identificação de outros sistemas que possam estar desempenhando um importante papel. Nesta tese utilizamos um tradicional modelo de choque eletroconvulsivo em ratos para investigar seus efeitos sobre marcadores de lesão neuronal, atividade e consumo energético glial, bem como atividade de ectonucleotidases. Ratos wistar machos com 60 a 90 dias de idade foram alocados a dois tratamentos. No primeiro, denominado agudo, os indivíduos receberam um único choque eletroconvulsivo, sendo posteriormente sacrificados em horários predeterminados. No segundo modelo, crônico, os ratos receberam 8 choques eletroconvulsivos, mimetizando um curso de tratamento de eletroconvulsoterapia. O sacrifício dos ratos no modelo crônico ocorreu após o oitavo choque, também em momentos predeterminados. No primeiro trabalho foi extraído o líquor dos animais 0, 3, 6, 12, 24, 48 e 72 horas após terminadas as sessões, sendo medidos os níveis de proteína S100B, enolase específica do neurônio e lactato. Os níveis de S100B apresentavam-se significativamente elevados seis horas após o último choque no modelo crônico (p<0,0001). Enolase específica do neurônio não teve alterações, e os níveis de lactato aumentaram significativamente na primeira medição após o choque, tanto no modelo crônico quanto no agudo (p<0,001, para ambos). No segundo trabalho, o mesmo modelo foi usado, agora com medições nos níveis séricos da hidrólise de nucleotídeos da adenina. Nosso modelo agudo demonstrou uma diminuição significativa da hidrólise de ATP, ADP e AMP, no primeiro momento medido após o choque, 0 horas (p<0,05 para ATP, e p<0,01 para ADP e AMP), enquanto no modelo crônico avaliou-se que a atividade sérica da enzima aumentava significativamente 48 horas após o último choque (p<0,05 para os três nucleotídeos), permanecendo significativamente aumentada 7 dias após (p<0,001 para os três nucleotídeos). Assim, os resultados do primeiro trabalho apóiam a proposta de que o choque eletroconvulsivo não produz dano neural, e que as alterações observadas nos níveis de S100B e lactato, refletem uma reação astrocitária de natureza protetora. No segundo observamos que o modelo crônico de choque eletroconvulsivo é capaz de induzir ativações enzimáticas sustentadas, o que pode apoiar a idéia de que a adenosina esteja associada com os mecanismos bioquímicos envolvidos nas mudanças cerebrais ocasionadas pela eletroconvulsoterapia.

Modelo temporal de versões

O objetivo principal desse trabalho é apresentar uma alternativa para a união de um modelo de versões e dados temporais. O resultado, o Modelo Temporal de Versões – TVM (Temporal Versions Model), é capaz de armazenar as versões do objeto e, para cada versão, o histórico dos valores das propriedades e dos relacionamentos dinâmicos. Esse modelo difere de outros modelos de dados temporais por apresentar duas diferentes ordens de tempo, ramificado para o objeto e linear para cada versão. O usuário pode também especificar, durante a modelagem, classes normais sem tempo e versionamento, o que permite a integração deste modelo com outros modelos existentes. A utilização de um modelo de dados temporal semanticamente rico não requer necessariamente a existência de um SGBD próprio para este modelo. A tendência é implementar o modelo sobre banco de dados convencionais, através do mapeamento das informações temporais para atributos explícitos. Como objetivo complementar, é apresenta do um ambiente para o suporte do TVM e de todas suas características. Especificamente, são detalhados o mapeamento da hierarquia base do modelo para um banco de dados objeto-relacional e sua implementação em um banco de dados comercial. Desse ambiente, foi implementado um protótipo da ferramenta para o auxílio na especificação de classes da aplicação.

Modelos de regionalização administrativa através de um sistema espacial de suporte à decisão : estudo de caso para o estado do Rio Grande do Sul

A distribuição de recursos públicos de modo equilibrado e bem aplicado é questão de suma importância para administradores públicos e planejadores, especialmente em países como o Brasil que, a cada ano, vê sua capacidade de investimento mais reduzida e onde mais se acentuam os desníveis sociais. A metodologia, aqui empregada, busca incorporar ao modelo a característica de dinamismo própria da realidade regional e por isso permite grande abertura na fase de seleção de variáveis, tratamento dos dados e cálculos de correlações. Descarta de saída a possibilidade de ser resposta única para a questão da regionalização, e sobretudo, visa ser um modelo heurístico que se realimenta via interações, permitindo inúmeras soluções, tanto melhores, quanto mais forem as tentativas de otimização do método. Este trabalho trata da questão da regionalização sob a ótica do estabelecimento de similaridades através de uma análise centrada nos dados sócio-econômicos que guardam melhor correlação com a estrutura espacial, utilizando a técnica de análise de agrupamentos e estatística multivariada, com o fim de facilitar o planejamento regional e munir os administradores públicos com instrumentos de decisão para uma distribuição melhor dimensionada de recursos. O tratamento dos dados se desenvolve a partir de matrizes que relacionam cada objeto unitário com todos os demais, neste caso, cada unidade municipal do estado do Rio Grande do Sul com todos os demais municípios. Utiliza-se o cálculo de variadas formas de distâncias euclidianas e não euclidianas para estabelecer a similaridade entre os objetos, o que é medido através do Teste de Mantel que relaciona as matrizes de dados com a matriz de distância. Posteriormente, via uso de técnicas de análise de agrupamento obtém-se os padrões regionais atrelados à estrutura espacial. As regionalizações geradas pelo método têm a vantagem de apresentarem-se em vários níveis hierárquicos, direcionando-se para uma maior diferenciação à medida que os níveis se aprofundam. Permitem uma visualização dos resultados em qualquer um dos níveis de diferenciação, o que proporciona ampla gama de possibilidades comparativas. Possuem um bom grau de isenção técnica, porque são o resultado de uma análise cujos principais referenciais são de domínio coletivo e definidores do espaço, em que pese o índice de correlação entre as matrizes de distâncias ter sido baixo, para esta partida de dados selecionada e aplicada ao estado do Rio Grande do Sul.

Desenvolvimento de arquitetura para sistemas de reconhecimento automático de voz baseados em modelos ocultos de Markov

Este trabalho foi realizado dentro da área de reconhecimento automático de voz (RAV). Atualmente, a maioria dos sistemas de RAV é baseada nos modelos ocultos de Markov (HMMs) [GOM 99] [GOM 99b], quer utilizando-os exclusivamente, quer utilizando-os em conjunto com outras técnicas e constituindo sistemas híbridos. A abordagem estatística dos HMMs tem mostrado ser uma das mais poderosas ferramentas disponíveis para a modelagem acústica e temporal do sinal de voz. A melhora da taxa de reconhecimento exige algoritmos mais complexos [RAV 96]. O aumento do tamanho do vocabulário ou do número de locutores exige um processamento computacional adicional. Certas aplicações, como a verificação de locutor ou o reconhecimento de diálogo podem exigir processamento em tempo real [DOD 85] [MAM 96]. Outras aplicações tais como brinquedos ou máquinas portáveis ainda podem agregar o requisito de portabilidade, e de baixo consumo, além de um sistema fisicamente compacto. Tais necessidades exigem uma solução em hardware. O presente trabalho propõe a implementação de um sistema de RAV utilizando hardware baseado em FPGAs (Field Programmable Gate Arrays) e otimizando os algoritmos que se utilizam no RAV. Foi feito um estudo dos sistemas de RAV e das técnicas que a maioria dos sistemas utiliza em cada etapa que os conforma. Deu-se especial ênfase aos Modelos Ocultos de Markov, seus algoritmos de cálculo de probabilidades, de treinamento e de decodificação de estados, e sua aplicação nos sistemas de RAV. Foi realizado um estudo comparativo dos sistemas em hardware, produzidos por outros centros de pesquisa, identificando algumas das suas características mais relevantes. Foi implementado um modelo de software, descrito neste trabalho, utilizado para validar os algoritmos de RAV e auxiliar na especificação em hardware. Um conjunto de funções digitais implementadas em FPGA, necessárias para o desenvolvimento de sistemas de RAV é descrito. Foram realizadas algumas modificações nos algoritmos de RAV para facilitar a implementação digital dos mesmos. A conexão, entre as funções digitais projetadas, para a implementação de um sistema de reconhecimento de palavras isoladas é aqui apresentado. A implementação em FPGA da etapa de pré-processamento, que inclui a pré-ênfase, janelamento e extração de características, e a implementação da etapa de reconhecimento são apresentadas finalmente neste trabalho.

Estendendo quadtress para suporte ao armazenamento e recuperação de dados espaço-temporais

Nos Sistemas de Informação Geográfica (SIG), os aspectos temporais são importantes, principalmente, para representar o histórico de dados georreferenciados. Vários modelos conceituais de dados para SIG propõem classes e operações que permitem representar os aspectos espaciais e temporais das aplicações. Porém, ao nível do modelo interno dos sistemas atuais, as estruturas de dados armazenam e manipulam somente os aspectos espaciais dos dados geográficos, não contemplando os aspectos espaço-temporais propostos nos modelos conceituais. O objetivo desse trabalho é estender estruturas de dados do tipo quadtree para suporte ao armazenamento e à recuperação de dados espaço-temporais.

Rede de modelos termodinâmicos locais

A simulação computacional de processos é uma ferramenta valiosa em diversas etapas da operação de uma planta química, tais como o projeto, a análise operacional, o estudo da estratégia de controle e a otimização, entre outras. Um programa simulador requer, freqüentemente, o cálculo das propriedades termofísicas que fazem parte das equações correspondentes aos balanços de massa, energia e quantidade de movimento. Algumas dessas quantidades, típicas de operações baseadas no equilíbrio de fases (tais como a destilação fracionada e a separação flash), são as fugacidades e entalpias das fases líquida e vapor em equilíbrio. Contudo, o uso de modelos e correlações cada vez mais sofisticadas para representar acuradamente as propriedades termofísicas dos sistemas reais fez com que grande parte do tempo gasto numa simulação de processos seja devida à avaliação destas propriedades. Muitas estratégias têm sido propostas na literaturas a fim de se reduzir a carga computacional envolvida na simulação, estática e dinâmica, dos problemas de Engenharia Química. Esta diminuição do tempo de processamento pode muitas vezes ser determinante na aplicação ou não da simulação de processos na prática industrial, como, por exemplo, no controle automático. Esta dissertação aborda uma das alternativas para a redução do tempo computacional gasto na simulação de processos: a aproximação das funções que descrevem as propriedades termofísicas através de funções mais simples, porém de fácil avaliação. Estas funções, a fim de se garantir uma aproximação adequada, devem ser corrigidas ou atualizadas de alguma forma, visto que se tratam de modelos estritamente válidos em uma pequena região do espaço das variáveis, sendo, por isto, chamados de modelos locais. Partindo-se do estado atual desta técnica, é proposta nesta dissertação uma nova metodologia para se efetuar esta aproximação, através da representação global da propriedade mediante múltiplas funções simples, constituindo, desse modo, uma rede de modelos locais. Algumas possibilidades para a geração efetiva destas redes são também discutidas, e o resultado da metodologia é testado em alguns problemas típicos de separação por equilíbrio de fases.

Ler o mundo, compreender a palavra : ambiente alfabetizador como espaço de construções sociocognitivas

Esta dissertação aborda as construções sociocognitivas de sujeitos adultos durante o processo de alfabetização, em ambiente alfabetizador, entendido como espaço físico e social que promove interações. A proposta pedagógica desenvolvida buscou aliar tecnologia e alfabetização como desencadeadores de aprendizagem dos sujeitos. Nesse sentido, o conceito de alfabetização equivale ao conceito de letramento, porque busca aproximar os sujeitos do mundo no qual estão inseridos, podendo assim moverem-se numa sociedade letrada e permeada por tecnologias. Os fundamentos teóricos que respaldam as análises dos dados encontram-se na proposta freireana de alfabetização de adultos, assumida pelo Movimento de Alfabetização de Jovens e Adultos, que concebe o ato educativo como resultante do diálogo estabelecido entre os sujeitos portadores de conhecimento. Referenda também nosso estudo a concepção piagetiana de construção de conhecimento voltada, principalmente, para os Estados de Tomada de Consciência como reveladores dos movimentos cognitivos dos sujeitos. Funda-se à teoria de Piaget, o exposto por Freire quanto à passagem da consciência intransitiva para a conscientização. Na perspectiva dos autores, são analisadas as falas e posturas dos sujeitos frente ao mundo, tendo como parâmetro temporal o ponto de vista revelado na incursão e no distanciamento do Mova. O laboratório de informática, onde se desenvolveu boa parte da pesquisa, constitui a primeira experiência para todos os sujeitos estudados, o que consiste numa fonte em potencial de desequilíbrios que forçam o sujeito à mobilização de suas estruturas cognitivas. A permanência e as intervenções ocorridas no ambiente alfabetizador possibilitam que os mesmos ultrapassem a condição do fazer mecanizado e avancem para um fazer mais reflexivo, extensivo inclusive a outros contextos que integram. A pesquisa valida a aproximação entre tecnologia e alfabetização de adultos, enfatizando que esse campo é rico em possibilidades pedagógicas geradoras de aprendizagem.

Modelo temporal de versionamento com suporte à evolução de esquemas

A utilização de versões tem sido essencial em diversas aplicações de banco dados, por permitir o armazenamento e a manipulação de diferentes estados da base de dados. Durante a evolução de um esquema, o versionamento preserva todas as versões de esquemas e de seus dados associados. Por outro lado, os conceitos de bancos de dados bitemporais, que incorporam tanto tempo de transação quanto tempo de validade, provêm flexibilidade ao mecanismo de evolução de esquemas, não somente por permitir acesso a informações presentes, passadas e futuras, mas também por permitir atualizações e consultas entre as diversas versões de esquemas existentes. O objetivo principal desta tese é definir um modelo que utilize os conceitos de tempo e de versão para permitir o gerenciamento da evolução dinâmica de esquemas em bancos de dados orientados a objetos. O resultado, o Modelo Temporal de Versionamento com suporte à Evolução de Esquemas (TVSE - Temporal and Versioning Model to Schema Evolution), é capaz de gerenciar o processo de evolução de esquemas em todos os seus aspectos: versionamento e modificação de esquemas, propagação de mudanças e manipulação de dados. Esse modelo difere de outros modelos de evolução de esquemas por permitir o gerenciamento homogêneo e simultâneo do histórico da evolução do banco de dados intencional e extensional. Com o objetivo de complementar a definição deste modelo é apresentado um ambiente para gerenciar o versionamento temporal da evolução de esquemas. Desse ambiente foi implementado um protótipo da ferramenta de apoio ao gerenciamento de evolução de esquemas. Por fim, enriquecendo o universo da tese e com o intuito de prover uma maior fundamentação teórica e matemática para descrever as políticas de evolução de esquemas, é especificada uma semântica operacional para um subconjunto do modelo proposto.

Teorias de calibre supersimétricas formuladas num espaço-tempo não-comutativo tridimensional

Teorias de calibre formuladas em um espaço-tempo não cumulativo têm sido intensamente estudadas nos últimos anos. O interesse nesse assunto possui motivações provenientes da teoria de cordas. Uma das propriedades mais notáveis das teorias das não-cumulativas consiste de uma estrutura não usual de divergências,a chamada mistura UV/IR, que pode levar ao aparecimento de divergências infravermelhas não integráveis. A eliminação de tais divergências é crucial já que elas podem provocar o colapso da série pertubativa. Modelos não- cumulativos supersimétricos tem um lugar proeminente entre as teorias de campo fisicamente interessantes, uma vez que a supersimetria favorece o cancelamento das divergências perigosas. Eles são os melhores candidatos num programa para definir teorias de campo não-cumulativas consistentes. Neste trabalho investigamos a QED e Yang-Mills não-cumulativos supersimétricos em três dimensões usando o formalismo de supercampos. Para o caso abeliano provamos que a mistura UV/IR não é fonte de divergências infravermelhas não integráveis. Além disso, o modelo resulta ser finito na aproximação de um laço. O mesmo se aplica ao caso abeliano porém apenas na representação fundamental do grupo de calibre.

T&D-bench : explorando o espaço de projeto de processadores em ensino e em pesquisa

Uma metodologia de modelagem para a exploração do espaço de projeto de processadores é apresentada. A exploração do espaço de projeto constitui uma das etapas do fluxo de projeto dos atuais processadores de alto desempenho e de sistemas embarcados, que auxilia os projetistas no tratamento da complexidade inerente ao processo contemporâneo de projeto de sistemas computacionais. A principal característica desta metodologia é um processo de modelagem simples e rápido. Isso é obtido através da disponibilização dos recursos de modelagem em camadas com propósitos e níveis de complexidade de uso diferenciados e da limitação do número de elementos (palavras-chave, classes e métodos) que devem ser conhecidos pelo projetista para o acesso a estes recursos, independentemente da camada na qual eles se encontram. A única exigência para o uso de tais recursos são conhecimentos que estudantes de Computação adquirem ao longo dos seus cursos da área de Computação e Informática. Outras características da metodologia de modelagem incluem: recursos específicos e distintos para a descrição da organização, da arquitetura e de aspectos temporais do processador; um estilo de descrição estrutural de alto nível da organização; a possibilidade de uso de recursos gráficos em tempo de modelagem e em tempo de simulação; e a existência de informações nos modelos que podem ser usadas para a tradução das descrições para uma Hardware Description Language Todas estas características constituem um conjunto de soluções de modelagem e simulação de processadores que não é encontrado em outros ambientes usados na exploração do espaço de projeto, baseados em Architecture Description Languages, Hardware Description Languages e ferramentas de simulação. Além disso, os modelos de processadores, desenvolvidos com esta metodologia, fornecem os recursos para a aceleração do aprendizado de conteúdos de arquitetura de computadores que só são encontrados em simuladores para ensino. Uma infra-estrutura de software que implementa a metodologia de modelagem foi desenvolvida e está disponível. Ela foi usada no ensino e no contexto da pesquisa para a modelagem e simulação de diversos processadores. Uma comparação com a metodologia de modelagem de uma Architecture Description Language demonstra a simplicidade e a rapidez do processo de modelagem previsto na metodologia apresentada.

Teorias de calibre supersimétricas formuladas num espaço-tempo não-comutativo tetradimensional

A relação com a teoria das cordas renovou o interesse nas teorias quânticas de campo formuladas num espaço-tempo não-comutativo. O principal aspecto dessas teorias é o assim chamado "mecanismo UV/IR", segundo o qual divergências ultravioletas são parcialmente convertidas em infravermelhas. Para certos modelos, estas singularidades infravermelhas originadas do mecanismo UV/IR podem inviabilizar a solução perturbativa da teoria de campos. A questão principal, portanto, é encontrar teorias que sejam consistentes quando formuladas num espaço-tempo não-comutativo, sendo os modelos supersimétricos particularmente promissores neste sentido. Neste trabalho, examinamos as teorias de calibre supersimétricas Abelianas (NCSQED) e não-Abelianas com grupo de calibre U(N) (NCSYM) formuladas num espaço-tempo não-comutativo de quatro dimensões. Emambos os casos, calculamos as funções de vértice utilizando o formalismo covariante de supercampos que é tornado completamente operacional. Consideramos tanto as teorias N = 1 quanto as com supersimetria estendida. Mostramos rigorosamente que, a um laço da teoria de perturbações, estes modelos são livres de singularidades infravermelhas UV/IR não-integráveis. Para a função de dois pontos da NCSQED esta afirmação vale em qualquer calibre, ao passo que, para a função de três pontos, as singularidades infravermelhas UV/IR perigosas se anulam num calibre particular. Já para a NCSYM, demonstramos que as correções quânticas às funções de vértice de dois e três pontos não apresentam os efeitos indesejáveis do mecanismo UV/IR graças a certas relações envolvendo traços dos geradores do grupo de calibre que, surpreendentemente, são satisfeitas apenas na representação fundamental do grupoU (N). Como esperado, a função de dois pontos é também finita na teoria N = 4.

Influência de parâmetros moleculares em funções de correlação temporal na dinâmica de solvatação mecânica

No presente trabalho descrevemos nossos resultados relativos à investigação da dinâmica de solvatação mecânica por meio de simulações por dinâmica molecular, respeitando o regime da resposta linear, em sistemas-modelo de argônio líquido com um soluto monoatômico ou diatômico dissolvido. Estudamos sistematicamente a influência dos parâmetros moleculares dos solutos (tamanho, polarizabilidade) e da densidade frente a vários modelos de solvatação. Funções de Correlação Temporal da Energia de Solvatação foram calculadas com relação à correlações de n-corpos (n = 2; 3) distinguindo interações repulsivas e atrativas para ambos os sistemas líquidos. Também obtivemos segundas derivadas temporais dessas funções referindo-se à parcelas translacionais, rotacionais e roto-translacionais na solução do diatômico. Encontramos que funções de correlação temporal coletivas podem ser razoavelmente bem aproximadas por correlações binárias a densidades baixas e, a densidades altas, correlações ternárias tornam-se mais importantes produzindo um descorrelacionamento mais rápido das funções coletivas devido a efeitos de cancelamento parciais. As funções de correlação para interações repulsivas e atrativas exibem comportamentos dinâmicos independentes do modelo de solvatação devido a fatores de escalonamento linear que afetam apenas as amplitudes das dessas funções de correlação temporal. Em geral, os sistemas com grau de liberdade rotacional apresentam tempos de correlação mais curtos para a dinâmica coletiva e tempos de correlação mais longos para as funções binárias e ternárias. Finalmente, esse estudo mostra que os sistemas contendo o diatômico relaxam-se predominantemente por mecanismos translacionais binários em modelos de solvatação envolvendo alterações apenas na polarizabilidade do soluto, e por mecanismos rotacionais atrativos binários em modelos envolvendo alterações no comprimento de ligação.

O estudo histológico do osso temporal do ovino : uma contribuição para a caracterização da ovelha como modelo animal para tratamento e investigação experimental em otologia

Resumo não disponível