Software languages engineering: experimental evaluation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

A reliability-based measure of robustness for concrete structures subjected to corrosion

This work is a contribution to the definition and assessment of structural robustness. Special emphasis is given to reliability of reinforced concrete structures under corrosion of longitudinal reinforcement. On this communication several authors’ proposals in order to define and measure structural robustness are analyzed and discussed. The probabilistic based robustness index is defined, considering the reliability index decreasing for all possible damage levels. Damage is considered as the corrosion level of the longitudinal reinforcement in terms of rebar weight loss. Damage produces changes in both cross sectional area of rebar and bond strength. The proposed methodology is illustrated by means of an application example. In order to consider the impact of reinforcement corrosion on failure probability growth, an advanced methodology based on the strong discontinuities approach and an isotropic continuum damage model for concrete is adopted. The methodology consist on a two-step analysis: on the first step an analysis of the cross section is performed in order to capture phenomena such as expansion of the reinforcement due to the corrosion products accumulation and damage and cracking in the reinforcement surrounding concrete; on the second step a 2D deteriorated structural model is built with the results obtained on the first step of the analysis. The referred methodology combined with a Monte Carlo simulation is then used to compute the failure probability and the reliability index of the structure for different corrosion levels. Finally, structural robustness is assessed using the proposed probabilistic index.

Reliability analysis of a timber truss system subjected to decay

Assessing the safety of existing timber structures is of paramount importance for taking reliable decisions on repair actions and their extent. The results obtained through semi-probabilistic methods are unrealistic, as the partial safety factors present in codes are calibrated considering the uncertainty present in new structures. In order to overcome these limitations, and also to include the effects of decay in the safety analysis, probabilistic methods, based on Monte-Carlo simulation are applied here to assess the safety of existing timber structures. In particular, the impact of decay on structural safety is analyzed and discussed, using a simple structural model, similar to that used for current semi-probabilistic analysis.

Aircraft Engines Maintenance Costs and Reliability: An Appraisal of the Decision Process to Remove an Engine for a Shop Visit Aiming at Minimum Maintenance Unit Cost

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação.

An application of reliability-based robustness assessment of steel moment resisting frame structures under post-mainshock cascading events

The paper presented herein proposes a reliability-based framework for quantifying the structural robustness considering the occurrence of a major earthquake (mainshock) and subsequent cascading hazard events, such as aftershocks that are triggered by the mainshock. These events can significantly increase the probability of failure of buildings, especially for structures that are damaged during the mainshock. The application of the proposed framework is exemplified through three numerical case studies. The case studies correspond to three SAC steel moment frame buildings of 3-, 9-, and 20- stories, which were designed to pre-Northridge codes and standards. Twodimensional nonlinear finite element models of the buildings are developed using the Open System for Earthquake Engineering Simulation framework (OpenSees), using a finite-length plastic hinge beam model and a bilinear constitutive law with deterioration, and are subjected to multiple mainshock-aftershock seismic sequences. For the three buildings analyzed herein, it is shown that the structural reliability under a single seismic event can be significantly different from that under a sequence of seismic events. The reliability-based robustness indicator used shows that the structural robustness is influenced by the extent by which a structure can distribute damage.

Sintomas somatoformes em Medicina Geral e Familiar

