Lógica proposicional: Alfabeto e considerações iniciais

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.

Simulação do comportamento espectral de redes de período longo em fibra óptica

Esta tese é dedicada às redes de período longo, LPG’s, em fibra óptica, escritas por exposição a radiação ultravioleta (UV) ou por exposição a descargas eléctricas, e às suas aplicações em comunicações ópticas e em sistemas sensores. Numa primeira fase estudaram-se os aspectos teóricos fundamentais para a compreensão das LPG, nomeadamente os dois modelos matemáticos propostos na literatura, para a transmissão espectral de uma LPG, o modelo de duas camadas e o modelo de três camadas. Em seguida, estudou-se o deslocamento do comprimento de onda ressonante perante mudanças de parâmetros externos. Aqui, verificou-se que para variações da temperatura no exterior da LPG, o deslocamento do comprimento de onda ressonante é linear. Por outro lado, para variações de índice de refracção exterior, verificou-se que à medida que o índice exterior se aproxima dos valores do índice de refracção da bainha, o comprimento de onda ressonante tende para valores mais baixos. Por último, realizou-se um estudo da transmissão espectral de duas aplicações que envolvem LPG’s, nomeadamente dois tipos de interferómetros e filtros ópticos. Numa segunda fase, foi desenvolvida uma ferramenta de simulação destes modelos, que permitia não só a obtenção dos espectros de transmissão das LPG’s mas também a obtenção das curvas de phase matching em função do período da rede e do comprimento de onda ressonante. A aplicação permitia também a obtenção das curvas do deslocamento do comprimento de onda ressonante, perante variações do índice de refracção exterior ou da temperatura. Para além disso, essa ferramenta realiza a simulação dos espectros de transmissão de filtros ópticos e de interferómetros de Michelson e de Mach-Zehnder construídos com base em LPG’s. A última fase do trabalho, a componente laboratorial, foi realizada na Unidade de Optoelectrónica e Sistemas Electrónicos do INESC Porto, onde foram construídos e testados os dispositivos estudados anteriormente, com o intuito de validar a aplicação desenvolvida. A ferramenta de simulação demonstrou ser capaz de simular de forma adequada os diversos aspectos do comportamento das LPG’s que foram estudados. A comparação dos resultados obtidos permitiu concluir que o modelo mais correcto para o estudo das LPG’s é o modelo de três camadas, o que está de acordo com o esperado.

Interoperabilidade e otimização da gestão de redes com a framework NSDL

As redes de computadores cresceram nas últimas décadas em diversidade e complexidade,sempre procurando manter um nível elevado de qualidade na comunicação. Atualmente existe uma variedade de ferramentas para a gest~ao de redes que cobrem de forma completa ou parcial as diferentes etapas do ciclo de vida dessas redes. Dadas a dimensão e heterogeneidade dessas redes, o seu desenvolvimento e operação são tarefas que envolvem um número crescente de ferramentas, o que induz a uma maior complexidade. Além do mais, a maior parte das ferramentas existentes s~ao independentes e incompatíveis, tornando a tarefa dos arquitetos e dos gestores de redes mais difícil. Dessa forma, é identificada a necessidade de uma abstraãoo ou abordagem genérica que permita a interoperabilidade entre diferentes ferramentas/ambientes de rede de forma a facilitar e otimizar a sua gestão. O trabalho apresentado nesta tese introduz a proposta e a implementação de uma framework para a integração de diferentes ferramentas heterogéneas de rede dando suporte Da criação de um ambiente de gestão que cubra o ciclo de vida de uma rede de comunica ção. A interoperabilidade proporcionada pela framework é implementada através da proposta de uma nova linguagem para a descrição de redes e de todos os seus componentes, incluindo a informação da topologia e dos contextos onde a rede pode existir. As demais contribuições desta tese estão relacionadas com (i) a implementação de algumas ferramentas de gestão para dar suporte há construção de cenários de rede utilizando a linguagem proposta, e (ii) a modelação de vários cenários de rede com tecnologias diferentes, incluindo aspetos de Qualidade de Serviço, para a validação da utilização da framework proposta para proporcionar a interoperabilidade entre diferentes ferramentas de gestão de redes. A linguagem proposta para a descrição de redes preocupou-se com a descrição dos cenários de rede dando suporte das diferentes fases da existência dessa rede, desde o seu projeto até a sua operação, manutenção e atualização. Uma vantagem desta abordagem de permitir a coexistência de diversas informações de utilização da rede numa única descrição, mantendo cada uma independente das restantes, o que promove a compatibilidade e a reutilização das informações de forma direta entre as ferramentas, ultrapassando assim a principal limitação detetada nas linguagens e ferramentas existentes e reforçando as possibilidades de interoperabilidade.

