LABSQL: laboratório de ensino de SQL

Este trabalho apresenta uma nova abordagem para avaliação automática de consultas SQL. Essa abordagem propõe uma solução para o desafio de estimular o aprendiz a aperfeiçoar a sua solução: buscando, além de uma resposta que retorna o resultado correto, uma consulta com complexidade próxima da solução ótima. Essa proposta pode ser utilizada em ambientes de educação a distancia ou na educação presencial em atividades de laboratório, incluindo as avaliações. A solução proposta tem como vantagens: (1) o aprendiz recebe um feedback instantâneo durante a atividade prática de programação, o qual permite ao aprendiz refatorar a sua solução em direção a uma solução ótima; (2) completa integração entre o ensino de conceitos de programação com exemplo de fragmentos de programas executáveis on-line; (3) monitoramento das atividades do aprendiz (quantos exemplos foram executados; em cada exercício quantas tentativas de execução foram feitas, etc). Este trabalho é um primeiro passo na direção de construção de um ambiente totalmente assistido (por exemplo com avaliação automática) para ensino da linguagem de programação SQL, onde o professor é liberado do árduo trabalho de correção de comandos SQL podendo realizar tarefas pedagógicas mais relevantes. O método, fundamentado em estatística e métricas da Engenharia de Software, pode ser adaptado para outras linguagens tais como Java e Pascal. Além disso, o LabSQL serve com um laboratório para experimentação de duas novas técnicas, uma de avaliação e outra de acompanhamento, que estão sendo pesquisadas em trabalhos em paralelos: (a) avaliação automática de questões conceituais discursivas, além de permitir as tradicionais perguntas objetivas, (b) método de acompanhamento através de montagem de uma rubrica de avaliação.

Desenvolvimento de Interface gráfica como suporte para soluções numéricas das equações de Maxwell em coordenadas gerais – 3D

Neste trabalho, é implementada uma interface gráfica de usuários (GUI) usando a ferramenta Qt da Nokia (versão 3.0). A interface visa simplificar a criação de cenários para a realização de simulações paralelas usando a técnica numérica Local Nonorthogonal Finite Difference Time-Domain (LN-FDTD), aplicada para solucionar as equações de Maxwell. O simulador foi desenvolvido usando a linguagem de programação C e paralelizado utilizando threads. Para isto, a biblioteca pthread foi empregada. A visualização 3D do cenário a ser simulado (e da malha) é realizada por um programa especialmente desenvolvido que utiliza a biblioteca OpenGL. Para melhorar o desenvolvimento e alcançar os objetivos do projeto computacional, foram utilizados conceitos da Engenharia de Software, tais como o modelo de processo de software por prototipagem. Ao privar o usuário de interagir diretamente com o código-fonte da simulação, a probabilidade de ocorrência de erros humanos durante o processo de construção de cenários é minimizada. Para demonstrar o funcionamento da ferramenta desenvolvida, foi realizado um estudo relativo ao efeito de flechas em linhas de baixa tensão nas tensões transitórias induzidas nas mesmas por descargas atmosféricas. As tensões induzidas nas tomadas da edificação também são estudadas.

Desenvolvimento de um sistema de alerta de enchente aplicado aos planos de defesa civil em áreas de risco no estado do Pará utilizando Sistema de Informações Geográficas (SIG), caso: cidade de Marabá

