Professor de matemática : transmissão de conhecimento ou construção de significados?

Esta tese expõe minhas reflexões sobre a prática docente de matemática em classes de ensino fundamental. Tem como referencial básico a teoria da abstração reflexionante, como proposta por Jean Piaget, complementada por reflexões sobre a formação do juízo moral e sobre conseqüências pedagógicas pensadas a partir da Epistemologia Genética. Para a coleta de dados foram entrevistados professores, matriculados no Curso de Especialização em Educação Matemática da Faculdade de Educação da Universidade Católica de Pelotas. As entrevistas, desenvolvidas segundo o método clínico piagetiano, buscaram elucidar como se desenvolve o trabalho do professor com o ensino de matemática, enfocando suas concepções de matemática, assim como sua compreensão do processo de ensinar e de aprender. Para o professor, a matemática pode ser descrita como uma ferramenta que descreve quantitativamente idéias a respeito do mundo; ou como um sistema independente, abstrato, fixo, lógico e livre de contradições ou ainda como uma disciplina rígida, cheia de definições, teoremas e procedimentos de caráter absoluto. Em todos os casos cabe ao professor transmitir informações e conduzir os alunos em direção a objetivos pré-definidos, além de exercer a autoridade e o controle disciplinar da turma, permanecendo a aprendizagem como uma decorrência direta do ato de ensinar exercido pelo professor. Considerando minha história de vida como professor, a análise do processo evolutivo do pensamento matemático, as falas dos professores entrevistados e os posicionamentos teóricos colhidos na epistemologia genética proponho, ao final, um conjunto de ações que entendo serem indispensáveis para o desenvolvimento de práticas de ensino e aprendizagem de matemática que assegurem a condição de sujeito de seu fazer tanto ao professor quanto ao aluno.

Aquisição e otimização de mapas de navegação usando redes neurais

A capacidade de encontrar e aprender as melhores trajetórias que levam a um determinado objetivo proposto num ambiente e uma característica comum a maioria dos organismos que se movimentam. Dentre outras, essa e uma das capacidades que têm sido bastante estudadas nas ultimas décadas. Uma consequência direta deste estudo e a sua aplicação em sistemas artificiais capazes de se movimentar de maneira inteligente nos mais variados tipos de ambientes. Neste trabalho, realizamos uma abordagem múltipla do problema, onde procuramos estabelecer nexos entre modelos fisiológicos, baseados no conhecimento biológico disponível, e modelos de âmbito mais prático, como aqueles existentes na área da ciência da computação, mais especificamente da robótica. Os modelos estudados foram o aprendizado biológico baseado em células de posição e o método das funções potencias para planejamento de trajetórias. O objetivo nosso era unificar as duas idéias num formalismo de redes neurais. O processo de aprendizado de trajetórias pode ser simplificado e equacionado em um modelo matemático que pode ser utilizado no projeto de sistemas de navegação autônomos. Analisando o modelo de Blum e Abbott para navegação com células de posição, mostramos que o problema pode ser formulado como uma problema de aprendizado não-supervisionado onde a estatística de movimentação no meio passa ser o ingrediente principal. Demonstramos também que a probabilidade de ocupação de um determinado ponto no ambiente pode ser visto como um potencial que tem a propriedade de não apresentar mínimos locais, o que o torna equivalente ao potencial usado em técnicas de robótica como a das funções potencias. Formas de otimização do aprendizado no contexto deste modelo foram investigadas. No âmbito do armazenamento de múltiplos mapas de navegação, mostramos que e possível projetar uma rede neural capaz de armazenar e recuperar mapas navegacionais para diferentes ambientes usando o fato que um mapa de navegação pode ser descrito como o gradiente de uma função harmônica. A grande vantagem desta abordagem e que, apesar do baixo número de sinapses, o desempenho da rede e muito bom. Finalmente, estudamos a forma de um potencial que minimiza o tempo necessário para alcançar um objetivo proposto no ambiente. Para isso propomos o problema de navegação de um robô como sendo uma partícula difundindo em uma superfície potencial com um único ponto de mínimo. O nível de erro deste sistema pode ser modelado como uma temperatura. Os resultados mostram que superfície potencial tem uma estrutura ramificada.

Elaboração de índice ambiental urbano através da análise de densidade populacional e superfície impermeável em bacias hidrográficas

