Database repairs with answer set programming

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

Estudo e desenvolvimento de uma solução de monitorização estrutural em túneis baseada na tecnologia de redes de Bragg em fibra ótica

Ao longo dos últimos anos, vários esforços e estudos foram feitos com o objetivo de colocar a fibra ótica no mercado, como um sistema preferencial de monitorização das mais diversas obras de Engenharia. Os sensores baseados na tecnologia em fibra ótica apresentam vantagens reconhecidas pelos mais diversos especialistas, sendo atualmente reconhecida como uma das soluções mais eficazes. Na engenharia Civil, a monitorização das grandes obras tem ganho uma importância crescente. Neste contexto, a monitorização de convergências em túneis visa o controlo da respectiva integridade estrutural ao longo da construção e a exploração da obra. Atualmente a solução de monitorização estrutural de túneis utilizada pela FiberSensing é uma solução desenhada em conjunto com a EPOS e o Cegeo (IST), baseada em sensores de Bragg em Fibra Ótica: o SysTunnel. O objetivo do estudo de uma solução alternativa encontra-se no facto do SysTunnel apresentar algumas debilidades no algoritmo de cálculo, sendo para o seu cálculo necessário a introdução de um parâmetro relacionado com o solo envolvente do túnel, facto que introduz incertezas no cálculo das convergências. O presente relatório tem como finalidade documentar o estágio curricular realizado na FiberSensing, entre 01/02/2014 a 31/07/2014. Este estágio teve como objetivo o desenvolvimento de uma solução alternativa de monitorização estrutural baseada na tecnologia das redes de Bragg para a monitorização das convergências em túneis.

The role of halouracils in radiotherapy studied by electron transfer in atom-molecule collisions experiments

Dissertação para obtenção do Grau de Doutor em Engenharia Física

Desenvolvimento de programa em linguagem Matlab® para cálculo pelo método de elementos finitos

Para o projeto de qualquer estrutura existente (edifícios, pontes, veículos, máquinas, etc.) é necessário conhecer as condições de carga, geometria e comportamento de todas as suas partes, assim como respeitar as normativas em vigor nos países nos quais a estrutura será aplicada. A primeira parte de qualquer projeto nesta área passa pela fase da análise estrutural, onde são calculadas todas as interações e efeitos de cargas sobre as estruturas físicas e os seus componentes de maneira a verificar a aptidão da estrutura para o seu uso. Inicialmente parte-se de uma estrutura de geometria simplificada, pondo de parte os elementos físicos irrelevantes (elementos de fixação, revestimentos, etc.) de maneira a simplificar o cálculo de estruturas complexas e, em função dos resultados obtidos da análise estrutural, melhorar a estrutura se necessário. A análise por elementos finitos é a ferramenta principal durante esta primeira fase do projeto. E atualmente, devido às exigências do mercado, é imprescindível o suporte computorizado de maneira a agilizar esta fase do projeto. Existe para esta finalidade uma vasta gama de programas que permitem realizar tarefas que passam pelo desenho de estruturas, análise estática de cargas, análise dinâmica e vibrações, visualização do comportamento físico (deformações) em tempo real, que permitem a otimização da estrutura em análise. Porém, estes programas demostram uma certa complexidade durante a introdução dos parâmetros, levando muitas vezes a resultados errados. Assim sendo, é essencial para o projetista ter uma ferramenta fiável e simples de usar que possa ser usada para fins de projeto de estruturas e otimização. Sobre esta base nasce este projeto tese onde se elaborou um programa com interface gráfica no ambiente Matlab® para a análise de estruturas por elementos finitos, com elementos do tipo Barra e Viga, quer em 2D ou 3D. Este programa permite definir a estrutura por meio de coordenadas, introdução de forma rápida e clara, propriedades mecânicas dos elementos, condições fronteira e cargas a aplicar. Como resultados devolve ao utilizador as reações, deformações e distribuição de tensões nos elementos quer em forma tabular quer em representação gráfica sobre a estrutura em análise. Existe ainda a possibilidade de importação de dados e exportação dos resultados em ficheiros XLS e XLSX, de maneira a facilitar a gestão de informação. Foram realizados diferentes testes e análises de estruturas de forma a validar os resultados do programa e a sua integridade. Os resultados foram todos satisfatórios e convergem para os resultados de outros programas, publicados em livros, e para cálculo a mão feitos pelo autor.

