Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Reconfiguração e desenvolvimento do sistema de controlo de um AGV

O veículo guiado automaticamente (AGV) adquirido pelo Departamento de Engenharia Mecânica (DEM) tem vindo a ficar obsoleto devido ao hardware, que nos dias de hoje começa a dar sinais de falhas bem como falta de peças de substituição, e ao software, sendo o PLC (Programmable Logic Controller) usado muito limitado quanto às suas funções de controlo, ficando as principais tarefas de controlo do AGV a cargo de placas eletrónicas de controlo. Para promover o controlo autónomo do AGV, foi decidido retirar toda a parte de hardware que detinha o controlo do mesmo e passou a ser um novo PLC, com maior capacidade de processamento, a executar todo o tipo de controlo necessário ao funcionamento do mesmo. O hardware considerado apenas incluí, de forma resumida, os motores responsáveis pelo movimento e direção, placa de controlo de potência dos motores, placa de interface entre as saídas digitais do PLC e as entradas da placa de controlo de potência dos motores e os demais sensores necessários à deteção de obstáculos, fins de curso da direção, sensores dos postos de trabalho e avisadores de emergência. Todo o controlo de movimento e direção bem como a seleção das ações a executar passou a ficar a cargo do software programado no PLC assim como a interação entre o sistema de supervisão instalado num posto de controlo e o PLC através de comunicação via rádio. O uso do PLC permitiu a flexibilidade de mudar facilmente a forma como as saídas digitais são usadas, ao contrário de um circuito eletrónico que necessita de uma completa remodelação, tempo de testes e implementação para efetuar a mesma função. O uso de um microcontrolador seria igualmente viável para a aplicação em causa, no entanto o uso do PLC tem a vantagem de ser robusto, mais rápido na velocidade de processamento, existência de software de interface de programação bastante intuitivo e de livre acesso, facilidade de alterar a programação localmente ou remotamente, via rádio, acesso a vários protocolos de comunicação robustos como Modbus, Canbus, Profinet, Modnet, etc., e acesso integrado de uma consola gráfica totalmente programável. iv É ainda possível a sua expansão com adição de módulos de entradas e saídas digitais e/ou analógicas permitindo expandir largamente o uso do AGV para outros fins. A solução está a ser amplamente testada e validada no Laboratório de Automação (LabA) do Departamento de Engenharia Mecânica do ISEP (Instituto Superior de Engenharia do Porto), permitindo a otimização dos sistemas de controlo de direção bem como a interatividade entre o PLC e o programa de interface/supervisão do posto de trabalho.

ROTAVIRUS GENOTYPES CIRCULATING IN BRAZIL, 2007-2012: IMPLICATIONS FOR THE VACCINE PROGRAM

SUMMARY Regarding public health in Brazil, a new scenario emerged with the establishment of universal rotavirus (RV) vaccination programs. Herein, the data from the five years of surveillance (2007-2012) of G- and P-type RV strains isolated from individuals with acute gastroenteritis in Brazil are reported. A total of 6,196 fecal specimens were investigated by ELISA and RT-PCR. RVs were detected in 19.1% (1,181/6,196). The peak of RV incidence moved from June-August to September. RV was detected less frequently (19.5%) among children ≤ 5 years than in older children and adolescents (6-18 years) (40.6%). Genotype distribution showed a different profile for each year: G2P[4] strains were most prevalent during 2007-2010, G9P[8] in 2011, and G12P[8] in 2012. Mixed infections (G1+G2P[4], G2+G3P[4]+P[8], G2+G12P[8]), unusual combinations (G1P[4], G2P[6]), and rare strains (G3P[3]) were also identified throughout the study period. Widespread vaccination may alter the RV seasonal pattern. The finding of RV disease affecting older children and adolescents after vaccine implementation has been reported worldwide. G2P[4] emergence most likely follows a global trend seemingly unrelated to vaccination, and G12, apparently, is emerging in the Brazilian population. The rapidly changing RV genotype patterns detected during this study illustrate a dynamic population of co-circulating wildtype RVs in Brazil.

