Deteção e previsão de falhas em equipamentos de produção industrial

As empresas nacionais deparam-se com a necessidade de responder ao mercado com uma grande variedade de produtos, pequenas séries e prazos de entrega reduzidos. A competitividade das empresas num mercado global depende assim da sua eficiência, da sua flexibilidade, da qualidade dos seus produtos e de custos reduzidos. Para se atingirem estes objetivos é necessário desenvolverem-se estratégias e planos de ação que envolvem os equipamentos produtivos, incluindo: a criação de novos equipamentos complexos e mais fiáveis, alteração dos equipamentos existentes modernizando-os de forma a responderem às necessidades atuais e a aumentar a sua disponibilidade e produtividade; e implementação de políticas de manutenção mais assertiva e focada no objetivo de “zero avarias”, como é o caso da manutenção preditiva. Neste contexto, o objetivo principal deste trabalho consiste na previsão do instante temporal ótimo da manutenção de um equipamento industrial – um refinador da fábrica de Mangualde da empresa Sonae Industria, que se encontra em funcionamento contínuo 24 horas por dia, 365 dias por ano. Para o efeito são utilizadas medidas de sensores que monitorizam continuamente o estado do refinador. A principal operação de manutenção deste equipamento é a substituição de dois discos metálicos do seu principal componente – o desfibrador. Consequentemente, o sensor do refinador analisado com maior detalhe é o sensor que mede a distância entre os dois discos do desfibrador. Os modelos ARIMA consistem numa abordagem estatística avançada para previsão de séries temporais. Baseados na descrição da autocorrelação dos dados, estes modelos descrevem uma série temporal como função dos seus valores passados. Neste trabalho, a metodologia ARIMA é utilizada para determinar um modelo que efetua uma previsão dos valores futuros do sensor que mede a distância entre os dois discos do desfibrador, determinando-se assim o momento ótimo da sua substituição e evitando paragens forçadas de produção por ocorrência de uma falha por desgaste dos discos. Os resultados obtidos neste trabalho constituem uma contribuição científica importante para a área da manutenção preditiva e deteção de falhas em equipamentos industriais.

Scalable and Efficient Configuration of TimeDivision Multiplexed Resources

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach.

Cost allocation model for distribution networks considering high penetration of distributed energy resources

The high penetration of distributed energy resources (DER) in distribution networks and the competitive environment of electricity markets impose the use of new approaches in several domains. The network cost allocation, traditionally used in transmission networks, should be adapted and used in the distribution networks considering the specifications of the connected resources. The main goal is to develop a fairer methodology trying to distribute the distribution network use costs to all players which are using the network in each period. In this paper, a model considering different type of costs (fixed, losses, and congestion costs) is proposed comprising the use of a large set of DER, namely distributed generation (DG), demand response (DR) of direct load control type, energy storage systems (ESS), and electric vehicles with capability of discharging energy to the network, which is known as vehicle-to-grid (V2G). The proposed model includes three distinct phases of operation. The first phase of the model consists in an economic dispatch based on an AC optimal power flow (AC-OPF); in the second phase Kirschen's and Bialek's tracing algorithms are used and compared to evaluate the impact of each resource in the network. Finally, the MW-mile method is used in the third phase of the proposed model. A distribution network of 33 buses with large penetration of DER is used to illustrate the application of the proposed model.

mRPL: Boosting mobility in the Internet of Things

The 6loWPAN (the light version of IPv6) and RPL (routing protocol for low-power and lossy links) protocols have become de facto standards for the Internet of Things (IoT). In this paper, we show that the two native algorithms that handle changes in network topology – the Trickle and Neighbor Discovery algorithms – behave in a reactive fashion and thus are not prepared for the dynamics inherent to nodes mobility. Many emerging and upcoming IoT application scenarios are expected to impose real-time and reliable mobile data collection, which are not compatible with the long message latency, high packet loss and high overhead exhibited by the native RPL/6loWPAN protocols. To solve this problem, we integrate a proactive hand-off mechanism (dubbed smart-HOP) within RPL, which is very simple, effective and backward compatible with the standard protocol. We show that this add-on halves the packet loss and reduces the hand-off delay dramatically to one tenth of a second, upon nodes’ mobility, with a sub-percent overhead. The smart-HOP algorithm has been implemented and integrated in the Contiki 6LoWPAN/RPL stack (source-code available on-line mrpl: smart-hop within rpl, 2014) and validated through extensive simulation and experimentation.