RESUMO: Os doentes que vão à consulta com sintomas físicos para os quais o médico não encontra uma causa orgânica, são frequentes na Medicina Geral e Familiar, embora não sejam específicos, e são o objecto de estudo do presente trabalho. Não deixar uma doença por diagnosticar (erro de tipo II) sem contudo rotular pessoas saudáveis como doentes (erro de tipo I) é um dos mais difíceis problemas da prática clínica diária e para o qual não existe uma orientação infalível e não é previsível que alguma vez venha a existir. Mas se o diagnóstico de doença ou não-doença é difícil, o tratamento dos que não tem doença, embora com sofrimento, também não é mais fácil, sobretudo, se estivermos conscientes do sofrimento que determina a medicalização e a iatrogenia. O presente trabalho está estruturado em 3 partes. Na primeira parte descrevemos a nossa visão integrada do que apreendemos da leitura da literatura publicada e à qual tivemos acesso. À semelhança do que se verifica na maioria das áreas da Medicina esta é também uma em que o conhecimento cresce a ritmo exponencial. No entanto, à falta de conceitos precisos e de definições consensuais sucede um conhecimento, por vezes, pouco consistente, tanto mais que estamos na fronteira entre a cultura leiga e a cultura erudita médica em que os significados devem, a todo o momento, ser validados. Fizemos uma revisão sobre as definições do que está em questão, sobre o que se sabe sobre a frequência dos sintomas físicos na população, quantos recorrem aos serviços de saúde e o que lhes é feito. Passámos por uma revisão da fisiologia destes sintomas e algumas explicações fisiopatológicas para terminarmos sobre o que os doentes pensam sobre os seus sintomas e os cuidados que recebem e o que os profissionais pensam sobre estes doentes. Esta parte termina com uma revisão das propostas de abordagem para este tipo de doentes. Na segunda parte, descrevemos os estudos empíricos focados no problema dos pacientes com sintomas físicos mas sem evidência de doença orgânica. Começa por uma apresentação dos aspectos processuais e metodológicos dos estudos realizados, mais especificamente, de dois estudos quantitativos e um qualitativo. No primeiro estudo pretendeu-se avaliar quais são os sintomas físicos e a sua frequência na população em geral e a frequência de pacientes que procuram (ou não) os serviços de saúde tendo como motivo este tipo de sintomas. O objectivo deste estudo é contribuir para a demonstração que este tipo de sintomas faz parte da vida do dia-a-dia e que, na maioria das vezes, só por si não significa doença, sem contudo negar que representa sofrimento, por vezes até maior do que quando há patologia orgânica. Se no primeiro estudo era demonstrar que os sintomas físicos são frequentes na população, no segundo estudo o objectivo é demonstrar que pacientes com este tipo de sintomas são igualmente frequentes e que o tipo de sintomas apresentados na consulta não difere dos referidos pela população em geral. Pretendia-se ainda saber o que é feito ou proposto pelo médico a estes doentes e se estes doentes traziam ou não, junto com os sintomas, ideias explicativas para os mesmos. Finalmente e não menos importante, é avaliar o grau de fidedignidade do diagnóstico de sintoma somatoforme, chamando assim ao sintoma físico que foi “levado” à consulta e que o médico diagnosticou como não tendo causa orgânica. O terceiro estudo parte do conhecimento adquirido que a Medicina tem muitas respostas para este problema, mas poucas que se possam considerar satisfatórias se usadas isoladamente. Que a maioria das soluções é procurada entre a cultura médica e num paradigma reducionista de separação mente-corpo. Contudo, se o sintoma é “construído” pelo doente, se o principal problema não está no sintoma mas na forma como o paciente o vê, então pareceu-nos lógico que a solução também tem que passar por integrarmos no plano de abordagem o que o doente entende ser melhor para si. Nesta sequência, entrevistaram-se alguns doentes cujo diagnóstico de sintomas somatoformes estava demonstrado pelo teste do tempo. Por isso, entrevistaram-se doentes que já tinham ido à consulta de MGF há mais de 6 meses por sintomas somatoformes e, na data da entrevista, o diagnóstico se mantinha inalterado, independentemente da sua evolução. As entrevistas visaram conhecer as ideias dos doentes sobre o que as motivou a procurarem a consulta, o que pensavam da forma como foram cuidados e que ideias tinham sobre o que os profissionais de saúde devem fazer para os ajudar a restabelecer o equilíbrio com o seu ambiente evitando a medicalização, a iatrogenia e a evolução para a cronicidade. Na terceira parte, discutem-se e integram-se os resultados encontrados no conhecimento previamente existente. Tenta-se teorizar, fazer doutrina sobre o tema e contribuir para abordagens terapêuticas mais personalizadas, abrangentes, variadas e multimodais, baseadas sempre no método clínico centrado no paciente, ou de modo menos correcto mas enfático, baseadas no método centrado na relação. Apresentam-se algumas hipóteses de trabalhos futuros sobre o tema e, sobretudo, esperamos ter contribuído para o reconhecimento da necessidade de a comunicação médico-doente ser uma aprendizagem transversal a todos os profissionais de saúde e ao longo da vida, com a ideia que é sempre possível fazer melhor, caso contrário tenderemos, inexoravelmente, a fazer cada vez pior.-----------ABSTRACT: Patients who go to consultation with physical symptoms, for which the doctor does not find an organic cause, are the subject of the present study. They are common in family medicine, although not specific. Do not let an undiagnosed disease (type II error), but without labeling healthy people as patients with disease (type I error) is one of the most difficult problems in clinical practice and for which doesn’t exist an infallible guide and it is unlikely that any since coming into existence. But, if the diagnosis of disease or non-disease is difficult, the treatment of those who do not have the disease, though suffering, it is not easy, especially if we are aware of the suffering that medicalization and iatrogenic determines. This work is structured in three parts. In the first part we describe our integrated view of what we grasp from reading the published literature and to which we had access. Similar to that found in most areas of medicine, this is also one in which knowledge grows exponentially. However, the absence of precise concepts and consensual definitions determines an inconsistent knowledge, especially because we're on the border between secular culture and medical culture where, at all times, the meaning must be validated. We did a review on the definitions of what is at issue, what is known about the frequency of physical symptoms in the population, how many use the services of health and what they receive as care. We went through a review of the physiology of these symptoms and some pathophysiological explanations, to finish on what patients think about their symptoms and how they perceived the care they received and, finally, what professionals think about these patients. This part ends with a review of the approaches proposed for such patients. In the second part, we describe the empirical studies focused on the problem of patients with physical symptoms but no evidence of organic disease. Begins with a presentation of the procedural and methodological aspects of studies, more specifically, two quantitative and one qualitative. The first study sought to assess which are the physical symptoms, their incidence in the general population and the frequency they seek (or not) health services on behalf of those symptoms. The aim behind this study was to contribute to the demonstration that this type of symptoms is part of life's day-to-day and that, in most cases, does not represent disease by itself, without denying that they represent suffering, sometimes even greater than when there are organic disease. The first study endeavor to demonstrate that the physical symptoms are common in the population. The second study aspires to demonstrate that patients with such symptoms are also common and that the type of symptoms presented in the consultation does not differ from those in the general population. The aim was also to know what is done or proposed by the physician for these patients and if these patients brought or not, along with the symptoms, explanatory ideas for them. Finally and not least, it would try to assess the degree of reliability of diagnosis of somatoform symptoms, thus drawing the physical symptom that patient presents in the consultation and that the doctor diagnosed as having no organic cause. The third study starts from the acquired knowledge that medicine has many answers to this problem, but few can be considered satisfactory if used in isolation. The most solutions are sought in the medical culture and based on a reductionist paradigm of mind-body. However, if the symptom is "built" by the patient, if the main problem is not the symptom but the way the patient sees it, then it seemed logical to us that the solution must integrate the approaches that patients believes are best for them. Subsequently, a few patients, whose diagnosis of somatoform symptoms was demonstrated by the test of time, were interviewed. Therefore, patients who were interviewed had gone to the consultation of family medicine more than 6 months before for somatoform symptoms and. at the moment of the interview, the diagnosis remained unchanged, regardless of their evolution. The interviews aimed to ascertain the patients' ideas about what motivated them to seek consultation, what they thought about the care they got and which ideas they have about what health professionals should do to help these patients to re-establish equilibrium with its environment avoiding medicalization, iatrogenic effects and the evolution to chronicity. In the third section, we discuss and integrate the results found in previously existing knowledge. Attempts to theorize on the subject and contribute to more personalized treatment, comprehensive, varied and multi-modal approaches, always based on patient-centered clinical method, with emphasis on the relationship. We presents some hypotheses for future work on the subject and,above all, defend the recognition of the importance of lifelong learning communication skills for all health professionals, with the idea that we can always do better, otherwise we tend inexorably to do worse.

