Redes de terras associadas a estações de telecomunicações

As redes de terras são algo que atormenta muitas operadoras de telecomunicações. Quando o comum civil pensa que apenas existem antenas e que é importante a transmissão de dados porque naturalmente não lhes faz falta saber mais nada, as pessoas envolventes na construção de uma estação de telecomunicações têm preocupações não só com a parte de rádio e antenas, mas fundamentalmente com a parte de energia e de infra-estruturas. No desenvolvimento deste projecto, torna-se então importante perceber como as redes de terras são implementadas, como atingir valores satisfatórios para as operadoras, como realizar melhoria da rede de terras já existentes, implementar furos artesianos/valas e sobretudo como melhorar no futuro. Os materiais utilizados e o estudo prévio das condições do terreno onde a estação rádio-base é implementada nem sempre coincidem com os resultados desejados e que pensamos que seriam facilmente atingidos após implementação da torre. Neste projecto, vamos então acompanhar todos os processos, desde a legalização, construção, testes e finalmente a medição da resistência de terras final. Se os valores foram aceitáveis, óptimo para a operadora de telecomunicações e para a empresa responsável pela implementação. Caso os resultados estejam aquém das expectativas, é altura de selecionar os melhores e recorrendo a um conjunto de técnicas que garantam resultados e o menos dispêndio de dinheiro possível, vamos avançar para as melhorias. Os regimes de protecção das pessoas e da estação são bastante importantes. É importante também perceber as condições dos solos e saber simular com o programa ERICO que será fundamental para se efetuar uma comparação entre o teórico e o implementado praticamente. No fim, parte fulcral serão as medições finais, a relação preço-qualidade das melhorias implementadas, a análise dos resultados com argumentos válidos e o bom senso da operadora para aceitar ou rejeitar os trabalhos. Contrato é contrato, fazer mais e melhor é uma exigência constante.

Effects of a home-based exercise program in body composition, abdominal fat and lipid profile in patients with coronary artery disease

Introduction: Coronary artery disease and aging seems to be associated with a sedentary lifestyle, contributing to increased abdominal fat and consequently metabolic complications. The exercise can break this cycle by stimulating lipolysis and the use of fatty acids. In Europe there is still a lack of cardiac rehabilitation programmes in hospitals, therefore, this study aims to demonstrate the advantages of implementing home-based exercise programmes, as well as, their effects on cardiovascular prevention. This study analyzed the effects of a home-based exercise programme, in patients with coronary artery disease (myocardial infarction for 1 year), in body composition, abdominal fat, lipid profile. Methods: An ongoing randomized controlled trial with a sample of 20 participants were randomly allocated to intervention (n = 10) and control groups (n = 10). Intervention group performed a specific exercise programme during 8 weeks, consisting of ten home based exercises taking into account flexibility, muscle endurance and strength as well as cardiovascular endurance. Skinfolds thickness were measure to calculate the percentage of total fat: Skinfolds used were suprailiac, abdominal horizontal and vertical. Body mass index calculation and blood tests for lipidic profile were performed. Results: After eight weeks the intervention group decreased significantly the percentage of total fat (p < 0.05), the suprailiac skinfold (p < 0.05), the abdominal horizontal and vertical skinfold (p < 0.05) when compared with control group. In the intervention group it was observed after 8 weeks a significant decrease in body mass index, LDL-cholesterol and triglycerides. Conclusions: Home-based exercise programme influenced body composition, abdominal fat and lipid profile. These results highlight the importance of implementing home based exercises that are easy and cheap to implement in cardiac patients, in order to promote health and reduce cardiovascular risk factors.

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.

Metodologia BIM, aplicada à preparação, controlo e gestão de obra

