Database repairs with answer set programming

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

Auditorias energéticas em ambiente industrial

Gestão de Energia e Sustentabilidade são os pilares em que assenta esta dissertação, realizada no âmbito da Energia Elétrica em Ambiente Industrial. Neste sentido, deve entender-se “Gestão de Energia” como o planeamento de operações nas unidades de produção e de consumo. Tem como objetivos a conservação dos recursos, proteção climática e redução de custos, para que seja possível o acesso permanente à energia de que necessitamos. “Sustentabilidade”, por definição, é uma caraterística ou condição de um processo ou de um sistema que permite a sua permanência, até um determinado nível, por um determinado prazo. A Indústria Têxtil, da região do Vale do Ave, por ser extensa e muito heterogénea, quer na qualidade, quer na dimensão e nos recursos que utiliza, apresentou-se como uma oportunidade para aplicar os conhecimentos adquiridos, nas diversas disciplinas do Mestrado em Engenharia Electrotécnica - Área de Sistemas Eléctricos de Energia e como meio condutor à tentativa de optimização e racionalização do consumo de Energia Elétrica no Sector. O modelo encontrado para dar uma resposta satisfatória ao inicialmente proposto foi a Auditoria Energética. Neste sentido, foram realizadas visitas às instalações industriais, para o levantamento e recolha de informação, que posteriormente viria a ser analisada e, com base na mesma, tentou apresentar-se um conjunto de soluções que visassem a eficiência Energética do sector. Com o decorrer das visitas, surgiu a necessidade de criar um modelo, que servisse de guia da auditoria. Algo que seria um bloco de notas, mas específico, de forma a não perder a informação recolhida. Então foi desenvolvida uma aplicação para IPAD/IPHONE, o que permite também a recolha e armazenamento de fotografias, que aqui tem um papel fundamental. Salienta-se que as expectativas foram ao encontro do esperado, pois o que se encontrou foi um número significativo de empresas a precisar deste contributo. Atuando no “combate” ao consumo desnecessário e ao desperdício, é estar a contribuir ativa e positivamente, no desenvolvimento próspero da temática de Sustentabilidade Energética.

Desmonte de Maciços Rochosos: optimização da perfuração

Este trabalho pretende avaliar e melhorar o modo de execução da aplicação da técnica de perfuração, não comprometendo a jusante, no ciclo de operações, a qualidade do desmonte, visando assim, uma optimização técnico-económica. Este manuscrito irá centrar-se na optimização da etapa da perfuração, visando assim a optimização do ciclo total da perfuração. As tarefas realizadas numa pedreira constituem um ciclo de operações. Uma das operações envolvidas no desmonte de maciços rochosos é a perfuração. A forma como esta é executada é determinante para o sucesso do desmonte. O correcto dimensionamento dos acessórios de perfuração, afiação de bits, manutenção preventiva dos equipamentos de perfuração e a constante formação dos operadores fazem parte de um conjunto de acções que irão determinar o sucesso da operação de perfuração, tendo sempre em vista, uma optimização técnico-económica, ou seja, produzir mais a um custo mais baixo. O estudo dos parâmetros do maciço rochoso aliado a uma perfuração cuidadosa e alinhada é evidenciado com o intuito de uma abordagem de geoengenharia integrada dos maciços rochosos. O estudo foi realizado na pedreira da APS, S.A. (Pedreira de Monte Chãos), tendo como análise os dados desde o início do projecto até à data. Para fundamentar este estudo, aborda-se os parâmetros geológico-geotécnicos e geomecânicos do maciço remanescente, verificando assim as ferramentas de corte mais adequadas ao caso e averiguar a influência da afiação de bits, quer seja manual ou semiautomática, e de que forma a mesma irá influenciar nos rendimentos e vidas úteis obtidas, tendo como objectivo, melhorar o custo por metro de furação realizado.

Coordenação e fiscalização de obras de reabilitação urbana - acompanhamento de operações de reabilitação no Morro da Sé

