Context-sensitive analysis of x86 obfuscated executables

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise de novos modelos matemáticos para o problema de planejamento da expansão de sistemas de transmissão

Pós-graduação em Engenharia Elétrica - FEIS

Guia de parâmetros ergonômicos para indústrias fabricantes de embalagens plásticas para agrotóxicos

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Avaliação de sistemas de manejo do palhiço de cana-de- açúcar no campo e na indústria

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

As pesquisas sobre educação em museus e centros de ciências no Brasil: estudo descritivo e analítico da produção acadêmica

Pós-graduação em Educação para a Ciência - FC

Baiuka: jogos de lendas amazônicas para avaliação de inteligências múltiplas

BAIUKA é um jogo educativo voltado para despertar a consciência ecológica baseado em lendas amazônicas. Este trabalho teve como objetivo central construir um jogo educativo infantil baseado nas Inteligências Múltiplas, voltado para a cultura amazônica, gerando automaticamente avaliações sobre o comportamento do jogador, a partir de agentes autônomos, auxiliando o professor em sala de aula. Teve como objetivos específicos oferecer um instrumento de motivação da aprendizagem a partir do uso de jogos educativos na web, além de desenvolver um modelo para avaliar jogos educacionais. A caminhada metodológica teve como principal base de análise a metodologia qualitativa e envolveu, além de pesquisas documentais e bibliográficas, a pesquisa de campo na Escola Ipiranga, com aplicação de um checklist a professores devidamente selecionados, assim como especialistas que, de alguma forma, atuam nessa realidade. Os resultados da pesquisa indicam a boa aceitação por parte dos professores de proporcionar momentos de atividade lúdica para as crianças. Infelizmente, também constatamos a dificuldade em se criar um jogo educacional que seja interessante ao jovem, aliando metodologias pedagógicas ao poder dos jogos computacionais. Porém, não obstante essa triste constatação, a pesquisa aponta com esperança que os jogos computadorizados possam ser considerados o estado da arte para o desenvolvimento de ambientes de aprendizagem motivadores. A produção desta nova geração de jogos didáticos requer times interdisciplinares, criativos e capazes de trabalharem cooperativamente.

Otimização de sistemas DSL utilizando técnicas de gerenciamento de espectro

Esta dissertação apresenta contribuições à algumas modalidades de gerenciamento de espectro em redes DSL que tem recebido pouca atenção na literatura : minimização de potência e maximização de margem de ruído. Com relação a minimização de potência, cerca de 60% da potência total consumida pelos modems DSL é utilizada na transmissão. A contribuição dessa dissertação nesse âmbito foi provar matematicamente que os algoritmos de maximização de taxa também podem ser usados para minimizar potência. Dessa forma, praticamente se elimina o atraso histórico entre o estado da arte em maximização de taxa e minimização de potência, colocando-os no mesmo nível de desenvolvimento. A segunda contribuição dessa dissertação é sobre a modalidade de maximização de margem de ruído, de modo a otimizar a estabilidade de redes DSL. Nessa linha de pesquisa, essa dissertação apresenta um novo alogoritmo para a maximização de margem multiusuário, que apresenta desempenho superior a um algoritmo publicado anteriormente na literatura especializada.

Abordagem para o desenvolvimento de um etiquetador de alta acurácia para o Português do Brasil

