Vessel Arrival Process and Queueing in Marine Ports Handling Bulk Materials

We study the vessel arrival process in bulk ports handling either cargo containers or minerals. Then we introduce the SHIP/G/1 queue to be able to study the queueing behavior at the port. We present approximations for the asymptotic probabilities of delay and the number of vessels at the port. Numerical examples show the accuracy of the approximations. In appendices, we provide details of the analysis of the number of vessels at the port and the correlation properties of the vessel arrival process.     

Compressible Flow in a Half-Space with Navier Boundary Conditions

We prove the global existence of weak solutions of the Navier–Stokes equations of compressible flow in a half-space with the boundary condition proposed by Navier: the velocity on the boundary is proportional to the tangential component of the stress. This boundary condition allows for the determination of the scalar function in the Helmholtz decomposition of the acceleration density, which in turn is crucial in obtaining pointwise bounds for the density. Initial data and solutions are small in energy-norm with nonnegative densities having arbitrarily large sup-norm. These results generalize previous results for solutions in the whole space and are the first for solutions in this intermediate regularity class in a region with a boundary.     

COSMIC(90): An improved molecular mechanics treatment of hydrocarbons and conjugated systems

Summary Four modifications to the COSMIC molecular mechanics force field are described, which greatly increase both its versatility and the accuracy of calculated conformational energies. The Hill non-bonded van der Waals potential function has been replaced by a two-parameter Morse curve and a new H-H potential, similar to that in MM3, incorporated. Hydrocarbon energies in particular are much improved.A simple iterative Hückel pi-electron molecular orbital calculation allows modelling of conjugated systems. Calculated bond lengths and rotational barriers for a series of conjugated hydrocarbons and nitrogen heterocycles are shown to be as accurate as those determined by the MM2 SCF method.Explicit hydrogen-bonding potentials for H-bond acceptor-donor atom pairs have been included to give better hydrogen bond energies and lengths. The van der Waals radii of protonic hydrogens are reduced to 0.5 Å and the energy well depth is increased to 1.0 kcal mol^-1.Two new general atom types, N⁺ _sp ² and O^- _sp ³ , have been introduced which allow a wide variety of charged conjugated systems to be studied. A minimum of parameterisation is required, as the new types are easily included in the Hückel scheme which automatically adjusts bond and torsional parameters according to the defined bond-order relationships.     

The Small Index Property for Free Groups and Relatively Free Groups

1. Some groups with the small index property In this paper we shall use the methods of the paper [6] by Hodges,Hodkinson, Lascar and Shelah to show that the free group ofcountably infinite rank and certain relatively free groups ofcountably infinite rank have the small index property.     

Pulsed-Field-Gradient Measurements of Time-Dependent Gas Diffusion

Pulsed-field-gradient NMR techniques are demonstrated for measurements of time-dependent gas diffusion. The standard PGSE technique and variants, applied to a free gas mixture of thermally polarized xenon and O₂, are found to provide a reproducible measure of the xenon diffusion coefficient (5.71 × 10⁻⁶m²s⁻¹for 1 atm of pure xenon), in excellent agreement with previous, non-NMR measurements. The utility of pulsed-field-gradient NMR techniques is demonstrated by the first measurement of time-dependent (i.e., restricted) gas diffusion inside a porous medium (a random pack of glass beads), with results that agree well with theory. Two modified NMR pulse sequences derived from the PGSE technique (named the Pulsed Gradient Echo, or PGE, and the Pulsed Gradient Multiple Spin Echo, or PGMSE) are also applied to measurements of time dependent diffusion of laser polarized xenon gas, with results in good agreement with previous measurements on thermally polarized gas. The PGMSE technique is found to be superior to the PGE method, and to standard PGSE techniques and variants, for efficiently measuring laser polarized noble gas diffusion over a wide range of diffusion times.     

Algebras with Collapsing Monomials

A semigroup S is called collapsing if there exists a positiveinteger n such that for every subset of n elements in S, atleast two distinct words of length n on these letters are equalin S. In particular, S is collapsing whenever it satisfies alaw. Let U(A) denote the group of units of a unitary associativealgebra A over a field k of characteristic zero. If A is generatedby its nilpotent elements, then the following conditions areequivalent: U(A) is collapsing; U(A) satisfies some semigrouplaw; U(A) satisfies the Engel condition; U(A) is nilpotent;A is nilpotent when considered as a Lie algebra.     

A System for Three-Dimensional Interactive Simulation of Hand Biomechanics

A real-time interactive graphics simulation of the mechanics of the human thumb has been developed. The simulation utilizes a realistic data structure for the bones of the thumb which may be expanded to include the hand and forearm. This is coupled to a model of the kinematics of the joints in a concurrent processing arrangement in which the dynamic graphical transformations for scaling, translation, rotation, perspective, and clipping are all performed on a special-purpose display processor. The model and the control functions are distributed between this processor and a separate general-purpose superminicomputer. The resulting system presents the user with a realistic simulation of the movements of the thumb in normal and impaired states. The user may choose from a menu of options, including an interactive tendon transfer simulation for the current hand being simulated. He may control (interactively and in real time) the view, observation position, skeletal motion, and parameters for use in the model of joint mechanics. This type of computer modeling, utilizing a realistic three-dimensional data structure, models of musculoskeletal kinematics, and interactive programming, shows great potential for bringing mathematical modeling into useful clinical, research, and educational applications.