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.

Projeto de um DB2 extender para suporte aos conceitos de tempo e versão

A utilização de versões permite o armazenamento de diferentes alternativas de projeto no desenvolvimento de uma aplicação. Entretanto, nem todo o histórico das alterações aplicadas sobre os dados é registrado. Modificações importantes podem ser realizadas e os valores anteriores são perdidos. O histórico completo somente é acessível através da junção de versões com um modelo temporal. Os conceitos de tempo e de versão aplicados em conjunto possibilitam a modelagem de aplicações complexas. Uma extensão que implemente simultaneamente estes dois conceitos em um banco de dados comercial não está disponível. O Modelo Temporal de Versões (TVM – Temporal Version Model) fornece a base para esta funcionalidade. O objetivo deste trabalho é projetar um extender para oferecer suporte aos conceitos de tempo e versão no sistema DB2, utilizando como base o TVM. A extensão engloba o mapeamento da hierarquia do TVM; a criação de tabelas administrativas; procedimentos para especificação das classes, atributos e relacionamentos; a definição de gatilhos e restrições para a manipulação dos dados diretamente nas tabelas criadas; e a especificação de procedimentos e UDFs para controle de versões e valores temporais e de outras UDFs que permitem consultas envolvendo os dois conceitos. Apesar do SGBD não ser totalmente orientado a objetos, como é definido no modelo utilizado (TVM), oferece mecanismos que permitem o mapeamento para um modelo objetorelacional. Através da utilização desta extensão, a união de tempo e de versões pode ser utilizada em aplicações reais.

Desenvolvimento de uma arquitetura programável de controle em tempo real para um servoposicionador pneumático

Este trabalho aborda o desenvolvimento de uma arquitetura de controle em tempo real para servoposicionadores pneumáticos, baseada em computadores pessoais (PCs). Os servoposicionadores pneumáticos são de baixo custo, leves, não poluentes e de fácil utilização. Como apresentam boa relação entre peso e força, são bastante atraentes em aplicações de robótica. Entretanto, devido a suas não linearidades, os servoposicionadores pneumáticos apresentam dificuldades em seu controle. Visando compensá-las, são desenvolvidos algoritmos de controle cada vez mais complexos, necessitando de ferramentas mais robustas quanto ao poder de processamento. Ferramentas com características necessárias para o desenvolvimento de algoritmos e para o controle em tempo real de sistemas custam caro, o que dificulta o desenvolvimento de novas tecnologias de controle de servoposicionadores pneumáticos. Este trabalho apresenta uma revisão das soluções utilizadas na construção de sistemas pneumáticos de posicionamento e daquelas adotadas no controle digital de sistemas automáticos. Descrevese o processo de construção de uma bancada experimental, e o desenvolvimento das soluções em hardware e software para o controle digital é discutido. Visando uma solução economicamente atraente, são utilizados unicamente softwares de código aberto e de livre utilização, assim como hardwares de baixo custo.Para verificar a eficiência da solução proposta, a arquitetura de controle é utilizada para realizar a identificação dos parâmetros do sistema pneumático. Dentre eles, destacam-se a vazão mássica e o atrito, informações importantes para simulação e controle do sistema. Também são utilizados controladores do tipo Proporcional-Integral-Derivativo, implementados para apoiar o estudo do desempenho da arquitetura no controle do servoposicionador pneumático.

Aprendizagem em ambientes virtuais : o olhar do aluno sobre o próprio aprender

Esta pesquisa tem por objetivo investigar a concepção do aluno sobre a própria aprendizagem ao utilizar ambientes virtuais. A Rede Cooperativa de Aprendizagem (ROODA) foi o ambiente virtual que sustentou todo o movimento de busca dos dados escritos pelos sujeitos da pesquisa. Os mesmos são estudantes de graduação e pós-graduação na Universidade Federal do Rio Grande do Sul. A Epistemologia Genética de Jean Piaget foi a teoria eleita para servir como referencial durante todo o processo de desenvolvimento desta pesquisa. Para tanto, a coleta de dados foi realizada através de entrevista semi-estruturada, além de intervenções no ambiente virtual ao longo do processo de trabalho. Os resultados de tais intervenções foram capturados nos logs do ambiente. As conclusões apontam para uma concepção de aprendizagem que ultrapassa a simples utilização do virtual e indica como significativo o trabalho que atinge diretamente as estruturas cognitivas. Além disso, trata o virtual como elemento propulsor de interações entre sujeitos onde o conflito sócio-cognitivo contribui para a construção do conhecimento. Tempo e espaço transcendem as condições dadas pelo presencial e proporcionam um novo tempo e espaço de reflexão. Novas relações, professor-aluno, mobilizadas pelo interesse, são criadas. Novas possibilidades são descortinadas pelo ambiente virtual na medida que este é visto como superação das fronteiras do presencial.

