The course scheduling problem at Lufthansa Technical Training

Lufthansa Technical Training GmbH (LTT) performs training courses for Lufthansa Technik AG as well as for several other international airlines. Courses of about 670 different types are offered of which several hundred take place each year. The course scheduling problem faced by LTT is to construct a yearly schedule which maximizes the profit margin incurred while meeting a variety of complex precedence, temporal, and resource-related constraints. A “good” operational schedule should also meet a number of additional subordinate objectives. We formalize the problem and develop a heuristic scheme along with several priority rules, as well as a local search algorithm to determine well-suited weights for weighted composite rules. The operational planning situation of 1996 served as our major test instance; additional test instances were constructed by modifying this data. Several computational experiments were carried out to evaluate the performance of the algorithms. It turned out that the best so-found schedule is substantially better in terms of the profit margin incurred than the solution manually constructed by LTT.     

Reconstructing basic ideas in geometry—an empirical approach

“Basic ideas” (or “fundamental ideas” etc.) have been discussed in mathematical curriculum theory for about forty years. This paper will centre on the hypothesis that this concept can only be applied successfully by using it as a category for the analysis of concrete mathematical problems. This hypothesis will be illustrated by means of a sample problem from the Austrian Standards for Mathematics Education (“Bildungsstandards”). In this example, basic ideas are used in a content matter analysis which takes students' solutions to the problem as a starting point for the creation of a potentially substantial learning environment in trigonometry.     

Phase transitions and positive definite couplings

The method of infrared bounds is extended to a large class of nearest neighbour interactions in classical spin systems. Temperature controlled bounds on fluctuations follow whenever the coupling function is a positive definite kernel. Existence of phase transitions is demonstrated for the RP ^Nmodel for d3.     

Groupwise density and related cardinals

We prove several theorems about the cardinal associated with groupwise density. With respect to a natural ordering of families of nond-ecreasing maps from to, all families of size are below all unbounded families. With respect to a natural ordering of filters on, all filters generated by sets are below all non-feeble filters. If then and . (The definitions of these cardinals are recalled in the introduction.) Finally, some consequences deduced from by Laflamme are shown to be equivalent to .     

An instanton-invariant for 3-manifolds

To an oriented closed 3-dimensional manifoldM withH ₁(M, )=0, we assign a ₈-graded homology groupI _*(M) whose Euler characteristic is twice Casson's invariant. The definition uses a construction on the space of instantons onM×.     

WKB properties of the time-dependent Schrödinger system

It is shown that the time-dependent WKB expansion highlights some of the hidden properties of the Schrödinger equation and forms a natural bridge between that equation and the functional integral formulation of quantum mechanics. In particular it is shown that the leading (zero- and first-order in ) terms in the WKB expansion are essentially classical, and the relationship of this result to the classical nature of the WKB partition function, and of the anomalies in quantum field theory, is discussed.