Metodologia para execução de aplicações paralelas baseadas no modelo BSP com tarefas heterogêneas.

A computação paralela permite uma série de vantagens para a execução de aplicações de grande porte, sendo que o uso efetivo dos recursos computacionais paralelos é um aspecto relevante da computação de alto desempenho. Este trabalho apresenta uma metodologia que provê a execução, de forma automatizada, de aplicações paralelas baseadas no modelo BSP com tarefas heterogêneas. É considerado no modelo adotado, que o tempo de computação de cada tarefa secundária não possui uma alta variância entre uma iteração e outra. A metodologia é denominada de ASE e é composta por três etapas: Aquisição (Acquisition), Escalonamento (Scheduling) e Execução (Execution). Na etapa de Aquisição, os tempos de processamento das tarefas são obtidos; na etapa de Escalonamento a metodologia busca encontrar a distribuição de tarefas que maximize a velocidade de execução da aplicação paralela, mas minimizando o uso de recursos, por meio de um algoritmo desenvolvido neste trabalho; e por fim a etapa de Execução executa a aplicação paralela com a distribuição definida na etapa anterior. Ferramentas que são aplicadas na metodologia foram implementadas. Um conjunto de testes aplicando a metodologia foi realizado e os resultados apresentados mostram que os objetivos da proposta foram alcançados.

Metodologia para análise da dependabilidade de Smart Grids

Smart Grids are a new trend of electric power distribution, the future of current systems. These networks are continually being introduced in order to improve the reliability of systems, providing alternatives to energy supply and cost savings. Faced with increasing electric power grids complexity, the energy demand and the introduction of alternative sources to energy generation, all components of system require a fully integration in order to achieve high reliability and availability levels (dependability). The systematization of a Smart Grid from the Fault Tree formalism enable the quantitative evaluation of dependability of a specific scenario. In this work, a methodology for dependability evaluation of Smart Grids is proposed. A study of case is described in order to validate the proposal. With the use of this methodology, it is possible to estimate during the early design phase the reliability, availability of Smart Grid beyond to identify the critical points from the failure and repair distributions of components.

Contributos da supervisão para a dialógica e o trabalho colaborativo : estudo de um caso

Dissertação apresentada à Escola Superior de Educação de Santarém para a obtenção do grau de mestre em Ciências da educação - Supervisão e orientação pedagógica

As tecnologias de comunicação no 1º CEB

O presente trabalho de investigação surge no âmbito da Pós-Graduação de TIC em Contextos de Aprendizagem realizada na Escola Superior de Educação de Paula Frassinetti no ano lectivo de 2008/2009, orientado pela Mestre Daniela Gonçalves. Utilizando uma metodologia da investigação-acção, partiu-se para o estudo do tema em questão, tendo como referência a nossa própria prática, com o intuito de aprofundar conhecimentos e perspectivando linhas de actuação futuras, de modo a colmatar falhas detectadas e contribuir para o enriquecimento curricular dos alunos no 1º Ciclo do Ensino Básico (1ºCEB). Deste modo, partiu-se de uma análise documental diagnóstica das aprendizagens, através do Plano Curricular de Turma do nosso universo de estudo, que neste caso foi uma turma do 2ºano constituída por 20 alunos pertencentes à comunidade educativa de Lousada. Dando continuidade ao percurso investigativo, foram inquiridos por questionário alunos, no sentido de averiguar se as tecnologias faziam parte do seu contexto em momentos de aprendizagem e nas suas relações sociais. Para fundamentar a nossa opção metodológica, construímos uma grelha de observação para verificarmos o desenho da nossa proposta, bem como a criação de um recurso multimédia que designámos por Teia Digital, onde os alunos praticaram os seus conhecimentos, através de exercícios interactivos/lúdicos nas áreas curriculares do seu nível etário. A Teia Digital é um recurso multimédia disponível em – http://www.esepf.pt/~p2008168/ Através destes “instrumentos”, procedemos a uma análise descritiva, onde concluímos que as tecnologias são uma fonte motivadora para todos os alunos. Neste sentido, o grande repto, daqui decorrente, será motivar os docentes para a utilização das tecnologias como pedagogia motivacional das aprendizagens em prol do sucesso escolar dos alunos. Podemos aferir que através de professores motivados e meios tecnológicos podemos motivar alunos e construir aprendizagens com sucesso.Deste modo, pretende-se abrir caminho para a tão almejada transformação das práticas docentes, sustentada no aproveitamento das novas tecnologias, até agora tão pouco explorada pela acção educativa.

