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.

The Linear Potential Propagator via Wave Function Expansion

ABSTRACT: We evaluate the quantum propagator for the motion of a particle in a linear potential via a recently developped formalism [A.B. Nassar et al., Phys. Rev. E56, 1230, (1997)]. In this formalism, the propagator comes about as a type of expansion of the wave function over the space of the initial velocities.

Aplicação de sensoriamento remoto na análise espaço-temporal das ilhas de calor e ilhas de frescor urbanas no município de Belém - Pará, nos anos de 1997 e 2008

A urbanização tem provocado variações locais em diversos elementos climáticos, dentre eles o aumento da temperatura do ar, provocando o aparecimento de porções do espaço com temperaturas maiores do que as áreas ao seu entorno, o que se chama de ilhas de calor urbanas. Dentre as causas do surgimento das ilhas de calor, a retirada da cobertura vegetal é o mais relevante. A finalidade deste trabalho foi identificar, através da técnica de sensoriamento remoto, as ilhas de calor urbanas e as ilhas de frescor urbanas na área continental do Município de Belém, assim como a variação da cobertura vegetal, comparando os resultados dos anos de 1997 e 2008, a fim de revelar uma possível relação entre a variação da cobertura vegetal e as ilhas de calor e ilhas de frescor urbanas. Para desenvolver esta pesquisa, recorreuse a imagens termais do sensor TM para determinação dos valores de temperatura, assim como dados de temperatura do ar observados nas estações: climatológica convencional de Belém (2o. DISME/INMET), meteorológica sinótica de Val-de-Cans e meteorológica sinótica automática de Belém (2o. DISME/INMET). A cobertura vegetal foi determinada também com uso das imagens do sensor TM, com as bandas 3,4 e 5. De acordo com os resultados obtidos, concluiu-se que em 2008 houve um aumento das ilhas de calor urbanas, principalmente nos bairros localizados nas áreas da Avenida Augusto Montenegro e Rodovia Arthur Bernardes, e redução das ilhas de frescor em diversas partes da área continental de Belém, em decorrência da ausência da cobertura vegetal, em relação ao ano de 1997. Também foi possível identificar que na área de estudo, houve uma redução da cobertura vegetal existente em 2008 em comparação a 1997, redução essa que ocorreu principalmente na área que está além da 1ª Légua Patrimonial do município de Belém, no eixo compreendido entre a Avenida Augusto Montenegro e a Rodovia Arthur Bernardes, ampliando a área urbana e o aumento da temperatura, que favoreceu a expansão de ilhas de calor.

An automatic methodology for obtaining optimum shape factors for the radial point interpolation method

In this letter, a methodology is proposed for automatically (and locally) obtaining the shape factor c for the Gaussian basis functions, for each support domain, in order to increase numerical precision and mainly to avoid matrix inversion impossibilities. The concept of calibration function is introduced, which is used for obtaining c. The methodology developed was applied for a 2-D numerical experiment, which results are compared to analytical solution. This comparison revels that the results associated to the developed methodology are very close to the analytical solution for the entire bandwidth of the excitation pulse. The proposed methodology is called in this work Local Shape Factor Calibration Method (LSFCM).