Negative non-ground queries in well founded semantics

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

Problemas associados à instalação de subestações de energia em malha urbana. Caso de estudo da subestação de parceiros em Leiria

No âmbito do desenvolvimento da dissertação do Mestrado de Engenharia Eletrotécnica – Sistemas Elétricos de Energia, surgiu a oportunidade de participar no desenvolvimento de um projeto integrante numa subestação de energia. O presente caso de estudo tem em vista a resolução de condicionantes na conceção desta subestação, tais como cumprir requisitos estéticos projetando todo o tipo de equipamentos dentro de edifícios, a ventilação das salas de transformação assim como insonorização de todo o ruído produzido de forma a cumprir os limites legais e não perturbar a vizinhança. A presente subestação de energia está situada numa zona urbana da cidade de Leiria, localidade de Parceiros, dando origem ao nome Subestação de Energia de Parceiros. Esta subestação pertence ao cliente Energias de Portugal, conhecida como EDP, e visa o melhoramento da distribuição do serviço eléctrico. As tradicionais subestações de energia, com aparência bastante desenquadrada dos meios urbanos, representam um entrave ao nível da aproximação destes centros de produção energética às zonas urbanas, comprometendo a melhoria da rede elétrica. Desta forma, foi implementada a tecnologia Gas-Insolated Switchgear e permite o enquadramento destes centros energéticos em zonas urbanas, constituindo mais um edifício urbano na zona onde se insere. Esta substitui os convencionais barramentos existentes nos Parques Exteriores de Aparelhagem das subestações e apresenta-se com dimensões muito reduzidas quando comparadas com as estruturas instaladas nestes parques. Dado que esta tecnologia é desenvolvida no sentido de permitir a construção destes centros energéticos em zonas urbanas, podem ser alojadas dentro de edifícios produzindo assim vantagens ao nível estético, não perturbando a paisagem. Dado que os principais equipamentos de funcionamento na subestação de Parceiros, nomeadamente o Transformador de Potência, se encontram instalados num edifício completamente fechado, foram construídas duas salas de ventilação, na parte superior deste edifício, cada uma adjacente a uma sala de transformação. O transformador instalado possui elevadas dimensões, pesando 53000 kg e contendo 11000 kg de óleo que em estado normal de funcionamento circula por quase todo o interior da máquina a elevadas temperaturas, provocando um aquecimento elevado no interior do edifício o que condiciona o bom funcionamento do transformador. Para ultrapassar esta condicionante foi realizado um estudo de um sistema de ventilação capaz de avaliar e controlar os valores térmicos existentes e proceder à circulação de ar, que será movimentado ou bloqueado, recorrendo a um sistema autónomo, mantendo a temperatura ideal nas salas de transformação. Este autómato é o cérebro de toda a cadeia lógica que, mediante as leituras efetuadas irá dar ordens de atuação aos diversos equipamentos. Apesar dos TP estarem protegidos dentro do edifício, estes produzem um maior ruído. A necessidade da existência do referido sistema de ventilação das divisões de funcionamento destas máquinas, implica a utilização de aparelhos que, apesar da sua evolução tecnológica os torna cada vez menos ruidosos, mas geram sempre alguma perturbação, o que pode representar um problema no cumprimento do regulamento geral do ruído.

Previsão de avarias em transformadores de potência através da análise de ensaios físico-químicos