A etiquetagem morfossintática é uma tarefa básica requerida por muitas aplicações de processamento de linguagem natural, tais como análise gramatical e tradução automática, e por aplicações de processamento de fala, por exemplo, síntese de fala. Essa tarefa consiste em etiquetar palavras em uma sentença com as suas categorias gramaticais. Apesar dessas aplicações requererem etiquetadores que demandem maior precisão, os etiquetadores do estado da arte ainda alcançam acurácia de 96 a 97%. Nesta tese, são investigados recursos de corpus e de software para o desenvolvimento de um etiquetador com acurácia superior à do estado da arte para o português brasileiro. Centrada em uma solução híbrida que combina etiquetagem probabilística com etiquetagem baseada em regras, a proposta de tese se concentra em um estudo exploratório sobre o método de etiquetagem, o tamanho, a qualidade, o conjunto de etiquetas e o gênero dos corpora de treinamento e teste, além de avaliar a desambiguização de palavras novas ou desconhecidas presentes nos textos a serem etiquetados. Quatro corpora foram usados nos experimentos: CETENFolha, Bosque CF 7.4, Mac-Morpho e Selva Científica. O modelo de etiquetagem proposto partiu do uso do método de aprendizado baseado em transformação(TBL) ao qual foram adicionadas três estratégias, combinadas em uma arquitetura que integra as saídas (textos etiquetados) de duas ferramentas de uso livre, o TreeTagger e o -TBL, com os módulos adicionados ao modelo. No modelo de etiquetador treinado com o corpus Mac-Morpho, de gênero jornalístico, foram obtidas taxas de acurácia de 98,05% na etiquetagem de textos do Mac-Morpho e 98,27% em textos do Bosque CF 7.4, ambos de gênero jornalístico. Avaliou-se também o desempenho do modelo de etiquetador híbrido proposto na etiquetagem de textos do corpus Selva Científica, de gênero científico. Foram identificadas necessidades de ajustes no etiquetador e nos corpora e, como resultado, foram alcançadas taxas de acurácia de 98,07% no Selva Científica, 98,06% no conjunto de teste do Mac-Morpho e 98,30% em textos do Bosque CF 7.4. Esses resultados são significativos, pois as taxas de acurácia alcançadas são superiores às do estado da arte, validando o modelo proposto em busca de um etiquetador morfossintático mais confiável.

Investigación y formación de recursos humanos en ciencias sociales sobre la Amazonia

Este texto trata do estado da arte da pesquisa em ciências sociais na Amazônia continental. O documento conclui que é difícil traçar um perfil da situação da pesquisa em ciências sociais aplicadas à Amazônia, na base dos dados disponíveis para o estudo. Com tudo, o estudo conseguiu identificar pelo menos 150 instituições que realizam pesquisa e produzem ciência e tecnologia relacionadas com a Amazônia nos oito países, das quais aproximadamente 100 fazem pesquisa de tipo social. Essas instituições estão concentradas principalmente no Brasil e na Colômbia.

Avaliação tecnológica, operacional e de gestão de sistemas híbridos para geração de eletricidade na Região Amazônica

O objetivo deste trabalho consiste em contribuir com o conhecimento sobre os sistemas híbridos de energia implantados na Região Amazônica e baseados no aproveitamento das fontes de energia solar, eólica e diesel-elétrica. O trabalho apresenta primeiramente o estado-da-arte dos sistemas híbridos, caracterizando sua evolução histórica, os principais tipos e classificações, a composição básica e os prós e contras da eletrificação usando esses tipos de sistemas. Em seguida, é feita a identificação e a descrição dos sistemas regionais através das referências bibliográficas existentes e de informações coletadas em pesquisas de campo. As características técnicas, operacionais, econômicas e de gerenciamento desses sistemas são analisadas sucintamente, servindo de base às proposições de modelos para sistemas híbridos, que influenciam diretamente sobre a estratégia de operação e gestão dos sistemas híbridos regionais. Esses modelos, depois de implementados, permitirão a otimização da operação dos sistemas e sua sustentabilidade.

Técnicas de otimização não-linear aplicada a algoritmos DSM