O planejamento urbano possui um vasto campo a ser descoberto no que se refere às exigências mundiais ambientais existentes atualmente. Não apenas existem novas diretrizes a serem alcançadas, mas as cidades estão em constante evolução e, assim, a complexidade das mesmas também se torna um desafio. A partir dessas questões, o presente trabalho vem contribuir na elaboração de uma metodologia que facilite a construção de indicadores urbanos, principalmente naqueles que possam avaliar os limites do crescimento das cidades, representados aqui através da integração entre impermeabilização do solo urbano e densidade populacional. A escolha de indicadores é função de cada pesquisador que possui conhecimento sobre os problemas, ambientais ou não, existentes nas cidades. Qualquer cidade, de qualquer porte, em qualquer lugar do planeta pode estar apresentando um problema ambiental relacionado às funções urbanas. Muitos podem ser os indicadores ambientais urbanos, mas nesta pesquisa são relacionados dois tipos de indicadores: a densidade populacional e as superfícies impermeáveis urbanas, pois acredita-se que com o crescente aumento de construções urbanas, um descompasso é causado na capacidade de absorção do solo durante períodos de chuva. A impermeabilização do solo gera problemas de enchentes que, muitas vezes, causa inúmeros impedimentos como alagamentos de vias ou nas próprias construções urbanas que afetam a população, causando inclusive mortalidade no caso de pessoas e carros arrastadas pela forte corrente das águas Uma metodologia simples pode facilitar o trabalho de planejamento de cidades como a utilização de procedimentos normalmente aplicados em estudos de recursos hídricos com o acréscimo de indicadores que também refletem as condições urbanas de bacias hidrográficas. As ferramentas utilizadas por esta pesquisa são: a) programas computacionais de geoprocessamento que agilizam e possibilitam a interconexão de diferentes informações urbanas localizadas no espaço; b) programas de sensoriamento remoto que atualizam informações cadastrais sobre a cidade utilizando imagens de satélite compatíveis; e, finalmente, c) modelos geoestatísticos que estimam valores próximos à realidade para toda a superfície urbana estudada, pois, muitas vezes, os dados disponíveis não cobrem toda a extensão da área em estudo Os resultados fornecidos através desses procedimentos metodológicos se mostraram satisfatórios no que se refere a análise da transformação das condições naturais de drenagem da bacia hidrográfica estudada. Foram percebidas alterações que prejudicam o desempenho de drenagem urbana em locais onde a própria topografia da região, juntamente com os dados de impermeabilização do solo e de densidade populacional contribuem para situações de alagamentos. Com essas informações é possível prever esses locais problemáticos e, então, melhorar as propostas de planejamento urbano dessas regiões. Considera-se que a pesquisa estimula a utilização de bacias hidrográficas como unidades de planejamento ambiental em cidades, pois é através delas que se pôde compreender os efeitos dos adensamentos urbanos como as enchentes urbanas que são atualmente um grande problema enfrentado nas cidades brasileiras.

A criação de conhecimento em equipes virtuais : um estudo de caso em empresa do setor de alta tecnologia

O presente trabalho aborda a questão da criação do conhecimento em equipes virtuais, através de um estudo de caso de caráter descritivo-exploratório realizado em uma empresa do setor de alta tecnologia. Os dados foram coletados por meio de entrevistas presenciais e por e-mail, de mensagens trocadas por e-mail entre os participantes e de observação direta. A análise dos dados remete a duas etapas. A primeira compara a teoria acessada a respeito de equipes virtuais com a prática observada na empresa pesquisada. Além disso, analisa a percepção dos funcionários dessa equipe em relação ao compartilhamento de conhecimento entre eles. A segunda verifica as relações que se estabelecem entre o processo de criação de conhecimento na equipe virtual e o modelo teórico de Nonaka e Takeuchi (1997) adotado neste trabalho. Os resultados apontam para um processo de criação de conhecimento que se dá através de características semelhantes às verificadas em equipes tradicionais de trabalho, porém diversas das do modelo teórico de Nonaka e Takeuchi (1997). Orientam também para uma adequação entre a teoria e a prática quanto à questão de equipes virtuais e para o compartilhamento do conhecimento entre os participantes da equipe.

Avaliação da preferência de cadeiras para diferentes tipos de trabalhos de escritório

