Abstrações para uma linguagem de programação visando aplicações móveis em um ambiente de Pervasive Computing

Computação Móvel é um termo genérico, ainda em definição, ao redor do qual se delineia um espectro de cenários possíveis, desde a Computação Pessoal, com o uso de computadores de mão, até a visão futurista da Computação Ubíqua. O foco do projeto ISAM (Infra-estrutura de Suporte às Aplicações Móveis Distribuída), em desenvolvimento no II/UFRGS, é a Pervasive Computing. Esta desenha um cenário onde o usuário é livre para se deslocar mantendo o acesso aos recursos da rede e ao seu ambiente computacional, todo tempo em qualquer lugar. Esse novo cenário apresenta muitos desafios para o projeto e execução de aplicações. Nesse escopo, esta tese aprofunda a discussão sobre questões relativas à adaptação ao contexto em um ambiente pervasivo sob a ótica de uma Linguagem de Programação, e define uma linguagem chamada ISAMadapt. A definição da linguagem ISAMadapt baseia-se em quatro abstrações: contexto, adaptadores, políticas e comandos de adaptação. Essas abstrações foram concretizadas em duas visões: (1) em tempo de programação, através de comandos da linguagem e arquivos de configuração, descritos com o auxílio do Ambiente de Desenvolvimento de Aplicações; (2) em tempo de execução, através de serviços e APIs fornecidos pelos componentes que integram o ambiente de execução pervasiva (ISAMpe). Deste, os principais componentes que implementam a semântica de execução da aplicação ISAMadapt são: o serviço de reconhecimento de contexto, ISAMcontextService, e a máquina de execução da adaptação dinâmica, ISAMadaptEngine.As principais contribuições desta tese são: (a) primeira linguagem para a codificação de aplicações pervasivas; (b) sintaxe e semântica de comandos para expressar sensibilidade ao contexto pervasivo; (c) fonte para o desenvolvimento de uma metodologia de projeto de aplicações pervasivas; (d) projeto ISAM e o projeto contextS (www.inf.ufrgs.br/~isam) que fornecem suporte para o ciclo de vida das aplicações, desde o desenvolvimento até a execução de aplicações pervasivas.

Modelagem matemática da qualidade da água em grandes bacias : sistema Taquari-Antas - RS

Os impactos sobre o meio ambiente, associados ao desenvolvimento de atividades pelo homem em uma bacia hidrográfica, estão fortemente inter-relacionados e têm, a cada dia, se tornado mais evidentes. Esta idéia motiva a concepção de uma gestão integrada dos recursos naturais em várias partes do mundo, inclusive em países em desenvolvimento como o Brasil. Modelos matemáticos de qualidade de água podem ser ferramentas úteis para a tomada de decisão no apoio à gestão de bacias hidrográficas. O planejamento e gestão dos recursos hídricos em um país de grande porte como o Brasil envolve, geralmente, bacias extensas, com um vasto conjunto de elementos naturais e antrópicos. Um modelo de qualidade de água deve permitir a representação da variabilidade espacial da região e, desta forma, a consideração de fontes difusas juntamente com fontes pontuais de poluição. O presente estudo analisou o impacto do desenvolvimento sobre a qualidade da água em uma bacia de grande extensão (bacia do rio Taquari-Antas, RS, com 26.500 km2), considerando a alternativa de aproveitamento hidrelétrico definida no inventário da bacia. Utilizou-se um modelo distribuído de simulação hidrológica e de qualidade de água aplicável principalmente a grandes bacias ( > 1.000 km2), o IPH-MGBq. Este modelo, desenvolvido no IPH, foi ajustado aos dados diários observados de vazão, no seu módulo de quantidade, e de concentração de OD, DBO, nitrogênio e fósforo totais e coliformes fecais, obtidos de coletas trimestrais, no módulo de qualidade. O modelo permite a análise temporal das condições hidrológicas e de qualidade da água de toda a bacia, discretizada por células, com trechos de rios e reservatórios. O modelo apresentou bom desempenho quanto à quantidade (vazões) e quanto aos perfis de concentração dos parâmetros de qualidade de água ao longo do Taquari- Antas, principalmente em termos de valores médios. Foi realizada uma análise de incertezas de alguns parâmetros e variáveis de entrada do modelo com relação à inerente incerteza existente na definição destes elementos. Esta metodologia demonstrou ser uma alternativa adequada à aplicação de modelos distribuídos de qualidade de água em bacias sem dados, sendo que os erros cometidos pelo modelo, em relação aos valores de concentração observados, foram aceitáveis para uma confiança de 95%. A simulação de alguns cenários de desenvolvimento na bacia do Taquari-Antas evidenciou a importância da avaliação conjunta de todos os elementos da bacia (fontes pontuais e difusas de poluição e da implantação de reservatórios) sobre a qualidade de suas águas. O IPH-MGBq mostrou ser uma ferramenta útil para a simulação de cenários de desenvolvimento em grandes bacias como base para a tomada de decisão na gestão dos recursos hídricos.