The materials, technique, conservation treatment and after-care of interior de um convento

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Conservação e Restauro, especialização em pintura sobre tela

The CONCERTO methodology for model-based development of avionics SW

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 22 to 26, Jun, 2015, Madrid, Spain.

Protecção radiológica do doente em tomografia computorizada

RESUMO - A preocupação com os conhecimentos, atitudes, crenças e práticas, no que concerne à utilização de radiações ionizantes para fins de diagnóstico, e a sensibilização de todos os agentes envolvidos, médicos, técnicos, físicos, utentes e responsáveis pela Saúde Publica, relativamente aos níveis de radiação emitida nos exames de Tomografia Computorizada (TC), assume particular importância no domínio da Saúde Pública, na medida em que é necessário influenciar o desenvolvimento de práticas que promovam, auditem e garantam a prestação do controlo da qualidade radiológica e dosimétrica nos serviços de Radiologia a nível Nacional. Para tal, e no âmbito da publicação de estudos já realizados ao nível da União Europeia, ―Orientações Europeias dos Critérios de Qualidade para a Tomografia Computorizada (1999) ‖, é proposto estabelecer orientações na realização de estudos que permitam, numa primeira fase, estabelecer a comparação com os resultados obtidos pelos mecanismos de Controlo da Qualidade (CQ), analisar e proceder aos ajustes (se necessário) e, numa segunda fase, implementar uma moldura sistemática de avaliação periódica dos níveis de dose de radiação por exame TC e que permita a monitorização dos dados. Nesse sentido, propõe-se a realização de um Estudo Nacional que envolva a rede hospitalar pública, privada e universitária, partindo da metodologia utilizada em estudos prévios noutros países da Europa, como seja, selecção do equipamento de TC existente na Instituição Hospitalar, onde serão reunidas informações através do preenchimento de questionários relativos ao equipamento a utilizar. Serão recolhidos dados relativos ao utente, ao equipamento e parâmetros de aquisição de imagem, que permitam identificar os níveis de referência de diagnóstico (NRD) em TC, na realidade Portuguesa. Foi efectuado um estudo piloto numa instituição EPE e os valores obtidos não são significativos, nem podem assumir valor preditivo dado o reduzido tamanho da amostra. Apesar disso, sugerem a existência de parâmetros que podem ser alterados e com isso podem fazer variar a dose de radiação utilizada. ENSP/UNL Maria de Fátima Vaz de Carvalho 5 Espera-se obter com este estudo, como foi referido, a base do estabelecimento dos NRD em TC em Portugal. ----------------- ABSTRACT - The purpose of this study, in an empirical point of view, emerges from concern with the knowledge, attitudes, beliefs and practices regarding the use of ionizing radiation for diagnostic purposes and awareness of all actors involved, medical physical, technical, and responsible public health for the development of practices that promote, audited and ensure the provision of radiological quality control and dosing in radiology service at national level. In view of the complexity and characteristics involved in relation to ionizing radiation, all assume their part in protecting the physical integrity of each user and a global perspective, to ensure the safeguarding of public health, while global and globalizing factor. To this end, and in the context of the publication of studies already carried out at European Union level, "European guidelines for quality criteria for computed tomography", it is proposed to establish guidelines in conducting studies to initially establish the comparison with the results obtained by QC and make adjustments if necessary, and subsequently implement a systematic periodic assessment frame that allows monitoring of data. Accordingly, it is proposed to conduct a national study involving the public network, private and University hospitals, that extends from the methodology used in previous studies in other countries of Europe, as is, selection of equipment of existing CT in Hospital Institution, where information will be gathered by filling out questionnaires concerning the equipment to be used. Data will be collected for the wearer, equipment and parameters of image acquisition, identifying diagnostic reference levels (NRD) in CT in Portuguese fact. A pilot study was carried out in an institution EPE and the values obtained are not significant, nor can they take predictive value given the small sample size. Despite this, suggest the existence of parameters that can be changed and this can vary the dose of radiation used It is hoped to get with this study, as mentioned, the basis of the establishment of NRD in CT in Portugal.

