Framework-specific DSL para sensoriamento participado

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Relatório de estágio em educação pré-escolar e ensino do 1º ciclo do ensino básico

O presente relatório – requisito parcial para obtenção do grau de mestre em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico – reflete as experiências e conhecimentos desenvolvidos, resultantes da prática pedagógica supervisionada desenvolvida em dois contextos de estágio: Educação Pré-Escolar e 1.º Ciclo do Ensino Básico. Com efeito, a estudante teve como objetivo descrever, compreender e refletir acerca do processo de prática segundo o desenvolvimento de capacidades e competências substanciais à prática docente. Enquanto (futura) profissional de educação, verifica-se pertinente a mobilização de saberes científicos, pedagógicos e culturais, adquiridos ao longo da formação inicial para que se torne exequível uma prática sustentada. Similarmente, o docente, baseando-se em quadros teóricos e concetuais (amplificados de forma subjetiva e continuada), desenvolverá a sua forma pessoal de pensar e agir nos contextos de práticas reais visando a inclusão e equidade educativas, e a colaboração profissional e reflexiva. Conforme a metodologia de investigação-ação (constituída por várias etapas interligadas – observação, planificação, ação e avaliação, reflexão), a ação da mestranda desenvolveu-se de forma cíclica e articulada, numa perspetiva construtivista – e holística – do conhecimento a erigir pelas crianças (atores centrais do processo) ressalvando-se, igualmente, a pertinência dos demais instrumentos orientadores elaborados no decorrer da ação. Concludentemente, os estágios desenvolvidos nos dois contextos facultaram a edificação de uma postura profissional, reflexiva e investigativa, promotora da tomada de decisões em contexto de prática reafirmando-se competências profissionais e pessoais e valorando-se, efetivamente, a formação ao longo da vida para aquele que se constitui um docente generalista.

TEC4SEA - A Modular Platform for Research, Test and Validation of Technologies Supporting a Sustainable Blue Economy

This paper presents the TEC4SEA research infrastructure created in Portugal to support research, development, and validation of marine technologies. It is a multidisciplinary open platform, capable of supporting research, development, and test of marine robotics, telecommunications, and sensing technologies for monitoring and operating in the ocean environment. Due to the installed research facilities and its privileged geographic location, it allows fast access to deep sea, and can support multidisciplinary research, enabling full validation and evaluation of technological solutions designed for the ocean environment. It is a vertically integrated infrastructure, in the sense that it possesses a set of skills and resources which range from pure conceptual research to field deployment missions, with strong industrial and logistic capacities in the middle tier of prototype production. TEC4SEA is open to the entire scientific and enterprise community, with a free access policy for researchers affiliated with the research units that ensure its maintenance and sustainability. The paper describes the infrastructure in detail, and discusses associated research programs, providing a strategic vision for deep sea research initiatives, within the context of both the Portuguese National Ocean Strategy and European Strategy frameworks.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Relatório de estágio em 1º ciclo do ensino básico

No âmbito do Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico, desenvolveu-se o presente relatório de caráter formativo, no qual foi analisada sob uma holística crítica e reflexiva, a Prática Pedagógica Supervisionada da mestranda, nos dois níveis educativos aos quais se propõe a uma profissionalidade futura – Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico. Sendo que o estágio em Educação Pré-Escolar decorreu com um grupo de crianças com idades compreendidas entre os quatro e os cinco anos de idade e o estágio em 1.º Ciclo do Ensino Básico com uma turma do 3.º ano de escolaridade, no Colégio Novo da Maia. Neste documento foi desenvolvida uma descrição, análise e reflexão das competências profissionais e pessoais que a estudante desenvolveu ao longo das suas intervenções decorrentes num processo de formação profissional. Para isto, foi exposta a ação educativa da estudante, sustentada em quadros teórico e conceptuais já desenvolvidos; nos normativos legais; e características dos contextos educativos, ambiente educativo e respetivas crianças/alunos. Neste sentido, a mestranda fundamentou as suas práxis desenvolvidas em dois contextos de estágio diferentes, na metodologia de investigação-ação, numa constante postura crítica, reflexiva, investigativa e indagatória, nas diferentes fases que caraterizam esta metodologia. Ao longo da realização dos dois estágios procurou-se uma construção e reconstrução contínua de aprendizagens potenciadoras de um crescimento profissional enquanto docente generalista e de práticas geradoras de aprendizagens mais significativas por parte das crianças e alunos dos diferentes contextos