A presente dissertação desenvolveu um Sistema de Alerta de Enchentes para a Cidade de Marabá, localizada na confluência dos rios Itacaiúnas e Tocantins, a 440 km da cidade de Belém, capital do Estado do Pará. O Sistema de Alerta de Enchentes foi desenvolvido com base no modelo hidrológico MOD-4B incorporado a um Sistema de Informações Geográficas. Esse sistema permite prever as variações do nível do Rio Tocantins ao longo do ano, de modo a acompanhar a evolução da cheia com antecedência de 4 dias, o que torna possível uma ação eficiente da defesa civil. O modelo de previsão utilizou como referência as réguas linimétricas localizadas nos rios Tocantins e Araguaia nas cidades de Carolina e Conceição do Araguaia, distantes aproximadamente 225 e 270 km, respectivamente, da cidade de Marabá. O sistema utiliza o software de geoprocessamento ArcView 3.3, que teve implementada uma interface desenvolvida através da linguagem de programação orientada a objetos Avenue, com a finalidade de rodar o aplicativo do modelo hidrológico. O uso de menus e janelas customizados do sistema possibilitou o acesso a dados espaciais e tabelas de dados relacionais e/ou banco de dados cadastral, além de módulos de análise espacial e de visualização de dados geográficos em um Sistema de Informações Geográficas (SIG), possibilitando a previsão de enchentes na forma de mapas, tabelas e relatórios com a indicação das áreas inundadas para os períodos de 4, 3, 2 e 1 dia de antecedência do evento de enchente. O Sistema permitiu identificar os imóveis e as ruas atingidos, e possibilitará através de levantamentos futuros quantificar a população afetada e os prejuízos causados pelo desastre, facilitando que a defesa civil execute planos de ação para enfrentamento eficiente antes, durante e depois da ocorrência da enchente.

Inversão de dados sísmicos de reflexão a partir da curva do tempo de trânsito

A presente Dissertação de Mestrado tem como objetivo o estudo do problema de inversão sísmica baseada em refletores planos para arranjo fonte-comum (FC) e ponto-médiocomum (PMC). O modelo direto é descrito por camadas homogêneas, isotrópicas com interfaces plano-horizontais. O problema é relacionado ao empilhamento NMO baseado na otimização da função semblance, para seções PMC corrigidas de sobretempo normal (NMO). O estudo foi baseado em dois princípios. O primeiro princípio adotado foi de combinar dois grupos de métodos de inversão: um Método Global e um Método Local. O segundo princípio adotado foi o de cascata, segundo a teoria Wichert-Herglotz-Bateman, que estabelece que para conhecer uma camada inferior tem-se que conhecer primeiro a camada superior (dissecação). A aplicação do estudo é voltada à simulação sísmica de Bacia Sedimentar do Solimões e de Bacia Marinha para se obter uma distribuição local 1D de velocidades e espessuras para a subsuperfície em horizontes alvo. Sendo assim, limitamos a inversão entre 4 e 11 refletores, uma vez que na prática a indústria limita uma interpretação realizada apenas em número equivalente de 3 a 4 refletores principais. Ressalta-se que este modelo é aplicável como condição inicial ao imageamento de seções sísmicas em regiões geologicamente complexas com variação horizontal suave de velocidades. Os dados sintéticos foram gerados a partir dos modelos relacionados a informações geológicas, o que corresponde a uma forte informação a priori no modelo de inversão. Para a construção dos modelos relacionados aos projetos da Rede Risco Exploratório (FINEP) e de formação de recursos humanos da ANP em andamento, analisamos os seguintes assuntos relevantes: (1) Geologia de bacias sedimentares terrestre dos Solimões e ma rinha (estratigráfica, estrutural, tectônica e petrolífera); (2) Física da resolução vertical e horizontal; e (3) Discretização temporal-espacial no cubo de multi-cobertura. O processo de inversão é dependente do efeito da discretização tempo-espacial do campo de ondas, dos parâmetros físicos do levantamento sísmico, e da posterior reamostragem no cubo de cobertura múltipla. O modelo direto empregado corresponde ao caso do operador do empilhamento NMO (1D), considerando uma topografia de observação plana. O critério básico tomado como referência para a inversão e o ajuste de curvas é a norma 2 (quadrática). A inversão usando o presente modelo simples é computacionalmente atrativa por ser rápida, e conveniente por permitir que vários outros recursos possam ser incluídos com interpretação física lógica; por exemplo, a Zona de Fresnel Projetada (ZFP), cálculo direto da divergência esférica, inversão Dix, inversão linear por reparametrização, informações a priori, regularização. A ZFP mostra ser um conceito út il para estabelecer a abertura da janela espacial da inversão na seção tempo-distância, e representa a influência dos dados na resolução horizontal. A estimativa da ZFP indica uma abertura mínima com base num modelo adotado, e atualizável. A divergência esférica é uma função suave, e tem base física para ser usada na definição da matriz ponderação dos dados em métodos de inversão tomográfica. A necessidade de robustez na inversão pode ser analisada em seções sísmicas (FC, PMC) submetida a filtragens (freqüências de cantos: 5;15;75;85; banda-passante trapezoidal), onde se pode identificar, comparar e interpretar as informações contidas. A partir das seções, concluímos que os dados são contaminados com pontos isolados, o que propõe métodos na classe dos considerados robustos, tendo-se como referência a norma 2 (quadrados- mínimos) de ajuste de curvas. Os algoritmos foram desenvolvidos na linguagem de programação FORTRAN 90/95, usando o programa MATLAB para apresentação de resultados, e o sistema CWP/SU para modelagem sísmica sintética, marcação de eventos e apresentação de resultados.