O presente relatório descreve o trabalho desenvolvido durante os 6 meses de estágio curricular no âmbito do mestrado em construções. O estágio decorreu na Porto Vivo, SRU, uma empresa pública responsável pela dinamização social e económica do Centro Histórico do Porto – Património Mundial. Ao longo do estágio foram realizadas tarefas relacionadas com o tema Coordenação e Fiscalização de Obras, integrando a equipa do Núcleo de Execução de Obras (NEO), acompanhando as obras a decorrer no Centro Histórico do Porto, como por exemplo as Operações de Reabilitação e Realojamento no Morro da Sé. Procedeu-se também à realização de várias vistorias (segurança, salubridade e estética, determinação do nível de conservação e vistorias para efeitos de receção provisória de edifícios), embargo de obras e também o estudo do estado de conservação do edificado nas Áreas de Reabilitação Urbana (ARU) em Santos Pousada e Lapa. Desta forma, tornou-se possível reunir uma diversa quantidade de informação para a realização deste relatório, abordando assuntos importantes tais como as adversidades e anomalias observadas nas visitas às Operações de Reabilitação e Realojamento no Morro da Sé, como também a sugestão de um material estrutural alternativo, o Light Steel Framing.

Government preference, environmental taxes and privatization

We analyse the relationship between the privatization of a public firm and government preferences for environmental tax revenue. The model that we consider is more general than the one consider in Wang and Wang (2009), in the sense that we put a larger weight in the environment tax revenue than on the other terms of the government's objective function. The model has two stages. In the first stage, the government sets the environmental tax. Then, the firms engage in a Cournot competition, choosing output and pollution abatement levels.

Privatization and social welfare in an international mixed Stackelberg duopoly

Competition between public and private firms exists in a range of industries like telecommunications, electricity, natural gas, airlines industries, as weel as services including hospitals, banking and education. Some authors studied mixed oligopolies under Cournot competition (firms move simultaneously) and some others considered Stackelberg models (firms move sequentially). Tomaru [1] analyzed, in a Cournot model, how decision-making upon cost-reducing R&D investment by a domestic public firm is affected by privatization when competing in the domestic market with a foreign firm. He shows that privatization of the domestic public firm lowers productive efficiency and deteriorates domestic social welfare. In this paper, we examine the same question but in a Stackelberg formulation instead of Cournot. The model is a three-stage game. In the first stage, the domestic firm chooses the amount of cost-reducing R&D investment. Then, the firms compete à la Stackelberg. Two cases are considered: (i) The domestic firm is the leader; (ii) The foreign firm is the leader. We show that the results obtained in [1] for Cournot competition are robust in the sence that they are also true when firms move sequentially.

An Enhanced WLAN Security System With FPGA Implementation for Multimedia Applications

Maintaining a high level of data security with a low impact on system performance is more challenging in wireless multimedia applications. Protocols that are used for wireless local area network (WLAN) security are known to significantly degrade performance. In this paper, we propose an enhanced security system for a WLAN. Our new design aims to decrease the processing delay and increase both the speed and throughput of the system, thereby making it more efficient for multimedia applications. Our design is based on the idea of offloading computationally intensive encryption and authentication services to the end systems’ CPUs. The security operations are performed by the hosts’ central processor (which is usually a powerful processor) before delivering the data to a wireless card (which usually has a low-performance processor). By adopting this design, we show that both the delay and the jitter are significantly reduced. At the access point, we improve the performance of network processing hardware for real-time cryptographic processing by using a specialized processor implemented with field-programmable gate array technology. Furthermore, we use enhanced techniques to implement the Counter (CTR) Mode with Cipher Block Chaining Message Authentication Code Protocol (CCMP) and the CTR protocol. Our experiments show that it requires timing in the range of 20–40 μs to perform data encryption and authentication on different end-host CPUs (e.g., Intel Core i5, i7, and AMD 6-Core) as compared with 10–50 ms when performed using the wireless card. Furthermore, when compared with the standard WiFi protected access II (WPA2), results show that our proposed security system improved the speed to up to 3.7 times.

