A carregar...
Projeto de investigação
Sem título
Financiador
Autores
Publicações
Integrated facility location and capacity planning under uncertainty
Publication . Correia, Isabel; Melo, Teresa; DM - Departamento de Matemática; CMA - Centro de Matemática e Aplicações; Springer Nature
We address a multi-period facility location problem with two customer segments having distinct service requirements. While customers in one segment receive preferred service, customers in the other segment accept delayed deliveries as long as lateness does not exceed a pre-specified threshold. The objective is to define a schedule for facility deployment and capacity scalability that satisfies all customer demands at minimum cost. Facilities can have their capacities adjusted over the planning horizon through incrementally increasing or reducing the number of modular units they hold. These two features, capacity expansion and capacity contraction, can help substantially improve the flexibility in responding to demand changes. Future customer demands are assumed to be unknown. We propose two different frameworks for planning capacity decisions and present a two-stage stochastic model for each one of them. While in the first model decisions related to capacity scalability are modeled as first-stage decisions, in the second model, capacity adjustments are deferred to the second stage. We develop the extensive forms of the associated stochastic programs for the case of demand uncertainty being captured by a finite set of scenarios. Additional inequalities are proposed to enhance the original formulations. An extensive computational study with randomly generated instances shows that the proposed enhancements are very useful. Specifically, 97.5% of the instances can be solved to optimality in much shorter computing times. Important insights are also provided into the impact of the two different frameworks for planning capacity adjustments on the facility network configuration and its total cost.
k-Provability in PA
Publication . Santos, Paulo Guilherme; Kahle, Reinhard; CMA - Centro de Matemática e Aplicações; Springer International Publishing
We study the decidability of k-provability in PA —the relation ‘being provable in PA with at most k steps’—and the decidability of the proof-skeleton problem—the problem of deciding if a given formula has a proof that has a given skeleton (the list of axioms and rules that were used). The decidability of k-provability for the usual Hilbert-style formalisation of PA is still an open problem, but it is known that the proof-skeleton problem is undecidable for that theory. Using new methods, we present a characterisation of some numbers k for which k-provability is decidable, and we present a characterisation of some proof-skeletons for which one can decide whether a formula has a proof whose skeleton is the considered one. These characterisations are natural and parameterised by unification algorithms.
Unidades organizacionais
Descrição
Palavras-chave
Contribuidores
Financiadores
Entidade financiadora
Fundação para a Ciência e a Tecnologia
Programa de financiamento
6817 - DCRRNI ID
Número da atribuição
157388