Com que realidades se debatem os pais de crianças sobredotadas?

Projecto de investigação no âmbito da Pós-Graduação em Educação Especial - Domínio Cognitivo e Motor, da Escola Superior de Educação de Paula Frassinetti.

Contributos da supervisão para a dialógica e o trabalho colaborativo : estudo de um caso

Dissertação apresentada à Escola Superior de Educação de Santarém para a obtenção do grau de mestre em Ciências da educação - Supervisão e orientação pedagógica

Terminal defect analysis and classification methodology for automotive industry

The impact of end customer quality complaints with direct relationship with automotive components has presented negative trend at European level for the entire automotive industry. Thus, this research proposal is to concentrate efforts on the most important items of Pareto chart and understand the failure type and the mechanism involved, link and impact of the project and parameters on the process, ending it with the development of one of the company’s most desired tool, that hosted this project – European methodology of terminals defects classification, and listing real opportunities for improvement based on measurement and analysis of actual data. Through the development of terminals defects classification methodology, which is considered a valuable asset to the company, all the other companies of the YAZAKI’s group will be able to characterize terminals as brittle or ductile, in order to put in motion, more efficiently, all the other different existing internal procedures for the safeguarding of the components, improving manufacturing efficiency. Based on a brief observation, nothing can be said in absolute sense, concerning the failure causes. Base materials, project, handling during manufacture and storage, as well as the cold work performed by plastic deformation, all play an important role. However, it was expected that this failure has been due to a combination of factors, in detriment of the existence of a single cause. In order to acquire greater knowledge about this problem, unexplored by the company up to the date of commencement of this study, was conducted a thorough review of existing literature on the subject, real production sites were visited and, of course, the actual parts were tested in lab environment. To answer to many of the major issues raised throughout the investigation, were used extensively some theoretical concepts focused on the literature review, with a view to realizing the relationship existing between the different parameters concerned. Should here be stated that finding technical studies on copper and its alloys is really hard, not being given all the desirable information. This investigation has been performed as a YAZAKI Europe Limited Company project and as a Master Thesis for Instituto Superior de Engenharia do Porto, conducted during 9 months between 2012/2013.

Metodologia para padronizar informações climáticas dos cenários futuros no banco de dados geográfico do projeto CLIMAPEST.

Estudos sobre os impactos das mudanças climáticas globais são importantes para atenuar seus possíveis impactos negativos. O objetivo deste trabalho foi desenvolver metodologia para padronizar as informações fornecidas pelos modelos climáticos globais do Quarto Relatório do IPCC (Painel Intergovernamental sobre Mudanças Climáticas), utilizando métodos de interpolação de dados a fim de que os planos de informação no banco de dados do SIG possuam as mesmas características de resolução espacial e limites geográficos.

Aprendendo com um grupo de 4 anos

O presente relatório estrutura um conjunto de temas que possibilitam conhecer uma organização e desenvolvimento do trabalho realizado na instituição onde se efectuou o estágio. Elucida e esquematiza orientações legais como o decreto-lei nº 241/2001 de 30 de Agosto, que define o perfil geral do desempenho do educador, assim como o decreto-lei nº 75/2008 de 22 de Abril referindo a dimensão das escolas portuguesas. Reflecte na intencionalidade educativa, assim como a continuidade educativa na educação de Infância. Sendo um assunto trabalhado e orientado ao longo do estágio, este assunto em parte foi sempre explorado Expõe a dimensão do jardim-de-infância, a nível de documentos orientadores da instituição como projecto educativo, as práticas, a metodologia de trabalha, a sua organização a nível de sala e tempo, as relações entre adulto-criança e criança-criança justificadas em alguns autores. Este relatório apresenta um instrumento de avaliação utilizado durante este período de estágio, denominado “Sistema de Acompanhamento de Crianças”, instrumento esse que possibilitou uma outra visão e postura de trabalho com o grupo. Durante o estágio, foi também possível encontrar uma abordagem às práticas da educadora cooperante, assim como a reflexão de algumas actividades dando a conhecer algum trabalho desenvolvido. Com o último tema descreve o projecto desenvolvido com o grupo de 4 anos, apoiando-se no trabalho de projecto, onde há uma reflexão sobre o que consiste trabalho de projecto apoiando-se em alguma bibliografia e expondo o trabalho desenvolvido segundo esta linha de pensamento.

