Scheduling aircraft’s engines repair process: a mathematical model

In this talk, we discuss a scheduling problem that originated at TAP - Maintenance & Engineering - the maintenance, repair and overhaul organization of Portugal’s leading airline. In the repair process of aircrafts’ engines, the operations to be scheduled may be executed on a certain workstation by any processor of a given set, and the objective is to minimize the total weighted tardiness. A mixed integer linear programming formulation, based on the flexible job shop scheduling, is presented here, along with computational experiment on a real instance, provided by TAP-ME, from a regular working week. The model was also tested using benchmarking instances available in literature.

Timing Analysis of Fixed Priority SelfSuspending Sporadic Tasks

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

Numerical analysis of the initial conditions in fractional systems

Fractional dynamics is a growing topic in theoretical and experimental scientific research. A classical problem is the initialization required by fractional operators. While the problem is clear from the mathematical point of view, it constitutes a challenge in applied sciences. This paper addresses the problem of initialization and its effect upon dynamical system simulation when adopting numerical approximations. The results are compatible with system dynamics and clarify the formulation of adequate values for the initial conditions in numerical simulations.

An efficient numerical scheme for solving multi-dimensional fractional optimal control problems with a quadratic performance index

The shifted Legendre orthogonal polynomials are used for the numerical solution of a new formulation for the multi-dimensional fractional optimal control problem (M-DFOCP) with a quadratic performance index. The fractional derivatives are described in the Caputo sense. The Lagrange multiplier method for the constrained extremum and the operational matrix of fractional integrals are used together with the help of the properties of the shifted Legendre orthonormal polynomials. The method reduces the M-DFOCP to a simpler problem that consists of solving a system of algebraic equations. For confirming the efficiency and accuracy of the proposed scheme, some test problems are implemented with their approximate solutions.

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.

Characterization of an antioxidant surfactant-free topical formulation containing Castanea sativa leaf extract

Context: Inclusion of antioxidants in topical formulations can contribute to minimize oxidative stress in the skin, which has been associated with photoaging, several dermatosis and cancer. Objective: A Castanea sativa leaf extract with established antioxidant activity was incorporated into a semisolid surfactant-free formulation. The objective of this study was to perform a comprehensive characterization of this formulation. Materials and methods: Physical, microbiological and functional stability were evaluated during 6 months storage at 20 °C and 40 °C. Microstructure elucidation (cryo-SEM), in vitro release and in vivo moisturizing effect (Corneometer® CM 825) were also assessed. Results and discussion: Minor changes were observed in the textural and rheological properties of the formulation when stored at 20 °C for 6 months and the antioxidant activity of the plant extract remained constant throughout the storage period. Microbiological quality was confirmed at the end of the study. Under accelerated conditions, higher modifications of the evaluated parameters were observed. Cryo-SEM analysis revealed the presence of oil droplets dispersed into a gelified external phase. The release rate of the antioxidant compounds (610 ± 70 µgh−0.5) followed Higuchi model. A significant in vivo moisturizing effect was demonstrated, that lasted at least 4 h after product’s application. Conclusion: The physical, functional and microbiological stability of the antioxidant formulation was established. Specific storage conditions should be recommended considering the influence of temperature on the stability. A skin hydration effect and good skin tolerance were also found which suggests that this preparation can be useful in the prevention or treatment of oxidative stress-mediated dysfunctions.

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.

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

GIS capacity building for risk management to help developing countries:Case of climate change problem in Amhara rural region (Ethiopia)

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Melhoria do processo produtivo de embalagem numa empresa do ramo automóvel

Este estudo foi desenvolvido no âmbito da Unidade curricular de Dissertação / Projeto / Estágio do Mestrado em Engenharia Mecânica – Ramo de Gestão Industrial do Instituto Superior de Engenharia do Porto, com aplicação em ambiente industrial numa empresa metalomecânica da indústria automóvel. O projeto desenvolveu-se na secção de inspeção e embalagem de produto acabado da empresa IETA S.A., fornecedora de estruturas metálicas, com o objetivo de minimizar as reclamações recebidas por defeitos originados no processo de fabrico. A abordagem a este estudo iniciou-se pelo registo e análise de dados e consequente formulação e implementação de melhorias ao processo de fabrico, com recurso a metodologias e ferramentas Lean. A existência de um problema relacionado com o processo de fabrico em vigor permitiu o conhecimento dos hábitos de trabalho e a apresentação de propostas de melhoria ao layout fabril e ao método de trabalho em vigor na secção. A análise dos problemas existentes possibilitou a identificação de oportunidades de melhoria em outras áreas do processo, revelando-se o poder das ferramentas utilizadas na análise de dados. Este estudo de investigação revelou ser muito enriquecedor e motivador tendo proporcionado a aplicação de conteúdos científicos Lean em ambiente industrial ficando provada a mais-valia da sua implementação. A aplicação das ferramentas e metodologias Lean estudadas permitiram efetuar uma análise cuidada dos dados conduzindo a propostas de melhoria vantajosas e compatíveis com as necessidades da empresa. As propostas apresentadas, apesar de não terem sido todas implementadas, resultaram num impacto positivo no processo de fabrico com uma eliminação expectável de 38% dos defeitos reclamados.

Factorization of elliptic boundary value problems by invariant embedding and application to overdetermined problems

Dissertação para obtenção do Grau de Doutor em Matemática