Caracterização, simulação (à escala) e modelação do escoamento em canais artificiais: aplicação a caso de estudo

Os escoamentos no interior de zonas urbanas, apresentam grande heterogeneidade, pelo que a sua caracterização, requer uma formulação que incorpore explicitamente essa variabilidade espacial. A caracterização, simulação (à escala) e modelação do escoamento em canais artificiais e a aplicação a um caso de estudo, no Laboratório de Hidráulica da UMa, representa o cerne desta dissertação. Os objetivos principais desta dissertação são: a caracterização e desenvolvimento de ferramentas de simulação do comportamento do escoamento em canais artificiais, no caso de uma variação súbita dos caudais afluentes, mecanismos de prevenção de cheia; o desenvolvimento de um modelo de simulação hidrodinâmico, considerando os escoamentos variáveis em superfície livre no caso de situações de cheia, na simulação entre as condições variáveis das afluências, das condições hidromorfológicas do canal e da instalação e operação dos sistemas e regulação dos escoamentos; e ainda a análise da viabilidade da simulação (modelo) na gestão e prevenção de cheias em canais artificiais. Numa primeira instância, procede-se à recolha de toda a informação bibliográfica disponível. Com recurso aos modelos digitais do terreno e ao programa ArcGis, é efetuada toda uma exaustiva caracterização da bacia hidrográfica, relativa ao caso de estudo (canal artificial), a partir da qual foi possível obter os dados inerentes às características geométricas, características de relevo e características de drenagem. Segue-se a análise da precipitação com recurso a folhas de cálculo e dados fornecidos pelas instituições pertinentes, de forma a obter valores de precipitação média diária e anual para aplicação de fórmulas, tanto para calcular valores de tempo de concentração, bem como caudais. O próximo passo é selecionar os troços relevantes do canal em estudo e com recurso ao equipamento disponível no Laboratório de Hidráulica da UMa, à folha de cálculo programada e ao programa HEC-RAS procede-se à simulação/modelação/análise desses troços, comparando o resultado/comportamento simulado, com o expectável e entre os vários métodos. Por fim, são expostas as conclusões, bem como algumas considerações finais e uma listagem de objetivos a manter ou alcançar nos próximos anos, onde se incluem, ações prioritárias e recomendações visando, não só melhorar o processo de caracterização do escoamento em canais artificiais, bem como simplificar a prevenção e gestão de cheias.

Sistema de monitorização de defeitos na rede de energia elétrica de média tensão