O impacte da internet na aprendizagem da física

Dissertação de mest. em Física, Faculdade de Ciências e Tecnologia, Univ. do Algarve, 2004

Análise global da estabilidade termodinâmica de misturas: um estudo com o método do conjunto gerador

O cálculo do equilíbrio de fases é um problema de grande importância em processos da engenharia, como, por exemplo, na separação por destilação, em processos de extração e simulação da recuperação terciária de petróleo, entre outros. Mas para resolvê-lo é aconselhável que se estude a priori a estabilidade termodinâmica do sistema, a qual consiste em determinar se uma dada mistura se apresenta em uma ou mais fases. Tal problema pode ser abordado como um problema de otimização, conhecido como a minimização da função distância do plano tangente à energia livre de Gibbs molar, onde modelos termodinâmicos, de natureza não convexa e não linear, são utilizados para descrevê-lo. Esse fato tem motivado um grande interesse em técnicas de otimização robustas e eficientes para a resolução de problemas relacionados com a termodinâmica do equilíbrio de fases. Como tem sido ressaltado na literatura, para proporcionar uma completa predição do equilíbrio de fases, faz-se necessário não apenas a determinação do minimizador global da função objetivo do teste de estabilidade, mas também a obtenção de todos os seus pontos estacionários. Assim, o desenvolvimento de metodologias para essa tarefa desafiadora tem se tornado uma nova área de pesquisa da otimização global aplicada à termodinâmica do equilíbrio, com interesses comuns na engenharia química e na engenharia do petróleo. O foco do presente trabalho é uma nova metodologia para resolver o problema do teste de estabilidade. Para isso, usa-se o chamado método do conjunto gerador para realizar buscas do tipo local em uma rede de pontos previamente gerada por buscas globais efetuadas com uma metaheurística populacional, no caso o método do enxame de partículas.Para se obter mais de um ponto estacionário, minimizam-se funções de mérito polarizadas, cujos pólos são os pontos previamente encontrados. A metodologia proposta foi testada na análise de quatorze misturas polares previamente consideradas na literatura. Os resultados mostraram que o método proposto é robusto e eficiente a ponto de encontrar, além do minimizador global, todos os pontos estacionários apontados previamente na literatura, sendo também capaz de detectar, em duas misturas ternárias estudadas, pontos estacionários não obtidos pelo chamado método de análise intervalar, uma técnica confiável e muito difundida na literatura. A análise do teste de estabilidade pela simples utilização do método do enxame de partículas associado à técnica de polarização mencionada acima, para a obtenção de mais de um ponto estacionário (sem a busca local feita pelo método do conjunto gerador em uma dada rede de pontos), constitui outra metodologia para a resolução do problema de interesse. Essa utilização é uma novidade secundária deste trabalho. Tal metodologia simplificada exibiu também uma grande robustez, sendo capaz de encontrar todos os pontos estacionários pesquisados. No entanto, quando comparada com a abordagem mais geral proposta aqui, observou-se que tal simplificação pode, em alguns casos onde a função de mérito apresenta uma geometria mais complexa, consumir um tempo de máquina relativamente grande, dessa forma é menos eficiente.

Leitura virtual em língua espanhola: a intervenção dos elementos linguísticos presentes em blogs de professores