BIiossensor Enzimático para avaliação da Capacidade Antioxidente

Os radicais livres formam-se naturalmente nos organismos vivos, pois a sua produção/geração está interligada com o processo de produção de energia (respiração), processos inflamatórios (fagocitose), regulação do crescimento celular, sinalização intercelular e síntese de substâncias biológicas relevantes. Estes também podem ser introduzidos por vias exógenas (poluição, radiação, tabaco, alimentação, etc). Os radicais livres têm capacidade de reagir com o material nucleico (ADN e ARN), proteínas e substâncias oxidáveis, causando danos oxidativos responsáveis pelo envelhecimento e originar doenças degenerativas, tais como, o cancro, arteriosclerose, artrite reumatoide, entre outras. De forma a combater os efeitos pejorativos provocados pelos radicais, os organismos vivos desenvolveram complexos sistemas de defesa antioxidante. Estes sistemas são constituídos por antioxidantes endógenos, produzidos pelos seres vivos, tais como enzimas ou por antioxidantes exógenos obtidos por via da alimentação (por exemplo o ácido ascórbico). Neste sentido, um antioxidante tem capacidade de eliminar ou reduzir a propagação da cadeia de geração de radicais livres. Neste trabalho foi desenvolvido um biossensor enzimático para a quantificação da capacidade antioxidante total de matrizes alimentares. A construção deste biossensor consistiu na eletroimobilização da adenina no elétrodo de pasta de carbono (EPC) ou na adsorção física da dA20 na superfície do EPC. O dano oxidativo foi induzido pelo radical hidroxilo gerado pela reação de Fenton. Nesta dissertação, foi estudada a capacidade de alguns antioxidantes em eliminar o efeito pejorativo dos radicais livres e combater a integridade das bases de adenina ou do dA20.Os antioxidantes estudados foram o ácido ascórbico e alguns ácidos fenólicos como o ácido hidroxibenzoico (ácido gálico) e ácidos hidroxicinâmicos (ácido cafeico e ácido cumárico). Estes antioxidantes têm a capacidade de neutralizar o radical hidroxilo e proteger a adenina/dA20 imobilizado na superfície do EPC. O comportamento da Lacase foi estudado na presença do ácido gálico e do ácido ascórbico. Os estudos eletroquímicos foram realizados através da voltametria de onda quadrada (VOQ), sendo que a interação entre a adenina/ou o dA20 imobilizada na superfície do EPC e os radicais livres na ausência e presença de antioxidantes foi avaliada por meio de mudanças no pico anódico produzido pela oxidação da adenina /dA20. Os resultados demonstraram que estes biossensores permitem a avaliação da capacidade antioxidante total em águas aromatizadas.

The use of the antifungal agent miconazole as an inhibitor of Blastocystis hominis growth in Entamoeba histolytica/E. dispar cultures

In regions with high prevalence, Blastocystis hominis is frequently found in association with Entamoeba histolytica/E. dispar in xenic cultures. Its exacerbated growth is often superimposed on the growth of amebas, thus impeding the continuation of the amebas in the culture, within a few generations. The present study reports on the excellent efficacy (100%) of the antifungal agent miconazole in eliminating B. hominis from cultures of E. histolytica/E. dispar, thereby maintaining the integrity of the trophozoites of the amebas. Nystatin presented low efficacy (33.3%).

