Safety and skin delayed-type hypersensitivity response in vervet monkeys immunized with Leishmania donovani sonicate antigen delivered with adjuvants

In this study, we report on the safety and skin delayed-type hypersensitivity (DTH), responses of the Leishmania donovani whole cell sonicate antigen delivered in conjunction with alum-BCG (AlBCG), Montanide ISA 720 (MISA) or Monophosphoryl lipid A (MPLA) in groups of vervet monkeys. Following three intradermal injections of the inoculums on days 0, 28 and 42, safety and DTH responses were assessed. Preliminary tumor necrosis factor alpha (TNF-α) and interferon gamma (IFN-γ) levels were also measured and these were compared with DTH. Only those animals immunized with alum-BCG reacted adversely to the inoculum by producing ulcerative erythematous skin indurations. Non-parametric analysis of variance followed by a post-test showed significantly higher DTH responses in the MISA+Ag group compared with other immunized groups (p < 0.001). The MPLA+Ag group indicated significantly lower DTH responses to the sonicate antigen compared with the AlBCG+Ag group. There was a significant correlation between the DTH and cytokine responses (p < 0.0001). Based on this study we conclude that Leishmania donovani sonicate antigen containing MISA 720 is safe and is associated with a strong DTH reaction following immunization.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

In situ measured cross section geometry of old timber structures and its influence on structural safety

Old timber structures may show significant variation in the cross section geometry along the same element, as a result of both construction methods and deterioration. As consequence, the definition of the geometric parameters in situ may be both time consuming and costly. This work presents the results of inspections carried out in different timber structures. Based on the obtained results, different simplified geometric models are proposed in order to efficiently model the geometry variations found. Probabilistic modelling techniques are also used to define safety parameters of existing timber structures, when subjected to dead and live loads, namely self-weight and wind actions. The parameters of the models have been defined as probabilistic variables, and safety of a selected case study was assessed using the Monte Carlo simulation technique. Assuming a target reliability index, a model was defined for both the residual cross section and the time dependent deterioration evolution. As a consequence, it was possible to compute probabilities of failure and reliability indices, as well as, time evolution deterioration curves for this structure. The results obtained provide a proposal for definition of the cross section geometric parameters of existing timber structures with different levels of decay, using a simplified probabilistic geometry model and considering a remaining capacity factor for the decayed areas. This model can be used for assessing the safety of the structure at present and for predicting future performance.

Avaliação do comportamento e reforço da Ponte de Maçaínhas sob a ação do tráfego ferroviário

A presente dissertação tem como principal objetivo a avaliação do estado de conservação de uma ponte ferroviária metálica centenária para posteriormente se efetuar o reforço desta. O objeto de estudo foi a Ponte de Maçaínhas, uma ponte metálica treliçada que se situa na linha da Beira Baixa permitindo a ligação entre a Guarda e a Covilhã. Este trabalho envolveu um estudo profundo de vários conteúdos normativos relativos a ações em pontes ferroviárias e ações ambientais. Este estudo estende-se ainda ao campo das verificações regulamentares e critérios de segurança estrutural adequadas ao presente contexto. A operação de reforço começou numa rigorosa análise dos componentes estruturais da ponte, através do estudo de plantas e de um extenso registo fotográfico, para posteriormente se conceber um modelo numérico que traduzisse a situação real. Ao modelo concebido foram aplicadas as cargas regulamentares adequadas por forma a entender o comportamento que a ponte apresenta perante estas e se as suas secções transversais apresentam capacidade resistente suficiente. Caso estas não apresentem capacidade resistente suficiente teriam de ser intervencionadas. Concluído o processo de avaliação estrutural e de reforço, procedeu-se à verificação do comportamento da estrutura reforçada perante as ações de projeto. Com isto pretende-se avaliar se os esforços se distribuem da mesma maneira ou se a operação de reforço teve algum efeito na distribuição destes. Por último, para avaliar o comportamento da estrutura perante a passagem de tráfego real, realizaram-se análises dinâmicas que tiveram por base um grupo de veículos que habitualmente circulam na linha da Beira Baixa e um comboio de alta velocidade. Estas análises foram realizadas tanto para a situação pré reforço como pós reforço. Desta forma conseguiu-se fazer um paralelo entre ambas as condições e perceber se a operação de reforço foi bem-sucedida.