Esta dissertação tem como objetivo analisar a intervenção de elementos linguísticos no processo leitor em espanhol como língua estrangeira (E/LE) ,em ambiente virtual, de docente desse idioma. A partir desse objetivo macro, estabelecemos um recorte e nos focamos na análise de como/se elementos linguísticos mais característicos de uma linguagem coloquial podem afetar mais a leitura de um docente de E/LE que teve na sua formação e na sua atividade profissional um contato maior com a língua formal. Nesse contexto, escolhemos o blog como o suporte virtual dos textos a serem lidos pelo sujeito por apresentar uma linguagem mais coloquial. No que se refere ao aporte teórico, esta pesquisa tem com principais bases a Linguística Textual (KOCH, 2009, 2002, 2007; KOCH ; TRAVAGLIA, 1996, 2000) e a leitura sócio-interacional (KATO, 1986, 2007; KLEIMAN, 1993, 1996, 2008; NUNES, 2005; VERGNANO-JUNGER, 2009). Também utilizamos alguns elementos da Análise do Discurso de base enunciativa em pontos nos quais ela dialoga com a perspectiva sócio-interacional, como, por exemplo, na noção de gênero do discurso (MAINGUENEAU, 1996, 2003; BAKTHIN, 2003). A Sociolinguística (MORENO FERNANDÉZ, 1996; ALKMIN, 2001) contribuiu para estabelecer os parâmetros da língua coloquial e formal. Quanto à leitura em ambiente virtual, seguimos Ribeiro (2005), Marcuschi (2007), Santaella (2008) e Vergnano-Junger (2009). Para a elaboração deste trabalho, utilizamos uma metodologia híbrida composta de uma parte documental e de um estudo de caso. A fase documental teve como metas classificar os blogs de docentes de E/LE e selecionar dois para a elaboração de atividades de leitura guiada. O estudo de caso realizado com um docente de E/LE, por sua vez, teve como etapas uma leitura livre, duas guiadas e uma entrevista. Objetivou observar e discutir o perfil e o processo leitor do sujeito, com foco na intervenção de elementos linguísticos. Dos resultados obtidos, podemos destacar uma proposta de classificação dos blogs de professores de E/LE. Com base no estudo de caso, duas considerações merecem destaque: (a) uma maior dificuldade de leitura do texto coloquial, ao que tudo indica, gerada pela variedade lexical e (b) uma tendência do sujeito à leitura linear em ambiente virtual, com atenção voltada, frequentemente, para os aspectos de vocabulário e como esses afetavam a compreensão, demonstrando uma tendência à leitura decodificadora

Microscopia multimodal prática: registro automático de imagens de microscopia ótica e de microscopia eletrônica de varredura

A discriminação de fases que são praticamente indistinguíveis ao microscópio ótico de luz refletida ou ao microscópio eletrônico de varredura (MEV) é um dos problemas clássicos da microscopia de minérios. Com o objetivo de resolver este problema vem sendo recentemente empregada a técnica de microscopia colocalizada, que consiste na junção de duas modalidades de microscopia, microscopia ótica e microscopia eletrônica de varredura. O objetivo da técnica é fornecer uma imagem de microscopia multimodal, tornando possível a identificação, em amostras de minerais, de fases que não seriam distinguíveis com o uso de uma única modalidade, superando assim as limitações individuais dos dois sistemas. O método de registro até então disponível na literatura para a fusão das imagens de microscopia ótica e de microscopia eletrônica de varredura é um procedimento trabalhoso e extremamente dependente da interação do operador, uma vez que envolve a calibração do sistema com uma malha padrão a cada rotina de aquisição de imagens. Por esse motivo a técnica existente não é prática. Este trabalho propõe uma metodologia para automatizar o processo de registro de imagens de microscopia ótica e de microscopia eletrônica de varredura de maneira a aperfeiçoar e simplificar o uso da técnica de microscopia colocalizada. O método proposto pode ser subdividido em dois procedimentos: obtenção da transformação e registro das imagens com uso desta transformação. A obtenção da transformação envolve, primeiramente, o pré-processamento dos pares de forma a executar um registro grosseiro entre as imagens de cada par. Em seguida, são obtidos pontos homólogos, nas imagens óticas e de MEV. Para tal, foram utilizados dois métodos, o primeiro desenvolvido com base no algoritmo SIFT e o segundo definido a partir da varredura pelo máximo valor do coeficiente de correlação. Na etapa seguinte é calculada a transformação. Foram empregadas duas abordagens distintas: a média ponderada local (LWM) e os mínimos quadrados ponderados com polinômios ortogonais (MQPPO). O LWM recebe como entradas os chamados pseudo-homólogos, pontos que são forçadamente distribuídos de forma regular na imagem de referência, e que revelam, na imagem a ser registrada, os deslocamentos locais relativos entre as imagens. Tais pseudo-homólogos podem ser obtidos tanto pelo SIFT como pelo método do coeficiente de correlação. Por outro lado, o MQPPO recebe um conjunto de pontos com a distribuição natural. A análise dos registro de imagens obtidos empregou como métrica o valor da correlação entre as imagens obtidas. Observou-se que com o uso das variantes propostas SIFT-LWM e SIFT-Correlação foram obtidos resultados ligeiramente superiores aos do método com a malha padrão e LWM. Assim, a proposta, além de reduzir drasticamente a intervenção do operador, ainda possibilitou resultados mais precisos. Por outro lado, o método baseado na transformação fornecida pelos mínimos quadrados ponderados com polinômios ortogonais mostrou resultados inferiores aos produzidos pelo método que faz uso da malha padrão.