Five-Year Review of an International Clinical Research-Training Program

The exponential increase in clinical research has profoundly changed medical sciences. Evidence that has accumulated in the past three decades from clinical trials has led to the proposal that clinical care should not be based solely on clinical expertise and patient values, and should integrate robust data from systematic research. As a consequence, clinical research has become more complex and methods have become more rigorous, and evidence is usually not easily translated into clinical practice. Therefore, the instruction of clinical research methods for scientists and clinicians must adapt to this new reality. To address this challenge, a global distance-learning clinical research-training program was developed, based on collaborative learning, the pedagogical goal of which was to develop critical thinking skills in clinical research. We describe and analyze the challenges and possible solutions of this course after 5 years of experience (2008-2012) with this program. Through evaluation by students and faculty, we identified and reviewed the following challenges of our program: 1) student engagement and motivation, 2) impact of heterogeneous audience on learning, 3) learning in large groups, 4) enhancing group learning, 5) enhancing social presence, 6) dropouts, 7) quality control, and 8) course management. We discuss these issues and potential alternatives with regard to our research and background.

Program Catapultas: Education for development in Bairro Padre Cruz

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Contract-program evaluation: Impact of the DRG classification system on hospitals' outputs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

The effectiveness of a teacher’s training workshop on Media Smart Program

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

The effectiveness of the Media Smart Program on promoting the critical thinking of children towards the use of celebrities in television advertising

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Maintaining the correctness of transactional memory programs

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

Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Control of intestinal helminths in schoolchildren in Low-Napo, Ecuador: impact of a two-year chemotherapy program

A school-based control program of intestinal helminths was undertaken among schoolchildren in the Low-Napo region, north-eastern Ecuador. Forty-eight percent of children were infected with one or more helminths at the first examination. The prevalence at the baseline was Ascaris 33.2% followed by hookworm 24.1% and Trichuris 6.5%. Sex was found to be a significant factor influencing the prevalence of hookworm and Trichuris. Prevalence was compared 9 months and 18 months after treatment. After 9 months, Ascaris and Trichuris prevalence had decreased but not hookworm. All of them increased after 18 months. The findings suggest that only a course of mebendazol had a minor effect on the control of helminth infections.

Lessons from the epidemiological surveillance program, during the influenza A (H1N1) virus epidemic, in a reference university hospital of Southeastern Brazil

INTRODUCTION: The case definition of influenza-like illness (ILI) is a powerful epidemiological tool during influenza epidemics. METHODS: A prospective cohort study was conducted to evaluate the impact of two definitions used as epidemiological tools, in adults and children, during the influenza A H1N1 epidemic. Patients were included if they had upper respiratory samples tested for influenza by real-time reverse transcriptase polymerase chain reaction during two periods, using the ILI definition (coughing + temperature > 38ºC) in period 1, and the definition of severe acute respiratory infection (ARS) (coughing + temperature > 38ºC and dyspnoea) in period 2. RESULTS: The study included 366 adults and 147 children, covering 243 cases of ILI and 270 cases of ARS. Laboratory confirmed cases of influenza were higher in adults (50%) than in children (21.6%) ( p < 0.0001) and influenza infection was more prevalent in the ILI definition (53%) than ARS (24.4%) (p < 0.0001). Adults reported more chills and myalgia than children (p = 0.0001). Oseltamivir was administered in 58% and 46% of adults and children with influenza A H1N1, respectively. The influenza A H1N1 case fatality rate was 7% in adults and 8.3% in children. The mean time from onset of illness until antiviral administration was 4 days. CONCLUSIONS: The modification of ILI to ARS definition resulted in less accuracy in influenza diagnosis and did not improve the appropriate time and use of antiviral medication.