Os Transformadores de potência são máquinas de elevada importância ao nível dos Sistemas Elétricos de Energia (SEE) uma vez que são estas máquinas que possibilitam a interligação dos diferentes níveis de tensão da rede e a transmissão de energia elétrica em Corrente Alternada (CA). Geralmente, estas máquinas são de grandes dimensões e de elevado nível de complexidade construtiva. Caracterizam-se por possuírem períodos de vida útil bastante elevados (vinte a trinta anos) e preços elevados, o que conduz a um nível de exigência de fiabilidade muito elevada, uma vez que não e viável a existência de muitos equipamentos de reserva nos SEE. Com o objetivo de tentar maximizar o período de vida útil dos transformadores de potência e a sua fiabilidade, tenta-se, cada vez mais, implementar conceitos de manutenção preventiva a este tipo de máquinas. No entanto, a gestão da sua vida útil e extremamente complexa na medida em que, estas máquinas têm vários componentes cruciais e suscetiveis de originar falhas e, quase todos eles, encontram-se no interior de uma cuba. Desta forma, não e possível obter uma imagem do seu estado, em tempo real, sem colocar o transformador fora de serviço, algo que acarreta custos elevados. Por este motivo, desenvolveu-se uma técnica que permite obter uma indicação do estado do transformador, em tempo real, sem o retirar de serviço, colhendo amostras do óleo isolante e procedendo a sua análise físico-química e Analise Gases Dissolvidos (DGA). As análises aos óleos isolantes tem vindo a adquirir uma preponderância muito elevada no diagnóstico de falhas e na analise do estado de conservação destes equipamentos tendo-se desenvolvido regras para interpretação dos parâmetros dos óleos com carácter normativo. Considerando o conhecimento relativo a interpretação dos ensaios físico-químicos e DGA ao oleol, e possível desenvolver ferramentas capazes de otimizar essas mesmas interpretações e aplicar esse conhecimento no sentido de prever a sua evolução, assim como o surgimento de possíveis falhas em transformadores, para assim otimizar os processos de manutenção. Neste campo as Redes Neuronais Artificiais (RNAs) têm um papel fundamental

Produção de SCO (Single Cell Oil) para biodiesel a partir da microalga Chlorella protothecoides em diversos bioreactores com troca simbiótica de correntes gasosas

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Desenvolvimento de uma cola biodegradável

Este documento especifica o trabalho realizado no estágio, que decorreu na Colquímica, sediada em Valongo. Este trabalho teve como objetivo colaborar no desenvolvimento de uma cola com características biodegradáveis. O estágio foi orientado pela Engenheira Cristina Frutuoso, no que diz respeito à orientação por parte da Colquímica, e pelo Professor Dr. Gilberto Pinto e Alfredo Crispim, ISEP. O trabalho foi dividido em duas instâncias, sendo a primeira direcionada para a formulação de uma cola com características biodegradáveis e a segunda para a realização do teste de Sturm, um teste de biodegradabilidade capaz de quantificar a quantidade de CO2 produzido pelo processo de biodegradação. Inicialmente foram desenvolvidas e estudadas dez formulações através das variações de resinas e óleo plastificante e estudado o seu comportamento reológico relacionado à variação de viscosidade em função da temperatura. Com base nos resultados obtidos verificou-se que a melhor formulação seria a A8. Estudaram-se as propriedades mecânicas da formulação escolhida e decidiu-se que esta estaria apta a ser usada no fecho de caixas de cartão de produtos ultra congelados assim como no fecho de caixas de cartão de detergentes em pó com peso até 3 Kg. Depois de escolhida a formulação deu-se início ao teste de Sturm, teste meramente orientativo. Durante dezassete dias avaliou-se a quantidade de CO2 produzida durante o processo de biodegradação. Após avaliação dos resultados verificou-se que a taxa de biodegradação para a amostra foi de 0,055 g de CO2. Com a finalidade de confirmar os resultados obtidos no teste de Sturm foi efetuada uma réplica do ensaio, a qual se encontra a decorrer sendo os resultados facultados, posteriormente, à empresa.

Comparative study of the topical effectiveness of the andiroba oil (Carapa guianensis) and DEET 50% as repellent for Aedes sp

DEET (N,N-diethyl-3-methylbenzamide) is nowadays the most effective mosquito repellent available, however, its use can present some topical and systemic side effects. Some botanical compositions, as Andiroba (Carapa guianensis), have been proved repellent properties at low cost and toxicity. An experimental study was driven involving four volunteers submitting their forearms covered with Andiroba oil at 100%, DEET 50%, refined soy oil, Andiroba oil 15% and in the absence of products, directly to healthy females of Aedes sp. The times of first and third bites were checked. The results showed that the median of the first bite without any product was 17.5s and the third bite, 40.0s. In the soy oil, the bites happened in 60.0s and 101.5s, in the presence of Andiroba oil 100%, in 56.0s and 142.5s and in Andiroba oil 15%, in 63.0s and 97.5s. The volunteers using DEET 50% had not received bites after 3600s in most of the experiments (p < 0.001 Wilcoxon). Pure Andiroba oil compared to the soy oil, forearm without product and Andiroba oil 15%, showed discreet superiority (p < 0.001 Wilcoxon). Our conclusion is that this study demonstrated that the pure Andiroba oil presents discreet repellent effect against bite of Aedes sp., being significantly inferior to DEET 50%.

