Factors that Influence Adherence to Exercise among Patients Attending a Cardiac Rehabilitation Program

Objective: The aim of this study was to compare the factors of adherence to physical activity in subjects attending a cardiac rehabilitation program, and subjects who have withdrawal this same program using the Transtheoretical Model of behavior change. Methods: We conducted an observational, cross sectional type study, with a sample of 33 individuals (15 currently participating in the Cardiac Rehabilitation Program and 18 who no more attended the same program), with the questionnaires being personally delivered or sent by mail. For data analysis, we used the computer program SPSS® version 16.0. The significance level was set at 0.05. Results: There were no significant differences in the states of Change, Self-efficacy, Decisional Balance and Change Processes in both groups. We obtained a high Spearman correlation between States of Change and Self-efficacy (r2 = 0.778) and the Pros (r2 = 0.764) and Againsts (r2 = -0.744) in Decisional Balance. However, there were no significant evidence to affirm that States of Change and experiential processes of change (p = 0.465) andbehavioral (p = 0.300) had a correlation. A relationship was found, in terms of proportions between physical activity incorporated or not in a Cardiac Rehabilitation Program and age (p = 0.003), occupation (p = 0.010) and the entity paying the costs of program (p = 0.027). Conclusion: It was concluded that perceived self-efficacy and Pros and Againsts of the Decisional Balance are related to adherence to physical activity. Results also point out that age, profession and the entity paying the costs of the program influences the dropout of Cardiac Rehabilitation Programs.

Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

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.

Projeto de estruturas do edifício administrativo de um polo logístico em Viana-Angola

O objetivo deste trabalho consiste em efetuar o dimensionamento estrutural de um edifício em betão armado, contemplando as diferentes fases, desde a conceção inicial, com a definição do modelo estrutural e escolha criteriosa dos elementos e soluções constituintes, até à fase final de dimensionamento, considerando para além das cargas gravíticas, a ação do vento e a ação sísmica. No âmbito deste trabalho considerou-se o dimensionamento de elementos estruturais nomeadamente, sapatas, paredes, pilares, vigas e lajes, com a verificação de segurança à flexão simples, flexão composta, esforço transverso e punçoamento, consoante a necessidade de cada elemento. Para tal, foi desenvolvido uma folha de cálculo automático (Macro) que permite a verificação da capacidade resistente de secções, à flexão simples e ao esforço transverso, quer em elementos com ou sem armadura de esforço transverso. Os esforços atuantes que estiveram na origem das verificações estruturais foram calculados com base na aplicação de um programa tridimensional de elementos finitos, nomeadamente o programa de cálculo ROBOT STRUCTURAL ANALYSIS. Os Critérios Gerais de Dimensionamento considerados, com base na regulamentação em vigor em Portugal – RSA, REBAP e Eurocódigos, bem como as Hipóteses de Cálculo consideradas na verificação aos estados limites últimos dos elementos estruturais são detalhadamente enunciados ao longo do trabalho. Os desenhos de elementos estruturais dimensionados, bem como os desenhos de dimensionamento do edifício encontram-se em Anexo.

Aplicação de um software de cálculo automático na verificação aos estados limites de utilização em estruturas de Betão Armado

Actualmente e cada vez mais, são concebidos e utilizados programas de cálculo automático de Engenharia na realização de projectos de edifícios, que proporcionam aos engenheiros uma possibilidade avançada e rápida de execução, simulação e análise de edifícios para estruturas complexas e de elevada dimensão. Contudo, será necessário que os resultados deverão ser fiáveis de modo a não existirem consequências no comportamento real da estrutura a longo prazo. O presente relatório de estágio, refere-se à verificação aos estados limites de utilização (tensões, fendilhação e deformação) segundo o Eurocódigo 2, de uma estrutura porticada em betão armado, nomeadamente de um pórtico central pertencente a essa mesma estrutura recorrendo ao programa de cálculo automático da Autodesk o Robot Structural Analysis Professional 2014. O objectivo principal do presente trabalho consiste na comparação de resultados referente aos estados limites últimos e de utilização, pelos diferentes módulos de dimensionamento Required e Provided Reinforcement presentes no programa Robot. É destacado no final do relatório, considerando uma disposição de armadura optada analiticamente para o pórtico, uma análise comparativa de resultados referente aos estados limites de utilização entre o comando Typical Reinforcement do módulo Provided Reinforcement e por expressões analíticas. Refere-se contudo que, o procedimento do método analítico teve como base de cálculo uma aplicação desenvolvida para a verificação de elementos de betão armado aos estados limites de utilização segundo o Eurocódigo 2, com o nome de XD-Conserv tendo sido também comparado os resultados finais do mesmo.