Esta dissertação apresenta os algoritmos considerados estado-da-arte para gerenciamento dinâmico de espectro (DSM). As técnicas de otimização utilizadas nos algoritmos DSM são abordadas e brevemente discutidas para melhor entendimento, descrição e comparação dos algoritmos. A análise comparativa entre os algoritmos foi realizada considerando o ganho em taxa (kbps) obtido em simulações. Para tanto, foi realizado em laboratório um conjunto de medições de função de transferência direta e de acoplamento, posteriormente utilizadas nas simulações dos algoritmos IWF, ISB e SCALE. Os resultados obtidos nas simulações através do uso das funções de transferência medidas mostraram melhor desempenho quando comparados aos demais resultados ao considerar funções de transferência obtidas a partir do padrão 1% pior caso, resultado este reflexo da aproximação 1% em que os pares apresentam maiores níveis de crosstalk em todas as frequências da função de transferência. Dentre os algoritmos comparados, o ISB e SCALE obtiveram desempenho semelhante em canais padronizados, ficando o IWF com o desempenho próximo ao SSM. No entanto, nas simulações em cenários com canais medidos, os três algoritmos tiveram ganhos muito próximo devido ao baixo nível de crosstalk.

Roteamento multicamada baseado em eficiência energética e qualidade de enlace para redes de sensores sem fio

A pesquisa apresentada nesta dissertação descreve a elaboração de um protocolo de roteamento para aplicações de Redes de Sensores Sem Fio (RSSF) em cidade inteligentes com forte restrição de energia e alta densidade de nodos. Através do estudo dos principais objetivos da comunicação de dados e do levantamento do estado-da-arte sobre os protocolos de roteamento e tecnologias para RSSF, a proposta contempla requisitos como: vazão de dados, confiabilidade de entrega e eficiência energética. A pesquisa apresenta em detalhes o protocolo AODV (Ad hoc On Demand Distance Vector), bem como sua relevância no contexto de RSSF devido a sua popularidade entre as plataformas de dispositivos comercializados. Além disso, são apresentados protocolos derivados do AODV, e a ausência de uma proposta robusta capaz de contemplar os requisitos levantados. O protocolo REL (Routing by Energy and Link Quality) é o resultado da pesquisa levantada e a proposta de solução para roteamento plano sob demanda baseado em eficiência energética e qualidade de enlace para prover um roteamento escalável, capaz de realizar balanceamento de carga e prolongar o tempo de vida da rede. O protocolo REL foi avaliado através de simulação e tesbed, a fim de garantir validação da proposta em ambiente real de escala reduzida e simulado de alta densidade. Os resultados mostraram que o protocolo REL apresenta considerável melhoria de entrega de dados através da escolha de enlaces confiáveis de transmissão e menos suscetíveis a erro, além de moderado consumo de energia capaz de prolongar o tempo de vida da rede, evitando a saturação prematura de nodos.

Uma análise do espiritismo em Fortaleza-CE, com ênfase na expansão territorial do grupo espírita Paulo e Estevão (GEPE), na perspectiva de visibilidade do espaço religioso

Pós-graduação em Geografia - IGCE

A agricultura de Base Ecológica no Corede Vale do Caí (RS)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Monitoramento do desempenho de diferentes tecnologias de módulos fotovoltaicos

Este trabalho consiste na avaliação experimental de 13 módulos fotovoltaicos de 5 diferentes tecnologias. Para isso foi instalado na área externa do laboratório do Grupo de Estudos e Desenvolvimento de Alternativas Energéticas na Universidade Federal do Pará um campo de testes para medição de módulos a sol real, com os testes realizados no período de 21/10/12 a 30/08/2013. Essas medições possibilitaram a aquisição das principais variáveis de interesse nessa aplicação que são: irradiação solar, temperatura da parte posterior dos módulos, tensão e corrente elétrica e curva IV. A partir dessas medições foram calculados parâmetros como eficiência, desempenho global, produtividade, entre outros. Essas grandezas determinam as cacterísticas de geração dos módulos fotovoltaicos e são fundamentais para se entender seu funcionamento, sendo elas apresentadas detalhadamente na forma gráfica ao longo deste trabalho. Além dos dados experimentais, o estudo traz como contribuição um panorama geral sobre o estado da arte de módulos fotovoltaicos, experiências adquiridas durante o período de monitoramento, características do sistema de aquisição de dados desenvolvido e uma análise da influência de sombreamento no desempenho dos módulos fotovoltaicos.