Esta dissertação apresenta um estudo da satisfação com os critérios conforto, segurança, adaptabilidade, praticidade, adequação e aparência e da percepção de desconforto/dor de usuários de cadeiras de escritório. A partir dos resultados de quatro estudos de caso, dos quais participaram trinta e um voluntários que testaram vinte e nove cadeiras durante um dia de trabalho, buscou-se confirmar a hipótese que a satisfação com as cadeiras depende das características do trabalho realizado. Para este fim, determinaram-se os experimentos para trabalho estático, médio e dinâmico. A análise dos resultados, com base em suporte estatístico, mostrou que cadeiras com assento e encosto independentes, apoio para braços em forma “T”, com altura regulável e menor distância entre os braços são melhores para trabalho estático e que cadeiras em concha única, com apoio para braços em forma diferente de “T”, com altura fixa e maior distância entre os braços são melhores para trabalho dinâmico.

Distribuição dos tipos clínico-patologicos dos melanomas cutâneos e taxa de mortalidade na região de Passo Fundo, RS

Resumo não disponível.

A criação do conhecimento na relação universidade-empresa : estudo do caso de desenvolvimento de um software de configuração para um equipamento de rede

Esta dissertação de mestrado investigou o processo de criação do conhecimento organizacional em uma relação Universidade-Empresa. Para isto, foi estudado o caso do desenvolvimento de um novo produto por uma empresa de informática em parceria com uma universidade. Para apresentar como ocorreu o processo de criação do conhecimento organizacional no caso estudado, foram verificadas a natureza e a forma de implementação das condições que capacitam as fases da criação do conhecimento organizacional, e a forma de ocorrência destas fases. Na pesquisa de campo deste estudo utilizou-se um instrumental especialmente criado para a investigação da criação do conhecimento organizacional em projetos de pesquisa e desenvolvimento (P&D). Ao atingir os seus objetivos, este estudo de caso apresenta como pode ser criado um ambiente favorável à relação universidade-empresa quando esta relação tem como finalidade a P&D de um novo produto.

Integração de dados em ambiente SIG para mapeamento de favorabilidade mineral de ouro na ilha cristalina de Rivera (Uruguai)

Guias para exploração mineral são normalmente baseados em modelos conceituais de depósitos. Esses guias são, normalmente, baseados na experiência dos geólogos, em dados descritivos e em dados genéticos. Modelamentos numéricos, probabilísticos e não probabilísticos, para estimar a ocorrência de depósitos minerais é um novo procedimento que vem a cada dia aumentando sua utilização e aceitação pela comunidade geológica. Essa tese utiliza recentes metodologias para a geração de mapas de favorablidade mineral. A denominada Ilha Cristalina de Rivera, uma janela erosional da Bacia do Paraná, situada na porção norte do Uruguai, foi escolhida como estudo de caso para a aplicação das metodologias. A construção dos mapas de favorabilidade mineral foi feita com base nos seguintes tipos de dados, informações e resultados de prospecção: 1) imagens orbitais; 2) prospecção geoquimica; 3) prospecção aerogeofísica; 4) mapeamento geo-estrutural e 5) altimetria. Essas informacões foram selecionadas e processadas com base em um modelo de depósito mineral (modelo conceitual), desenvolvido com base na Mina de Ouro San Gregorio. O modelo conceitual (modelo San Gregorio), incluiu características descritivas e genéticas da Mina San Gregorio, a qual abrange os elementos característicos significativos das demais ocorrências minerais conhecidas na Ilha Cristalina de Rivera. A geração dos mapas de favorabilidade mineral envolveu a construção de um banco de dados, o processamento dos dados, e a integração dos dados. As etapas de construção e processamento dos dados, compreenderam a coleta, a seleção e o tratamento dos dados de maneira a constituírem os denominados Planos de Informação. Esses Planos de Informação foram gerados e processados organizadamente em agrupamentos, de modo a constituírem os Fatores de Integração para o mapeamento de favorabilidade mineral na Ilha Cristalina de Rivera. Os dados foram integrados por meio da utilização de duas diferentes metodologias: 1) Pesos de Evidência (dirigida pelos dados) e 2) Lógica Difusa (dirigida pelo conhecimento). Os mapas de favorabilidade mineral resultantes da implementação das duas metodologias de integração foram primeiramente analisados e interpretados de maneira individual. Após foi feita uma análise comparativa entre os resultados. As duas metodologias xxiv obtiveram sucesso em identificar, como áreas de alta favorabilidade, as áreas mineralizadas conhecidas, além de outras áreas ainda não trabalhadas. Os mapas de favorabilidade mineral resultantes das duas metodologias mostraram-se coincidentes em relação as áreas de mais alta favorabilidade. A metodologia Pesos de Evidência apresentou o mapa de favorabilidade mineral mais conservador em termos de extensão areal, porém mais otimista em termos de valores de favorabilidade em comparação aos mapas de favorabilidade mineral resultantes da implementação da metodologia Lógica Difusa. Novos alvos para exploração mineral foram identificados e deverão ser objeto de investigação em detalhe.