Distributed Forest Fire Monitoring Using Wireless Sensor Networks

Disaster management is one of the most relevant application fields of wireless sensor networks. In this application, the role of the sensor network usually consists of obtaining a representation or a model of a physical phenomenon spreading through the affected area. In this work we focus on forest firefighting operations, proposing three fully distributed ways for approximating the actual shape of the fire. In the simplest approach, a circular burnt area is assumed around each node that has detected the fire and the union of these circles gives the overall fire’s shape. However, as this approach makes an intensive use of the wireless sensor network resources, we have proposed to incorporate two in-network aggregation techniques, which do not require considering the complete set of fire detections. The first technique models the fire by means of a complex shape composed of multiple convex hulls representing different burning areas, while the second technique uses a set of arbitrary polygons. Performance evaluation of realistic fire models on computer simulations reveals that the method based on arbitrary polygons obtains an improvement of 20% in terms of accuracy of the fire shape approximation, reducing the overhead in-network resources to 10% in the best case.

Timing Analysis of Fixed Priority SelfSuspending Sporadic Tasks

27th Euromicro Conference on Real-Time Systems (ECRTS 2015), Lund, Sweden.

An Execution Model for Fine-Grained Parallelism in Ada

20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.

Mutilations Due to Medical Disorders in Children

Soft-tissue and bone necrosis, although rare in childhood, occasionally occur in the course of infectious diseases, either viral or bacterial, and seem to be the result of hypoperfusion on a background of disseminated intravascular coagulation. Treatment consists in correction of septic shock and control of necrosis. Necrosis, once started, shows extraordinarily rapid evolution, leading to soft-tissue and bone destruction and resulting in anatomic, functional, psychological, and social handicaps. Ten mutilated children were treated from January 1986 to January 1999 in Hospital de Dona Estefaˆ nia, Lisbon, Portugal. One was recovering from hemolytic-uremic syndrome with a severe combined immunodeficiency, another malnourished, anemic child had malaria, and three had chicken pox (in one case complicated by meningococcal septicemia). There were three cases of meningococcal and two of pyocyanic septicemia (one in a burned child and one in a patient with infectious mononucleosis). The lower limbs (knee,leg, foot) were involved in five cases, the face (ear, nose, lip) in four, the perineum in three, the pelvis (inguinal region, iliac crest) in two, the axilla in one, and the upper limb (radius, hand) in two. Primary prevention is based on early recognition of risk factors and timely correction. Secondary prevention consists of immediate etiologic and thrombolytic treatment to restrict the area of necrosis. Tertiary prevention relies on adequate rehabilitation with physiotherapy and secondary operations to obtain the best possible functional and esthetic result.

ROAZ and ROAZ II Autonomous Surface Vehicle Design and Implementation

International Lifesaving Congress 2007, La Coruna, Spain, December, 2007

ROAZ Autonomous Surface Vehicle Design and Implementation

The design of an Autonomous Surface Vehicle for operation in river and estuarine scenarios is presented. Multiple operations with autonomous underwater vehicles and support to AUV missions are one of the main design goals in the ROAZ system. The mechanical design issues are discussed. Hardware, software and implementation status are described along with the control and navigation system architecture. Some preliminary test results concerning a custom developed thruster are presented along with hydrodynamic drag calculations by the use of computer fluid dynamic methods.

A New ROV Design: Issues on Low Drag and Mechanical Symmetry

This paper reports the design of a new remotely operated underwater vehicle (ROV), which has been developed at the Underwater Systems and Technology Laboratory (USTL) - University of Porto. This design is contextualized on the KOS project (Kits for underwater operations). The main issues addressed here concern directional drag minimization, symmetry, optimized thruster positioning, stability and layout of ROV components. This design is aimed at optimizing ROV performance for a set of different operational scenarios. This is achieved through modular configurations which are optimized for each different scenario.

Seguro de crédito

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação do Mestre Armindo Licínio da Silva Macedo