Some ultrastructural superficial changes in house fly (Diptera: Muscidae) and blow fly (Diptera: Calliphoridae) larvae induced by eucalyptol oil

The ultrastructural superficial changes in third instar house fly (Musca domestica) and blow fly (Chrysomya megacephala) induced by eucalyptol oil were observed using scanning electron microscopy. Dipped in 0.902 g/ml eucalyptol for 30 sec, the larvae integument of both species showed significant aberrant appearance of the body surface, particularly swelling integument, bleb formation, partial breach and deformation of spines.

Aracnoidite Adesiva Lombar

Spinal arachnoiditis, an inflammatory process involving all three meningeal layers as well as the nerve roots, is a cause of persistent symptoms in 6% to 16% of postoperative patients. Although spinal surgery is the most common antecedent associated with arachnoiditis, multiple causes have been reported, including infection, intrathecal steroids or anesthetic agents, trauma, subarachnoid hemorrhage and ionic myelographic contrast material--both oil soluble and water soluble. In the past, oil-based intrathecal contrast agents (Pantopaque) were associated with arachnoiditis especially when this material was introduced into the thecal sac and mixed with blood. Arachnoiditis is apparently rarely idiopathic. The pathogenesis of spinal arachnoiditis is similar to the repair process of serous membranes, such as the peritoneum, with a negligible inflammatory cellular exudate and a prominent fibrinous exudate. Chronic adhesive arachnoiditis of the lower spine is a myelographic diagnosis. The myelographic findings of arachnoiditis were divided into two types by Jorgensen et al. In type 1, "the empty thecal sac" appearance, there is homogeneous filling of the thecal sac with either absence of or defects involving nerve root sleeve filling. In type 2 arachnoiditis, there are localized or diffuse filling defects within the contrast column. MRI has demonstrated a sensitivity of 92% and a specificity of 100% in the diagnosis of arachnoiditis. The appearance of arachnoiditis on MRI can be assigned to three main groups. The MRI findings in group I are a conglomeration of adherent roots positioned centrally in the thecal sac. Patients in group II show roots peripherally adherent to the meninges--the so called empty sac. MRI findings in group III are a soft tissue mass within the subarachnoid space. It corresponds to the type 2 categorization defined by Jorgensen et al, where as the MRI imaging types I and II correspond to the myelographic type 1.

Combined effect of the essential oil from Chenopodium ambrosioides and antileishmanial drugs on promastigotes of Leishmania amazonensis

To date, there are no vaccines against Leishmania, and chemotherapy remains the mainstay for the control of leishmaniasis. The drugs of choice used for leishmaniasis therapy are significantly toxic, expensive and with a growing frequency of refractory infections. Because of these limitations, a combination therapy is the better hope. This work demonstrates that the essential oil from Chenopodium ambrosioides shows a synergic activity after incubation in conjunction with pentamidine against promastigotes of Leishmania amazonensis. However, an indifferent effect has been found for combinations of meglumine antimoniate or amphotericin B and the essential oil.

Molluscicidal and Mosquitocidal Activities of the Essential oils of Thymus capitatus Hoff. et Link. and Marrubium vulgare L.

Steam distillation of essential oils of aerial parts of Thymus capitatus and Marrubium vulgare L. collected at North cost of Egypt yielded 0.5% and 0.2%, respectively. Results of Gas chromatography-mass spectrometry analyses of the two samples identified 96.27% and 90.19% of the total oil composition for T. capitatus and M. vulgare, respectively. The two oil samples appeared dominated by the oxygenated constituents (88.22% for T. capitatus and 57.50% for M. vulgare), composed of phenols, mainly carvacrol (32.98%) and thymol (32.82%) in essential oil of T. capitatus, and thymol (34.55%) in essential oil of M. vulgare. It was evaluated the molluscicidal activity of T. capitatus and M. vulgare essential oils on adult and eggs of Biomphalaria alexandrina as well as their mosquitocidal activity on Culex pipiens. The LC50 and LC90 of T. capitatus essential oil against adult snails was 200 and 400 ppm/3hrs, respectively, while for M. vulgare it was 50 and 100 ppm/3hrs, respectively. Moreover, M. vulgare showed LC100 ovicidal activity at 200 ppm/24 hrs while T. capitatus oil showed no ovicidal activity. It was verified mosquitocidal activity, with LC50 and LC90 of 100 and 200 ppm/12hrs respectively for larvae, and 200 and 400 ppm/12hrs respectively for pupae of C. pipiens.