2D position system for a mobile robot in unstructured environments

Nowadays, several sensors and mechanisms are available to estimate a mobile robot trajectory and location with respect to its surroundings. Usually absolute positioning mechanisms are the most accurate, but they also are the most expensive ones, and require pre installed equipment in the environment. Therefore, a system capable of measuring its motion and location within the environment (relative positioning) has been a research goal since the beginning of autonomous vehicles. With the increasing of the computational performance, computer vision has become faster and, therefore, became possible to incorporate it in a mobile robot. In visual odometry feature based approaches, the model estimation requires absence of feature association outliers for an accurate motion. Outliers rejection is a delicate process considering there is always a trade-off between speed and reliability of the system. This dissertation proposes an indoor 2D position system using Visual Odometry. The mobile robot has a camera pointed to the ceiling, for image analysis. As requirements, the ceiling and the oor (where the robot moves) must be planes. In the literature, RANSAC is a widely used method for outlier rejection. However, it might be slow in critical circumstances. Therefore, it is proposed a new algorithm that accelerates RANSAC, maintaining its reliability. The algorithm, called FMBF, consists on comparing image texture patterns between pictures, preserving the most similar ones. There are several types of comparisons, with different computational cost and reliability. FMBF manages those comparisons in order to optimize the trade-off between speed and reliability.