Funcionalidades temporais do banco de dados Oracle e mecanismos para consultas de tempo de validade

Apesar das vantagens das funcionalidades de banco de dados temporais, já amplamente demonstradas na literatura, ainda não existe, comercialmente, um SGBD totalmente temporal. Algumas propostas já foram feitas, embora um pouco discretas, dando ênfase em apenas parte das funcionalidades temporais, já sinalizando que em breve será possível existir um SGBD puramente temporal. Uma dessas propostas se constitui na implementação de uma camada de software que simula um banco de dados temporal, chamada Pacote de Tempo de Validade – PTV. Ela foi desenvolvida para demonstrar algumas funções temporais de banco de dados de tempo de validade. Embora o PTV tenha funções para garantir a integridade de dados temporais na inserção de tuplas, além de outros controles, não apresenta funções de consultas temporais. Essas funções foram desenvolvidas neste trabalho com base no TSQL2, aumentando, portanto, as funcionalidades temporais do PTV. Elas foram desenvolvidas para o SGBD Oracle 9i e consistem da principal proposta desse trabalho, permitindo inclusive validar as funções de consultas temporais de outras propostas da literatura. A segunda proposta desse trabalho é prover aos desenvolvedores e pesquisadores dessa área, uma interface visual apropriada para o uso do PTV, permitindo, assim, a exploração máxima dos recursos temporais desse pacote.

Arquitetura em hardware para co-processamento de tarefas em sistema operacional tempo real

Os sistemas operacionais de tempo real, assim como os sistemas embarcados, estão inseridos no desenvolvimento de projetos de automação industrial segmentado em diversas áreas de pesquisa como, por exemplo, robótica, telecomunicações, e barramentos industriais. As aplicações de sistemas modernos de controle e automação necessitam de alta confiabilidade, velocidade de comunicação, além de, determinismo temporal. Sistemas operacionais de tempo real (SOTR) têm-se apresentado como uma solução confiável quando aplicadas em sistemas que se fundamentam no cumprimento de requisitos temporais. Além disso, o desempenho computacional é totalmente dependente da capacidade operacional da unidade de processamento. Em um sistema monoprocessado, parte da capacidade computacional da unidade de processamento é utilizada em atividades administrativas, como por exemplo, processos de chaveamento e salvamento de contexto. Em decorrência disto, surge a sobrecarga computacional como fator preponderante para o desempenho do sistema. Este trabalho tem por objetivo, analisar e fornecer uma arquitetura alternativa para realizar o co-processamento de tarefas em uma plataforma IBM-PC, aumentando a capacidade computacional do microprocessador principal. No presente trabalho, a plataforma de coprocessamento realiza a execução do algoritmo de escalonamento do sistema operacional, desta forma distribuiu-se o gerenciamento temporal das tarefas entre a plataforma IBM-PC e a unidade de co-processamento.

Análise de vacinas contra o sorotipo 3 do vírus da doença de marek por PCR em tempo real e cultivo celular.

A doença de Marek (MD), causada por um alfaherpesvírus, é uma enfermidade linfoproliferativa que acomete principalmente galinhas. Como não existe tratamento, a melhor forma de prevenção e controle da MD é através do uso de vacinas atenuadas, que vêm sendo usadas desde 1970. Este trabalho descreve a análise de vacinas vivas congeladas contra o sorotipo 3 do vírus da doença de Marek (herpesvírus de peru – HVT) por PCR em tempo real (qPCR) e por cultivo em células de embrião de galinha. Foram avaliadas três vacinas (cepa FC126) provenientes de distintos fabricantes. As análises da homogeneidade inter e intra-lote apresentaram, respectivamente, média ± desvio padrão de 2,6 ± 1,7%, 2,1 ± 1,1% e 1,2 ± 0,1% e média ± desvio padrão de 1,5 ± 0,1%, 1,2 ± 0,8% e 1,0 ± 0,3% para A, B e C, respectivamente. A qPCR subestimou os títulos das vacinas concentradas 4x e superestimou os títulos das vacinas diluídas 8x, enquanto o cultivo celular superestimou os títulos das vacinas concentradas. As vacinas apresentaram quantidades diferentes de células/dose e unidade formadoras de placa/dose. Conseqüentemente, a relação PFU/célula também foi diferente, o que demonstra a necessidade de construção de curvas diferentes, para cada fabricante, para a titulação por qPCR.

