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.

CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias

Teoria das Categorias é uma ramificação da Matemática Pura com campo científico aparentemente distinto daquele que é objeto de estudo e pesquisa para a Ciência da Computação. Entretanto, algumas características dessa teoria matemática demonstram sua utilidade na pesquisa computacional. Dentre essas características podemos citar independência de implementação, dualidade, herança de resultados, possibilidade de comparação da expressividade de formalismos, notação gráfica e, sobretudo, expressividade das construções categoriais. Sua expressividade é explicitamente destacada pelo MEC nas Diretrizes Curriculares de Cursos da Área de Computação e Informática, onde afirma-se que “Teoria das Categorias possui construções cujo poder de expressão não possui, em geral, paralelo em outras teorias”. Entretanto, Teoria das Categorias tem encontrado obstáculos para ser efetivamente aplicada na Ciência da Computação. A baixa oferta de bibliografia - predominantemente de língua inglesa - e a falta de uniformidade na exposição do que sejam os tópicos introdutórios convergem e potencializam outro grande empecilho à sua propagação: a baixa oferta de cursos com enfoque em Teoria das Categorias. A fim de transpor essas dificuldades, Fábio Victor Pfeiff desenvolveu o CaTLeT, um aplicativo de interface visual que tinha como objetivo facilitar o acesso aos conceitos introdutórios de Teoria das Categorias Com inspiração fortemente educacional, CaTLeT somente é capaz de representar objetos e morfismos atômicos, o que o limita a servir somente aos conceitos iniciais. Em 2003, o CaTLeT foi ampliado e os objetos e morfismos, antes atômicos, passaram a representar conjuntos e relações, respectivamente. Este projeto consiste em uma ampliação tanto do CaTLeT quanto dos objetivos que justificaram sua criação. Esta dissertação trata de um projeto de simulador categorial e de sua respectiva implementação as quais visam fornecer suporte computacional a fim de facilitar o acesso a conceitos intermediários de Teoria das Categorias e servir como suporte à pesquisa na área. A construção desse simulador possui três critérios de avaliação como parâmetro: boa acessibilidade, alta relevância das estruturas implementadas e alta cobertura. A nova ferramenta - denominada CaTReS - deve manter a acessibilidade a usuários leigos que sua predecessora possui e ampliar significativamente as estruturas suportadas, além de incluir tratamento à conceitos funtoriais. Dessa maneira, este projeto vem para auxiliar na superação dos obstáculos anteriormente mencionados.

A pesquisa no processo de formação de professores : intenções e experiências docentes e discentes e as limitações deste exercício : um olhar sob duas realidades educacionais

A dissertação tem como objetivo investigar como os discentes e docentes concebem e vivenciam o ensino com pesquisa no processo de formação de professores, quais as intenções, limitações e suas práticas. Construir o conhecimento tecido nas complexas redes contextuais de significações pressupõe assumir o processo pedagógico com objetivos e estratégias pedagógicas diferenciadas; a sala de aula passa a ser palco de discussões, de argumentações e de pesquisa.. Os processos metodológicos ganham significação, pois remetem ao fazer diário, pessoal com os alunos e, neste contexto encontra-se um desafio a ser assumido como mote norteador da ação educativa: a pesquisa. Assim, esta necessita ser assumida como atitude cotidiana, onde o questionamento reconstrutivo ganha espaço em sala de aula. Este estudo fundamenta-se em Demo, Cunha, Lüdke, Krahe, Schön, Kincheloe e Tardif. Utiliza o método de análise de conteúdo, de cunho exploratório-descritivo e de caráter qualitativo. As realidades enfocadas são duas Universidades da Grande Porto Alegre, uma privada e outra pública. Apresenta três fases metodológicas : identificação, pelos alunos, daqueles professores que, em sua prática cotidiana, utilizam a pesquisa no ensino superior e que modalidade é utilizada; escuta através de entrevistas os docentes identificados pelos alunos como professores que utilizam o ensino com pesquisa no processo de formação de professores, buscando saber as suas concepções e propostas pedagógicas e, como última etapa, um questionário, junto aos alunos das turmas sugeridas pelos professores entrevistados, objetivando verificar as suas concepções e apreciações frente a estas iniciativas docentes Os discentes e docentes entrevistados concebem a pesquisa como fio articulador na construção do conhecimento com um papel político-social de extrema relevância e registram suas práticas com pesquisa através de projetos de trabalho. As limitações apontadas são: a precariedade na formação docente e discente e a inadequação na organização curricular das universidades. A partir deste estudo é possível afirmar que a pesquisa envolve a inserção na literatura e na realidade pesquisada, buscando uma articulação entre teoria e prática, constituindo-se como uma unidade indissociável. O diálogo investigativo se constitui como principal abordagem metodológica, ou seja, ambos, professores e alunos se lançam na busca de novos e significativos conhecimentos. Os caminhos serão construídos na vivência. Demonstrou que as práticas pedagógicas de ensino com pesquisa estão diretamente ligadas às concepções de pesquisa dos docentes e que as instituições de ensino superior devem implementar espaços onde as experiências em pesquisa possam ser partilhadas com a comunidade acadêmica mais ampla e ter um olhar especial para a organização curricular nos cursos de formação de professores para que a pesquisa possa se constituir em uma prática institucional e não, prática de poucos docentes para uma minoria discente privilegiada.

