O acompanhamento local como modelo de desenvolvimento curricular em matemática

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

O desenvolvimento de um modelo de ensino virtual num contexto de investimento incipiente em e - learning: progressos e desafios

Este artigo relata o desenvolvimento de um modelo de ensino virtual em curso na Universidade dos Açores. Depois de ter sido adotado na lecionação de disciplinas da área da Teoria e Desenvolvimento Curricular em regime de e-learning e b-learning, o modelo foi, no ano académico de 2014/15, estendido à lecionação de outras disciplinas. Além de descrever o modelo e explicar a sua evolução, o artigo destaca a sua adoção no contexto particular de uma disciplina cuja componente online foi lecionada em circunstâncias especialmente desafiadoras. Neste sentido, explica o processo de avaliação da experiência, discute os seus resultados e sugere pistas de melhoria. Essa avaliação enquadra-se num processo de investigação do design curricular – a metodologia que tem sido usada para estudar o desenvolvimento do modelo.

Os millennials em Portugal: estudo exploratório a partir de um coorte etário sobre engagement consumidor-marca

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

A influência do acompanhamento em suporte digital na motivação dos alunos de saxofone: relatório de estágio

I (Prática pedagógica)- Esta secção do Relatório de Estágio pretende apresentar elementos referentes ao Estágio do Ensino Especializado da Música no ensino do saxofone, efectuado na Escola de Música Luís António Maldonado Rodrigues, no ano lectivo 2012/2013. Neste estágio foram envolvidos e analisados três alunos, em níveis distintos de desenvolvimento, mas com orientações semelhantes no que respeita à organização do trabalho. Para cada aluno foram realizados trinta planos de aula, uma planificação anual e três gravações vídeo/áudio em contexto de sala de aula, permitindo uma análise e reflexão mais profunda do trabalho docente. A secção é composta pela caracterização da escola onde se realizou o estágio, através da sua contextualização/funcionamento, dos seus espaços e equipamentos, recursos humanos existentes e organização pedagógica. Posteriormente é efectuada a caracterização dos três alunos envolvidos no estágio, baseada na experiência docente e nos conhecimentos fornecidos pelas Unidades Curriculares do Mestrado em Ensino da Música. Seguidamente descrevem-se as práticas lectivas desenvolvidas ao longo do ano lectivo por parte do docente, incorporando linhas orientadoras da docência aplicadas na prática pedagógica. É feita uma análise crítica da actividade docente no âmbito do estágio do Ensino Especializado da Música, e, por último, uma conclusão desta primeira secção. .

Estimação de cobertura rádio em comunicações ferroviárias

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Controlo fotogramétrico da condição de estruturas quebra-mar

Dissertação de natureza Científica para obtenção do grau de Mestre em Engenharia Civil

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Estimação de cobertura rádio em GSM-R através de redes neuronais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Eletrónica e Telecomunicações

Incidências - Modelo logit e medidas aproximadas de impactos ambientais

O objectivo central deste trabalho e avaliar o efeito de se considerarem medições aproximadas das exposições na incidência de doenças resultantes de impactos ambientais. Dado existirem quase exclusivamente estatísticas de incidência das doenças, de- senvolvemos modelos que, a partir dessas estatísticas, permitam abordar o nosso problema. Em particular, mostrámos que, quando se utilizam modelos logit, o uso de medidas aproximadas dos impactos ambientais leva a uma distorção, por defeito, dos coeficientes angulares das rectas ajustadas. Estudámos ainda limites para essa distorção, utilizando para tal a aproximação de Edgeworth. Os nossos resultados permitiram-nos também esquematizar diversos cenários para delineamento de trabalhos de campo, indispensáveis ao aprofundamento do nosso objectivo.

Modelo de avaliação das condições de aplicação da produção magra