Projeto para a criação do Centro de Memória do Instituto de Matemática Pura e Aplicada: uma história de competência, paixão e perseverança

O Instituto Nacional de Matemática Pura e Aplicada (IMPA) foi o primeiro órgão de pesquisa criado pelo Conselho Nacional de Pesquisas (CNPq), em 1952. Desde seu início o IMPA dedicou-se à pesquisa científica em matemática do mais alto nível e promoveu a formação de novos pesquisadores, promovendo também a difusão e aprimoramento da cultura matemática no país. Mais recentemente, passou a dedicar-se também às aplicações da matemática em outras áreas do conhecimento e em setores tecnológicos. Ao longo de mais de cinqüenta anos de trabalho, consolidou-se como o centro de referência em pesquisa matemática e formação de novos pesquisadores no Brasil e na América Latina. Tendo em vista a relevância da instituição para os rumos da pesquisa na área no país, este trabalho de conclusão de curso tem como objetivo estabelecer as diretrizes para a criação do Centro de Memória do Instituto Nacional de Matemática Pura e Aplicada (CEMIMPA), que seria um espaço para produção e re-elaboração de identidade e memória institucional – seguindo uma tendência que se afirma, no Brasil, desde a década de 1970. Discute-se aqui a trajetória do IMPA, os conceitos sobre memória, acervo e identidade para conseguir demarcar as linhas gerais do CEMIMPA e precisar sua importância para a instituição. A criação de um centro de memória como o que propomos, ajudaria a dar visibilidade à história do IMPA, de seus pesquisadores, suas áreas de atuação para além dos limites do cenário da pesquisa matemática, alcançando um público cada vez mais amplo e diverso. Isto poderia influenciar de forma ainda mais vigorosa a formação de jovens em geral, e em particular, de futuros matemáticos. Também poderá incrementar as pesquisas sobre a história da matemática no Brasil e a trajetória dos pesquisadores que a fizerem e dela fazem parte.

Estudo da utilização de uma ferramenta para construção de programas em português em disciplinas básicas de ensino de programação

Este trabalho tem por objetivo apresentar e estudar a aplicação de uma ferramenta chamada PCP – Pseudo-Compilador Portugol, criada para auxiliar estudantes de programação a aprimorar o raciocínio lógico e a criar programas estruturados, sem que precisem se preocupar com comandos e instruções em Inglês ou tenham conhecimento de uma linguagem de programação específica. Por ser uma ferramenta que usa somente palavras do nosso idioma, os alunos podem direcionar todo o seu raciocínio no entendimento e resolução do problema em forma de algoritmo. O estudo experimental realizado neste trabalho pretende analisar e comparar o aprendizado entre grupos de alunos de disciplinas de programação utilizando e não utilizando esta ferramenta. Além de acompanhar o desempenho dos alunos, pretende também coletar informações durante as baterias de testes e obter as opiniões dos mesmos em relação ao PCP, no que se refere às facilidades, dificuldades, pontos positivos e falhas apresentadas. Este estudo é apresentado em duas etapas, com oito baterias de teste em cada uma. Na primeira etapa foram selecionados alunos do Curso de Ciência da Computação da UNIGRAN, em Dourados-MS; na segunda etapa foram selecionados alunos da Escola Anglo Decisivo. Estas duas etapas possibilitam a análise do aprendizado proporcionado pela ferramenta com alunos que já têm alguma noção de programação e com alunos que não tiveram nenhum contato com o desenvolvimento de programas.

Gestão pública compartilhada: o caso do programa de melhoria do ensino de ciências e matemática - Pró-ciências

This paper is a follow up of the study of the evolution of the public policies for education, especially in the areas of improvement in the science and mathematics program, whose main purpose is to qualify teachers is these disciplines. The evaluation of strategies adopted by the Department of education for the implementation and development of the program in the states, which, on a decentralized bases and through its administrative structure is responsible for contracting higher Education Institutions in charge of preparatory courses. It discusses the enforcement of such a strategy and analyses the combined efforts between the federal sphere, represented by the coordination of preparatory courses for Higher Education Personnel (CAPES) and the Departments of Education, Science and Technology of the states, Research Spowsoring Foundations and the Federal Universities, breaking with some governmental traditions. It analyses the greater degree of interaction between the curriculum for public schools and the developments achieved in the many fields of knowledge. It is based on parameters in the proposals disposed by the law of the methods and fundamentals education, methods of curriculum, and national teaching standards, as well as studies carried out in the states that demand the biggest quantity of qualifying projects, trough analyses that are focused on the problems regarding science teaching in the Brazil and the format adopted in the implementation of the program.