Nesta dissertação de Mestrado em Engenharia Eletrotécnica – Telecomunicações desenvolveu-se um sistema de monitorização de defeitos de uma rede de energia elétrica de média tensão, para melhorar a qualidade de serviço do fornecimento de energia elétrica. O sistema deteta e indica a localização da respetiva falha, que impede o funcionamento de uma parte da rede, também interliga todos os sensores instalados na rede a um ponto central que recebe toda a informação proveniente dos sensores, e ajuda na tomada de decisão. Neste trabalho de dissertação fez-se o estudo e descrição das redes de energia elétrica, realçando a topologia, o modo de operação e parâmetros de qualidade. Assinalou-se também os principais defeitos que podem ocorrer na rede de média tensão. Apresentou-se, ao nível comercial, soluções para mitigar o problema alvo de estudo. Explorou-se, num ambiente de simulação, soluções de deteção dos defeitos da rede, tendo sido desenvolvidos três sistemas distintos: sistema A, sistema B e sistema C. Sistema A que monitoriza o valor nominal da corrente elétrica em cada troço da rede elétrica, sistema B com a monitorização do valor da corrente elétrica em cada posto de transformação e sistema C que compara as correntes no inicio e final de cada troço da rede elétrica, verificando se há alguma discrepância entre ambas. Após a análise e simulação das soluções descreve-se o procedimento realizado para criar um protótipo de um sistema de monitorização. Começou-se por testar, individualmente, os sensores de corrente, circuito de condicionamento, microcontroladores e sistema Scada, usado para a visualização dos dados. Posteriormente, elaborou-se manuais de utilização de forma a auxiliar o sistema em trabalhos futuros que venham dar continuidade a este trabalho. Para validar a análise teórica e confirmar os resultados da simulação, testou-se experimentalmente o sistema de deteção C. Confirmou-se que o sistema de monitorização de defeitos é capaz de detetar e localizar a avaria presente na rede de energia elétrica.

O paradigma tecnológico e a revolução informacional: fundamentos da sociedade da informação

REGIS, Josiana Florencio Vieira; CAMPOS, Ana Celia Cavalcanti Fernandes. O paradigma tecnologico e a revoluçao informacional: fundamentos da sociedade da informaçao. In: CONGRESSO INTERNACIONAL EM SISTEMAS DE INFORMAÇAO E GESTAO DA TECNOLOGIA, 6., 2009. Sao Paulo. Anais eletronicos... Sao Paulo: FEA/USP, 2009. Trabalho oral.

Previsão do índice bovespa por meio de redes neurais artificiais: uma análise comparada aos métodos tradicionais de séries de tempo

Forecast is the basis for making strategic, tactical and operational business decisions. In financial economics, several techniques have been used to predict the behavior of assets over the past decades.Thus, there are several methods to assist in the task of time series forecasting, however, conventional modeling techniques such as statistical models and those based on theoretical mathematical models have produced unsatisfactory predictions, increasing the number of studies in more advanced methods of prediction. Among these, the Artificial Neural Networks (ANN) are a relatively new and promising method for predicting business that shows a technique that has caused much interest in the financial environment and has been used successfully in a wide variety of financial modeling systems applications, in many cases proving its superiority over the statistical models ARIMA-GARCH. In this context, this study aimed to examine whether the ANNs are a more appropriate method for predicting the behavior of Indices in Capital Markets than the traditional methods of time series analysis. For this purpose we developed an quantitative study, from financial economic indices, and developed two models of RNA-type feedfoward supervised learning, whose structures consisted of 20 data in the input layer, 90 neurons in one hidden layer and one given as the output layer (Ibovespa). These models used backpropagation, an input activation function based on the tangent sigmoid and a linear output function. Since the aim of analyzing the adherence of the Method of Artificial Neural Networks to carry out predictions of the Ibovespa, we chose to perform this analysis by comparing results between this and Time Series Predictive Model GARCH, developing a GARCH model (1.1).Once applied both methods (ANN and GARCH) we conducted the results' analysis by comparing the results of the forecast with the historical data and by studying the forecast errors by the MSE, RMSE, MAE, Standard Deviation, the Theil's U and forecasting encompassing tests. It was found that the models developed by means of ANNs had lower MSE, RMSE and MAE than the GARCH (1,1) model and Theil U test indicated that the three models have smaller errors than those of a naïve forecast. Although the ANN based on returns have lower precision indicator values than those of ANN based on prices, the forecast encompassing test rejected the hypothesis that this model is better than that, indicating that the ANN models have a similar level of accuracy . It was concluded that for the data series studied the ANN models show a more appropriate Ibovespa forecasting than the traditional models of time series, represented by the GARCH model