Dimensionamento de Madres Enformadas a Frio Travadas por Painéis do Tipo Sandwich

O presente relatório de estágio foi elaborado no âmbito da Unidade Curricular de DIPRE, Dissertação/Projeto/Estágio, do 2.º ano de Mestrado em Engenharia Civil do Instituto Superior de Engenharia do Porto, do ramo de estruturas, tendo como principal foco, a análise e dimensionamento de madres de aço enformado a frio e sua utilização com painéis do tipo sandwich em coberturas. Seções enformadas a frio são cada vez mais utilizadas em construções modernas, especificamente como estrutura secundária em coberturas, onde geralmente são fixas a painéis através de ligações aparafusadas. A presença de painéis e fixações através de parafusos permitem a estabilização lateral e torsional de madres aumentando desta forma a capacidade resistente, mas por serem elementos estruturais de espessura reduzida, os enformados a frio são suscetíveis a fenómenos de instabilidade associados. Desta forma, a norma EN 1993-1-3 [4] permite a análise e dimensionamento deste tipo de elementos através das disposições regulamentares preconizadas nas partes 1-1 [3] e 1-5 [5] da mesma norma. Num primeiro estudo, o presente trabalho tem como objetivo o dimensionamento e verificação de segurança de elementos enformados a frio com base na seção efetiva determinada com o auxílio das normas EN 1993-1-1 (regras gerais) e EN 1993-1-5 (regras para elementos estruturais constituídos por placas). Numa segunda fase, este trabalho pretende apresentar um estudo do comportamento de interação entre os sistemas madres-painéis. Para tal, são quantificadas as rigidezes das conexões dos sistemas e dos painéis para se realizarem a análise relativamente à restrição lateral e restrição torsional de madres. Neste contexto, concluiu-se que os painéis, quando fixos de forma adequada às madres, contribuem para a estabilidade.

Conceção e Análise de um Demonstrador para a Monitorização Estrutural

Os sistemas de monitorização de estruturas fornecem diversas vantagens, não só no que diz respeito à durabilidade da obra, ao aumento da segurança e do conhecimento relativamente ao comportamento das estruturas ao longo do tempo, à otimização do aspeto estrutural, bem como aos aspetos económicos do processo de construção e manutenção. A monitorização deve realizar-se durante a fase de construção e/ou de exploração da obra para permitir o registo integral do seu comportamento no meio externo. Deve efetuar-se de forma contínua e automática, executando intervenções de rotina para que se possa detetar precocemente sinais de alterações, respetivamente à segurança, integridade e desempenho funcional. Assim se poderá manter a estrutura dentro de parâmetros aceitáveis de segurança. Assim, na presente dissertação será concebido um demonstrador experimental, para ser estudado em laboratório, no qual será implementado um sistema de monitorização contínuo e automático. Sobre este demonstrador será feita uma análise de diferentes grandezas em medição, tais como: deslocamentos, extensões, temperatura, rotações e acelerações. Com carácter inovador, pretende-se ainda incluir neste modelo em sintonia de medição de coordenadas GNSS com o qual se torna possível medir deslocamentos absolutos. Os resultados experimentais alcançados serão analisados e comparados com modelos numéricos. Conferem-se os resultados experimentais de natureza estática e dinâmica, com os resultados numéricos de dois modelos de elementos finitos: um de barras e outro de casca. Realizaram-se diferentes abordagens tendo em conta as características identificadas por via experimental e calculadas nos modelos numéricos para melhor ajuste e calibração dos modelos numéricos Por fim, recorre-se a algoritmos de processamento e tratamento do respetivo sinal com aplicação de filtros, que revelam melhorar com rigor o sinal, de forma a potenciar as técnicas de fusão multisensor. Pretende-se integrar o sinal GNSS com os demais sensores presentes no sistema de monitorização. As técnicas de fusão multisensor visam melhor o desempenho deste potencial sistema de medição, demonstrando as suas valências no domínio da monitorização estrutural.

