Simulation of leachate migration in leaky aquifers

A two-dimensional cross-section finite difference model is presented to simulate density dependent leachate migration in leaky aquifers. Unlike existing models, a new approach is adopted to couple the groundwater-flow equation and the hydrodynamic dispersion equation with the elimination of the intermediate step of calculating velocities. The concept of the reference density is employed, permitting increased accuracy (over pressure-based models) in the representation of the transport process. The model is then used to study the effect of several hydraulic and transport parameters on the flow pattern and plume migration which are found to be very sensitive to most of these parameters. Equiconcentration and equipotential lines are overlapped to provide a better understanding of the coupling effect.     

Non-linear analysis of frames

A simple and easily programmable technique is proposed for the second-order analysis of frames. This technique involves the iterative process with modification of the stiffness matrix as well as the load vector in each iteration. Both curvature and sway effects are included. A numerical example is included to illustrate the results.     

A model for electroluminescence in SrS:Ce ACTFEL display devices

An analytical model for electroluminescence in SrS:Ce AC thin-film electroluminescent display devices is presented. The model incorporates an exact calculation of the electric field and the effect of activator ionization and bulk traps. Activator ionization is needed to explain several features of luminescence behavior in SrS:Ce devices. These features include the second luminescence peak at the trailing edge of the voltage pulse and the time lag between the luminescence and the applied voltage when the applied voltage consists of bipolar trapezoidal pulses and rectangular pulses of low voltage amplitudes. As a mechanism for the ionization of activators, field-assisted tunneling is shown to be more likely than impact ionization by hot electrons. Physical processes are described in terms of rate equations, and field, current, and luminescence waveforms are calculated for one set of device parameters. The calculated and experimental luminescence waveforms agree     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.