Controle em tempo real de robôs através de redes IP

Com o intuito de utilizar uma rede com protocolo IP para a implementação de malhas fechadas de controle, este trabalho propõe-se a realizar um estudo da operação de um sistema de controle dinâmico distribuído, comparando-o com a operação de um sistema de controle local convencional. Em geral, a decisão de projetar uma arquitetura de controle distribuído é feita baseada na simplicidade, na redução dos custos e confiabilidade; portanto, um diferencial bastante importante é a utilização da rede IP. O objetivo de uma rede de controle não é transmitir dados digitais, mas dados analógicos amostrados. Assim, métricas usuais em redes de computadores, como quantidade de dados e taxa de transferências, tornam-se secundárias em uma rede de controle. São propostas técnicas para tratar os pacotes que sofrem atrasos e recuperar o desempenho do sistema de controle através da rede IP. A chave para este método é realizar a estimação do conteúdo dos pacotes que sofrem atrasos com base no modelo dinâmico do sistema, mantendo o sistema com um nível adequado de desempenho. O sistema considerado é o controle de um manipulador antropomórfico com dois braços e uma cabeça de visão estéreo totalizando 18 juntas. Os resultados obtidos mostram que se pode recuperar boa parte do desempenho do sistema.

Visualização interativa e manipulação de imagens 3D em tempo real usando métodos baseados na GPU

Este trabalho apresenta um conjunto de ferramentas que exploram as capacidades recentes das placas gráficas de computadores pessoais para prover a visualização e a interação com volumes de dados. O objetivo é oferecer ao usuário ferramentas que permitam a remoção interativa de partes não relevantes do volume. Assim, o usuário é capaz de selecionar um volume de interesse, o que pode tanto facilitar a compreensão da sua estrutura quanto a sua relação com os volumes circundantes. A técnica de visualização direta de volumes através do mapeamento de texturas é explorada para desenvolver estas ferramentas. O controle programável dos cálculos realizados pelo hardware gráfico para gerar a aparência de cada pixel na tela é usado para resolver a visibilidade de cada ponto do volume em tempo real. As ferramentas propostas permitem a modificação da visibilidade de cada ponto dentro do hardware gráfico, estendendo o benefício da visualização acelerada por hardware. Três ferramentas de interação são propostas: uma ferramenta de recorte planar que permite a seleção de um volume de interesse convexo; uma ferramenta do tipo “borracha”, para eliminar partes não relevantes da imagem; e uma ferramenta do tipo “escavadeira”, para remover camadas do volume Estas ferramentas exploram partes distintas do fluxo de visualização por texturas, onde é possível tomar a decisão sobre a visibilidade de cada ponto do volume. Cada ferramenta vem para resolver uma deficiência da ferramenta anterior. Com o recorte planar, o usuário aproxima grosseiramente o volume de interesse; com a borracha, ele refina o volume selecionado que, finalmente, é terminado com a escavadeira. Para aplicar as ferramentas propostas ao volume visualizado, são usadas técnicas de interação conhecidas, comuns nos sistemas de visualização 2D. Isto permite minimizar os esforços do usuário no treinamento do uso das ferramentas. Finalmente, são ilustradas as aplicações potenciais das ferramentas propostas para o estudo da anatomia do fígado humano. Nestas aplicações foi possível identificar algumas necessidades do usuário na visualização interativa de conjuntos de dados médicos. A partir destas observações, são propostas também novas ferramentas de interação, baseadas em modificações nas ferramentas propostas.

Resistir e criar : os compossíveis para um devir-professor : um estudo sobre os efeitos que a violência opera nos processos de subjetivação dos docentes

