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.

Melhoria do Processo Produtivo da Pietec Através das Ferramentas Kaizen

Esta Tese de Mestrado foi realizada na empresa Pietec Cortiças S.A.. A empresa Pietec Cortiças S.A. é a unidade industrial responsável pela produção de rolhas técnicas de cortiça do Grupo Piedade. O objetivo desta tese prende-se com a melhoria do processo produtivo de uma das suas secções, a secção da Marcação. Esta secção é responsável pela marcação da superfície da rolha, pela aplicação do tratamento de superfície e pelo embalamento das rolhas. A otimização do processo da secção de Marcação, na qualidade de última secção do processo produtivo, permitirá à empresa obter vantagens competitivas. De forma a atingir o objetivo proposto, foi realizado um levantamento exaustivo do processo produtivo e das respetivas operações. Esta análise permitiu a identificação dos possíveis pontos de desperdício, a sua avaliação e a definição de possíveis melhorias que visam o aumento de produtividade e a redução do número de produtos não conformes. Uma vez identificados os pontos críticos do processo, procedeu-se à definição das ações de melhoria a implementar de forma a melhorar o processo produtivo. As ações tomadas assentam na filosofia Lean e nos seus princípios, utilizando-se algumas das ferramentas desta filosofia para concretizar os objetivos traçados. A ferramenta de análise Plan-Do-Check-Act (PDCA) foi a ferramenta base do projeto, acompanhando na elaboração do plano de ação, na implementação das ferramentas 5S e Single Minute Exchange of Die (SMED), na verificação dos resultados e no plano de manutenção das melhorias alcançadas. Após a implementação das medidas definidas no processo de marcação da superfície das rolhas, foi mensurada uma melhoria de 23 % no tempo médio de setup da máquina de marcação. Esta melhoria global foi alcançada através de intervenções no processo de vazamento do circuito da máquina de marcação, no procedimento de armazenamento dos moldes de marcação e na alteração dos mecanismos de ajuste da máquina de marcar e de orientar. No processo de embalamento das rolhas, as medidas implementadas produziram um aumento de 1,7 % no número de rolhas produzidas e uma redução do número de rolhas não conformes de 3,6 %. Os resultados obtidos no projeto demonstram que é possível continuar a melhorar o estado atual dos processos. Constatou-se ainda que, com a adoção de ferramentas de análise e de proposta de melhoria adequadas, é possível atuar sobre os processos e obter melhorias a curto prazo, sem que para isso seja necessário efetuar grandes investimentos.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Comprehensive treatments for social cognitive deficits in schizophrenia: A critical review and effect-size analysis of controlled studies

Recent advances in psychosocial treatments for schizophrenia have targeted social cognitive deficits. A critical literature review and effect-size (ES) analysis was conducted to investigate the efficacy of comprehensive programs of social cognitive training in schizophrenia. Results revealed 16 controlled studies consisting of seven models of comprehensive treatment with only three of these treatment models investigated in more than one study. The effects of social cognitive training were reported in 11/15 studies that included facial affect recognition skills (ES=.84) and 10/13 studies that included theory-of-mind (ES=.70) as outcomes. Less than half (4/9) of studies that measured attributional style as an outcome reported effects of treatment, but effect sizes across studies were significant (ESs=.30-.52). The effect sizes for symptoms were modest, but, with the exception of positive symptoms, significant (ESs=.32-.40). The majority of trials were randomized (13/16), selected active control conditions (11/16) and included at least 30 participants (12/16). Concerns for this area of research include the absence of blinded outcome raters in more than 50% of trials and low rates of utilization of procedures for maintaining treatment fidelity. These findings provide preliminary support for the broader use of comprehensive social cognitive training procedures as a psychosocial intervention for schizophrenia.

A study in cross-cultural transmission of natural philosophy: the Kenkon Bensetsu

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em História dos Descobrimentos e da Expansão Portuguesa

"Philosophy in the flesh" : being human with Clarice Lispector

According to Lakoff "thought is embodied, that is, the structures used to put together our conceptual systems grow out of our bodily experience and make sense in terms of it; moreover, the core of our conceptual systems is directly grounded in perception, body movement and experience of a physical and social character" (1987). If we read Lispector’s work as an oxymoron, an interplay between the basic magma of life and the metaphysical perplexities it generates, we will find at least three areas of description: devouring and eating, primordial substances and the animals. This paper proposes to show Lispector's use of "philosophy in the flesh" in some of her most representative works like “Uma História de tanto amor”, Uma Aprendizagem ou O Livro dos Prazeres or A Maçã no Escuro.

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

The importance of physical education classes in pre-school children