Aprendizagem de eletromagnetismo via programação e computação simbólica

Relatamos a experiência de utilizar programação em Maple como ferramenta de aprendizagem do estudante num curso básico de teoria eletromagnética. Acreditamos que este relato possa ser útil a quem desejar utilizar o computador como instrumento pedagógico no ensino de Física.

Sistematização de projetos de controladores fuzzy através de programação orientada a objetos

Através do uso da programação em linguagem orientada a objetos e, aplicando-se uma técnica de programação específica, é possível gerar um conjunto de classes genéricas cujos objetos representam cada bloco de um controlador fuzzy e também suas variáveis linguísticas. Tais classes, sendo aplicadas de forma sistemática, facilitam a programação de uma variedade de controladores desta natureza. Este trabalho apresenta a referida técnica e mostra os resultados obtidos através de um modelo simulado de um pêndulo rotacional invertido que é controlado por um sistema de controle composto por três controladores fuzzy, projetados e construídos sob este ponto de vista.

Dois jogos de linguagem: a informática e a matemática na aprendizagem de função quadrática

Esta pesquisa foi realizada com o objetivo de identificar e analisar as relações entre as linguagens da Matemática e da Informática no contexto da sala de aula, a partir da inserção das tecnologias informáticas na aprendizagem da Função Quadrática. Nesse sentido, os conceitos que envolvem a forma algébrica e forma gráfica desta função, foram observados pelos alunos ao explorar aspectos dinâmicos na interface do Geogebra. A fundamentação teórica da pesquisa, foi subsidiada pelas ideias de Pierre Lévy sobre as tecnologias da inteligência na disseminação da informação e do conhecimento, bem como pelas contribuições filosóficas de Ludwig Wittgenstein acerca do jogo de linguagem. A metodologia da pesquisa possui caráter qualitativo definido a partir de critérios específicos acerca do objeto de estudo e dos sujeitos investigados. As informações foram obtidas por meio de questões específicas aplicadas em dois momentos, a saber: antes e após a realização de um minicurso sobre o GeoGebra. As análises das questões revelaram que os aspectos visuais e os movimentos no uso do computador, estabelecem relações entre as formas algébricas e gráficas da função quadrática. Assim, eles puderam perceber que os coeficientes numéricos modificam a parábola e isso dá sentido aos conceitos estudados. O uso do GeoGebra possibilita outras formas de aprendizagem evidenciadas entre o Jogo de Linguagem da Matemática e o Jogo de Linguagem da Informática no âmbito da Educação Matemática.

Conversão grafema-fone para um sistema de reconhecimento de voz com suporte a grandes vocabulários para o português brasileiro

O processamento de voz tornou-se uma tecnologia cada vez mais baseada na modelagem automática de vasta quantidade de dados. Desta forma, o sucesso das pesquisas nesta área está diretamente ligado a existência de corpora de domínio público e outros recursos específicos, tal como um dicionário fonético. No Brasil, ao contrário do que acontece para a língua inglesa, por exemplo, não existe atualmente em domínio público um sistema de Reconhecimento Automático de Voz (RAV) para o Português Brasileiro com suporte a grandes vocabulários. Frente a este cenário, o trabalho tem como principal objetivo discutir esforços dentro da iniciativa FalaBrasil [1], criada pelo Laboratório de Processamento de Sinais (LaPS) da UFPA, apresentando pesquisas e softwares na área de RAV para o Português do Brasil. Mais especificamente, o presente trabalho discute a implementação de um sistema de reconhecimento de voz com suporte a grandes vocabulários para o Português do Brasil, utilizando a ferramenta HTK baseada em modelo oculto de Markov (HMM) e a criação de um módulo de conversão grafema-fone, utilizando técnicas de aprendizado de máquina.