Nanosized iron based permeable reactive barriers for nitrate removal - Systematic review

It is unquestionable that an effective decision concerning the usage of a certain environmental clean-up technology should be conveniently supported. Significant amount of scientific work focussing on the reduction of nitrate concentration in drinking water by both metallic iron and nanomaterials and their usage in permeable reactive barriers has been worldwide published over the last two decades. This work aims to present in a systematic review of the most relevant research done on the removal of nitrate from groundwater using nanosized iron based permeable reactive barriers. The research was based on scientific papers published between 2004 and June 2014. It was performed using 16 combinations of keywords in 34 databases, according to PRISMA statement guidelines. Independent reviewers validated the selection criteria. From the 4161 records filtered, 45 met the selection criteria and were selected to be included in this review. This study's outcomes show that the permeable reactive barriers are, indeed, a suitable technology for denitrification and with good performance record but the long-term impact of the use of nanosized zero valent iron in this remediation process, in both on the environment and on the human health, is far to be conveniently known. As a consequence, further work is required on this matter, so that nanosized iron based permeable reactive barriers for the removal of nitrate from drinking water can be genuinely considered an eco-efficient technology.

Dynamic stability metrics for the container loading problem

The Container Loading Problem (CLP) literature has traditionally evaluated the dynamic stability of cargo by applying two metrics to box arrangements: the mean number of boxes supporting the items excluding those placed directly on the floor (M1) and the percentage of boxes with insufficient lateral support (M2). However, these metrics, that aim to be proxies for cargo stability during transportation, fail to translate real-world cargo conditions of dynamic stability. In this paper two new performance indicators are proposed to evaluate the dynamic stability of cargo arrangements: the number of fallen boxes (NFB) and the number of boxes within the Damage Boundary Curve fragility test (NB_DBC). Using 1500 solutions for well-known problem instances found in the literature, these new performance indicators are evaluated using a physics simulation tool (StableCargo), replacing the real-world transportation by a truck with a simulation of the dynamic behaviour of container loading arrangements. Two new dynamic stability metrics that can be integrated within any container loading algorithm are also proposed. The metrics are analytical models of the proposed stability performance indicators, computed by multiple linear regression. Pearson’s r correlation coefficient was used as an evaluation parameter for the performance of the models. The extensive computational results show that the proposed metrics are better proxies for dynamic stability in the CLP than the previous widely used metrics.

Cutting path as a rural postman problem

The Rural Postman Problem (RPP) is a particular Arc Routing Problem (ARP) which consists of determining a minimum cost circuit on a graph so that a given subset of required edges is traversed. The RPP is an NP-hard problem with significant real-life applications. This paper introduces an original approach based on Memetic Algorithms - the MARP algorithm - to solve the RPP and, also deals with an interesting Industrial Application, which focuses on the path optimization for component cutting operations. Memetic Algorithms are a class of Metaheuristics which may be seen as a population strategy that involves cooperation and competition processes between population elements and integrates “social knowledge”, using a local search procedure. The MARP algorithm is tested with different groups of instances and the results are compared with those gathered from other publications. MARP is also used in the context of various real-life applications.

Sífilis congénita : caracterização da infecção e avaliação de técnicas laboratoriais para o seu diagnóstico