The purpose of this study was to analyse differences between total physical activity (TPA) and moderate-to-vigorous PA (MVPA) of pre-school children during daily school hours when they attended the physical education class (PED) and school days without PE class (NPED) and to assess the contribution of PE classes to TPA in school hours. The sample was composed of 193 pre-school healthy children (96 girls) aged from three to five years old and was conducted between February and December of 2008. Children wore accelerometers for at least four consecutive days during school hours. Data were analysed with specific software, age-specific counts-per-minute cut-off points and a 5 s epoch were used. Independent and general linear model repeated measures were used to assess differences between gender and differences between different days within each gender, respectively. Boys engaged more MVPA than girls (P < 0.05). During PED, pre-school children engaged significantly more in TPA and MVPA than during NPED (P < 0.05). PE class contributed, on average, 27.7% for the TPA and 32.8% of daily MVPA during PED in both gender. The results of this study suggest that structured PA such as a PE class increased the daily TPA and MVPA level of pre-school children.

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

O presente documento, intitulado Relatório de Estágio de Qualificação Profissional, constitui uma reflexão crítica, em relação à experiência vivenciada nos contextos educativos de Educação Pré-Escolar e Ensino do 1. Ciclo do Ensino Básico, no âmbito da unidade curricular de Prática Pedagógica Supervisionada. Este relatório resulta de um quadro teórico conceptual rigoroso, visando o alcance dos objetivos delineados no programa da unidade curricular supramencionada, assim como o desenvolvimento de competência e de saberes, designadamente do perfil específico de desempenho do professor de 1.º Ciclo do Ensino Básico e do Educador de Infância. A ação pedagógica desenvolvida pela formanda, nos centros educativos, foi pautada pela metodologia de investigação-ação, que deve ser a base da prática de qualquer educador/professor na medida em que figurou-se improrrogável a ocorrência de momentos de observação intencional, de planificação e de intervenção no terreno, de reflexão crítica e sistemática, visível nas narrativas individuais e colaborativas, de avaliação individualizada dos alunos, estimulando diferentes momentos de diferenciação pedagógica, bem como de adequação da ação aos contextos educativos, levando a uma presente reflexão crítica sistemática. A pesquisa constituiu, também, uma referência eloquente para encontrar soluções eficazes aos desafios quotidianos. Importa, ainda salvaguardar que a referida, para além de sustentar o desenvolvimento da ação educativa, alicerçou o processo construtivista de crescimento pessoal e profissional da formanda, que assumiu uma atitude indagadora, crítica e reflexiva. De relevar o trabalho colaborativo em díade pela mais-valia neste processo de formação, uma vez que potenciou a partilha de saberes, de experiências, e reflexões importantes para o aperfeiçoamento da prática pedagógica. Assim, este relatório espelha o processo dinâmico de formação contribuindo para a construção da identidade profissional da futura educadora e professora.

The End-Organ Impairment in Liver Cirrhosis: Appointments for Critical Care

Liver cirrhosis (LC) can lead to a clinical state of liver failure, which can exacerbate through the course of the disease. New therapies aimed to control the diverse etiologies are now more effective, although the disease may result in advanced stages of liver failure, where liver transplantation (LT) remains the most effective treatment. The extended lifespan of these patients and the extended possibilities of liver support devices make their admission to an intensive care unit (ICU) more probable. In this paper the LC is approached from the point of view of the pathophysiological alterations present in LC patients previous to ICU admission, particularly cardiovascular, but also renal, coagulopathic, and encephalopathic. Infections and available liver detoxifications devices also deserve mentioning. We intend to contribute towards ICU physician readiness to the care for this particular type of patients, possibly in dedicated ICUs.

Archaeometallurgical study of pre and protohistoric production remains and artefacts from Southern Portugal

Dissertação para obtenção do Grau de Doutor em Conservação e Restauro, especialidade Ciências da Conservação

Projeto de sistema de gestão técnica centralizada integrando Smart Panels: edifício comercial como caso de estudo