A equilibração dos processos cognitivos na aprendizagem de matemática no ambiente do Mecam

Esta tese analisa os efeitos na aprendizagem, a partir de uma proposta pedagógica que integra uma metodologia de intervenção apoiada por recursos tecnológicos. A proposta pedagógica é implementada em ambiente virtual de aprendizagem e se destina à realização de estudos complementares, para alunos reprovados em disciplinas iniciais de matemática em cursos de graduação. A metodologia de intervenção é inspirada no método clínico de Jean Piaget e visa identificar noções já construídas, propor desafios, possibilitar a exploração dos significados e incentivar a argumentação lógica dos estudantes. O ambiente de interação é constituído por ferramentas tecnológicas capazes de sustentar interações escritas, numéricas, algébricas e geométricas. A Teoria da Equilibração de Piaget possibilita a análise de ações e reflexões dos estudantes diante dos desafios propostos. São identificados desequilíbrios cognitivos e processos de reequilibração advindos das interações com os objetos matemáticos. A transformação de um saber-fazer para um saber-explicar é considerada indicativo de aprendizagem das noções pesquisadas e decorre de um desenvolvimento das estruturas de pensamento. Além da análise de processos de reequilibração cognitiva, analisou-se o aproveitamento dos estudantes, considerando os graus de aprendizagem definidos nos critérios de certificação dos desempenhos. Os resultados indicam que as interações promovidas com a estratégia pedagógica proposta colaboraram para a aprendizagem de noções e conceitos matemáticos envolvidos nas atividades de estudo. A análise do processo de equilibração permite identificar a aprendizagem como decorrência do desenvolvimento de estruturas cognitivas. O movimento das aprendizagens revelou processos progressivos de aquisição de sentido dos objetos matemáticos, com graus que expressaram condutas de regulação. Estas permitiram ultrapassar um fazer instrumental, por aplicação de fórmulas ou regras, e avançar por um fazer reflexivo sobre os significados dos conceitos envolvidos. A pesquisa sugere a implementação da proposta como estratégia pedagógica na proposição de ambientes de aprendizagem para a educação matemática a distância e como apoio ao ambiente presencial.

Movimento da matemática moderna no Brasil : estudo da ação e do pensamento de educadores matemáticos nos anos 60

Este trabalho estuda o movimento de renovação do ensino da matemática conhecido como o "movimento da matemática moderna",surgido no Brasil no inicio dos anos 60. Através do estudo da ação, do discurso e do pensamento dos protagonistas em relação com o contexto histórico em que foram produzidos e com o movimento da matemática moderna de âmbito internacional, procura explicar o alcance e as limitações desse movimento, em sua dinâmica e elaboração pedagógica. A abordagem adotada considera tanto os aspectos do movimento que o identificam com um processo mais amplo e de âmbito mundial de crescente valorização do ensino das ciências naturais e da matemática no período que sucedeu à Segunda Guerra Mundial, no qual o movimento da matemática se insere, como as especificidades do movimento relacionadas com a ação dos protagonistas e a realidade do pais. A análise do movimento como ocorreu no Brasil é feita fundamentalmente a partir da leitura de documentos produzidos durante o periodo de sua existência e de depoimentos obtidos através de entrevistas semi-estruturadas com participantes do movimento. O contexto no qual é situada essa análise inclui uma descrição breve da realidade politica, econômica e social do pais, com ênfase na realidade educacional - em particular, do ensino secundário e nos debates pedagógicos produzidos no período As modificações nas relações entre ciência e produção material no âmbito da economia capitalista são tratadas como elemento decisivo para a explicação da combinação entre esforços de governos e de educadores para a renovação e melhoria do ensino da matemática, desde os anos 50, em vários paises. O trabalho apresenta, em suas conclusões, conexões que contribuem para a clarificação de como o movimento foi marcado pelo contexto histórico em que surgiu e se desenvolveu. São enfatizadas as relações entre: o crescimento e a modernização da economia brasileira e o otimismo acerca das consequências sociais da melhoria do ensino e do desenvolvimento da ciência no pais; a expansão do ensino secundário desde os anos 30, acelerada nos anos 60, e as preocupações dos educadores acerca da eficiência e da deselitização desse ensino. O trabalho aponta, também, as conexães entre o movimento da matemática moderna e os debates sobre ensino de matemática realizados no pais antes e depois do movimento, situando-o como momento de um processo iniciado nos anos 50, anos 80, de iniciativa dos professores de matemática em torno da reflexão e renovação de sua própria prática.

