Many airline reservation systems offer the commitment option to their potential passengers. This option allows passengers to reserve a seat for a fixed duration before making a final purchase decision. In this study, we develop single-leg revenue management models that consider such contingent commitment decisions. We start with a dynamic programming model of this problem. This model is computa...

Constraints support an efficient modeling and solution of problems in two ways: The most common application is their use for the description of problems with incomplete knowledge. On the other hand constraints may also serve as particular language constructs for the control of the program evaluation process. This paper presents the Concurrent Constraint Functional Language CCFL which comprises ...

To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer programming is firstly constructed to maximize the total expected revenue from all kinds of cruise products. Four methods can be applied to solve the above model, which are chance constrained programming, robust optimizatio...

Deterministic optimization is a normative process which extracts the best from a set of options, usually under constraints. It is arguably true that optimization is one of the most used areas of mathematical applications. It is the thesis of this book that applied mathematical programming problems should be solved predominantly by using a fuzzy and possibilistic approaches. Rommelfanger ([42], ...

We define the class of constrained cons-free rewriting systems and show that this class characterizes P , the set of languages decidable in polynomial time on a deterministic Turing machine. The main novelty of the characterization is that it allows very liberal properties of term rewriting, in particular non-deterministic evaluation: no reduction strategy is enforced, and systems are allowed t...

This work introduces a sequential convex programming framework for non-linear, finitedimensional stochastic optimal control, where uncertainties are modeled by multidimensional Wiener process. We prove that any accumulation point of the sequence iterates generated is candidate locally-optimal solution original problem in sense Pontryagin Maximum Principle. Moreover, we provide sufficient condit...

There are some large scale orebodies that extend from surface to the extreme depths of the ground. Such orebodies should be extracted by a combination of surface and underground mining methods. Economically, it is highly important to know the limit of upper and lower mining activities. This concern leads the mine designers to the transition problem, which is one of the most complicated problems...

Determination of facilities, such as factories or warehouses, location and availability conditions is one of the important and strategic decisions for an organization to make. Transportation costs that form a major part of goods price are dependent to this decision making. There are verity of methods have been presented to achieve the optimal locations of these facilities which are generally de...

Random number generators (RNGs) play an important role in many real-world applications. Besides true hardware RNGs, one important class are deterministic random number generators. Such generators do not possess the unpredictability of true RNGs, but still have a widespread usage. For a deterministic RNG to be used in cryptography, it needs to fulfill a number of conditions related to the speed,...

We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope with an indeterminate environment. We develop for the resulting parallel programming language, which subsumes deterministic data ow, a simple compositional proof system. Reasoning about communication and synchronization ...