Static detection of anomalies in transactional memory programs

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

NMR studies of tetrahaem cytochomes from D. desulfuricans and S. frigidimarina

Dissertation Presented to obtain the Ph.D. in Biochemistry

Hox genes control the specification of global vertebral domains

Dissertação apresentada para obtenção do grau de doutor em Biologia pelo Instituto de Tecnologia Química e Biológica da Universidade Nova de Lisboa

Análise experimental de um murete de alvenaria de pedra tradicional de grandes dimensões

Dissertação para a obtenção do Grau de Mestre em Mestrado Integrado em Engenharia Civil - Perfil de Construção

Concepção de um aparelho de medição 3D da coluna vertebral: Desenvolvimento de um software de detecção de apófises espinhosas e cálculo da distância ântero-posterior

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

Estudo de modelação da consolidação acelerada por drenos verticais tomando em consideração a fluência do terreno

Dissertação elaborada no Laboratório Nacional de Engenharia Civil para obtenção do grau de mestre em Engenharia Civil no Perfil de Geotecnia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa no âmbito do convénio de cooperação entre a UNL e o LNEC

Heavy-metal resistance in Marinobacter aquaeolei 617 insights into copper resistance

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

Modelação numérica de modelos experimentais de alvenaria de pedra tradicional

Dissertação apresentada para obtenção do grau de Mestre em Engenharia Civil – Perfil de Construção, pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Análise experimental de um murete de alvenaria de pedra tradicional de grandes dimensões. Efeito do confinamento transversal contínuo por fitas metálicas

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Civil – Perfil de Construção

Critical Velocity obtained using Simplified Models of the Railway Track: Viability and Applicability

Increased demands on the capacity of the railway network gave rise to new issues related to the dynamic response of railway tracks subjected to moving vehicles. Thus, it becomes important to evaluate the applicability of traditionally used simplified models which have a closed form solution. Regarding simplified models, transversal vibrations of a beam on a visco-elastic foundation subjected to a moving load are considered. Governing equations are obtained by Hamilton’s principle. Shear distortion, rotary inertia and effect of axial force are accounted for. The load is introduced as a time varying force moving at a constant velocity. Transversal vibrations induced by the load are solved by the normal-mode analysis. Reflected waves at the extremities of the full beam are avoided by introduction of semi-infinite elements. Firstly, the critical velocity obtained from this model is compared with results of an undamped Euler- Bernoulli formulation with zero axial force. Secondly, a finite element model in ABAQUS is examined. The new contribution lies in the introduction of semi- infinite elements and in the first step to a systematic comparison, which have not been published so fa

Coordenação e fiscalização de obras de reabilitação urbana - acompanhamento de operações de reabilitação no Morro da Sé

O presente relatório descreve o trabalho desenvolvido durante os 6 meses de estágio curricular no âmbito do mestrado em construções. O estágio decorreu na Porto Vivo, SRU, uma empresa pública responsável pela dinamização social e económica do Centro Histórico do Porto – Património Mundial. Ao longo do estágio foram realizadas tarefas relacionadas com o tema Coordenação e Fiscalização de Obras, integrando a equipa do Núcleo de Execução de Obras (NEO), acompanhando as obras a decorrer no Centro Histórico do Porto, como por exemplo as Operações de Reabilitação e Realojamento no Morro da Sé. Procedeu-se também à realização de várias vistorias (segurança, salubridade e estética, determinação do nível de conservação e vistorias para efeitos de receção provisória de edifícios), embargo de obras e também o estudo do estado de conservação do edificado nas Áreas de Reabilitação Urbana (ARU) em Santos Pousada e Lapa. Desta forma, tornou-se possível reunir uma diversa quantidade de informação para a realização deste relatório, abordando assuntos importantes tais como as adversidades e anomalias observadas nas visitas às Operações de Reabilitação e Realojamento no Morro da Sé, como também a sugestão de um material estrutural alternativo, o Light Steel Framing.

Projecto e construção de sensores de carga e deslocamento

Dissertação para obtenção do Grau de Mestre em Engenharia Mecânica

Diagnóstico do Cancro da Bexiga

