953 resultados para Programação concorrente
Resumo:
Pós-graduação em Educação - FFC
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
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.
Resumo:
Estabelece reflexões sobre as repercussões da atividade turística em um município amazônico, o de São domingos do Capim (Pará). Ao longo de seu desenvolvimento no espaço local, o turismo, explorando a imagem de uma Amazônia que reúne aventuras, mitos e lendas, através do fenômeno da "pororoca", tem provocado repercussões sócioespaciais no Município do ponto de vista de suas práticas cotidianas. Leva-se em conta que a atividade do turismo num município do interior do Pará, com características híbridas de espaço (ribeirinho e urbano) reestrutura temporalidades diversas, redefinindo, em conseqüência, formas e conteúdos do espaço local. Na presente análise, busca-se evidenciar o espaço vivido local e sua relação com a intensificação da atividade turística, em particular a dimensão cotidiana ribeirinha. Para tanto, a pesquisa utilizou-se da dialética espacial (LEFEBVRE, 1981) como reflexão diante da produção do espaço, tendo em vista os agentes envolvidos. No trabalho de campo, foram entrevistadas cinco categorias essenciais na produção do espaço: população local, turistas, patrocinadores, governo do Estado do Pará e poder público local. Os resultados revelaram haver concepções e intencionalidades diferentes relacionadas à inserção da atividade turística no Município, bem como seu planejamento e sua programação conflitaram com a dimensão do vivido ribeirinho.
Resumo:
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.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Engenharia Mecânica - FEG
Resumo:
Este estudo investigou, com 16 universitários, o papel da história de reforço e da densidade relativa de reforço no seguimento de regra. Utilizou-se um procedimento de escolha segundo o modelo, com 3 estímulos de comparação; a tarefa consistia em apontar cada um dos 3 estímulos de comparação, em seqüência, de acordo com a dimensão (Cor, Espessura ou Forma) em comum com o modelo. As Fases 1, 2, 3 e 4 eram iniciadas, respectivamente, por instruções mínimas, regra discrepante (especificava a seqüência FCE), correspondente (especificava EFC) e discrepante. A seqüência CEF era a única reforçada em todas as fases. Na Fase 3, EFC era reforçada concorrentemente com CEF (concorrente FR2 FR6 e concorrente FR6 FR2). Nenhuma outra seqüência era reforçada. Observou-se tanto controle por regras quanto pela história de reforço, sob condições específicas. Os resultados têm implicações para a distinção entre o comportamento controlado por regras e o controlado por contingências.
Resumo:
O extrativismo vegetal, baseado na exploração sustentável dos produtos florestais não madeireiros é uma das alternativas mais consistentes ecologicamente, no que tange a Conservação da biodiversidade e cobertura natural da Floresta Amazônica. Mas, há problemas sistêmicos que não têm deixado este segmento desenvolver-se de forma satisfatória. O vazamento da economia regional dos produtos extrativistas da Amazônia é uma variável que contribui para o baixo nível de desenvolvimento social e econômico da região. É imperativo que sejam realizadas análises econômicas sobre as possibilidades desse novo modelo A solução provisória para esta área foi estabelecida em 1841, com a definição do espaço entre os rios Oiapoque e Araguari como “Área do Contestado”. Ficou definido então, que a gestão da referida área seria feita de forma compartilhada entre os dois Países. A questão da disputa entre Brasil e França pelas terras do Amapá, só se resolveu definitivamente com a intermediação do presidente suíço Walter Hauser, que em 1o de dezembro de 1900, através do protocolo conhecido como “Laudo Suíço”, concedeu a referida área ao Brasil. de desenvolvimento, apoiado nas bases de um capitalismo contemporâneo, que tem procurado aprimorar os mecanismos econômicos de inclusão social de variáveis ambientais como elementos endógenos do sistema produtivo na Amazônia. O Amapá é o estado brasileiro mais preservado (97% de sua cobertura florestal original) e possui 72% do território como áreas protegidas. Este trabalho pretende identificar o nível de contribuição que os produtos não-madeireiros, extraídos nas florestas por populações tradicionais têm na economia do Amapá. Como método central de análise, foi utilizado o modelo de matriz insumo-produto desenvolvido por Wassily Leontief. Este procedimento analítico tem relevante destaque como instrumento prático de análise e planejamento econômico. Além das análises de programação do crescimento econômico setorial, é adequado para estimar, mediante os efeitos multiplicadores, os impactos do crescimento econômico na produção trabalho e renda setorial de toda a economia. O objeto central do trabalho são as análises estruturais dos arranjos produtivos locais dos produtos florestais não-madeireiros do estado do Amapá, em níveis regional e local. O método desenvolvido pelo Francisco de Assis Costa (Contas Sociais Ascendentes Alfa - CS_) foi usado na construção das matrízes, tendo como base os procedimentos analíticos ascendentes de agregação progressiva dos dados locais O setor extrativista dos produtos florestais não -madeireiros do estado do Amapá, com um PIB de R$ 204 milhões no ano de 2009 tem uma participação pequena, com somente 3,07% das riquezas produzidas no estado. Todavia, quando é observado que 86,77% do valor total do PIB (6,65 bilhões de reais) é decorrente de atividades do Setor Terciário e que todo o Setor Produtivo (Primário e Secundário), tem participação de apenas 13,24%, conclui-se que o valor da produção dos produtos florestais não-madeireiros é bem significativo no estado do Amapá.
Resumo:
Este trabalho tem como objetivo apresentar um método para solucionar o problema de mapeamento entre as soluções teóricas de gerenciamento dinâmico de espectro (DSM) e os parâmetros de controle das densidades espectrais de potência (PSDs) de transmissão dos modems comerciais. O método utiliza algoritmos genéticos (AG) codificado em inteiros para solucionar o problema. O AG é responsável por achar os melhores parâmetros para representar uma PSD arbitrária, considerando as restrições impostas pelos equipamentos e padrões atuais DSL. O trabalho apresenta ainda um estudo comparativo do método proposto com um concorrente, além de estudo estatístico do método proposto, considerando média, desvio padrão e intervalo de confiança. Adicionalmente, são apresentados dois setups para uso em laboratório, sendo um para medição de PSDs e o outro para funções de transferência, os quais podem ser reaproveitados em outros trabalhos.
Resumo:
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.
Resumo:
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.
Resumo:
Esta pesquisa trata de uma experiência vivida com os alunos do curso de Tecnologia em Análise e Desenvolvimento de Sistemas do Centro Federal de Educação Tecnológica do Pará - CEFET sobre o aprendizado de algoritmos e programação. O presente estudo justifica-se pela relevância em se discutir a prática do profissional da área de informática que atua na educação profissional superior com o ensino de algoritmos. Embora haja concepções acerca dos obstáculos relacionados ao tema, há a necessidade de se investigar as dificuldades e fatores que contribuem com a aprendizagem de algoritmos e consequentemente de programação. Assim este trabalho se propõe a responder a seguinte questão? É possível melhorar o processo ensino-aprendizagem de algoritmos através da pedagogia de projetos? Com base nas observações levantadas, propomos e colocamos em prática um modelo de ensino baseado nesta pedagogia, com o objetivo de potencializar a compreensão de algoritmos. A metodologia adotada utilizou a pesquisa-ação no sentido de investigação colaborativa de observação na ação. Os fundamentos teóricos basearam-se na teoria de aprendizagem significativa de David Ausubel, nas propostas facilitadoras dessa aprendizagem por Postman e Weingartner, Marco Antônio Moreira e no Construcionismo de Papert. De um modo geral foram constatadas boas impressões com desenvolvimento do projeto especialmente por termos observado nos alunos maior motivação com a atividade de programação percebida pela autonomia e reflexão nas etapas de desenvolvimento do projeto.
Resumo:
Esta dissertação de mestrado apresenta o projeto e a construção de um robô móvel terrestre denominado LOGBOT, com tração de movimento do tipo diferencial – com duas rodas motoras e uma roda livre para manter a estabilidade de sua estrutura em relação à superfície. O controle do robô dispõe dos modos de telemetria e autônomo. No modo de controle por telemetria (ROV), a comunicação do robô com a estação de controle é feita por radiofreqüência a uma distância de até um quilometro em ambientes externos, e até cem metros em ambientes internos. No modo de controle autônomo (AGV), o robô tem habilidade para navegar em ambientes internos e desconhecidos usando sempre a parede à sua esquerda como referência para a trajetória de seu movimento. A seqüência de movimentos para execução da trajetória é enviada para a estação de controle que realiza análises de desempenho do robô. Para executar suas tarefas no modo autônomo, a programação do robô conta com um agente inteligente reativo, que detecta características do ambiente (obstáculos, final de paredes, etc.) e decide sobre qual atitude deve ser executada pelo robô, com objetivo de contornar os obstáculos e controlar a velocidade de suas rodas. Os problemas de erro odométrico e suas correções com base no uso de informações sensoriais externas são devidamente tratados. Técnicas de controle hierárquico do robô como um todo e controle em malha fechada da velocidade das rodas do robô são usadas. Os resultados mostraram que o robô móvel LOGBOT é capaz de navegar, com estabilidade e precisão, em ambientes internos no formato de um corredor (wall following).