Tecendo vivências e sentidos do câncer infantil : família, doença e redes de apoio social em Natal-RN

This paper discusses the experiences related to the treatment of children´s cancer which had children, their mothers and families as their main characters. They were mainly originated from areas in the countryside and urban poor areas in the State of Rio Grande do Norte. The non-governmental organization Grupo de Apoio à Criança com Câncer (GACC) was the privileged ethnographic location. In this setting, the mother, which was called acompanhante (companion), and the children, defined as pacientes (patients), were often sheltered in reason of therapeutic practices and the treatment undertaken by children in a nearby hospital. This study aims to focus on the therapeutic itinerary, beyond the children´s suffering, dealing with the family as a whole, since the moral values from these popular families imply the complete involvement of the family in relation to the illness and its treatment. Therefore, it is experienced as a family problem. We also intend to understand the construction of meanings to the illness, dealing with the ideological continuity in the relationships between the families and the GACC. These meanings were built in the intersection of these two spheres, which refer particularly to medical, religious and emotional explanations. Ethnographic methods were applied in this research at the entity and another social contexts, such as the family households. I also tried to retrieve the process of treatment outside the GACC, visiting the family context, when doing dense interviews or just having conversations with informants. It was found that the GACC, as a non-governmental organization, generates a negotiation of identities, which develops, then, through the family as a whole, but also through the child and especially the mother, affecting, in some way, their internal organization. Furthermore, the meanings of the experience of illness appeared to be shaped by the family sphere as well as by the logic of public health structures

Adição de superplastificante e anti-segregante à base de CMC em pastas de cimento para Poços de Petróleo

Oil well cementing materials consist of slurries of Special class Portland cement dispersed in water. Admixtures can be used to provide the necessary fluidity, so the material can be efficiently pumped down as well as penetrate porous rocks with controlled filter loss. Construction admixtures can be used to modify the properties of oil well cements provided they can withstand and hold their properties at the higher than ambient temperatures usually encountered in oil fields. In civil construction, superplasticizer play the role of dispersants that reduce the facto r of water cement improve mechanical properties and fluidity of the cement, whereas anti-segregation agents improve the workability of the slurry. In the present study, oil well cement slurries were produced adding both a dispersant and an anti-segregation agent conventionally used in Portland CPII-Z-32 RS cement aiming at materials for primary cementing and squeeze operations. Three basic aspects were evaluated: fluidity, filter loss and the synergetic effect of the admixtures at two temperatures, i.e., 27°C and 56°C, following API RP 10B practical recommendations. The slurries were prepared using admixture concentrations varying from 2.60 Kgf/m3 (0.02 gallft3) to 5.82 Kgf/m3 (0.045 galJft3) BWOC. The density of the slurries was set to 1.89 g/cm3 (15.8 Ib/gal). 0.30 to 0.60% BWOC of a CMC-based anti-segregation agent was added to the cement to control the filter loss. The results showed that the addition of anti-segregation at concentrations above 0.55% by weight of cement resulted in the increased viscosity of the folders in temperatures evaluated. The increasing the temperature of the tests led to a reduction in the performance of anti-segregation. At concentrations of 5.20 kgf/m3 (0,040 gallft3) and 5.82 Kgf/m3 (0,045 gal/ft 3) observed a better performance of the properties evaluated in the proposed system. At low temperature was observed instability in the readings of rheology for all concentrations of anti-segregation. Contents that increasing the concentration of anti¬-segregation is limited concentrations greater than 0.55 % BWOC of the CMC in temperature analyzed. The use of the system with CMC promoted a good performance against the properties evaluated. The principal function of anti¬-segregation was optimized with increasing concentration of superplasticizer, at temperatures above the 2rC. The study of the behaviour of systemic additives, resulting in slurries of cement, which can be optimized face studies of other intrinsic properties in oil fields

