A Tandem Queue with Coupled Processors: Computational Issues

In Resing and Örmeci [16] it is shown that the two-stage tandem queue with coupled processors can be solved using the theory of boundary value problems. In this paper we consider the issues that arise when calculating performance measures like the mean queue length and the fraction of time a station is empty. It is assumed that jobs arrive at the first station according to a Poisson process and require service at both stations before leaving the system. The amount of work that a job requires at each of the stations is an independent, exponentially distributed random variable. When both stations are nonempty, the total service capacity is shared among the stations according to fixed proportions. When one of the stations becomes empty, the total service capacity is given to the nonempty station. We study the two-dimensional Markov process representing the numbers of jobs at the two stations. The problem of finding the generating function of the stationary distribution can be reduced to two different Riemann-Hilbert boundary value problems, where both problems yield a complete analytical solution. We discuss the similarities and differences between the two problems, and relate them to the computational aspects of obtaining performance measures.     

A New Modal Lindström Theorem

We prove new Lindstr?m theorems for the basic modal propositional language, and for some related fragments of first-order logic. We find difficulties with such results for modal languages without a finite-depth property, high-lighting the difference between abstract model theory for fragments and for extensions of first-order logic. In addition we discuss new connections with interpolation properties, and the modal invariance theorem. Mathematics Subject Classification (2000): Primary 03B45; Secondary 03C95     

Fluid-fluid phase separation in colloid-polymer mixtures studied with small angle light scattering and light microscopy

Mixtures of colloidal silica spheres and polydimethylsiloxane in cyclohexane with a colloid-polymer size ratio of about one were found to phase separate into two fluid phases, one which is colloid-rich and one which is colloid-poor. In this work the phase separation kinetics of this fluid-fluid phase separation is studied for different compositions of the colloid-polymer mixtures, and at several degrees of supersaturation, with small angle light scattering and with light microscopy. The small angle light scattering curve exhibits a peak that grows in intensity and that shifts to smaller wave vector with time. The characteristic length scale that is obtained from the scattering peak is of the order of a few μm, in agreement with observations by light microscopy. The domain size increases with time as , which might be an indication of coarsening by diffusion and coalescence, like in the case of binary liquid mixtures and polymer blends. For sufficiently low degrees of supersaturation the angular scattering intensity curves satisfy dynamical scaling behavior.     

Gasdynamic aspects of a modified expansion-shock tube for nucleation and condensation studies

A modified expansion-shock tube for nucleation and condensation studies in a supersaturated vapour is described. An analysis is made of the gas-dynamical properties of the new tube configuration and numerical simulations with the Random Choice Method are compared with experiments. It is shown that with the modified configuration one single nucleation pulse can be realized.     

Solving stochastic programs with integer recourse by enumeration: A framework using Gröbner basis

In this paper we present a framework for solving stochastic programs with complete integer recourse and discretely distributed right-hand side vector, using Gröbner basis methods from computational algebra to solve the numerous second-stage integer programs. Using structural properties of the expected integer recourse function, we prove that under mild conditions an optimal solution is contained in a finite set. Furthermore, we present a basic scheme to enumerate this set and suggest improvements to reduce the number of function evaluations needed.     

Some New Results on Key Distribution Patterns and Broadcast Encryption

This paper concerns methods by which a trusted authority can distribute keys and/or broadcast a message over a network, so that each member of a privileged subset of users can compute a specified key or decrypt the broadcast message. Moreover, this is done in such a way that no coalition is able to recover any information on a key or broadcast message they are not supposed to know. The problems are studied using the tools of information theory, so the security provided is unconditional (i.e., not based on any computational assumption).In a recent paper st95a, Stinson described a method of constructing key predistribution schemes by combining Mitchell-Piper key distribution patterns with resilient functions; and also presented a construction method for broadcast encryption schemes that combines Fiat-Naor key predistribution schemes with ideal secret sharing schemes. In this paper, we further pursue these two themes, providing several nice applications of these techniques by using combinatorial structures such as orthogonal arrays, perpendicular arrays, Steiner systems and universal hash families.     

Measurement of the transverse Doppler shift using a stored relativistic7Li+ ion beam

We have performed for the first time precision spectroscopy on a coasting fast⁷Li⁺ ion beam in a storage ring. The ion beam moving with 6.4% speed of light was first electron cooled and then merged with two counterpropagating laser beams acting on two different hyperfine transitions sharing a common upper level (λ-system). One laser was frequency locked to thea ₃ ¹²⁷J₂ hfs frequency component established as a secondary frequency standard at 514 nm. The second laser was tuned over theλ-resonance, which was recorded relative to¹²⁷J₂ hfs components. This experiment is sensitive to the time dilation in fast moving frames and will lead to new limits for the verification of special relatively. The present status of the experiment and perspectives in accuracy are discussed.     

Ultrafiltration of a polymer-electrolyte mixture

We present a mathematical model to describe the ultrafiltration behaviour of polymer-electrolyte mixtures. The model combines the proper thermodynamic forces (pressure, chemical potential and electrical potential differences) with multicomponent diffusion theory. The model is verified with experimental data on the ultrafiltration of aqueous solutions of PEG-4000 and potassium phosphate. The single solute rejection of PEG-4000 goes through a maximum as also found by others. The single solute rejection of potassium phosphate depends on the ionic strength of the solution. At low ionic strength rejections are found of 50%. Solutions containing a high concentration of PEG-4000 and potassium phosphate show a negative rejection for potassium phosphate. This is caused by the strongly non-ideal behaviour of these aqueous solutions. The model predicts the behaviour of single solute experiments quite well, but some deviations are found with the mixed solute experiments. However, negative rejections found in the mixed solute experiments are predicted by the model.