Exame físico (incluindo toque rectal). Ultrasonografia renal e da bexiga e/ou UIV Cistoscopia com descrição de tamanho, e localização do tumor (o diagrama da bexiga deve ser incluído). Urina Tipo II; Citologia urinária, RTU com biópsia da base tumoral. Biópsias de todas as áreas suspeitas; biópsias randomizadas na presença da citologia positiva, tumor >3cm, ou tumor não papilar; biópsia da uretra prostática em casos de Cis ou suspeita de carcionoma in situ. Quando o tumor da bexiga é invasivo e está indicado um tratamento radical, é mandatório RX do tórax, UIV e/ou tomografia axial computorizada abdominal e pélvica, Ultasonografia hepática, cintigrafia óssea se houver sintomas ou se fosfatase alcalina for elevada.

Energy Harvesting for Autonomous Underwater Vehicles

In this study, energy production for autonomous underwater vehicles is investigated. This project is part of a bigger project called TURTLE. The autonomous vehicles perform oceanic researches at seabed for which they are intended to be kept operational underwater for several months. In order to ful l a long-term underwater condition, powerful batteries are combined with \micro- scale" energy production on the spot. This work tends to develop a system that generates power up to a maximum of 30 W. Latter energy harvesting structure consists basically of a turbine combined with a generator and low-power electronics to adjust the achieved voltage to a required battery charger voltage. Every component is examined separately hence an optimum can be de ned for all, and subsequently also an overall optimum. Di erent design parameters as e.g. number of blades, solidity ratio and cross-section area are compared for di erent turbines, in order to see what is the most feasible type. Further, a generator is chosen by studying how ux distributions might be adjusted to low velocities, and how cogging torque can be excluded by adapted designs. Low-power electronics are con gured in order to convert and stabilize heavily varying three-phase voltages to a constant, recti ed voltage which is usable for battery storage. Clearly, di erent component parameters as maximum power and torque are matched here to increase the overall power generation. Furthermore an overall maximum power is set up for achieving a maximum power ow at load side. Due to among others typical low velocities of about 0.1 to 0.5 m/s, and constructing limits of the prototype, the vast range of components is restricted to only a few that could be used. Hence, a helical turbine is combined in a direct drive mode to a coreless-stator axial- ux permanent-magnet generator, from which the output voltage is adjusted subsequently by a recti er, impedance matching unit, upconverter circuit and an overall control unit to regulate di erent component parameters. All these electronics are combined in a closed-loop design to involve positive feedback signals. Furthermore a theoretical con guration for the TURTLE vehicle is described in this work and a solution is proposed that might be implemented, for which several design tests are performable in a future study.

Otimização de um processo produtivo e formulação de um novo produto utilizando ferramentas estatísticas

Na tentativa de se otimizar o processo de fabrico associado a uma tinta base aquosa (TBA), para minimizar os desvios de viscosidade final verificados, e de desenvolver um novo adjuvante plastificante para betão, recorreu-se a métodos e ferramentas estatísticas para a concretização do projeto. Relativamente à TBA, procedeu-se numa primeira fase a um acompanhamento do processo de fabrico, a fim de se obter todos os dados mais relevantes que poderiam influenciar a viscosidade final da tinta. Através de uma análise de capacidade ao parâmetro viscosidade, verificou-se que esta não estava sempre dentro das especificações do cliente, sendo o cpk do processo inferior a 1. O acompanhamento do processo resultou na escolha de 4 fatores, que culminou na realização de um plano fatorial 24. Após a realização dos ensaios, efetuou-se uma análise de regressão a um modelo de primeira ordem, não tendo sido esta significativa, o que implicou a realização de mais 8 ensaios nos pontos axiais. Com arealização de uma regressão passo-a-passo, obteve-se uma aproximação viável a um modelo de segunda ordem, que culminou na obtenção dos melhores níveis para os 4 fatores que garantem que a resposta viscosidade se situa no ponto médio do intervalo de especificação (1400 mPa.s). Quanto ao adjuvante para betão, o objetivo é o uso de polímeros SIKA ao invés da matériaprima comum neste tipo de produtos, tendo em conta o custo final da formulação. Escolheram-se 3 fatores importantes na formulação do produto (mistura de polímeros, mistura de hidrocarbonetos e % de sólidos), que resultou numa matriz fatorial 23. Os ensaios foram realizados em triplicado, em pasta de cimento, um para cada tipo de cimento mais utilizado em Portugal. Ao efetuar-se a análise estatística de dados obtiveram-se modelos de primeira ordem para cada tipo de cimento. O processo de otimização consistiu em otimizar uma função custo associada à formulação, garantindo sempre uma resposta superior à observada pelo produto considerado padrão. Os resultados foram animadores uma vez que se obteve para os 3 tipos de cimentocustos abaixo do requerido e espalhamento acima do observado pelo padrão.