This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rules are rewritten to Quantifier-Free Presburger Arithmetic (QFPA) formulas. Secondly, such formulas are compiled to generators of k-dimensional forbidden sets. Such generators are a generalization of the indexicals of ...

A k-submodular function is an extension of a submodular function in that its input is given by k disjoint subsets instead of a single subset. For unconstrained nonnegative ksubmodular maximization, Ward and Živný proposed a constant-factor approximation algorithm, which was improved by the recent work of Iwata, Tanigawa and Yoshida presenting a 1/2-approximation algorithm. Iwata et al. also pro...

number: 011-0137 Optimal stock allocation in single echelon inventory systems subject to a service constraint Annalisa Cesaro • Dario Pacciarelli • Dipartimento di Informatica e Automazione, Università Roma Tre, Via della Vasca Navale, 79, Rome I-00146, Italy [email protected] • [email protected] • phone:0039-06-57333394 POMS 20th Annual Conference Orlando, Florida U.S.A. May 1 t...

A central controller chooses a state-dependent transmission rate for each user in a fading, downlink channel by varying transmission power over time. For each user, the state of the channel evolves over time according to an exogenous continuous-time Markov chain (CTMC), which affects the quality of transmission. The traffic for each user, arriving at the central controller, is modeled as a fini...

A method to smooth intensity-modulated photon beams is presented which can be applied in conjunction with any optimization algorithm. The method employs an additional soft constraint to minimize the area of the surface defined by the photon fluence.

This paper constructs a multistate flow network composed of multistate edges to model a computer network. Each edge has lead time, capacity, and cost parameters. Therefore, the minimum transmission time through a single path is not a fixed number. Under the transmission protocol that the data are sent through p (p ≥ 2) minimal paths simultaneously, the minimum transmission time is also stochast...

This paper presents the application of nonlinear model predictive control (NMPC) to a simulated industrial batch reactor subject to safety and productivity constraints due to swelling. The catalyst used in the chemical process decomposes in the reactor; therefore it is fed in discrete time steps during the batch. Although the optimal reactor temperature profile, using a fixed catalyst dosing po...

Reliability is one of the major issues with wireless networks. Failure in multiple radio channels often lead to poor communication even complete disruption in services. Increasing reliability of a network may point to the requirement of multiple paths between two terminals in the network. Hence, a link fault tolerant network design with low cost is important. Fault tolerance of a network is def...

Conclusions This paper considers network topological optimization with a reliability constraint. The objective is to find the topological layout of links, a t a minimal cost, under the constraint that the network reliability is not less than a given level of system reliability. A decomposition method, based on branch & bound, is used for solving the problem. In order to speed-up the procedure, ...