XATA 2010 : XML : Associated Technologies and Applications, 8th

These are the proceedings for the eighth national conference on XML, its Associated Technologies and its Applications (XATA'2010). The paper selection resulted in 33% of papers accepted as full papers, and 33% of papers accepted as short papers. While these two types of papers were distinguish during the conference, and they had different talk duration, they all had the same limit of 12 pages. We are happy that the selected papers focus both aspects of the conference: XML technologies, and XML applications. In the first group we can include the articles on parsing and transformation technologies, like “Processing XML: a rewriting system approach", “Visual Programming of XSLT from examples", “A Refactoring Model for XML Documents", “A Performance based Approach for Processing Large XML Files in Multicore Machines", “XML to paper publishing with manual intervention" and “Parsing XML Documents in Java using Annotations". XML-core related papers are also available, focusing XML tools testing on “Test::XML::Generator: Generating XML for Unit Testing" and “XML Archive for Testing: a benchmark for GuessXQ". XML as the base for application development is also present, being discussed on different areas, like “Web Service for Interactive Products and Orders Configuration", “XML Description for Automata Manipulations", “Integration of repositories in Moodle", “XML, Annotations and Database: a Comparative Study of Metadata Definition Strategies for Frameworks", “CardioML: Integrating Personal Cardiac Information for Ubiquous Diagnosis and Analysis", “A Semantic Representation of Users Emotions when Watching Videos" and “Integrating SVG and SMIL in DAISY DTB production to enhance the contents accessibility in the Open Library for Higher Education". The wide spread of subjects makes us believe that for the time being XML is here to stay what enhances the importance of gathering this community to discuss related science and technology. Small conferences are traversing a bad period. Authors look for impact and numbers and only submit their works to big conferences sponsored by the right institutions. However the group of people behind this conference still believes that spaces like this should be preserved and maintained. This 8th gathering marks the beginning of a new cycle. We know who we are, what is our identity and we will keep working to preserve that. We hope the publication containing the works of this year's edition will catch the same attention and interest of the previous editions and above all that this publication helps in some other's work. Finally, we would like to thank all authors for their work and interest in the conference, and to the scientific committee members for their review work.

HRM higher education in Europe

Higher education has earned in the recent years an increasing attention in Europe. European Higher Education Area (EHEA) is being developed, a three-cycle qualifications structure is formally in place, the principles of quality assurance are agreed, and a range of mobility instruments is being created. A European Qualifications Framework (EQF) is established (2008), and national qualifications frameworks in Europe should be all be published this year. In the HRM field, higher education is remaining largely unexamined. It is undertheorised and with lack of empirical research, especially if we consider the European reality. With the exception of Brewster et al. (2000) and Boxall et al. (2007), all the research published on the specific HRM higher education field seems to be American (Barber, 1999; Chadwick, 2005; Hayton et al.,2005; Kaufman, 1996, 1999; Langbert, 2005, 2000; Sincoff & Owen, 2004; Van Eyden et al., 1997; Wimbush 2008). This study analyses HRM higher education in Europe with the aim to identify the current trends of European HRM academic qualifications system. In order to provide strategic indicators on the subject, research was carried out in 14 European countries. The sample was constituted by the three cycles defined in Bergen (bachelor, master and PhD) and the primary information source was the Portal on Learning Opportunities throughout the European Space promoted by the European Commission (PLOTEUS). Within a qualitative methodology, qualifications’ structures, approaches, and competencies are explored as main analytical categories.

Geometry based visualization with OpenCL

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Articulação de várias linguagens de programação/tecnologias no desenvolvimento aplicacional

O desenvolvimento aplicacional é uma área em grande expansão no mercado das tecnologias de informação e como tal, é uma área que evolui rápido. Os impulsionadores para esta característica são as comunicações e os equipamentos informáticos, pois detêm características mais robustas e são cada vez mais rápidos. A função das aplicações é acompanhar esta evolução, possuindo arquiteturas mais complexas/completas visando suportar todos os pedidos dos clientes, através da produção de respostas em tempos aceitáveis. Esta dissertação aborda várias arquiteturas aplicacionais possíveis de implementar, mediante o contexto que esteja inserida, como por exemplo, um cenário com poucos ou muitos clientes, pouco ou muito capital para investir em servidores, etc. É fornecido um nivelamento acerca dos conceitos subjacentes ao desenvolvimento aplicacional. Posteriormente é analisado o estado de arte das linguagens de programação web e orientadas a objetos, bases de dados, frameworks em JavaScript, arquiteturas aplicacionais e, por fim, as abordagens para definir objetivos mensuráveis no desenvolvimento aplicacional. Foram implementados dois protótipos. Um deles, numa arquitetura multicamada com várias linguagens de programação e tecnologias. O segundo, numa única camada (monolítica) com uma única linguagem de programação. Os dois protótipos foram testados e comparados com o intuito de escolher uma das arquiteturas, num determinado cenário de utilização.

A eficiência energética nas redes de telecomunicações e tecnologias de informação e comunicação

A presente tese pretende fazer uma abordagem ao crescimento dos consumos de energia elétrica, que se tem verificado, nos últimos anos, no setor das telecomunicações e das tecnologias de informação; devido ao constante crescimento das redes, dos equipamentos a ela ligados e do tráfego que nelas transita. Num contexto de globalização da economia, no qual, as redes de telecomunicações e de energia elétrica são dois dos maiores contribuintes, a presente tese procura encontrar enquadramentos e soluções para um dos maiores desafios que a humanidade enfrenta atualmente, e que em parte, é consequente dessa globalização: encontrar novas fontes e formas de utilização da energia, -particularmente da energia elétrica - para que a humanidade continue a usufruir, de uma forma sustentável, dos benefícios que a mesma proporciona. Na primeira parte, procura-se fazer uma abordagem que utiliza fontes de informação e conhecimento, do mercado global, nomeadamente, entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, que abrangessem os três maiores mercados mundiais – União Europeia, Estados Unidos da América e Ásia-Pacífico. Considerou-se fundamental fazê-lo, por se tratar de uma dissertação no âmbito de um Mestrado com o selo de garantia EUR-ACE. Ao longo da dissertação analisou-se a temática da eficiência energética nas redes de telecomunicações e das tecnologias de informação e comunicação, um tema cada vez mais pertinente, já que o número de pessoas com ligações à Internet, já supera os 3 mil milhões, e as redes passaram a ser o meio por onde são transmitidos, a cada segundo, terabytes de sinais de voz, dados e vídeo. Procurou-se encontrar as linhas de orientação que estão a ser traçadas, para otimizar os consumos energéticos, de um complexo sistema convergente de redes e serviços, formado por entidades reguladoras e normalizadoras, operadores, fornecedores de tecnologias e consumidores, onde nem sempre as fronteiras estão perfeitamente definidas. Perante a constatação da realidade exposta, analisou-se as políticas energéticas desenvolvidas nos últimos anos, pelos vários players do mercado das telecomunicações, das tecnologias de informação e dos sistemas elétricos de energia bem como algumas métricas e objetivos comumente aceites. viii São analisados os contributos das partes interessadas, para o desenvolvimento de políticas energéticas eficazes, por forma a permitirem uma implementação, que considere o funcionamento dos equipamentos como um todo, e não de uma forma isolada como tradicionalmente o assunto era abordado. As especificidades na forma como funcionam as redes de telecomunicações e respetivos equipamentos, são expostas sobre várias óticas, comprovando-se que a temática da eficiência energética é uma das áreas mais difíceis lidar, de todas as consideradas nas políticas energéticas. Demonstrou-se que muitos dos equipamentos não estão otimizados em termos de gestão de energia, procurou-se evidenciar as consequências dessa realidade, uma vez que os equipamentos referidos, têm a necessidade de estar permanentemente a ser alimentados pela rede de energia elétrica, para garantir as funções para que foram projetados. Da pesquisa efetuada e descrita ao longo da dissertação, constatamos o empenho de toda a comunidade científica, operadores e agências de energia e de telecomunicações, em resolver o problema, já que há a consciencialização de que o ritmo de crescimento da rede e equipamentos terminais, é superior ao registado na melhoria da eficiência energética dos vários componentes e equipamentos terminais. Na segunda parte do relatório da tese, procurou-se testar a aplicabilidade das normas e recomendações dos organismos que tutelam a atividade a nível global - algumas publicadas nos últimos 2 anos - a um caso prático. Um edifício hospitalar de média dimensão. Foi elaborada uma aplicação informática, que suportada numa metodologia padronizada, seja capaz de fazer a avaliação da eficiência energética dos equipamentos serviços de telecomunicações de informação e comunicação em funcionamento do hospital. Por dificuldades de disponibilidade dos responsáveis do edifício, os resultados ficaram aquém do esperado. Conseguiu-se desenhar a aplicação, inventariar-se apenas parte dos equipamentos. Demonstrou-se que, a forma como alguns equipamentos estão a ser utilizados, não cumprem regras de utilização racional e eficiente. Procurou-se sensibilizar alguns dos responsáveis, para a necessidade de alterar comportamentos e prosseguir o processo de inventariação, por forma, a que o trabalho iniciado atinja os objetivos propostos.

Real-time Task-Splitting scheduling algorithms framework

Nos dias de hoje, os sistemas de tempo real crescem em importância e complexidade. Mediante a passagem do ambiente uniprocessador para multiprocessador, o trabalho realizado no primeiro não é completamente aplicável no segundo, dado que o nível de complexidade difere, principalmente devido à existência de múltiplos processadores no sistema. Cedo percebeu-se, que a complexidade do problema não cresce linearmente com a adição destes. Na verdade, esta complexidade apresenta-se como uma barreira ao avanço científico nesta área que, para já, se mantém desconhecida, e isto testemunha-se, essencialmente no caso de escalonamento de tarefas. A passagem para este novo ambiente, quer se trate de sistemas de tempo real ou não, promete gerar a oportunidade de realizar trabalho que no primeiro caso nunca seria possível, criando assim, novas garantias de desempenho, menos gastos monetários e menores consumos de energia. Este último fator, apresentou-se desde cedo, como, talvez, a maior barreira de desenvolvimento de novos processadores na área uniprocessador, dado que, à medida que novos eram lançados para o mercado, ao mesmo tempo que ofereciam maior performance, foram levando ao conhecimento de um limite de geração de calor que obrigou ao surgimento da área multiprocessador. No futuro, espera-se que o número de processadores num determinado chip venha a aumentar, e como é óbvio, novas técnicas de exploração das suas inerentes vantagens têm de ser desenvolvidas, e a área relacionada com os algoritmos de escalonamento não é exceção. Ao longo dos anos, diferentes categorias de algoritmos multiprocessador para dar resposta a este problema têm vindo a ser desenvolvidos, destacando-se principalmente estes: globais, particionados e semi-particionados. A perspectiva global, supõe a existência de uma fila global que é acessível por todos os processadores disponíveis. Este fato torna disponível a migração de tarefas, isto é, é possível parar a execução de uma tarefa e resumir a sua execução num processador distinto. Num dado instante, num grupo de tarefas, m, as tarefas de maior prioridade são selecionadas para execução. Este tipo promete limites de utilização altos, a custo elevado de preempções/migrações de tarefas. Em contraste, os algoritmos particionados, colocam as tarefas em partições, e estas, são atribuídas a um dos processadores disponíveis, isto é, para cada processador, é atribuída uma partição. Por essa razão, a migração de tarefas não é possível, acabando por fazer com que o limite de utilização não seja tão alto quando comparado com o caso anterior, mas o número de preempções de tarefas decresce significativamente. O esquema semi-particionado, é uma resposta de caráter hibrido entre os casos anteriores, pois existem tarefas que são particionadas, para serem executadas exclusivamente por um grupo de processadores, e outras que são atribuídas a apenas um processador. Com isto, resulta uma solução que é capaz de distribuir o trabalho a ser realizado de uma forma mais eficiente e balanceada. Infelizmente, para todos estes casos, existe uma discrepância entre a teoria e a prática, pois acaba-se por se assumir conceitos que não são aplicáveis na vida real. Para dar resposta a este problema, é necessário implementar estes algoritmos de escalonamento em sistemas operativos reais e averiguar a sua aplicabilidade, para caso isso não aconteça, as alterações necessárias sejam feitas, quer a nível teórico quer a nível prá

Relatório de estágio em Ensino do 1.º Ciclo do Ensino Básico

Relatório EPE - Relatório de estágio em Educação Pré-Escolar: O presente relatório de estágio foi realizado no âmbito da Unidade Curricular (UC) de Prática Pedagógica Supervisionada na Educação Pré-Escolar, inserida no Mestrado em Educação Pré-Escolar e Ensino do 1.º Ciclo do Ensino Básico. Sendo que este perspetiva o percurso de formação da mestranda, importa conceptualizar os referenciais teóricos e legais que sustentaram a sua ação e a metodologia utlizada durante todo o processo – investigação-ação – que inclui os seguintes processos educativos: a observação, a planificação, a ação, a avaliação e a reflexão. A Prática Pedagógica Supervisionada realizou-se na valência de creche, no Colégio Novo da Maia e teve como principais objetivos o desenvolvimento das competências profissionais e disposições subjacentes ao Perfil Geral e Específico de Desempenho do Educador de Infância. Apoiando a sua prática através da observação, recolha de dados, análise constante da ação e reflexão crítica permanente, a formanda, regulou-se pela metodologia de investigação-ação enquanto “processo em que os participantes analisam as suas próprias práticas educativas de uma forma sistemática e aprofundada” (Coutinho et al, 2009, p.360), com vista ao desenvolvimento de competências relativas a um educador enquanto investigador da própria ação. Importa acrescentar que o período de estágio foi de 210 horas e decorreu em díade de formação. A colaboração entre todos os atores intervenientes no contexto da prática pedagógica supervisionada “visa a construção de um perfil profissional que promova o desenvolvimento das competências socioprofissionais e pessoais, de forma fundamentada, reflexiva, integrada e autonomizante, à luz do princípio da aprendizagem ao longo da vida” (Ribeiro, 2013, p.2).

Relatório de estágio

O presente relatório tem como intuito refletir sobre o desenvolvimento pessoal e profissional da mestranda, a sua experiência e os conhecimentos adquiridos em resultado da prática pedagógica supervisionada desenvolvida ao nível da Educação Pré-Escolar e do 1.º Ciclo do Ensino Básico ao longo deste mestrado. Ao longo da prática, a ação da mestranda foi orientada pela metodologia de investigação-ação, constituída por várias etapas cíclicas e articuladas (observação, planificação, ação, reflexão e avaliação) numa perspetiva socio construtivista. Esta estratégia possibilitou a planificação de atividades adequadas às caraterísticas específicas de cada grupo. Para isso foi indispensável adotar uma atitude profissional indagadora, de caráter investigativo e crítico-reflexivo, que permitiu agir intencionalmente em cada situação, procurando atender às necessidades e interesses de cada criança. A mestranda desenvolveu a sua forma pessoal de pensar e agir no decorrer da sua prática baseando-se em quadros teóricos e concetuais, visando uma diferenciação educativa e uma colaboração profissional e reflexiva. Em suma, os estágios desenvolvidos nos dois níveis educativos promoveram a edificação de uma postura profissional reflexiva e investigativa que favoreceu a tomada de decisões em contexto de prática. Neste contexto, foram reafirmadas competências profissionais e pessoais e abriu-se caminho para uma formação ao longo da vida, essencial para um docente generalista.