Sabe-se que a violência se propaga no mundo como um verdadeiro flagelo social e provoca impactos em todos os campos, sobremaneira, em instituições como a educação. O embate com a violência não é prerrogativa da escola pública brasileira. Entretanto, considero que esta, além de configurar-se como um espaço privilegiado de escolarização para todos, é um dos campos do socius que fica atravessado pela violência como uma contra-força. Em função deste atributo que lhe é peculiar e deste lugar no qual atuo como pedagoga, pergunto sobre como entender os sujeitos do processo educativo. Este estudo, cujo foco são os processos de subjetivação docente a par dos efeitos da violência que se manifesta em ambiente escolar, advém da necessidade de compreender a complexidade do que se passa no interior da escola, mais especificamente com os professores. É fruto também da proposição utópica de corroborar a promoção das formas de superação disto, que se conforma como algo impeditivo das relações entre o ensinar e o aprender e da realização do que de mais importante podem os homens viver: a sua humanização. Diante do desafio de examinar os efeitos que a violência suscita e provoca nos processos de subjetivação dos professores na escola de educação básica, empreendi este trabalho tendo como referência basicamente as obras de Bernard Charlot, Gilles Deleuze e Félix Guattari. Busquei nestes intercessores teóricos, bem como em outros, as ferramentas epistemológicas para compor o estudo e consolidar a aprendizagem da pesquisa nos domínios da Psicologia Social e Institucional Deparei-me com uma matéria tão incorpórea e densa, que comporta os princípios da multiplicidade, da heterogeneidade, da insubordinação, que, para apreendê-la, adotei a cartografia como um recurso do método empírico-especulativo, a fim de desvelar a natureza de um corpo coletivo que concentra a reciprocidade entre sujeitos e objetos, individualidades e organização, forças e fluxos.

Formação continuada : cartas de alforria & controles reguladores

Esta Tese apresenta um estudo sobre o tema da formação continuada de professores. Inspirado principalmente na arqueologia e na genealogia de Michel Foucault, utilizo o conceito alforria —enfatizando o duplo movimento articulado que esse conceito encerra, enquanto uma liberdade que é dada, de romper grilhões e de arremeter o alforriado à situação de permanecer girando em órbita, sob controle— como uma ferramenta para questionar, pensar e problematizar a emergência da formação continuada de professores no Brasil. O estudo desenvolve-se, basicamente, em três grandes movimentos. O primeiro, compreende uma leitura mais ou menos sistemática da obra de Foucault, que me permitiu propor e desenvolver uma investigação inspirada no pensamento pós-estruturalista. Essa inspiração reflete-se, principalmente, na abordagem genealógica do tema, na escolha das ferramentas teóricas e no modo peculiar de analisar os discursos. O segundo movimento compreende uma caracterização genérica da “passagem” da sociedade de disciplinas para a sociedade de normalização. Descrevo algumas transformações ocorridas nos modos de perceber, significar e usar o espaço e o tempo e, também nas relações de poder. Faço essa descrição relacionando essas transformações com a Escola inserida na Modernidade. Com essa caracterização, em que a alforria desenha-se em cada um desses conjuntos de transformações, teço uma espécie de pano de fundo sobre o qual é possível tomar a formação continuada enquanto um imperativo, enquanto uma ordem para que haja uma continuidade, em consonância com as transformações espaciotemporais e políticas. Estabelecendo uma ponte com o próximo movimento apresento alguns aspectos das sociedades de soberania, de disciplinas e de normalização, ressaltando os interstícios em que emerge a formação de professores e em que se inicia a formação das condições políticas que tornaram possível a formação continuada de professores. E, no terceiro movimento, problematizo especialmente a emergência da formação continuada de professores no Brasil. Em primeiro lugar, abordo a emergência da formação de professores, na França do século XVII/XVIII e sua chegada ao Brasil, no século XIX. Em segundo lugar, a partir de enunciados garimpados na Revista Brasileira de Estudos Pedagógicos (RBEP), editada pelo Instituto Nacional de Estudos Pedagógicos (INEP), do Ministério da Educação e Cultura (MEC), descrevo algumas problematizações espaciotemporais da educação escolar e da formação de professores, que se desenvolveram na primeira metade do século XX, pelo funcionamento de alguns discursos constitutivos da política educacional brasileira. Ao descrever esses enunciados, implicados na crise moderna da Escola e envolvidos em relações de poder, eu argumento que eles contribuíram para compor as condições políticas para a emergência da formação continuada no Brasil. E, por último, questiono essa emergência na virada da Modernidade para a Contemporaneidade, apresentando e discutindo alguns dos seus aspectos. Em suma: este trabalho apresenta a Tese de que a emergência da formação continuada de professores no Brasil produziu-se no interstício que se formou na virada do modo de vida moderno para o modo de vida contemporâneo, na ordem da biopolítica e nos moldes da alforria.