Coordenação de projeto de obra de edificação : proposta de ferramenta computacional para programação e controle do fluxo de informações com uso de sistema colaborativo

A elaboração de um projeto de obra de edificação é fruto da interação entre profissionais de diversas disciplinas desenvolvendo, simultaneamente, suas opções e decisões com relação ao mesmo. É necessário considerar a qualidade do processo de elaboração do projeto dependente de uma efetiva comunicação entre os membros da equipe. A indústria da construção civil está sendo beneficiada pelos recursos oferecidos pela tecnologia da informação como, por exemplo, os sistemas colaborativos (extranets de projeto). Estes sistemas corroboram na integração e comunicação entre os membros de um projeto. O objetivo da presente pesquisa foi a apresentação do desenvolvimento de modelo validado de ferramenta computacional projetada para complementar um sistema colaborativo pré-existente. Esta ferramenta foi denominada Sistema de Programação e Controle do Processo de Projeto (SIPROCON/PP). A finalidade do SIPROCON/PP é auxiliar no processo de tomada de decisão dos coordenadores através do monitoramento do cronograma e do fluxo do intercâmbio de informações das atividades geradoras de informações neste processo. O processo de desenvolvimento da ferramenta foi delineado em harmonia com a organização da pesquisa. Neste sentido, é assinalado o uso da prototipação e da simulação como estratégias de pesquisa, utilizados respectivamente na construção e validação do modelo da ferramenta. Ante a necessidade do experimento, foi criada uma atividade lúdica através da qual foi reproduzido o intercâmbio de informações de um processo de projeto denominada Sistemática de Simulação do Processo de Projeto (SS/PP) para validação do modelo da ferramenta. Logo, por meio do uso das simulações foram obtidos os dados correspondentes a validação da modelagem e aplicação do SIPROCON/PP e, ao mesmo tempo, necessários à conclusão da pesquisa. Diante disso, a partir da análise dos dados coletados é apontada a melhoria na qualidade do processo de elaboração do projeto considerando a formação de uma equipe equilibrada de projeto. Isso, fruto do conhecimento mais acurado do coordenador sobre o desempenho de cada projetista.

Abordagem probabilística em um modelo de programação linear aplicado ao planejamento mineiro

Neste trabalho é discutido o impacto causado pelos parâmetros de processo com comportamento estocástico em um modelo de otimização, aplicado ao planejamento mineiro. Com base em um estudo de caso real, construiu-se um modelo matemático representando o processo produtivo associado à mineração, beneficiamento e comercialização de carvão mineral. Este modelo foi otimizado com a técnica de programação linear, sendo a solução ótima perturbada pelo comportamento estocástico de um dos principais parâmetros envolvidos no processo produtivo. A análise dos resultados permitiu avaliar o risco associado à decisão ótima, sendo com isto proposta uma metodologia para avaliação do risco operacional.

O uso da linguagem matemática na física clássica como obstáculo epistemológico na formação de professores de matemática na Universidade do Estado do Pará - UEPA : um estudo de caso

Este estudo realizado no Curso de Formação de Professores de Matemática da Universidade do Estado do Pará- UEPA, teve como finalidade verificar o obstáculo epistemológico, encontrado na aplicabilidade da linguagem matemática em sistemas físicos, através da relação existente entre as dificuldades dos licenciandos em Matemática na aprendizagem de Física Clássica e a prática da Matemática como linguagem nas disciplinas específicas do curso de Matemática, e as possíveis conseqüências à futura prática pedagógica desses professores, no nível fundamental e médio. Para desenvolvê-lo recorri à pesquisa qualitativa em uma abordagem etnográfica. Delimitei como sujeitos da pesquisa 15 alunos de uma turma do 3° ano que cursavam a disciplina Física Geral do Curso de Licenciatura Plena em Matemática no ano de 2000 para obter os dados necessários. Observei os alunos durante as aulas e seminários realizados e os entrevistei em busca de subsídios para o estudo.Concluo que há relação entre a dificuldade na aprendizagem da Física Clássica e a prática da Matemática como linguagem nas disciplinas específicas do Curso de Licenciatura Plena em Matemática e a futura prática pedagógica no ensino fundamental e médio. Concluo também que falta aos professores que ministram estas disciplinas superar um obstáculo epistemológico em relação ao conhecimento matemático, isto é, uma prática consistente e articulada à teoria e prática da linguagem matemática. Ao final, indico referenciais para possíveis mudanças no Curso e espero que essas mudanças contribuam para uma aprendizagem significativa na formação de futuros professores de Matemática nas universidades comprometidas com a formação do licenciado em Matemática ou naquelas que fazem uso da própria Matemática.

