Analysis of finite capacity discrete-time <Emphasis Type="Italic">GI</Emphasis>/<Emphasis Type="Italic">Geo</Emphasis>/1 queueing system with multiple vacations

This paper investigates a discrete-time single-server finite-buffer queueing system with multiple vacations in which arrivals occur according to a discrete-time renewal process. Service and vacation times are mutually independent and geometrically distributed. We obtain steady-state system length distributions at prearrival, arbitrary and outside observer's observation epochs under the late arrival system with delayed access and early arrival system. The analysis of actual waiting-time for both the systems has also been carried out. The model has potential application in high-speed computer network, digital communication systems and other related areas.     

Active-constraint variable ordering for faster feasibility of mixed integer linear programs

The selection of the branching variable can greatly affect the speed of the branch and bound solution of a mixed-integer or integer linear program. Traditional approaches to branching variable selection rely on estimating the effect of the candidate variables on the objective function. We present a new approach that relies on estimating the impact of the candidate variables on the active constraints in the current LP relaxation. We apply this method to the problem of finding the first feasible solution as quickly as possible. Empirical experiments demonstrate a significant improvement compared to a state-of-the art commercial MIP solver.     

A second-order accurate numerical method for a fractional wave equation

We study a generalized Crank–Nicolson scheme for the time discretization of a fractional wave equation, in combination with a space discretization by linear finite elements. The scheme uses a non-uniform grid in time to compensate for the singular behaviour of the exact solution at t = 0. With appropriate assumptions on the data and assuming that the spatial domain is convex or smooth, we show that the error is of order k ² + h ², where k and h are the parameters for the time and space meshes, respectively.     

Peritectic phase growth in directionally solidified Cu-70% Sn alloy

The growth mechanism of the peritectic η phase involving the peritectic reaction and peritectic transformation in Cu-70%Sn alloy was investigated under directional solidification. The results show that a major growth mechanism in thickening of the peritectic η-layer is not the peritectic reaction but the peritectic transformation. The transformation temperature and isothermal time play crucial roles in determining the volume fraction and the thickness of the peritectic η phase. With the increase of the temperature and isothermal time, the volume fraction of the peritectic η phase increases. The regressed data show that the relationship between the thickness of η phase (Δx) and the transformation temperature (T) meets the following equation In Δx=6.5−1673 1 / T. Additionally, there exists a relationship between the thickness of the η phase (Δx) and the isothermal time (t) at the 9 mm solidification distance below the peritectic reaction interface, Δx=0.72t ^1/2, which is consistent with the theoretical model. Supported by the National Science Foundation of China (Grant No. 50395102)     

New isothermal equation of state of solids applied to high pressures

In the present paper, a new two-parameter inverted equation of state (EOS) is developed which is found to be working very well in the high-pressure region. To check its success and validity, this EOS has been applied in a number of solids. The computed volume compression is found to be in very good agreement with the experimental data in the whole range of pressure in all the solids. The minimum and the maximum pressure range used in the present study is 0–320 kbar and 0–3000 kbar, respectively.     

Vanishing of local homology

 We study the vanishing properties of local homology of complexes of modules without assuming that its homology is artinian. Using vanishing results for local homology and cohomology we prove new vanishing results for Ext- and Tor-modules. Received: 1 August 2002; in final form: 23 September 2002 / Published online: 16 May 2003 Mathematics Subject Classification (1991): 13C12, 13D07, 13D45.     

A column generation approach for the timetabling problem of Greek high schools

A column generation (CG) approach for the solution of timetabling problems is presented. This methodology could be used for various instances of the timetabling problem, although in this paper the solution of the high-school situation in Greece is presented. The results obtained show clearly that the CG approach that has been extremely successful in recent years in the solution of airline crew scheduling problems could also be very efficient and robust for the solution of timetabling problems. Several large timetabling problems corresponding to real problems have been successfully solved, with the solutions obtained feasible and of very high quality in accordance with the problem definition. In addition, none of the solutions contained any idle hour for any of the teachers, which was one of the main goals of this optimization effort.     

Mathematical and numerical analysis of a simplified time-dependent viscoelastic flow

A time-dependent model corresponding to an Oldroyd-B viscoelastic fluid is considered, the convective terms being disregarded. Global existence in time is proved in Banach spaces provided the data are small enough, using the implicit function theorem and a maximum regularity property for a three fields Stokes problem. A finite element discretization in space is then proposed. Existence of the numerical solution is proved for small data, so as a priori error estimates, using again an implicit function theorem. Supported by the Swiss National Science Foundation. Fellowship PBEL2–114311.     

Separating points of measures on effect algebras

We prove the existence of separating points for every countable family of nonatomic σ-additive modular measures on a σ-complete lattice ordered effect algebra.