Modeling assembly program with constraints. A contribution to WCET problem

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

Avaliação do comportamento de uma ponte metálica centenária sujeita à ação de tráfego ferroviário ligeiro

A presente dissertação tem como objetivo principal a análise numérica do comportamento dinâmico de uma ponte ferroviária, sob ação de tráfego ligeiro ferroviário. Neste contexto são apresentados alguns fundamentos teóricos a ter em conta nestes domínios, visando uma melhor compreensão dos fenómenos existentes no comportamento dinâmico de pontes ferroviárias quando sujeitas ao tráfego. O caso de estudo teve como foco a ponte Luiz I, uma ponte metálica situada sobre o rio Douro, que liga as cidades do Porto e Vila Nova de Gaia, sob ação de tráfego ligeiro ferroviário no seu tabuleiro superior para a condição anterior aos trabalhos de reabilitação e reforço realizados entre 2004 e 2005. Para o efeito foi desenvolvido um modelo numérico de elementos finitos da ponte realizado com recurso ao programa ANSYS, assim como um modelo numérico do veículo do Metro de Lisboa. Com base nestes modelos foram obtidos os parâmetros modais, nomeadamente as frequências naturais e os modos de vibração de toda a estrutura e do veículo. O estudo do comportamento dinâmico da ponte foi realizado por intermédio de uma metodologia de cargas móveis e de interação veículo-estrutura, através da ferramenta computacional Train-Bridge Interaction (TBI). As análises dinâmicas foram efetuadas para a passagem dos veículos de passageiros das redes de Metros do Porto e Lisboa. Nestas análises é estudada a resposta da estrutura em função da variabilidade ao nível da secção transversal, dependência do tramo, influência do veículo, da sua velocidade de circulação e impacto das frequências de vibração estimadas pelo modelo numérico.

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.

Acompanhamento das Técnicas de Construção na Obra do Aproveitamento Hidroelétrico de Foz Tua

O presente trabalho foi desenvolvido na obra do Aproveitamento Hidroelétrico de Foz Tua onde a autora teve oportunidade de realizar o estágio curricular junto da equipa da Fiscalização no período de 2 de Fevereiro de 2015 a 31 de Julho de 2015. A elaboração do presente trabalho pretende transmitir conhecimentos adquiridos relacionados com a constituição de um Aproveitamento Hidroelétrico, os tipos de barragens existentes, monitorização e controlo da segurança da estrutura da Barragem, controlo de qualidade de betão e o processo construtivo de uma Barragem. A construção da Barragem do Aproveitamento Hidroelétrico de Foz Tua tem sido realizada através do método tradicional, que consiste na aplicação de betão convencional compactado por vibração interna. Ao longo deste processo, foram aplicadas diversas técnicas construtivas, nomeadamente: escavação, betonagem, refrigeração artificial, injeção de juntas e tratamento de fundações. Neste trabalho foram ainda analisados os cuidados de segurança necessários neste tipo de estruturas, tendo como base o Regulamento de Segurança de Barragens. Este regulamento define as regras a seguir durante a execução da barragem e a monotorização que deve ser efetuada à mesma, permitindo assim o controlo da segurança da estrutura na sua construção e vida útil. É necessário ainda existir um controlo da qualidade, produção e aplicação do betão na estrutura de modo a aumentar a segurança, qualidade e durabilidade da mesma.

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.

Spatiotemporal mechanisms for actomyosin ring assembly and contraction in budding yeast cell division

Dissertation presented to obtain the Ph.D degree in Molecular Medicine

Chromosomal structure: a selectable trait for evolution

Dissertation presented to obtain the Ph.D degree in Evolutionary Biology

Structure-function relationships in a glycosyltransferase, a phosphatase and an oxidoreductase

Dissertation presented to obtain the Ph.D degree in Biochemistry

Crystal structure of the zinc-, cobalt-, and iron-containing adenylate kinase from Desulfovibrio gigas: a novel metal-containing adenylate kinase from Gram-negative bacteria

J Biol Inorg Chem (2011) 16:51–61 DOI 10.1007/s00775-010-0700-8

The first crystal structure of class III superoxide reductase from Treponema pallidum

J Biol Inorg Chem (2006) 11: 548–558 DOI 10.1007/s00775-006-0104-y

X-ray crystal structure and EPR spectra of "arsenite-inhibited" Desulfovibriogigas aldehyde dehydrogenase: a member of the xanthine oxidase family

J. Am. Chem. Soc., 2004, 126 (28), pp 8614–8615 DOI: 10.1021/ja0490222

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.

The hidden value behind capital structure decisions

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