Alocação e movimentação de contêineres vazios e cheios : um modelo integrado e sua aplicação

O comércio baseado em contêineres é tipicamente desequilibrado com relação às quantidades de contêineres de exportação e de importação. Não é raro haver contêineres não utilizados em um local ao mesmo tempo em que contêineres vazios são necessários em outros. Esta tese apresenta um modelo de rede integrado combinando realocação de contêineres vazios e operações de transbordo de contêineres cheios e vazios. Na rede, os nós representam clientes (demandando contêineres vazios para ser carregados e enviados a outros clientes da rede), companhias de leasing assim como portos e depósitos em terra (pontos de transbordo), enquanto que os arcos representam rotas de transporte (por navio, trem ou caminhão) conectando os nós. O modelo matemático subjacente opera em estágios. Primeiro, a demanda de contêineres vazios é ajustada, considerando os suprimentos e demandas globais dos clientes. A seguir, um modelo de transbordo determina a solução de mínimo custo, considerando transporte, processamento e armazenagem de unidades de contêineres, utilizando programação linear. A partir desse resultado, os roteiros de transporte são registrados e controlados dinamicamente. O processamento continua repetindo os estágios ciclicamente, para um dado horizonte de tempo. O modelo é bastante flexível, permitindo a configuração de vários parâmetros, tais como demanda, tempo de processamento e tempo de armazenagem. Um sistema de simulação foi implementado utilizando parâmetros gerados aleatoriamente, dentro de limites preestabelecidos, a fim de avaliar a complexidade do modelo, testar diferentes soluções e verificar a formulação matemática.

Sistema Aldeia : programação paralela e distribuída em Java sobre Infiniband e DECK

Esse trabalho de dissertação está incluído no contexto das pesquisas realizadas no Grupo de Processamento Paralelo e Distribuído da UFRGS. Ele aborda as áreas da computação de alto desempenho, interfaces simples de programação e de sistemas de interconexão de redes velozes. A máquina paralela formada por agregados (clusters) tem se destacado por apresentar os recursos computacionais necessários às aplicações intensivas que necessitam de alto desempenho. Referente a interfaces de programação, Java tem se mostrado uma boa opção para a escrita de aplicações paralelas por oferecer os sistemas de RMI e de soquetes que realizam comunicação entre dois computadores, além de todas as facilidades da orientação a objetos. Na área a respeito de interconexão de rede velozes está emergindo como uma tentativa de padronização a nova tecnologia Infiniband. Ela proporciona uma baixa latência de comunicação e uma alta vazão de dados, além de uma série de vantagens implementadas diretamente no hardware. É neste contexto que se desenvolve o presente trabalho de dissertação de mestrado. O seu tema principal é o sistema Aldeia que reimplementa a interface bastante conhecida de soquetes Java para realizar comunicação assíncrona em agregados formados por redes de sistema. Em especial, o seu foco é redes configuradas com equipamentos Infiniband. O Aldeia objetiva assim preencher a lacuna de desempenho do sistema padrão de soquetes Java, que além de usar TCP/IP possui um caráter síncrono. Além de Infiniband, o Aldeia também procura usufruir dos avanços já realizados na biblioteca DECK, desenvolvida no GPPD da UFRGS. Com a sua adoção, é possível realizar comunicação com uma interface Java sobre redes Myrinet, SCI, além de TCP/IP. Somada a essa vantagem, a utilização do DECK também proporciona a propriedade de geração de rastros para a depuração de programas paralelos escritos com o Aldeia. Uma das grandes vantagens do Aldeia está na sua capacidade de transmitir dados assincronamente. Usando essa técnica, cálculos da aplicação podem ser realizados concorrentemente com as operações pela rede. Por fim, os canais de dados do Aldeia substituem perfeitamente aqueles utilizados para a serialização de objetos. Nesse mesmo caminho, o Aldeia pode ser integrado à sistemas que utilizem a implementação de soquetes Java, agora para operar sobre redes de alta velocidade. Palavras-chave: Arquitetura Infiniband, agregado de computadores, linguagem de programação Java, alto desempenho, interface de programação.