O ensino de auditoria em Angola estudo de caso

Trabalho de Projecto apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Auditoria, sob orientação da Professora Doutora Alcina Augusta de Sena Portugal Dias

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.

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Relatório de Estágio: Análise da eficiência do Sistema de controlo de tráfego da cidade do Porto

No âmbito da unidade curricular Dissertação/Estágio/Projeto, foi desenvolvido, durante um estágio na Câmara Municipal do Porto, o estudo da eficiência do sistema inteligente de controlo de tráfego implementado na cidade. Este sistema é designado como Sistema Inteligente de Gestão Autónoma - SIGA e tem como base de funcionamento o software de gestão de tráfego GERTRUDE da empresa GERTRUDE SAEM. O sistema de controlo de tráfego encontra-se repartido em 10 zonas interligadas, focadas essencialmente no centro da cidade do Porto. O estudo foi aplicado apenas a uma parte da zona da Constituição, nomeadamente a rua da Constituição, desde a Praça Marquês até à rua Antero de Quental. A eficiência mediu-se pela comparação de duas situações, a circulação e comportamento das correntes de tráfego com o sistema em funcionamento normal e com o sistema desativado. Por sua vez, o indicador utilizado que permitiu avaliar o sistema, foi o nível de serviço obtido pelo atraso médio por veículo em cada ramo de cada interseção. Para determinação do atraso, foram testados diferentes métodos, para se tentar perceber qual aquele que melhor se adequava à situação e que exigia menor número de recursos humanos. À frente serão exaradas algumas conclusões acerca da metodologia de cada um deles e condicionantes que levaram à não utilização de todos os métodos. Depois de aplicadas as metodologias que permitiram determinar o nível de serviço em cada grupo semafórico das diferentes interseções, percebeu-se que existe uma grande diferença na circulação entre as duas situações, sendo que a mais-valia que este sistema apresenta é a coordenação das diferentes interseções que se encontram abrangidas pelas 10 zonas pertencentes ao SIGA.

Aplicação de Internet of Things em casas inteligentes: Serviços de Rede

O foco principal no estudo da Internet of Things tem sido a integração de dispositivos digitais com o mundo físico e vice-versa. Os dispositivos inteligentes têm vindo a ganhar uma forte presença na nossa vida diária e cada vez mais, tendem a integrar o sistema de uma casa, automatizando processos comuns como o controlo de temperatura ambiente ou mesmo a percentagem de luminosidade de uma divisão. A visão da IoT contempla um mundo interconectado, recolhendo informações de forma automática e possibilitando a comunicação entre dispositivos. Contudo, as tecnologias existentes para a criação de redes que albergam estes novos dispositivos carecem de padrões bem definidos, dificultando a interoperabilidade entre as diversas soluções existentes. Neste projeto são estudadas e aplicadas as tecnologias mais promissoras aplicáveis ao paradigma Internet of Things, com o objetivo de encontrar um conjunto de protocolos padrão para a implementação de sistemas de automação em casas inteligentes.1 Como objetivo final deste projeto, pretende-se criar uma rede de dispositivos com capacidades sensoriais que tenham a capacidade de comunicar com o mundo externo, permitindo o acesso à rede por qualquer tipo de utilizador. Com isso, espera-se caminhar para mais perto da padronização dos protocolos inerentes à IoT e habilitar interoperabilidade entre as mais diversas soluções. São apresentados e utilizados os protocolos que mais se adaptam ao tema escolhido, tentando simplificar a rede para que esta possa ser incluída em qualquer ambiente doméstico, recorrendo a hardware de custo reduzido. Os protocolos apresentados são o 6LoWPAN, utilizando o protocolo IEEE 802.15.4 como interface de rede juntamente com endereçamento IPv6. É também utilizado o protocolo CoAP na troca de mensagens entre os dispositivos.

BIiossensor Enzimático para avaliação da Capacidade Antioxidente