Sobre a motivação da sentença no processo civil: Estado constitucional democrático de direito, discurso justificativo e legitimação do exercício da jurisdição

O presente trabalho, plasmado em metodologia jurídica, reflete criticamente sobre o problema da motivação da sentença civil como elemento de organização e de funcionamento do Estado Constitucional Democrático de Direito. A motivação é condição essencial de jurisdicionalidade, no sentido de que sem motivação não há exercício legítimo da função jurisdicional. O trabalho faz uma abordagem da natureza da motivação como discurso justificativo, jurídico e racional, da validade dos critérios de escolha ou de valoração empregados pelo juiz em sua decisão. O raciocínio do juiz é apresentado sob dupla feição: raciocínio decisório interno (contexto de descoberta ou deliberação) e raciocínio justificativo externo (contexto de justificação ou de validação). O conjunto das funções técnico-instrumental (endoprocessual) e político-garantística (extraprocessual) é objeto de investigação. A motivação, nos planos teórico e prático, exerce também a função de garantia do garantismo processual. A tese da inexistência jurídica da sentença tem três eixos teóricos: omissão total da motivação gráfica; falta de motivação ideológica, equiparada à hipótese de ausência de motivação gráfica; incompatibilidade lógica radical entre as premissas ou entre as premissas e a conclusão final, que também equivale à ausência total de motivação. O trabalho retrata um modelo de injustiça atemporal vivificado pelo juiz Crono, oposto à motivação como inestimável fator de legitimação argumentativa da jurisdição. A obrigatoriedade de motivação pública é o traço característico da jurisdição de nossa contemporaneidade e representa a maior conquista civilizatória do processo équo e justo.

Previsão do comportamento da argila mole da Baixada de Jacarepaguá: o efeito da submersão do aterro e do adensamento secundário.

A argila encontrada na Barra da Tijuca, Rio de Janeiro, é conhecida por ser muito mole e de peso específico bastante baixo. Passados 17 anos após a execução de um aterro em um dos depósitos argilosos da região, foram realizados ensaios de piezocone e SPT para aferir a espessura atual da camada mole. Tendo-se as espessuras originais da camada, determinadas a partir de ensaios de palheta e SPT na época da realização da obra, foi possível,assim, determinar o recalque que realmente ocorreu. O recalque primário foi calculado através dos parâmetros de compressibilidade previamente conhecidos daquele material. Foi aplicada a correção devido à submersão do aterro e, para isso, foi desenvolvida neste trabalho uma nova metodologia de cálculo para este efeito, considerando a submersão do aterro de forma gradual em todo o seu desenvolvimento matemático. Através da diferença entre o recalque total verificado nos ensaios e o recalque primário calculado, determinou-se a magnitude do recalque secundário. Com isso, estimou-se o OCR secundário do local. Este parâmetro surge da teoria que considera que os recalques secundários também ocorrem devido à variação das tensões efetivas, mas, nesse caso, horizontais. As principais conclusões desta pesquisa apontam para um valor de OCR secundário maior do que aquele já conhecido da argila de Sarapuí, que serviu de base para a referida teoria. Além disso, a proposta de cálculo do efeito da submersão se mostrou fácil e rápida de ser aplicada e forneceu resultados próximos daqueles obtidos pelas metodologias usuais.