Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por CEGI

2016

PySCIPOPT: Mathematical Programming in Python with the SCIP Optimization Suite

Autores
Maher, S; Miltenberger, M; Pedroso, JP; Rehfeldt, D; Schwarz, R; Serrano, F;

Publicação
MATHEMATICAL SOFTWARE, ICMS 2016

Abstract
SCIP is a solver for a wide variety of mathematical optimization problems. It is written in C and extendable due to its plug-in based design. However, dealing with all C specifics when extending SCIP can be detrimental to development and testing of new ideas. This paper attempts to provide a remedy by introducing PySCIPOPT, a Python interface to SCIP that enables users to write new SCIP code entirely in Python. We demonstrate how to intuitively model mixed-integer linear and quadratic optimization problems and moreover provide examples on how new Python plug-ins can be added to SCIP.

2016

Constraint aggregation in non-linear programming models for nesting problems

Autores
Rocha, P; Gomes, AM; Rodrigues, R; Toledo, FMB; Andretta, M;

Publicação
Lecture Notes in Economics and Mathematical Systems

Abstract

2016

A long-haul freight transportation problem: Synchronizing resources to deliver requests passing through multiple transshipment locations

Autores
Neves Moreira, F; Amorim, P; Guimaraes, L; Almada Lobo, B;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
This research aims at tackling a real-world long-haul freight transportation problem where tractors are allowed to exchange semi-trailers through several transshipment points until a request reaches its destiny. The unique characteristics of the considered logistics network allow for providing long-haul services by means of short-haul jobs, drastically reducing empty truck journeys. A greater flexibility is achieved with faster responses. Furthermore, the planning goals as well as the nature of the considered trips led to the definition of a new problem, the long-haul freight transportation problem with multiple transshipment locations. A novel mathematical formulation is developed to ensure resource synchronization while including realistic features, which are commonly found separately in the literature. Considering the complexity and dimension of this routing and scheduling problem, a mathematical programming heuristic (matheuristic) is developed with the objective of obtaining good quality solutions in a reasonable amount of time, considering the logistics business context. We provide a comparison between the results obtained for 79 real-world instances. The developed solution method is now the basis of a decision support system of a Portuguese logistics operator (LO).

2016

Comparing comparables: an approach to accurate cross-country comparisons of health systems for effective healthcare planning and policy guidance

Autores
Lopes, MA; Soares, C; Almeida, A; Almada Lobo, B;

Publicação
HEALTH SYSTEMS

Abstract
With rising healthcare costs, using health personnel and resources efficiently and effectively is critical. International cross-country and simple worker-to-population ratio comparisons are frequently used for improving the efficiency of health systems, planning of health human resources and guiding policy changes. These comparisons are made between countries typically of the same continental region. However, if used imprudently, inconsistencies arising from frail comparisons of health systems may outweigh the positive benefits brought by new policy insights. In this work, we propose a different approach to international health system comparisons. We present a methodology to group similar countries in terms of mortality, morbidity, utilisation levels, and human and physical resources, which are all factors that influence health gains. Instead of constructing an absolute rank or comparing against the average, the method finds countries that share similar ground, upon which more reliable comparisons can then be conducted, including performance analysis. We apply this methodology using data from the World Health Organization's Health for All database, and we present some interesting empirical relationships between indicators that may provide new insights into how such information can be used to promote better healthcare planning and policy guidance.

2016

Defining the Best distribution Network for Grocery Retail Stores

Autores
Amorim, P; Martins, S; Curcio, E; Almada Lobo, B;

Publicação
ERCIM NEWS

Abstract
Large food retailers have to deal with a complex distribution network with multiple distribution centres, different temperature requirements, and a vast range of store formats. This project used an optimization-simulation approach to help food retailer Sonae MC make the best decisions regarding product-warehouse-outlet assignment, product delivery modes planning and fleet sizing.

2016

Supplier selection in the processed food industry under uncertainty

Autores
Amorim, P; Curcio, E; Almada Lobo, B; Barbosa Povoa, APFD; Grossmann, IE;

Publicação
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH

Abstract
This paper addresses an integrated framework for deciding about the supplier selection in the processed food industry under uncertainty. The relevance of including tactical production and distribution planning in this procurement decision is assessed. The contribution of this paper is three-fold. Firstly, we propose a new two-stage stochastic mixed-integer programming model for the supplier selection in the process food industry that maximizes profit and minimizes risk of low customer service. Secondly, we reiterate the importance of considering main complexities of food supply chain management such as: perishability of both raw materials and final products; uncertainty at both downstream and upstream parameters; and age dependent demand. Thirdly, we develop a solution method based on a multi-cut Benders decomposition and generalized disjunctive programming. Results indicate that sourcing and branding actions vary significantly between using an integrated and a decoupled approach. The proposed multi-cut Benders decomposition algorithm improved the solutions of the larger instances of this problem when compared with a classical Benders decomposition algorithm and with the solution of the monolithic model.

  • 110
  • 193