Adhesive selection for single lap bonded joints: Experimentation and advanced techniques for strength prediction

The integrity of multi-component structures is usually determined by their unions. Adhesive-bonding is often used over traditional methods because of the reduction of stress concentrations, reduced weight penalty, and easy manufacturing. Commercial adhesives range from strong and brittle (e.g., Araldite® AV138) to less strong and ductile (e.g., Araldite® 2015). A new family of polyurethane adhesives combines high strength and ductility (e.g., Sikaforce® 7888). In this work, the performance of the three above-mentioned adhesives was tested in single lap joints with varying values of overlap length (LO). The experimental work carried out is accompanied by a detailed numerical analysis by finite elements, either based on cohesive zone models (CZM) or the extended finite element method (XFEM). This procedure enabled detailing the performance of these predictive techniques applied to bonded joints. Moreover, it was possible to evaluate which family of adhesives is more suited for each joint geometry. CZM revealed to be highly accurate, except for largely ductile adhesives, although this could be circumvented with a different cohesive law. XFEM is not the most suited technique for mixed-mode damage growth, but a rough prediction was achieved.

Cohesive law estimation of adhesive joints in mode II condition

The adhesive bonding technique enables both weight and complexity reduction in structures that require some joining technique to be used on account of fabrication/component shape issues. Because of this, adhesive bonding is also one of the main repair methods for metal and composite structures by the strap and scarf configurations. The availability of strength prediction techniques for adhesive joints is essential for their generalized application and it can rely on different approaches, such as mechanics of materials, conventional fracture mechanics or damage mechanics. These two last techniques depend on the measurement of the fracture toughness (GC) of materials. Within the framework of damage mechanics, a valid option is the use of Cohesive Zone Modelling (CZM) coupled with Finite Element (FE) analyses. In this work, CZM laws for adhesive joints considering three adhesives with varying ductility were estimated. The End-Notched Flexure (ENF) test geometry was selected based on overall test simplicity and results accuracy. The adhesives Araldite® AV138, Araldite® 2015 and Sikaforce® 7752 were studied between high-strength aluminium adherends. Estimation of the CZM laws was carried out by an inverse methodology based on a curve fitting procedure, which enabled a precise estimation of the adhesive joints’ behaviour. The work allowed to conclude that a unique set of shear fracture toughness (GIIC) and shear cohesive strength (ts0) exists for each specimen that accurately reproduces the adhesive layer’ behaviour. With this information, the accurate strength prediction of adhesive joints in shear is made possible by CZM.

Quantification and viability analyses of Pseudokirchneriella subcapitata algal cells using image-based cytometry

This work aims to evaluate the feasibility of using image-based cytometry (IBC) in the analysis of algal cell quantification and viability, using Pseudokirchneriella subcapitata as a cell model. Cell concentration was determined by IBC to be in a linear range between 1 × 105 and 8 × 106 cells mL−1. Algal viability was defined on the basis that the intact membrane of viable cells excludes the SYTOX Green (SG) probe. The disruption of membrane integrity represents irreversible damage and consequently results in cell death. Using IBC, we were able to successfully discriminate between live (SG-negative cells) and dead algal cells (heat-treated at 65 °C for 60 min; SG-positive cells). The observed viability of algal populations containing different proportions of killed cells was well correlated (R 2 = 0.994) with the theoretical viability. The validation of the use of this technology was carried out by exposing algal cells of P. subcapitata to a copper stress test for 96 h. IBC allowed us to follow the evolution of cell concentration and the viability of copper-exposed algal populations. This technology overcomes several main drawbacks usually associated with microscopy counting, such as labour-intensive experiments, tedious work and lack of the representativeness of the cell counting. In conclusion, IBC allowed a fast and automated determination of the total number of algal cells and allowed us to analyse viability. This technology can provide a useful tool for a wide variety of fields that utilise microalgae, such as the aquatic toxicology and biotechnology fields.