Viability and molecular authentication of Coccidioides spp. isolates from the Instituto de Medicina Tropical de São Paulo culture collection, Brazil

Coccidioidomycosis is an emerging fungal disease in Brazil; adequate maintenance and authentication of Coccidioides isolates are essential for research into genetic diversity of the environmental organisms, as well as for understanding the human disease. Seventeen Coccidioides isolates maintained under mineral oil since 1975 in the Instituto de Medicina Tropical de São Paulo (IMTSP) culture collection, Brazil, were evaluated with respect to their viability, morphological characteristics and genetic features in order to authenticate these fungal cultures. Only five isolates were viable after almost 30 years, showing typical morphological characteristics, and sequencing analysis using Coi-F and Coi-R primers revealed 99% identity with Coccidioides genera. These five isolates were then preserved in liquid nitrogen and sterile water, and remained viable after two years of storage under these conditions, maintaining the same features.

Investigações hidrogeológicas da sondagem CC3 do aquífero termomineral de Chaves: implicações para o modelo conceptual

O presente estudo centra‐se na conceptualização de pormenor do modelo de circulação do aquífero termomineral de Chaves na sua zona de descarga no campo hidromineral e geotérmico de Chaves (Norte de Portugal). Para tal, utilizam‐se as informações resultantes da bibliografia disponível, da construção das captações de água termomineral AC1 e AC2, já existentes, e, principalmente, as informações obtidas a partir dos trabalhos de pesquisa, prospecção e construção da captação CC3, obra desenvolvida no ano de 2014 para reforço de caudal das Caldas de Chaves. Incidindo fundamentalmente na análise de perfis geofísicos, de parâmetros de perfuração, “cuttings” e diagrafias diferidas inerentes à sondagem de pesquisa CC3, e da sua posterior transformação em captação, integrando‐se posteriormente toda a informação daí resultante, o estudo culmina na apresentação de um modelo conceptual de pormenor para a circulação de águas tipo “Chaves” na zona de descarga que permite, com considerável robustez, à luz dos dados conhecidos à presente data, o melhor conhecimento do aquífero para futuros projectos de desenvolvimento dos recursos hidrominerais e geotérmicos de Chaves.

Estudo de Ferramentas FEA Comerciais na Simulação Numérica de Processos de Conformação de Chapas Metálicas. Aplicação à Indústria Automóvel.

Os componentes obtidos através da conformação plástica de chapas têm uma grande importância, tanto na etapa de concepção do produto como na etapa de produção na indústria automóvel. Isto comprova-se pelo facto de, em média, cada automóvel integrar cerca de 500 componentes estampados para construir o chassis e a carroçaria [Alves 2003]. Deste total de componentes, 50 são de grandes dimensões (portas, tejadilho, painéis inferior e laterais, entre outros) e necessitam, em média, de cinco ferramentas para o seu fabrico, sendo o custo estimado para cada ferramenta de 230 000 € [Col 2000, Alves 2003]. Para além da indústria automóvel, a conformação plástica de chapas metálicas é um processo tecnológico presente nas indústrias relativas à aeroespacial, petrolífera, decoração, alimentar, entre outras. Do ponto de vista do enquadramento económico, cerca de 20% do custo total de um automóvel novo é devido à incorporação de componentes metálicos estampados. [Alves 2003]. A pressão do “Mercado Global” faz com que os custos relativos à matéria-prima, energia e mão-de-obra sejam uma constante em termos de redução do seu impacte no orçamento das empresas fornecedoras destes produtos. É neste contexto que surge a necessidade da realização deste estudo de Benchmark de Softwares, tornando-se bastante importante, quer ao nível da competitividade industrial, quer ao nível da inovação para novos produtos. A análise por elementos finitos desempenha um papel primordial no tryout virtual e otimização das ferramentas e processos de conformação plástica. Os objetivos principais deste estudo de simulação numérica são a identificação e comparação dos resultados obtidos pelo AUTOFORM e pelo PAMSTAMP, para cada uma das variáveis identificadas como as mais influentes na robustez dos processos de estampagem de chapa metálica. Estas variáveis identificadas são: consumo de material (Draw-in) após conformação; forças de conformação; valores de variação de espessura e dos valores de extensão e resultados de Springback. Os resultados obtidos são comparados com os resultados experimentais e, desta forma, avalia-se a capacidade inovadora e a eficácia de cada um dos softwares, obtendo-se assim, uma orientação mais real para o software mais indicado aos objetivos impostos pela indústria automóvel. Para este efeito, a indústria automóvel, como maior impulsionador e motor da investigação na área da simulação numérica aplicada aos processos de estampagem, tem aderido em peso ao Benchmarking. Um exemplo disto, é o que acontece nas conferências Numisheet. O Benchmark #2 da conferência Numisheet 2008 é analisado pormenorizadamente e os resultados numéricos e experimentais são comparados e apresentados. Dois materiais distintos (aço HC260LAD e liga de alumínio AC170), assim como três modelos com geometrias diferentes (com e sem freios) são apresentados neste relatório. Com vista à redução dos ciclos tentativa-erro, tem-se adotado ciclos virtuais ou numéricos e tem-se incrementado a interatividade entre as fases de concepção e projeto, num conceito muito próprio, mas cada vez mais abrangente, denominado “produção virtual”. É nesta filosofia que se insere a simulação numérica dos processos de conformação de chapa.

