Constraint programming (CP) based column generation uses CP to solve the pricing subproblem. We consider a set partitioning formulation with a huge number of variables, each of which can be generated by solving a CP subproblem. We propose two customized search strategies to solve the CP subproblem, which aim to improve the coordination between the master problem and the subproblem. Specifically...

background and objectives: operating room (or) scheduling is key to optimal operating room productivity. the significant uncertainty associated with surgery duration renders scheduling of surgical operation a challenging task. this paper proposes a novel computational stochastic model to optimize scheduling of surgeries with uncertain durations. the model considers various surgical operation co...

The smart grid is a promising technology of the next-generation electrical systems which involves wireless networks. Such Long Term Evolution (LTE), which has been proposed and developed by the 3rd Generation Partnership Project (3GPP), is expected to be a preferable technology due to its high data rate and low delay. Due to the fact that smart grid requires real-time communications, scheduling...

This paper presents a model for microgrid optimal scheduling considering multi-period islanding constraints. The objective of the problem is to minimize the microgrid total operation cost which comprises the generation cost of local resources and cost of energy purchase from the main grid. The microgrid optimal scheduling problem is decomposed into a gridconnected operation master problem and a...

In this research project the performance of two well-known scheduling policies for Real Time Systems based on fixed priority, namely Enhanced (m,k)-firm Guarantee and Weakly hard scheduling, will be compared in terms of the overall schedulibility of a number of randomly generated task sets . Both methods are based on the common assumptions. A new scheduling alogrithm will then be derived by com...

The generation of a real-time schedule from a task precedence graph is complex and time consuming. In order to improve the eeciency of generating schedules, we propose a scheduling algorithm based upon the compact task graph (CTG) representation. In addition to precedence constraints, a CTG explicitly expresses the potential for interleaving the execution of tasks on a single processor and over...

Code division multiple access mobile ad hoc networks (CDMA-MANETs) will be a next-generation wireless networking architecture to connect various military platforms. The classic contentionbased MAC protocols are inappropriate for tactical ad hoc networks, where more rigid requirements for the quality of service (QoS) (e.g., guaranteed packet delivery) have to be satisfied. In this paper, we prop...

Earth observation satellites are platforms equipped with optical instruments that orbit the Earth in order to take photographs of specific areas at the request of users. This article is concerned with the management of several satellites performing multiple orbits over a given planning horizon. It describes a tabu search heuristic for the problem of selecting and scheduling the requests to be s...

Event-B is a tool-supported speci cation language that can be used e.g. for modelling of concurrent programs. This calls for code generation and a means of executing the resulting code. One approach is to preserve the original event-based nature of the model and use a runtime scheduler and message passing to execute the translated events on di erent computational nodes. In this paper, we consid...

W e consider the problem of balancing two competing objectives in the pursuit of efficient management of operating rooms in a hospital: providing surgeons with predictable, reliable access to the operating room and maintaining high utilization of capacity. The common solution to the first problem (in practice) is to grant exclusive " block time, " in which a portion of the week in an operating ...