Use of a fluorescence-based approach to assess short-term responses of the alga Pseudokirchneriella subcapitata to metal stress

This work explores the use of fluorescent probes to evaluate the responses of the green alga Pseudokirchneriella subcapitata to the action of three nominal concentrations of Cd(II), Cr(VI), Cu(II) and Zn(II) for a short time (6 h). The toxic effect of the metals on algal cells was monitored using the fluorochromes SYTOX Green (SG, membrane integrity), fluorescein diacetate (FDA, esterase activity) and rhodamine 123 (Rh123, mitochondrial membrane potential). The impact of metals on chlorophyll a (Chl a) autofluorescence was also evaluated. Esterase activity was the most sensitive parameter. At the concentrations studied, all metals induced the loss of esterase activity. SG could be used to effectively detect the loss of membrane integrity in algal cells exposed to 0.32 or 1.3 μmol L−1 Cu(II). Rh123 revealed a decrease in the mitochondrial membrane potential of algal cells exposed to 0.32 and 1.3 μmol L−1 Cu(II), indicating that mitochondrial activity was compromised. Chl a autofluorescence was also affected by the presence of Cr(VI) and Cu(II), suggesting perturbation of photosynthesis. In conclusion, the fluorescence-based approach was useful for detecting the disturbance of specific cellular characteristics. Fluorescent probes are a useful diagnostic tool for the assessment of the impact of toxicants on specific targets of P. subcapitata algal cells.

Impact of multi-metals (Cd, Pb and Zn) exposure on the physiology of the yeast Pichia kudriavzevii

Metal contamination of the environment is frequently associated to the presence of two or more metals. This work aimed to study the impact of a mixture of metals (Cd, Pb and Zn) on the physiology of the non-conventional yeast Pichia kudriavzevii. The incubation of yeast cells with 5 mg/l Cd, 10 mg/l Pb and 5 mg/l Zn, for 6 h, induced a loss of metabolic activity (assessed by FUN-1 staining) and proliferation capacity (evaluated by a clonogenic assay), with a small loss of membrane integrity (measured by trypan blue exclusion assay). The staining of yeast cells with calcofluor white revealed that no modification of chitin deposition pattern occurred during the exposure to metal mixture. Extending for 24 h, the exposure of yeast cells to metal mixture provoked a loss of membrane integrity, which was accompanied by the leakage of intracellular components. A marked loss of the metabolic activity and the loss of proliferation capacity were also observed. The analysis of the impact of a single metal has shown that, under the conditions studied, Pb was the metal responsible for the toxic effect observed in the metal mixture. Intracellular accumulation of Pb seems to be correlated with the metals' toxic effects observed.

Responses of the alga Pseudokirchneriella subcapitata to long-term exposure to metal stress

The green alga Pseudokirchneriella subcapitata has been widely used in ecological risk assessment, usually based on the impact of the toxicants in the alga growth. However, the physiological causes that lead algal growth inhibition are not completely understood. This work aimed to evaluate the biochemical and structural modifications in P. subcapitata after exposure, for 72 h, to three nominal concentrations of Cd(II), Cr(VI), Cu(II) and Zn(II), corresponding approximately to 72 h-EC10 and 72 h-EC50 values and a high concentration (above 72 h-EC90 values). The incubation of algal cells with the highest concentration of Cd(II), Cr(VI) or Cu(II) resulted in a loss of membrane integrity of ~16, 38 and 55%, respectively. For all metals tested, an inhibition of esterase activity, in a dose-dependent manner, was observed. Reduction of chlorophyll a content, decrease of maximum quantum yield of photosystem II and modification of mitochondrial membrane potential was also verified. In conclusion, the exposure of P. subcapitata to metals resulted in a perturbation of the cell physiological status. Principal component analysis revealed that the impairment of esterase activity combined with the reduction of chlorophyll a content were related with the inhibition of growth caused by a prolonged exposure to the heavy metals.