RESUMO: Um dos maiores problemas da sífilis é a infecção intra-uterina do feto, que pode resultar em morte fetal com aborto espontâneo. Os objectivos desta tese foram comparar os cinco testes serológicos para o diagnóstico de sífilis congénita e optimizar e aplicar a várias amostras clínicas, colhidas de indivíduos com suspeita de infecção por Treponema pallidum, uma técnica de PCR-Multiplex e uma técnica de PCR em tempo real. Na globalidade dos soros estudados obtiveram-se os seguintes resultados: o RPR reactivo em 87/517; TPHA reactivo em 135/517; e EIA reactivo em 127/517. A pesquisa de anticorpos específicos de tipo IgM foi efectuada em 33 soros sendo estudada pelas técnicas de imunofluorescência indirecta e de westernblot. Quanto aos resultados obtidos pelas duas técnicas, o teste FTA-Abs-IgM demonstrou reactividade em 3/33, enquanto que a técnica de westernblot-M, apresentou reactividade em 18/33. Para a avaliação de uma técnica de PCR-TR, foram estudadas 318 amostras de 236 indivíduos classificados, com base em critérios clínicos e laboratoriais, em diferentes estádios de infecção por Treponema pallidum e em indivíduos sem infecção por aquele microrganismo. Relativamente a estas técnicas foi possível observar amplificação de ADN de Treponema pallidum em 133/318 pela técnica de PCR-TR e 90/318 pela técnica de PCR-Multiplex. Mediante os resultados obtidos e de outros estudos efectuados parece poder concluir-se que o teste EIA é o mais indicado para o rastreio da infecção por Treponema pallidum, devendo um resultado reactivo por esta técnica, ser confirmado com a realização de um teste não treponémico (RPR). Relativamente ao diagnóstico de infecção congénita, o teste westernblot para pesquisa de anticorpos específicos de tipo IgM, parece ser o mais apropriado. A técnica PCR-TR, parece ser a mais indicada, pois apresenta uma maior sensibilidade e especificidade que a PCR-Multiplex.----------------- ABSTRACT:The syphilis major problem is the intrauterine infection of the fetus, which may result in fetal death with spontaneous abortion. The objectives of this thesis were to compare the five serological tests for the diagnosis of congenital syphilis and optimize and apply several clinical samples taken from individuals suspected of infection with Treponema pallidum, a PCR-Multiplex and real-time PCR. In all sera studied were obtained the following results: the RPR reactive in 87/517; reactive TPHA in 135/517, and 127/517 in reactive EIA. The search for specific IgM antibodies was performed on 33 sera that were studied by indirect immunofluorescence and westernblot. The results obtained by both techniques, the test FTA-Abs-IgM showed reactivity in 3/33, while the technique westernblot-M, showed reactivity in 18/33. For an RT-PCR evaluation, we studied 318 samples from 236 individuals classified based on clinical and laboratory criteria at different stages of infection by Treponema pallidum and in individuals without infection by that organism. For these techniques it was possible to observe ADN amplification of Treponema pallidum in 133/318 by RT-PCR and 90/318 by PCR-Multiplex. Based on obtained results and in other studies seems that we can conclude that the EIA test is the most suitable for Treponema pallidum screening infection, and a reactive result by this technique, should be confirmed with the realization of a non-treponemal test (RPR). For the congenital infection diagnosis, testing for antibodies westernblot specific IgM appears to be the most appropriate. The RT-PCR seems to be the most suitable, since it has a higher sensitivity and specificity than the PCR-Multiplex.

A framework for scientific computing with GPUs

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

A Multiple Criteria Utility-based Approa h for the Unit Commitment with Wind Power and Pumped Storage Hydro