ULTRASTRUCTURAL CHANGES IN Schistosoma mansoni MALE WORMS AFTER in vitro INCUBATION WITH THE ESSENTIAL OIL OF Mentha x villosa Huds

Introduction: The essential oil Mentha x villosa (MVEO) has a wide range of actions, including antibacterial, antifungal, antiprotozoal and schistosomicidal actions. The present study aimed to investigate the ultrastructural changes of MVEO on the tegument of adult Schistosoma mansoni. Materials and Methods: Different concentrations of MVEO were tested on S. mansoni adult worms in vitro. Ultrastructural changes on the tegument of these adult worms were evaluated using scanning electron microscopy (SEM) and transmission electron microscopy (TEM). Results: The MVEO caused the death of all worms at 500 μg mL-1 after 24 h. After 24h of 500 μg mL-1 MVEO treatment, bubble lesions were observed over the entire body of worms and they presented loss of tubercles in some regions of the ventral portion. In the evaluation by TEM, S. mansoni adult worms treated with MVEO, 500 μg mL-1, presented changes in the tegument and vacuoles in the syncytial matrix region. Glycogen granules close to the muscle fibers were visible. Conclusion: The ability of MVEO to cause extensive ultrastructural damage to S. mansoni adult worms correlates with its schistosomicidal effects and confirms earlier findings with S. mansoni.

IgG4-Related Hashimoto's Thyroiditis - A New Variant of a Well Known Disease

Hashimoto's thyroiditis (HT) has been characterized for many years as a well-defined clinicopathologic entity, but is now considered a heterogeneous disease. IgG4-related HT is a new subtype characterized by thyroid inflammation rich in IgG4-positive plasma cells and marked fibrosis. It may be part of the systemic IgG4-related disease. We report a case of a 56-year-old Portuguese man who presented with a one-month history of progressive neck swelling and dysphagia. Laboratory testing revealed increased inflammatory parameters, subclinical hypothyroidism and very high levels of thyroid autoantibodies. Cervical ultrasound (US) demonstrated an enlarged and heterogeneous thyroid gland and two hypoechoic nodules. US-guided fine needle aspiration cytology was consistent with lymphocytic thyroiditis. The patient was submitted to total thyroidectomy and microscopic examination identified typical findings of HT, marked fibrosis limited within the thyroid capsule and lymphoplasmacytic infiltration, with >50 IgG4-positive plasma cells per high-power field and an IgG4/IgG ratio of >40%. After surgery, serum IgG4 concentration was high-normal. Symptoms relief and reduction in laboratory inflammatory parameters were noticed. Thyroid function is controlled with levothyroxine. To our knowledge we report the first case of IgG4-related HT in a non-Asian patient. We also perform a review of the literature regarding IgG4-related disease and IgG4-related HT. Our case highlights this new variant of the well known HT, and helps physicians in recognizing its main clinical features, allowing for proper diagnosis and treatment.