Linguagem e identidade: a construção discursiva das identidades sociais em interações com menores infratores

Este trabalho analisa a construção discursiva das identidades sociais em três interações com menores infratores sob o regime semiliberdade. O objetivo desta investigação é correlacionar língua e identidades. Para isto, o estudo começa por problematizar as idéias sobre o sujeito e sua identificação com diferentes centros sociais numa sociedade moderna e plural. Destaca, também, a influência das instituições na formação identitária do indivíduo, especialmente das instituições reguladoras para menores infratores e do Estatuto da Criança e do Adolescente (ECA). Assim, relaciona o estigma, socialmente construído, às contingências identitárias com os quais os menores se deparam nas interações verbais. Deste modo, recorre a abordagens teóricas que consideram a língua em seu contexto social, como a Sociolingüística Interacional e as teorias da Enunciação, como também a outras áreas do conhecimento, como os Estudos Culturais e a Psicologia Social. É uma investigação de cunho interpretativista e etnográfico que analisa a construção das identidades sociais por meio de diferentes alinhamentos e enquadres no discurso, e estuda a relação do discurso dos adolescentes com os discursos que circulam na unidade onde estão e na sociedade. Para tanto, entrevistas com funcionários e pessoas que visitam o referido local foram realizadas, assim como notas de campo sobre a situação social dos participantes foram tomadas. O trabalho observa as identidades emergentes mais relevantes no discurso dos menores, tais como a identidade estigmatizada, a identidade religiosa, as familiares e a identidade da transformação, sempre formadas na sua necessária relação com o outro. A análise revela o conflito entre a identidade do infrator e as identidades, consideradas socialmente como normais, o que demonstra a complexidade das identidades sociais e suscita novas problematizações a serem consideradas em pesquisas futuras.

Matemática: computador para quê?

O presente trabalho mostra o resultado da pesquisa realizada em cinco instituições universitárias de formação de professores de Matemática do Estado do Pará. Apresentamos o sentimento de que formandos e formadores têm em relação ao uso do computador no ensino da Matemática, relacionando-o com as teorias de Tikhomirov. São abordados, ainda, dois paradigmas: o Instrucionismo e o Construcionismo, onde o Instrucionismo deve ser substituído pelo Construcionismo, no qual a ênfase maior está na aprendizagem e na construção do próprio conhecimento do aluno. São ainda exibidas as falas dos sujeitos da pesquisa, devidamente analisadas e, ao final, há uma reflexão sobre o ensino da Matemática e o emprego do computador, e como este se relaciona com fórmulas, algoritmos e símbolos sem uma maior significação e que são tão presentes na prática docente dos formandos e formadores de Matemática, com objetivo de mostrar que o ensino tradicional, por si só, não justifica a não utilização do computador no processo ensino-aprendizagem de Matemática.

Um software de reconhecimento de voz para português brasileiro

Descreve a implementação de um software de reconhecimento de voz para o Português Brasileiro. Dentre os objetivos do trabalho tem-se a construção de um sistema de voz contínua para grandes vocabulários, apto a ser usado em aplicações em tempo-real. São apresentados os principais conceitos e características de tais sistemas, além de todos os passos necessários para construção. Como parte desse trabalho foram produzidos e disponibilizados vários recursos: modelos acústicos e de linguagem, novos corpora de voz e texto. O corpus de texto vem sendo construído através da extração e formatação automática de textos de jornais na Internet. Além disso, foram produzidos dois corpora de voz, um baseado em audiobooks e outro produzido especificamente para simular testes em tempo-real. O trabalho também propõe a utilização de técnicas de adaptação de locutor para resolução de problemas de descasamento acústico entre corpora de voz. Por último, é apresentada uma interface de programação de aplicativos que busca facilitar a utilização do decodificador Julius. Testes de desempenho são apresentados, comparando os sistemas desenvolvidos e um software comercial.

O general e os Tapuios: linguagem, raça e mestiçagem em Couto de Magalhães (1864-1876)