Para fazer face à forte concorrência que a indústria gráfica começa a sentir, e com o objectivo de aumentar a sua rentabilidade e competitividade, propõe-se, neste estudo, aplicar o sistema de fabrico que revolucionou a indústria automóvel na segunda metade do século XX e que começa, progressivamente, a ser generalizado a outras indústrias. Através da concepção de um modelo de «lean production», ou Produção Magra, será possível avaliar o processo de fabrico de uma empresa gráfica, sugerindo importantes acções a tomar, em diversas áreas, conduzindo-a a um novo método de fabrico baseado no sistema de produção magra. Foi realizado um estudo de caso numa empresa gráfica, tendo sido aplicadas as várias ferramentas típicas da produção magra. A análise de dois momentos do estudo de caso revelou, através da aplicação do modelo e após as sugestões apresentadas, uma evolução da organização para um estado mais próximo do sistema de produção magra. O modelo de avaliação permite repensar a forma de produzir valor numa gráfica, que tipicamente labora sob um método de fabrico de produção em massa. Muitas alterações tecnológicas ocorreram nos últimos anos nesta indústria e o método de fabrico ainda se mantém. É agora possível produzir de forma mais optimizada, concentrando todos os esforços na eliminação dos desperdícios.

O impacto do Modelo Touchpoints: das representações do educador de infância à construção de uma parentalidade confiante

Na esteira dos estudos sobre a relação creche-família e sobre o modelo Touchpoints, surgiu o interesse de elaborar uma investigação-ação, na qual se pretende implementar práticas reflexivas Touchpoints e avaliar o seu impacto na satisfação dos pais, das educadoras de infância, no desenvolvimento infantil, na qualidade do contexto educativo, nas rotinas da família e no desenvolvimento das crianças. Para o efeito e assumindo um duplo papel enquanto educadoras de infância e investigadoras, foram convidados a participar neste estudo 22 pais de 23 crianças, com idades compreendidas entre os 13 e os 33 meses, que frequentam as salas de creche onde exercemos a nossa atividade profissional, em duas instituições distintas. Esta investigação assentou em quatro fases de trabalho, de forma a cumprir os objetivos propostos: 1ª) a recolha de dados, antes da formação em Touchpoints, recorrendo aos seguintes instrumentos e observações: Escala de Desenvolvimento Infantil Growing Skills II, observação da interação pais-criança com a escala Care-Index, avaliação da satisfação dos pais e das educadoras com a Parent Caregiver Relationship Scale (PCRS), avaliação do contexto educativo com a ITERS-R, e os Mapas de Rotinas Semanais da família; 2ª) formação Touchpoints com uma equipa interdisciplinar; 3ª) Práticas reflexivas Touchpoints – as educadoras como agentes de mudança refletem sobre as suas práticas com guiões prévios e coaching (supervisão com formadores que visitaram a creche, a equipa educativa e a sala da educadora); 4ª) repetição da recolha de dados no final do projeto. O estudo indicou que o desenvolvimento infantil, as relações pais-filhos, as rotinas familiares, a satisfação pais-educadoras e educadoras-pais, assim como a própria prática das educadoras, mudaram após o treino com as práticas reflexivas em Touchpoints. Embora estes resultados não possam ser generalizados e o controlo das variáveis seja afetada por uma metodologia de investigação-ação (portanto, não possamos inferir que todos estes ganhos se devem às praticas reflexivas Touchpoints), os principais resultados obtidos neste estudo permitem-nos repensar formas de relacionamento entre a creche e a família e sobre o impacto que a prática reflexiva dos educadores de infância pode ter na qualidade destas relações. Julgamos que a presente investigação suscita questões sobre a relação educadores-pais e sobre o contributo das práticas reflexivas em Touchpoints nas práticas de creche.

Contributos para o desenvolvimento de um modelo de avaliação do capital intelectual em instituições de ensino superior

Mestrado em Gestão e Empreendedorismo

Outsourcing das actividades de marketing digital nas PME

Dissertação de Mestrado Apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Marketing Digital, sob orientação de Professor Doutor Freitas Santos

A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.