Comunidade científica via internet (CCI) : uma análise sobre o uso de novas tecnologias digitais na pesquisa científica do Brasil (um estudo de caso com o grupo PROCAD)

Esta dissertação reflete o uso de tecnologias digitais em comunicação, na área da pesquisa científica brasileira, considerando a influência dessas novas tecnologias na sociabilidade dos grupos de pesquisa. Investiga as implicações de um modelo de comunicação e sociabilidade, através da Rede, apresentando o termo Comunidade Científica via Internet (CCI), os conceitos de sociabilidade, comunidade, ciência e espaços virtuais e como forma de interação em Rede. Baseia-se em uma metodologia de análise e verificação de variáveis realizada com grupos de pesquisa, vinculados ao Programa Nacional de Cooperação Acadêmica (PROCAD), tratando-se, no entanto, de uma pesquisa de cunho qualitativo, onde apresenta dados provindos de instrumentos de pesquisa, como questionário e entrevista, bem como de pesquisa bibliográfica, com intuito de analisar a existência e de uma comunidade nesse grupo, além de suas perspectivas em relação à comunicação, à interação e à sociabilidade em espaços virtuais.

Pesquisa de criptococose em cães atendidos no Hospital de clínicas veterinarias da UFRGS, Porto Alegre, Brasil

Criptococose é uma levedurose que acomete o homem e vários animais, podendo ocorrer em indivíduos imunocompetentes, mas freqüentemente está associada a um estado de comprometimento imunológico. Atualmente a etiologia desta micose é atribuída a três espécies: Cryptococcus neoformans, C. grubii (isolados no solo rico em fezes de pombos), e C. gattii (isolado nos eucaliptos). A via mais freqüente de contaminação é a inalatória, com posterior colonização do trato respiratório superior, podendo atingir aos alvéolos e desenvolver a sintomatologia respiratória, ou ocorrer disseminação hematógena com possível comprometimento do Sistema Nervoso Central. É notável o aumento na procura de animais de companhia nos grandes centros urbanos e, também, se verifica uma significativa população de pombos nas cidades, alojados em igrejas, prédios, parques e praças. A exposição dos cães a locais possivelmente contaminados e a saúde destes animais constituise uma preocupação e, visto que existem relatos na literatura, ainda que poucos, sobre a criptococose em cães, realizamos uma pesquisa sobre a presença da levedura nesta espécie. Este trabalho teve como objetivo verificar a ocorrência do Cryptococcus em cães com sintomatologia respiratória e/ou neurológica, atendidos no Hospital de Clínicas Veterinárias da Universidade Federal do Rio Grande do Sul (UFRGS), localizado na cidade de Porto Alegre, Brasil. A amostragem foi composta por 112 cães. Realizou-se o exame direto, com nigrosina, do líquido cefalorraquidiano (n=17); o cultivo da secreção nasal (112), do sangue total (112) e do líquido cefalorraquidiano (n=17) em ágar níger (Guizotia abissynica), com incubação a 370C durante dez dias; e o teste de aglutinação em látex, utilizando-se o teste Crypto-LA (Wampole), com o soro (n=112) e o líquido cefalorraquidiano (n=17) Para o teste de aglutinação em látex foi realizado, também, tratamento com Pronase em 32 (28,57%) amostras de soro e 4 (23,52%) amostras de líquido cefalorraquidiano. Os resultados do exame direto, do cultivo e do teste de aglutinação em látex foram negativos para o Cryptococcus em todas as amostras testadas. Não se excluiu a possibilidade de ter ocorrido resultados falsos negativos, por não ter sido realizado um lavado nasal para coleta de material para cultivo e, também, porque o Cryptococcus poderia estar presente em pequenas quantidades no organismo e/ou ser pouco capsulado e, portanto, não sendo detectado através do teste de aglutinação em látex. Apesar dos resultados desta amostragem, é plausível a suposição que deva existir a ocorrência da infecção pelo Cryptococcus, embora haja a falta de uma suspeita clínica desta enfermidade, posto que, na região de abrangência do estudo existe uma população canina constantemente exposta ao risco por coabitarem com uma grande população de pombos.