Filogenia molecular, taxas evolutivas, tempo de divergência e herança organelar em Passiflora L. (Passifloraceae)

Passiflora é um gênero neotropical que apresenta uma grande variabilidade floral e foliar, o que dificulta enormemente sua classificação taxonômica. A característica mais marcante do gênero é a corona de filamentos em suas flores. Para melhor entender a taxonomia de Passiflora, foram analisadas sete regiões de seu DNA, englobando os genomas plastidial, mitocondrial e nuclear de 104 espécies. Essas espécies incluem 19 dos 23 subgêneros da classificação morfológica antiga e todos os quatro subgêneros da classificação mais recente, também baseada em caracteres externos. Os resultados corroboraram a proposta mais recente, que divide o gênero em quatro subgêneros (Astrophea, Decaloba, Deidamioides e Passiflora), com a adição de mais um, Tryphostemmatoides. Os três subgêneros com o número de espécies mais representativo (Astrophea, Decaloba e Passiflora) formam grupos monofiléticos estatisticamente bem fundamentados. No entanto, Deidamioides não é monofilético em todas as análises e marcadores, enquanto que Tryphostemmatoides é representado por apenas uma espécie. Foram também estudadas as prováveis datas de surgimento de Passiflora e sua diversificação nos três principais subgêneros, através do estudo de quatro regiões do DNA, englobando também os três genomas, em 70 espécies. Verificou-se que o gênero Passiflora deve ter aparecido há cerca de 42 milhões de anos atrás (Ma); Decaloba parece ter sido o primeiro subgênero a se estabelecer (35 Ma), enquanto que os subgêneros Astrophea e Passiflora devem ter se diversificado há 24 Ma Estes dois subgêneros parecem ter tido uma radiação rápida em comparação a Decaloba, que possui árvores filogenéticas com comprimentos dos ramos significativamente maiores que os outros dois. As adaptações morfológicas a diferentes polinizadores devem ter sido as principais responsáveis pela radiação rápida. A herança organelar de dois subgêneros, Decaloba e Passiflora, foi investigada através de um e quatro híbridos interespecíficos, respectivamente. A herança foi estritamente materna para a mitocôndria e o cloroplasto em Decaloba, enquanto que no subgênero Passiflora ocorreu herança materna para o DNA mitocondrial e paterna para o DNA plastidial. Esses resultados reforçam os dados obtidos pela filogenia, no que se refere à diferenciação e diversificação dos subgêneros, pois há evidências de que a herança materna dos cloroplastos seja ancestral em plantas.

PTV - Pacote de Tempo de Validade para o SGBD Oracle

Embora há muito tempo já se tenha conhecimento da importância da recuperação de informações temporais, não existe um SGBD temporal que tenha sido desenvolvido unicamente para aplicações comerciais, que supra todas as necessidades e abranja todos os aspectos temporais necessários a estas aplicações. O SGBD da Oracle, a partir da versão 8i, possibilita a inserção de características temporais similares às de tempo de transação no BD, através de um pacote de tempo denominado Time Series Cartridge. Entretanto, em muitos casos, a utilização deste cartucho de tempo não é suficiente para que se possa implementar por completo tudo o que foi especificado na modelagem do sistema. A modelagem completa da realidade só é alcançada se forem utilizadas em conjunto as características de tempo de transação e de tempo de validade no banco de dados. Neste trabalho são sugeridos e implementados mecanismos para a inserção e o gerenciamento do tempo de validade no SGBD Oracle. O tempo de validade é administrado através da execução de funções, procedimentos, gatilhos e objetos, organizados em forma de um pacote, de maneira que este possa ser utilizado em conjunto com o Time Series Cartridge.

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.