Type-based protocol conformance and aliasing control in concurrent java programs

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Behavior monitoring and behavioral exchange: an approach from geospatial technologies involving gamification techniques

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

An agent based architecture for material handling systems

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

The compatibility of earth-based repair mortars with rammed earth substrates

3rd Historic Mortars Conference, 11-14 September 2013, Glasgow, Scotland

Lightweight robust behavior industrial agent methodology

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Behavior in Mus musculus of Schistosoma mansoni from mollusks treated with hydrocortisone

Twenty mice were exposed to cercariae from mollusks treated with hydrocortisone and another 20 mice received cercariae from non-treated mollusks. The behavior of the parasites from the two groups of mollusks was compared based on the ability of cercariae to penetrate mice, on the total number of worms recovered after eight weeks of infection, on the relationship between the number of penetrating cercariae and the number of recovered worms and on the number of eggs in the feces. Treating the mollusks with hydrocortisone did not alter the ability of cercariae to penetrate mice nor did it affect the total number of worms recovered. The number of female worms, the number of coupled worms and the number of eggs in the feces were greater in mice infected by cercariae from mollusks treated with hydrocortisone.

Green synthesis of 2-Oxazoline-based polymers with antimicrobial activity using scCO2

Using a green methodology, 17 different poly(2-oxazolines) were synthesized starting from four different oxazoline monomers. The polymerization reactions were conducted in supercritical carbon dioxide under a cationic ring-opening polymerization (CROP) mechanism using boron trifluoride diethyl etherate as the catalyst. The obtained living polymers were then end-capped with different types of amines, in order to confer them antimicrobial activity. For comparison, four polyoxazolines were end-capped with water, and by their hydrolysis the linear poly(ethyleneimine) (LPEI) was also produced. After functionalization the obtained polymers were isolated, purified and characterized by standard techniques (FT-IR, NMR, MALDI-TOF and GPC). The synthesized poly(2-oxazolines) revealed an unusual intrinsic blue photoluminescence. High concentration of carbonyl groups in the polymer backbone is appointed as a key structural factor for the presence of fluorescence and enlarges polyoxazolines’ potential applications. Microbiological assays were also performed in order to evaluate their antimicrobial profile against gram-positive Staphylococcus aureus NCTC8325-4 and gram-negative Escherichia coli AB1157 strains, two well known and difficult to control pathogens. The minimum inhibitory concentrations (MIC)s and killing rates of three synthesized polymers against both strains were determined. The end-capping with N,N-dimethyldodecylamine of living poly(2- methyl-2-oxazoline) and poly(bisoxazoline) led to materials with higher MIC values but fast killing rates (less than 5 minutes to achieve 100% killing for both bacterial species) than LPEI, a polymer which had a lower MIC value, but took a longer time to kill both E.coli and S.aureus cells. LPEI achieved 100% killing after 45 minutes in contact with E. coli and after 4 hours in contact with S.aureus. Such huge differences in the biocidal behavior of the different polymers can possibly underlie different mechanisms of action. In the future, studies to elucidate the obtained data will be performed to better understand the killing mechanisms of the polymers through the use of microbial cell biology techniques.

Ethical leadership and unethical pro-organizational behavior: A moderated mediation model of affective commitment and authenticity at work

Recently, unethical conduct in the workplace has been a focus of literature and media. Unethical pro-organizational behavior (UPB) refers to unethical conduct that employees engage in to benefit the organization. Given the complexity of UPB, there is an increasing need to understand how and under what conditions this attitude originates within organizations. Based on a sample of 167 employees and seven organizations, results support the moderated mediation model. An ethical leader increases employees’ organizational affective commitment which increases the likelihood to engage in UPB. However, the indirect relationship diminishes when employees feel authentic at work.