Os Sistemas de Gestão Técnica Centralizada (SGTC) assumem-se como essenciais nos grandes edifícios, já que permitem monitorizar, controlar, comandar e gerir, de forma facilitada, integrada e otimizada, as várias instalações existentes no edifício. O estado da arte de um SGTC baseia-se numa arquitetura distribuída, com recurso a Quadros de Gestão Técnica (QGT) que incluem Automation Servers - equipamentos nativos nos protocolos de comunicação mais comummente utilizados neste âmbito, incorporadores de funcionalidades e programações pré-definidas, e que ficarão responsáveis por integrar na sua área de influência, um conjunto de pontos de SGTC, definidos em projeto. Numa nova filosofia de instalação, integração e comunicação facilitada entre dispositivos que nos quadros elétricos geram dados relevantes para o utilizador e desencadeiam ações úteis na gestão de uma instalação, surge o novo conceito no mercado de Smart Panels, da Schneider Electric. Este sistema baseia-se numa ampla e diversa gama de possibilidades de medição e monitorização energética e da própria aparelhagem, com um sistema de comunicação com o sistema de gestão e controlo da instalação integrado no próprio quadro, dispensando assim a necessidade de um sistema externo (QGT), de recolha, comunicação e processamento de informação. Após o estudo descritivo teórico dos vários tópicos, questões e considerações relacionadas com os SGTC, os Smart Panels e a sua integração, o projeto e estudo comparativo do SGTC sem e com a integração de Smart Panels num grande centro comercial, permitiu concluir que a integração de Smart Panels num SGTC pode conferir vantagens no que diz respeito à implificação do projeto, da instalação, do comissionamento, programação, e da própria exploração da instalação elétrica, traduzindo-se numa redução dos custos normalmente elevados inerentes à mão de obra associada a todos estes processos.

DIFFERENTIATION BETWEEN Nocardia spp. AND Mycobacterium spp.: CRITICAL ASPECTS FOR BACTERIOLOGICAL DIAGNOSIS

New methodologies were developed for the identification of Nocardia but the initial diagnosis still requires a fast and accurate method, mainly due to the similarity to Mycobacterium, both clinical and bacteriologically. Growth on Löwenstein-Jensen (LJ) medium, presence of acid-fast bacilli through Ziehl-Neelsen staining, and colony morphology can be confusing aspects between Nocardia and Mycobacterium. This study describes the occurrence of Nocardia spp. in a mycobacterial-reference laboratory, observing the main difficulties in differentiating Nocardia spp. from Mycobacterium spp., and correlating isolates with nocardiosis cases. Laboratory records for the period between 2008 and 2012 were analyzed, and the isolates identified as Nocardia sp. or as non-acid-fast filamentous bacilli were selected. Epidemiological and bacteriological data were analyzed as well. Thirty-three isolates identified as Nocardia sp. and 22 as non-acid-fast bacilli were selected for this study, and represented 0.12% of isolates during the study period. The presumptive identification was based on macroscopic and microscopic morphology, resistance to lysozyme and restriction profiles using the PRA-hsp65 method. Nocardia spp. can grow on media for mycobacteria isolation (LJ and BBL MGIT™) and microscopy and colony morphology are very similar to some mycobacteria species. Seventeen patients (54.8%) were reported and treated for tuberculosis, but presented signs and symptoms of nocardiosis. It was concluded that the occurrence of Nocardia sp. during the study period was 0.12%. Isolates with characteristics of filamentous bacilli, forming aerial hyphae, with colonies that may be pigmented, rough and without the BstEII digestion pattern in PRA-hsp65 method are suggestive of Nocardia spp. For a mycobacterial routine laboratory, a flow for the presumptive identification of Nocardia is essential, allowing the use of more accurate techniques for the correct identification, proper treatment and better quality of life for patients.

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 trabalho realizado no relatório de estágio tem como propósito a reflexão e análise crítica de todo o processo desenvolvido no contexto de educação pré-escolar, no âmbito da Unidade Curricular (UC) de Prática Pedagógica Supervisionada, Ao longo do presente relatório será mobilizado o quadro teórico e conceptual da formanda que sustentou e orientou as práticas desenvolvidas no decorrer do período de estágio, evocando autores conceituados como Piaget, Vygotsky, Oliveira-Formosinho, Zabalza, Roldão, entre muitos outros. Deste modo, será mencionado o papel da criança bem como a natureza do seu processo de desenvolvimento e de construção, evidenciando o seu papel ativo, participativo e construtivo. Também, será referida a importância do papel do Educador de infância, bem como os princípios deontológicos que o orientam na sua construção profissional e pessoal. Torna-se, também, fundamental referir os referenciais legais que norteiam a Educação Pré-Escolar referindo a sua importância no desenvolvimento das crianças, assim como os modelos curriculares e pedagógicos que orientam a práxis pedagógica, permitindo a construção de práticas fundamentadas e conscientes. Para isso é, também, imprescindível adotar uma atitude indagadora de caráter investigativo, crítico e reflexivo, permitindo responder de forma adequada às necessidades individuais de cada criança, numa perspetiva diferenciada e individualizada, mas também global. Neste sentido, ao longo de todo o período de estágio, foi adotada, a metodologia de investigação-ação, denotando a importância dos momentos de observação, planificação, ação e reflexão. Só desta forma foi possível compreender a realidade, de modo a transformá-la com o intuito de melhorar a qualidade da Educação