Os radicais livres formam-se naturalmente nos organismos vivos, pois a sua produção/geração está interligada com o processo de produção de energia (respiração), processos inflamatórios (fagocitose), regulação do crescimento celular, sinalização intercelular e síntese de substâncias biológicas relevantes. Estes também podem ser introduzidos por vias exógenas (poluição, radiação, tabaco, alimentação, etc). Os radicais livres têm capacidade de reagir com o material nucleico (ADN e ARN), proteínas e substâncias oxidáveis, causando danos oxidativos responsáveis pelo envelhecimento e originar doenças degenerativas, tais como, o cancro, arteriosclerose, artrite reumatoide, entre outras. De forma a combater os efeitos pejorativos provocados pelos radicais, os organismos vivos desenvolveram complexos sistemas de defesa antioxidante. Estes sistemas são constituídos por antioxidantes endógenos, produzidos pelos seres vivos, tais como enzimas ou por antioxidantes exógenos obtidos por via da alimentação (por exemplo o ácido ascórbico). Neste sentido, um antioxidante tem capacidade de eliminar ou reduzir a propagação da cadeia de geração de radicais livres. Neste trabalho foi desenvolvido um biossensor enzimático para a quantificação da capacidade antioxidante total de matrizes alimentares. A construção deste biossensor consistiu na eletroimobilização da adenina no elétrodo de pasta de carbono (EPC) ou na adsorção física da dA20 na superfície do EPC. O dano oxidativo foi induzido pelo radical hidroxilo gerado pela reação de Fenton. Nesta dissertação, foi estudada a capacidade de alguns antioxidantes em eliminar o efeito pejorativo dos radicais livres e combater a integridade das bases de adenina ou do dA20.Os antioxidantes estudados foram o ácido ascórbico e alguns ácidos fenólicos como o ácido hidroxibenzoico (ácido gálico) e ácidos hidroxicinâmicos (ácido cafeico e ácido cumárico). Estes antioxidantes têm a capacidade de neutralizar o radical hidroxilo e proteger a adenina/dA20 imobilizado na superfície do EPC. O comportamento da Lacase foi estudado na presença do ácido gálico e do ácido ascórbico. Os estudos eletroquímicos foram realizados através da voltametria de onda quadrada (VOQ), sendo que a interação entre a adenina/ou o dA20 imobilizada na superfície do EPC e os radicais livres na ausência e presença de antioxidantes foi avaliada por meio de mudanças no pico anódico produzido pela oxidação da adenina /dA20. Os resultados demonstraram que estes biossensores permitem a avaliação da capacidade antioxidante total em águas aromatizadas.

Effects of Exercise on Physical and Mental Health, and Cognitive and Brain Functions in Schizophrenia: Clinical and Experimental Evidence

Exercise promotes several health benefits, such as cardiovascular, musculoskeletal and cardiorespiratory improvements. It is believed that the practice of exercise in individuals with psychiatric disorders, e.g. schizophrenia, can cause significant changes. Schizophrenic patients have problematic lifestyle habits compared with general population; this may cause a high mortality rate, mainly caused by cardiovascular and metabolic diseases. Thus, the aim of this study is to investigate changes in physical and mental health, cognitive and brain functioning due to the practice of exercise in patients with schizophrenia. Although still little is known about the benefits of exercise on mental health, cognitive and brain functioning of schizophrenic patients, exercise training has been shown to be a beneficial intervention in the control and reduction of disease severity. Type of training, form of execution, duration and intensity need to be better studied as the effects on physical and mental health, cognition and brain activity depend exclusively of interconnected factors, such as the combination of exercise and medication. However, one should understand that exercise is not only an effective nondrug alternative, but also acts as a supporting linking up interventions to promote improvements in process performance optimization. In general, the positive effects on mental health, cognition and brain activity as a result of an exercise program are quite evident. Few studies have been published correlating effects of exercise in patients with schizophrenia, but there is increasing evidence that positive and negative symptoms can be improved. Therefore, it is important that further studies be undertaken to expand the knowledge of physical exercise on mental health in people with schizophrenia, as well as its dose-response and the most effective type of exercise.

Feature Extraction in Densely Sensed Environments: Extensions to Multiple Broadcast Domains

The vision of the Internet of Things (IoT) includes large and dense deployment of interconnected smart sensing and monitoring devices. This vast deployment necessitates collection and processing of large volume of measurement data. However, collecting all the measured data from individual devices on such a scale may be impractical and time consuming. Moreover, processing these measurements requires complex algorithms to extract useful information. Thus, it becomes imperative to devise distributed information processing mechanisms that identify application-specific features in a timely manner and with a low overhead. In this article, we present a feature extraction mechanism for dense networks that takes advantage of dominance-based medium access control (MAC) protocols to (i) efficiently obtain global extrema of the sensed quantities, (ii) extract local extrema, and (iii) detect the boundaries of events, by using simple transforms that nodes employ on their local data. We extend our results for a large dense network with multiple broadcast domains (MBD). We discuss and compare two approaches for addressing the challenges with MBD and we show through extensive evaluations that our proposed distributed MBD approach is fast and efficient at retrieving the most valuable measurements, independent of the number sensor nodes in the network.