Influência da vermiculita expandida na resistência à compressão e reologia de pastas cimentantes de poços de petróleo

Several problems related to the loss of hydraulic seal in oilwells, causing gas migration and/or contamination of the production zone by water, have been reported. The loss of the hydraulic seal is a consequence of cracks which can be occasioned either by the invasion of gas during the wait on cement or by the expansion of the casing causing the fracture of the cement sheath. In case of the pressure of the formation is higher than the pressure in the annulus, gas can migrate into the slurry and form microannulus, which are channels where gas migrates after the cement is set. Cracks can be also occasioned by the fracture of the cement sheath when it does not withstand the thermal and dynamic loads. In reservoirs where the oil is heavy, steam water injection operation is required in order to get the oil flowing. This operation increases the temperature of the casing, and then it expands and causes the fracture of the cement sheath in the annulus. When the failures on the cement are detected, remedial cementing is required, which raise costs caused by the interventions. Once the use of cement in the construction civil sector is older than its use in the petroleum sector, it is common to bring technologies and solutions from the civil construction and apply them on the petroleum area. In this context, vermiculite, a mineral-clay widely encountered in Brazil, has been used, on its exfoliated form, in the civil construction, especially on the manufacture of lights and fireproof concretes with excellent thermal and acoustical properties. It has already been reported in scientific journals, studies of the addition of exfoliated vermiculite in Portland cements revealing good properties related to oilwell cementing operations. Thus, this study aimed to study the rheological behavior, thickening time, stability and compressive strength of the slurries made of Portland cement and exfoliated vermiculite in 5 different compositions, at room temperature and heated. The results showed that the compressive strength decreased with the addition of exfoliated vermiculite, however the values are still allowed for oiwell cementing operations. The thickening time of the slurry with no exfoliated vermiculite was 120 min and the thickening time of the slurry with 12 % of exfoliated vermiculite was 98 min. The stability and the rheological behavior of the slurries revealed that the exfoliated vermiculite absorbed water and therefore increased the viscosity of the slurries, even though increasing the factor cement-water. The stability experiment carried out at 133 ºF showed that, there was neither sedimentation nor reduction of the volume of the cement for the slurry with 12 % of exfoliated vermiculite. Thus, the addition of exfoliated vermiculite accelerates the set time of the cement and gives it a small shrinkage during the wait on cement, which are important to prevent gas migration

Avaliação da influência do nacl em pastas de cimento portland para cimentação de poços de petróleo em zonas evaporíticas

One of the major current challenges for oilwell companies is the extraction of oil from evaporitic zones, also known as pre-salt basins. Deep reservoirs are found under thick salt layers formed from the evaporation of sea water. Salt layers seal the flow of oil from underneath rock formations, which store hydrocarbons and increase the probability of success in oil and gas exploration. Oilwells are cemented using Portland-based slurries to promote mechanical stability and zonal isolation. For pre-salt oilwells, NaCl must be added to saturate the cement slurries, however, the presence of salt in the composition of slurries affects their overall behavior. Therefore, the objective of the present study was to evaluate the effect of the addition of 5 to 25% NaCl on selected properties of Portland-based slurries. A series of tests were carried out to assess the rheological behavior, thickening time, free water and ultrassonic compressive strength. In addition, the slurries were also characterized by thermal analysis, X ray diffraction and scanning electron microscopy. The results showed that the addition of NaCl affected the thickening time of the slurries. NaCl contents up to 10% shortened the thickening time of the slurries. On the other hand, concentrations in excess of 20% not only extended the thickening time, but also reduced the strength of hardened slurries. The addition of NaCl resulted in the formation of a different crystalline phase called Friedel´s salt, where free chlorine is bonded to tricalcium aluminate