The integration of wind power in eletricity generation brings new challenges to unit commitment due to the random nature of wind speed. For this particular optimisation problem, wind uncertainty has been handled in practice by means of conservative stochastic scenario-based optimisation models, or through additional operating reserve settings. However, generation companies may have different attitudes towards operating costs, load curtailment, or waste of wind energy, when considering the risk caused by wind power variability. Therefore, alternative and possibly more adequate approaches should be explored. This work is divided in two main parts. Firstly we survey the main formulations presented in the literature for the integration of wind power in the unit commitment problem (UCP) and present an alternative model for the wind-thermal unit commitment. We make use of the utility theory concepts to develop a multi-criteria stochastic model. The objectives considered are the minimisation of costs, load curtailment and waste of wind energy. Those are represented by individual utility functions and aggregated in a single additive utility function. This last function is adequately linearised leading to a mixed-integer linear program (MILP) model that can be tackled by general-purpose solvers in order to find the most preferred solution. In the second part we discuss the integration of pumped-storage hydro (PSH) units in the UCP with large wind penetration. Those units can provide extra flexibility by using wind energy to pump and store water in the form of potential energy that can be generated after during peak load periods. PSH units are added to the first model, yielding a MILP model with wind-hydro-thermal coordination. Results showed that the proposed methodology is able to reflect the risk profiles of decision makers for both models. By including PSH units, the results are significantly improved.

A ten-year follow-up of human leptospirosis in Uruguay: an unresolved health problem

Leptospira spp. are delicate bacteria that cannot be studied by usual microbiological methods. They cause leptospirosis, a zoonotic disease transmitted to humans through infected urine of wild or domestic animals. We studied the incidence of this disease in the Uruguayan population, its epidemiologic and clinical features, and compared diagnostic techniques. After examining 6,778 suspect cases, we estimated that about 15 infections/100,000 inhabitants occurred yearly, affecting mainly young male rural workers. Awareness about leptospirosis has grown among health professionals, and its lethality has consequently decreased. Bovine infections were probably the principal source of human disease. Rainfall volumes and floods were major factors of varying incidence. Most patients had fever, asthenia, myalgias or cephalalgia, with at least one additional abnormal clinical feature. 30-40% of confirmed cases presented abdominal signs and symptoms, conjunctival suffusion and altered renal or urinary function. Jaundice was more frequent in patients aged > 40 years. Clinical infections followed an acute pattern and their usual outcome was complete recovery. Laboratory diagnosis was based on indirect micro-agglutination standard technique (MAT). Second serum samples were difficult to obtain, often impairing completion of diagnosis. Immunofluorescence was useful as a screening test and for early detection of probable infections.

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Heuristics and policies for online pickup and delivery problems

Master Thesis

C-reactive protein at 24 hours after hospital admission may have relevant prognostic accuracy in acute pancreatitis: a retrospective cohort study

Introduction: C-reactive protein (CRP) and Bedside Index for Severity in Acute Pancreatitis (BISAP) have been used in early risk assessment of patients with AP. Objectives: We evaluated prognostic accuracy of CRP at 24 hours after hospital admission (CRP24) for in-hospital mortality (IM) in AP individually and with BISAP. Materials and Methods: This retrospective cohort study included 134 patients with AP from a Portuguese hospital in 2009---2010. Prognostic accuracy assessment used area under receiver---operating characteristic curve (AUC), continuous net reclassification improvement (NRI), and integrated discrimination improvement (IDI). Results: Thirteen percent of patients had severe AP, 26% developed pancreatic necrosis, and 7% died during index hospital stay. AUCs for CRP24 and BISAP individually were 0.80 (95% confidence interval (CI) 0.65---0.95) and 0.77 (95% CI 0.59---0.95), respectively. No patients with CRP24 <60 mg/l died (P = 0.027; negative predictive value 100% (95% CI 92.3---100%)). AUC for BISAP plus CRP24 was 0.81 (95% CI 0.65---0.97). Change in NRI nonevents (42.4%; 95% CI, 24.9---59.9%) resulted in positive overall NRI (31.3%; 95% CI, − 36.4% to 98.9%), but IDI nonevents was negligible (0.004; 95% CI, − 0.007 to 0.014). Conclusions: CRP24 revealed good prognostic accuracy for IM in AP; its main role may be the selection of lowest risk patients.