O âmbito deste trabalho envolve o teste do modelo BIM numa obra em construção pela Mota-Engil – Engenharia, na extração experimental de peças desenhadas de preparação e apoio à execução de obra. No capítulo 1 deste relatório são definidos o âmbito e os objetivos deste trabalho, é feito um enquadramento histórico do tema e abordados conceitos e atividades da preparação de obra, na sua forma tradicional. O estado do conhecimento da preparação de obras e mais em concreto da tecnologia BIM a nível nacional e internacional é abordado no capítulo 2. Nesse sentido procura-se definir os conceitos principais inerentes a esta nova metodologia, que passa por identificar e caraterizar a tecnologia envolvida e o seu nível de desenvolvimento. Com suporte em casos práticos de preparação de obra na sua forma tradicional, identificados e desenvolvidos no capítulo 3, foi compilado um processo tipo de peças desenhadas de suporte identificadas e caracterizadas no capítulo 4, frequentes e comuns à execução de diversos tipos de obras de edifícios. Assente na compilação baseada em casos práticos e no estudo do projeto de execução da empreitada que sustenta o presente trabalho, com base no qual o modelo BIM foi concebido, identificou-se um conjunto de peças desenhadas de preparação e apoio à execução dos trabalhos, em 2D, a extrair do modelo. No capítulo 5, é feita uma descrição do modo como foi estudado o projeto da obra, com evidência para os fatores mais relevantes, especificando os desenhos a extrair. Suportada pelo programa de modelação ArchiCAD, a extração do conjunto de desenhos identificados anteriormente foi conseguida com recurso às funcionalidades disponíveis no software, que permite a criação de desenhos 2D atualizáveis ou não automaticamente a partir do modelo. Qualquer alteração introduzida no modelo virtual é automaticamente atualizada nos desenhos bidimensionais, caso o utilizador assim o pretenda. Ao longo desse trabalho foram detetados e analisados os condicionalismos inerentes ao processo de extração, referidos no capítulo 6, para estabelecimento de regras de modelação padrão a adotar em futuras empreitadas, que possam simplificar a obtenção dos elementos desenhados de preparação necessários à sua execução. No ponto 6.3 são identificadas melhorias a introduzir no modelo. Em conclusão no capítulo 7 são abordadas especificidades do setor da construção que sustentam e evidenciam cada vez mais a necessidade de utilizar as novas tecnologias com vista à adoção de práticas e ferramentas padrão de apoio à execução de obras. Sendo a tecnologia BIM, transversal a todo o setor, a sua utilização com regras padrão na conceção dos modelos e na extração de dados, potencia a otimização dos custos, do tempo, dos recursos e da qualidade final de um empreendimento, ao longo de todo o seu ciclo de vida, para além de apoiar com elevada fiabilidade as tomadas de decisão ao longo desse período. A tecnologia BIM, possibilita a antevisão do edifício a construir com um elevado grau de pormenor, com todas as vantagens que daí advêm.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Testing Nelder-Mead Based Repulsion Algorithms for Multiple Roots of Nonlinear Systems via a Two-Level Factorial Design of Experiments

This paper addresses the challenging task of computing multiple roots of a system of nonlinear equations. A repulsion algorithm that invokes the Nelder-Mead (N-M) local search method and uses a penalty-type merit function based on the error function, known as 'erf', is presented. In the N-M algorithm context, different strategies are proposed to enhance the quality of the solutions and improve the overall efficiency. The main goal of this paper is to use a two-level factorial design of experiments to analyze the statistical significance of the observed differences in selected performance criteria produced when testing different strategies in the N-M based repulsion algorithm. The main goal of this paper is to use a two-level factorial design of experiments to analyze the statistical significance of the observed differences in selected performance criteria produced when testing different strategies in the N-M based repulsion algorithm.

Experimental characterization of the out-of-plane performance of regular stone masonry walls, including test setups and axial load influence

Stone masonry is one of the oldest and most worldwide used building techniques. Nevertheless, the structural response of masonry structures is complex and the effective knowledge about their mechanical behaviour is still limited. This fact is particularly notorious when dealing with the description of their out-of-plane behaviour under horizontal loadings, as is the case of the earthquake action. In this context, this paper describes an experimental program, conducted in laboratory environment, aiming at characterizing the out-of-plane behaviour of traditional unreinforced stone masonry walls. In the scope of this campaign, six full-scale sacco stone masonry specimens were fully characterised regarding their most important mechanic, geometric and dynamic features and were tested resorting to two different loading techniques under three distinct vertical pre-compression states; three of the specimens were subjected to an out-of-plane surface load by means of a system of airbags and the remaining were subjected to an out-of-plane horizontal line-load at the top. From the experiments it was possible to observe that both test setups were able to globally mobilize the out-of-plane response of the walls, which presented substantial displacement capacity, with ratios of ultimate displacement to the wall thickness ranging between 26 and 45 %, as well as good energy dissipation capacity. Finally, very interesting results were also obtained from a simple analytical model used herein to compute a set of experimental-based ratios, namely between the maximum stability displacement and the wall thickness for which a mean value of about 60 % was found.

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.