O século XIX, mais do que qualquer outra época, experimentou a gestação da maioria de nossos projetos de nação, estruturados a partir da emancipação política da nova pátria. Diversos intelectuais militaram nessa árdua tarefa de desenhar uma nova face de um Brasil com identidade própria, embora calçada sob um viso europeu. Entre esses gestores da nova identidade brasileira, um dos mais importantes foi o General José Vieira Couto de Magalhães (1837-1898), homem de Estado, político do Império e folclorista. Nesta dissertação, busco circunscrever a principal obra de Couto de Magalhães, O Selvagem (1876), nos cânones romântico e evolucionista de sua época, dentro de um projeto de "civilização" dos índios da Amazônia e o conseqüente momento de integração cultural desses povos e seus descendentes à população brasileira. Por mais que a principal justificativa da obra fosse um estudo sobre a incorporação do indígena às atividades rentáveis da economia nacional, o autor acabou por enfatizar a compreensão da língua como estratégia fundamental para atração pacífica das populações tidas então com "selvagens". Transitando entre o inventário racial e a tradução cultural dos grupos indígenas brasileiro, Couto de Magalhães buscava valorizar esse arsenal lingüístico como o mais verdadeiro e autêntico representante da nacionalidade brasileira. A análise é feita no sentido de entender quais os limites da tentativa de tradução que o autor se propôs a fazer das lendas indígenas para o mundo dos brancos, no intuito de legitimar sua escolha do índio como símbolo de nossa identidade.

Matemática e linguagem: um enfoque na conversão da língua natural para a linguagem matemática

Esta pesquisa teve como objetivo identificar e analisar quais as possíveis dificuldades advindas da linguagem que alunos enfrentam na conversão da língua natural para a linguagem matemática. A investigação foi realizada ao longo do ano letivo de 2008 em classes de Ensino Médio de duas escolas públicas da cidade de Belém, onde foram coletadas informações por meio de registros produzidos pelos alunos em testes e avaliações bimestrais. Para subsidiar a investigação foram utilizadas, como aporte teórico, idéias de Raymond Duval acerca da teoria dos registros de representação semiótica; o conceito de significado ligado a filosofia da linguagem segundo Wittgenstein; algumas considerações feitas por Gottlob Frege sobre a distinção entre sentido e referência assim como algumas idéias do filósofo Gilles-Gaston Granger no que concerne ao problema das significações e do aspecto formal da linguagem matemática. As análises das informações que foram coletadas no decorrer do processo investigativo revelaram que, na perspectiva dos alunos, a conversão da língua natural para a linguagem matemática se depara com quatro tipos de dificuldades: a primeira apontou para o fato de existirem em cada registro de representação de um mesmo objeto matemático, diferentes conteúdos a serem mobilizados; a segunda mostrou que os alunos fracassam ao realizar a conversão da língua natural para a linguagem matemática quando não interpretam corretamente as regras matemáticas implícitas no enunciado de uma situação problema; a terceira surgiu do fato de existirem no texto de uma situação problema, palavras que os alunos não compreendiam o seu significado ou que geravam ambigüidade de sentidos; a quarta surgiu a partir do fato dos alunos não conseguirem compreender o significado matemático das letras utilizadas nos enunciados dos problemas.

A inserção do uso do computador no processo de modelagem matemática contribuindo para o aprendizado de conhecimentos matemáticos

