Lot-sizing with fixed charges on stocks: the convex hull

In this paper, we examine a variant of the uncapacitated lot-sizing model of Wagner–Whitin that includes fixed charges on the stocks. Such a model is natural in a production environment where stocking is a complex operation, and appears as a subproblem in more general network design problems.

Linear-programming formulations, a dynamic program, the convex hull of integer solutions and a separation algorithm are presented. All these turn out to be very natural extensions of the corresponding results of Barany et al. (Math. Programming Stud. 22 (1984) 32) for the uncapacitated lot-sizing problem. The convex hull proof is based on showing that an extended facility location formulation is tight and by projecting it onto the original space of variables.     

Left, right, and inner socles of associative systems

We investigate the basic properties of the different socles that can be considered in not necessarily semiprime associative systems. Among other things, we show that the socle defined as the sum of minimal (or minimal and trivial) inner ideals is always an ideal. When trivial inner ideals are included, this inner socle contains the socles defined in terms of minimal left or right ideals. This revised version was published online in June 2006 with corrections to the Cover Date.     

A simple formula for mean multiplexing delay for independent regenerative sources

Simple expressions are given for the mean delay, mean waiting time, and mean busy period length in a multiplexer. Data streams with active periods having a general distribution are permitted, and the data rate during the active periods can be random. Data can also arrive in batches. The key restrictions of the model are that the sources are independent, idle periods are exponentially distributed, and a source generates at least enough data during an active period to keep the server busy throughout the period. The exact formulas allow evaluation of the error in approximations such as a heavy traffic diffusion approximation.Both continuous and discrete time models are considered. The discrete-time model includes that studied by Viterbi and subsequently generalized by Neuts. The Pollaczek-Khinchine formula for the mean amount of work in anM/GI/1 queue is retrieved as a limiting case.Preliminary version presented at IEEE INFOCOM, San Francisco, April 1993.     

Production and characterization of refractive index gratings in high-birefringence fibre optics

In this work, we report production and modelling of both Bragg gratings and rocking filters in high birefringence fibre optics. Bragg gratings are produced by UV (257.0 nm) external interferometric exposition of a frequency-doubled Ar⁺ ion laser, whereas for rocking filters formation the visible Ar⁺ ion laser lines in 488.0 and 514.5 nm are used in an internal method. The spectral characteristics due to the birefringence properties are studied through numerical methods and experimental techniques. The spectral responsivity of the structures under temperature changes and stress application is presented.     

Self-similar solutions and large time asymptotics for the dissipative quasi-geostrophic equation

We analyze the well-posedness of the initial value problem for the dissipative quasi-geostrophic equations in the subcritical case. Mild solutions are obtained in several spaces with the right homogeneity to allow the existence of self-similar solutions. While the only small self-similar solution in the strong L^p{\cal L}^{p} space is the null solution, infinitely many self-similar solutions do exist in weak- L^p{\cal L}^{p} spaces and in a recently introduced [7] space of tempered distributions. The asymptotic stability of solutions is obtained in both spaces, and as a consequence, a criterion of self-similarity persistence at large times is obtained.     

On the Use of the Restitution Condition in Flexible Body Dynamics

The difference between the classical treatment offlexible body impact and the treatment of impact in flexiblemultibody dynamics is due to several fundamental reasons. Inthe classical impact theory, simple structures such as beamsand plates are used. Infinite dimensional models can bedeveloped for these simple structural elements to study theimpact dynamics and the wave propagation problem. Flexiblemultibody impact problems, on the other hand, involve bodieswith complex geometry that cannot be modeled using infinitenumber of degrees of freedom. Furthermore, the classicalimpact theory has been mainly concerned with the impactbetween a rigid mass that moves without constraints beforeit impacts a simple flexible structure. This is not amultibody simulation scenario in which the impact occursbetween kinematically constrained bodies that are subjectedto impulsive constraint forces in addition to the impactforces. These constraint forces can influence the motion ofthe two bodies immediately after impact, and as aconsequence, the simple classical theory scenario of impactdoes not apply. It is the objective of this paper to discussthe use of the restitution condition in flexible multibodyimpact problems and demonstrate that the use of thisapproach does not exclude the classical formulation.Nonetheless, the impulse momentum balance approach can serveas an effective and efficient procedure for solving theimpact problem in finite dimensional models that do not obeythe classical wave theory. Energy results of simplestructural elements are presented in order to demonstratethe consistency of using the impulse momentum balanceapproach in solving impact problems in finite dimensionalflexible body applications.     

Representation of Cubic Lattices by Symmetric Implication Algebras

In this paper a cubic lattice L(S) is endowed with a symmetric implication structure and it is proved that L(S) \ {0} is a power of the three-element simple symmetric implication algebra. The Metropolis–Rota’s symmetries are obtained as partial terms in the language of symmetric implication algebras.     

Parallelization of population-based multi-objective meta-heuristics: An empirical study

In single-objective optimization it is possible to find a global optimum, while in the multi-objective case no optimal solution is clearly defined, but several that simultaneously optimize all the objectives. However, the majority of this kind of problems cannot be solved exactly as they have very large and highly complex search spaces. Recently, meta-heuristic approaches have become important tools for solving multi-objective problems encountered in industry as well as in the theoretical field. Most of these meta-heuristics use a population of solutions, and hence the runtime increases when the population size grows. An interesting way to overcome this problem is to apply parallel processing. This paper analyzes the performance of several parallel paradigms in the context of population-based multi-objective meta-heuristics. In particular, we evaluate four alternative parallelizations of the Pareto simulated annealing algorithm, in terms of quality of the solutions, and speedup.     

A finite difference approach to the equations of age-dependent population dynamics

We establish the convergence of the finite difference scheme for the nonlinear equations of population dynamics proposed by Guertin and MacCamy. The applicability of the discrete equations to establish qualitative properties of the solution to the continuous problem is also illustrated.     

Time Delay and Short-Range Scattering in Quantum Waveguides

Although many physical arguments account for using a modified definition of time delay in multichannel-type scattering processes, one can hardly find rigorous results on that issue in the literature. We try to fill in this gap by showing, both in an abstract setting and in a short-range case, the identity of the modified time delay and the Eisenbud-Wigner time delay in waveguides. In the short-range case we also obtain limiting absorption principles, state spectral properties of the total Hamiltonian, prove the existence of the wave operators and show an explicit formula for the S-matrix. The proofs rely on stationary and commutator methods. Communicated by Yosi Avron submitted 12/04/05, accepted 13/05/05