Avaliação do Projeto BBC Uni junto ao público universitário brasileiro em termos de percepção e conhecimento de marca

O presente trabalho apresenta os resultados de uma pesquisa realizada no mês de setembro 2003, no estado do Rio Grande do Sul, região da grande Porto Alegre (Canoas e São Leopoldo), entre estudantes universitários do Curso de Comunicação Social, participantes e não participantes de um evento promovido pela BBC, durante os meses de fevereiro e março, em oito capitais brasileiras. Tal pesquisa, de caráter quantitativo, teve como principal intuito avaliar os resultados do projeto BBC Uni, em termos de conhecimento e imagem de marca da empresa BBC. Entre os objetivos específicos do trabalho estão: investigar a avaliação geral do evento realizado pelo projeto BBC Uni junto ao público-alvo deste e avaliar se a série de eventos realizados no projeto BBC Uni incrementou o número de acessos ao site BBC Brasil. Como principais conclusões obtidas a partir do trabalho tem-se que o BBC Uni, de forma geral, gerou um maior conhecimento sobre a empresa e aumentou as experiências e percepções positivas do público universitário a respeito da marca. Verifica-se também, que o evento incrementou o número de acessos à página da Internet e a relação da empresa com este público.

Dinâmica vegetacional e tipos funcionais em áreas excluídas e pastejadas sob diferentes condições iniciais de adubação

O entendimento da dinâmica vegetacional facilitará a tomada de decisão quanto ao tipo de manejo ou prática de melhoramento a ser adotada numa pastagem natural. Para descrição da vegetação são utilizadas espécies ou tipos funcionais. O uso de tipos funcionais promove melhor discernimento de padrões e processos que ocorrem no ecossistema. Este trabalho foi desenvolvido no Centro de Pesquisa de Forrageiras, da FEPAGRO, em São Gabriel, RS, numa área de pastagem natural, de janeiro de 1998 a dezembro de 2000, com os objetivos de estudar a dinâmica da vegetação e definir tipos funcionais para os ambientes avaliados. O delineamento experimental utilizado foi um fatorial completamente casualizado em parcela subdividida, com três repetições. Os tratamentos pastejo e exclusão foram alocados nas parcelas principais e os níveis de adubação ( com ou sem NPK) nas subparcelas. O pastejo foi realizado por bovinos, equinos e ovinos a partir de janeiro de 1998 e a adubação, anualmente, de fevereiro de 1994 a fevereiro de 1996. A exclusão iniciou em dezembro de 1996. Independente das condições iniciais, as trajetórias das áreas pastejadas, com ou sem adubação, foram convergentes, apresentando comunidades vegetais semelhantes. Nas áreas excluídas adubadas houve divergência, podendo estar relacionada à escala espacial utilizada. As espécies com maior cobertura nas áreas pastejadas são Paspalum notatum, Chevreulia acuminata, Hypoxis decumbens e Eryngium nudicaule e nas áreas excluídas do pastejo Paspalum plicatulum, Melica eremophila, Orthopappus angustifolius, Eryngium horridum e Coelorachis selloana. O pastejo é o fator determinante do tipo de comunidade vegetal resultante. Altura da planta, consistência e superfície ventral da lâmina foliar são atributos que melhor caracterizam os ambientes pastejados e excluídos.

Efeito da idade, sexo, altura do cupim e tipos de carcaça sobre características quantitativas e qualitativas da carcaça e da carne bovina