Nesta pesquisa investigamos de que forma a inserção do uso do computador e do portfólio no processo de Modelagem Matemática, contribui para a aprendizagem de conhecimentos matemáticos a partir das percepções de alunos do ensino médio. Na busca de respostas a esta problemática, traçou-se como objetivo principal uma investigação à inserção do uso do computador no processo de Modelagem Matemática, com auxilio do portfólio para o aprendizado deste processo. A abordagem da pesquisa foi qualitativa. Levantamos um referencial teórico focando em especial pesquisadores da área de Modelagem Matemática como: Biembengut e Hein (2007); Bassanezi (2006), Barbosa (2001, 2004, 2007); Borba e Penteado(2001); Ponte e Canavarro (1997) entre outros, e com alguns autores que abordam mais especificamente a inserção de tecnologias na educação como: Valente (1993); Almeida (2000), Belloni (2005) entre outros. No entrelaçamento das idéias relacionaram-se os elementos (computador, Modelagem e portfólio) para subsidiar um tratamento diferenciado do conhecimento matemático em busca de minimizar, por exemplo, os baixos índices no Sistema de Avaliação do Ensino Básico (SAEB) dos alunos do ensino médio do Estado do Pará em Matemática. Sendo assim, foi necessário rever a forma atual de transposição do ensino dessa disciplina. O histórico da Modelagem é descrito em algumas concepções, buscando pontos de aproximação com as novas tecnologias em especial o computador. A pesquisa de campo foi desenvolvida a partir do curso: Modelagem Matemática: Aprendendo Matemática com a utilização do Computador. Na pesquisa de campo os instrumentos utilizados foram: o portfólio e o questionário. O uso do portfólio na pesquisa foi inspirado a partir de uma idéia em Biembengut e Hein (2007) que dizem haver a necessidade de se criar um relatório no final do processo de Modelagem. No entanto verificou-se que o uso do portfólio extrapola sua utilidade como coleta de dados, já que se constitui também como instrumento de organização e constituição do processo de Modelagem da Matemática. Para a análise dos dados definiu-se categorias de análises do tipo emergentes a partir de Fiorentini e Lorenzato (2007). A pesquisa de campo foi desenvolvida no Laboratório de Informática da Escola Estadual de Ensino Médio Mário Barbosa na área correspondente a Região metropolitana de Belém no Estado do Pará, onde por meio da inserção do uso computador neste processo, potencializou-se a aprendizagem dos conhecimentos matemáticos pelos alunos do ensino médio. Nas atividades desenvolvidas, percebeu-se que o ambiente gerado pelo processo de Modelagem dentro do laboratório de informática, permitiu-se trabalhar de forma coletiva e colaborativa, onde os resultados foram significativos, principalmente, articulado ao uso do computador. Nesta pesquisa mostraremos que a Modelagem e o portfólio estabelecem uma relação de troca, possibilitando dessa forma a condução do processo de Modelagem Matemática de forma dinâmica, facilitando o aprendizado do conteúdo matemático.

Ferramentas e recursos livres para reconhecimento e síntese de voz em português brasileiro

Sistemas de reconhecimento e síntese de voz são constituídos por módulos que dependem da língua e, enquanto existem muitos recursos públicos para alguns idiomas (p.e. Inglês e Japonês), os recursos para Português Brasileiro (PB) ainda são escassos. Outro aspecto é que, para um grande número de tarefas, a taxa de erro dos sistemas de reconhecimento de voz atuais ainda é elevada, quando comparada à obtida por seres humanos. Assim, apesar do sucesso das cadeias escondidas de Markov (HMM), é necessária a pesquisa por novos métodos. Este trabalho tem como motivação esses dois fatos e se divide em duas partes. A primeira descreve o desenvolvimento de recursos e ferramentas livres para reconhecimento e síntese de voz em PB, consistindo de bases de dados de áudio e texto, um dicionário fonético, um conversor grafema-fone, um separador silábico e modelos acústico e de linguagem. Todos os recursos construídos encontram-se publicamente disponíveis e, junto com uma interface de programação proposta, têm sido usados para o desenvolvimento de várias novas aplicações em tempo-real, incluindo um módulo de reconhecimento de voz para a suíte de aplicativos para escritório OpenOffice.org. São apresentados testes de desempenho dos sistemas desenvolvidos. Os recursos aqui produzidos e disponibilizados facilitam a adoção da tecnologia de voz para PB por outros grupos de pesquisa, desenvolvedores e pela indústria. A segunda parte do trabalho apresenta um novo método para reavaliar (rescoring) o resultado do reconhecimento baseado em HMMs, o qual é organizado em uma estrutura de dados do tipo lattice. Mais especificamente, o sistema utiliza classificadores discriminativos que buscam diminuir a confusão entre pares de fones. Para cada um desses problemas binários, são usadas técnicas de seleção automática de parâmetros para escolher a representaçãao paramétrica mais adequada para o problema em questão.