O objetivo deste trabalho foi avaliar a influência da idade, sexo, altura de cupim e tipificação de carcaças sobre as características quantitativas e qualitativas da carcaça e da carne bovina. Foram avaliados os pesos de carcaça quente, peso do quarto traseiro resfriado, área de olho de lombo, espessura de gordura de cobertura e grau de acabamento de 36 bovinos machos castrados de diferentes idades, avaliadas pela cronologia dentária, e 10 fêmeas adultas, escolhidos ao acaso na linha de matança de matadouro-frigorífico comercial. As carcaças foram tipificadas conforme o sistema Brasil. A qualidade da carne foi avaliada no músculo Longissimus dorsi quanto à marmorização, teor de gordura intramuscular, força de cisalhamento no primeiro, quinto e décimo dia de maturação, cor e capacidade de retenção de água. A marmorização e o teor de gordura intramuscular foram superiores em animais de oito dentes (P<0,05). Bovinos de oito dentes produziram contrafilé mais macio (4,99 Kg/cm2) do que novilhos de quatro e seis dentes (6,36 Kg/cm2) e dois e três dentes (6,06 Kg/cm2). As fêmeas apresentaram menor peso de carcaça e de quarto traseiro e menor área de olho de lombo. O grau de acabamento, grau de marmorirzação e teor de gordura intramuscular foram superiores nos machos (P<0,05). As fêmeas produziram contrafilé mais duro (7,10 Kg/cm2) que os machos da mesma categoria (4,99 Kg/cm2). A tipificação de carcaças não informou sobre o desenvolvimento das massas musculares, grau de marmorização e maciez.

Estudo sobre a eficácia da aerostasia pulmonar, em modelo animal, utilizando diferentes tipos de sutura

Resumo não disponível.

Sistema de gerência de energia para redes locais

Este trabalho apresenta a proposta e a implementação de um sistema de gerência de energia para redes locais de computadores (Local Area Networks ou LANs). Desde sua introdução, no início dos anos 90, os mecanismos de gerência de energia para computadores têm contribuído de maneira significativa para a redução do consumo nos períodos de inatividade, mas podem ter seu efeito minimizado por uma série de fatores, dentre os quais destaca-se a conexão do equipamento a uma rede. Em linhas gerais, o objetivo do sistema proposto é, justamente, facilitar a gerência de energia em ambientes de rede. O funcionamento do sistema é baseado na aplicação de políticas de consumo definidas pelo administrador da rede. As políticas podem ser aplicadas em duas situações distintas: em horários pré-determinados (p. ex. depois do horário comercial), quando podem ajudar a reduzir o desperdício de energia, ou em resposta a alterações no fornecimento de energia, caso a rede seja protegida por no-breaks, quando a redução no consumo resulta em maior tempo de autonomia da fonte reserva (banco de baterias). As políticas são configuradas através de um mecanismo flexível, que permite não apenas desligar os equipamentos, mas colocá-los em estados intermediários de consumo e executar outros tipos de ações. A arquitetura do sistema é baseada no modelo SNMP (Simple Network Management Protocol) de gerência de redes. É composta, basicamente, de agentes, elementos de software que residem nos equipamentos da rede e detêm o conhecimento específico sobre suas características de consumo de eletricidade, e de um gerente, elemento central que contém a configuração das políticas de consumo e que é responsável pelo monitoramento e controle dos agentes. Gerente e agentes comunicam-se através do protocolo SNMP, trocando informações segundo uma base de informações (MIB) projetada especificamente para a gerência de energia. A ênfase da parte prática do trabalho está no gerente, que foi inteiramente implementado através da linguagem Java, utilizando bibliotecas disponíveis gratuitamente. Adicionalmente, foi implementado um agente-protótipo para a plataforma Windows, o que permitiu observar o sistema completo em execução. Os testes permitiram validar a praticabilidade da arquitetura e estimar o ganho potencial proporcionado pela utilização do sistema. São apresentadas medições que demonstram um aumento de até 6 vezes na autonomia do banco de baterias do no-break para uma configuração de rede pequena, utilizando o sistema para desligar automaticamente 90% dos computadores durante um corte no fornecimento externo. A economia decorrente da redução de consumo em horários de inatividade foi estimada em até R$0,63 por computador no período de um ano (tomando por base a tarifa média praticada no Brasil entre janeiro e maio de 2002).

Um Modelo formal e executável de agentes BDI

Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.