Hermite and Smith normal form algorithms over Dedekind domains

We show how the usual algorithms valid over Euclidean domains, such as the Hermite Normal Form, the modular Hermite Normal Form and the Smith Normal Form can be extended to Dedekind rings. In a sequel to this paper, we will explain the use of these algorithms for computing in relative extensions of number fields.

     

Hamiltonian Stationary Lagrangian Surfaces in Euclidean Four-Space and Related Minimization Problems. Part II: Some Minimization Results

We study some minimization problems for Hamiltonian stationaryLagrangian surfaces in R⁴. We show that the flat Lagrangian torusS ¹ × S ¹ minimizes the Willmore functional among Hamiltonianstationary tori of its isotopy class, which gives a new proof of thefact that it is area minimizing in the same class. Considering theLagrangian flat cylinder as a torus in some quotient space R⁴/v Z, we show that it is also area minimizing in its isotopy class.     

A Java-based control system for the Orsay tandem accelerator

A new control system was designed for the tandem MP-9 at Orsay. Because of the existing devices located on high voltage platforms and the lack of space inside the accelerator, in-house electronic cards based on micro-controllers and an optical fieldbus were developed to collect data. VME processors under VxWorks, a real time operating system, manage the fieldbus, concentrate the accelerator information and transmit it to the supervisory software through the ethernet network. This software consists of a collection of Java virtual machines (JVM) running on several Unix work-stations and PCs under Windows. Some of the Java virtual machines manage apparatus, instruments, local display and connections to an object database and VME concentrators. Other manage general synoptics. JVMs communicate between themselves with RMI protocol and JRPC with VME concentrators. So the supervisory software can be spread over several control stations throughout the network.     

Robust simulation with a base environmental scenario

In the design of a system, the comparison of possible solutions using simulation is generally performed with fixed environmental conditions. In practice, however, unexpected changes can occur for example in the part mix of a manufacturing facility or in the customer demand. Such changes, which are considered as modifications in environmental factors, can impact the system response. As a consequence, a solution A that is better than B for a given environment, can yield poorer performance than B for another environment. Therefore, we are interested in robust simulation studies, which aim at taking into account several possible environments. In methods based on Taguchi’s principles, no distinction is made between these environments in the robustness computation. In the suggested heuristic approach, we focus on problems where a particular environment is expected when the system will be in operation (the others being unexpected environments). This particular environment will be considered in the study as a “base environmental scenario”. The robustness of a solution of the design problem is computed as an approximate measure of what will be saved or lost if the environment becomes the unexpected. Reference curves are suggested to allow these solutions to be empirically compared in accordance with the decision-maker’s requirements. A simplified example is provided. The results are different from those obtained using a signal to noise ratio, which is typically used in Taguchian approaches.     

Direct determination of phosphorylated intracellular anabolites of stavudine (d4T) by liquid chromatography/tandem mass spectrometry

The original article to which this Erratum refers was published in Rapid Commun Mass Spectrom. 2001; 15 : 1401–1408.     

Two-phase flow in heterogeneous porous media III: Laboratory experiments for flow parallel to a stratified system

Two-phase flow in stratified porous media is a problem of central importance in the study of oil recovery processes. In general, these flows are parallel to the stratifications, and it is this type of flow that we have investigated experimentally and theoretically in this study. The experiments were performed with a two-layer model of a stratified porous medium. The individual strata were composed of Aerolith-10, an artificial: sintered porous medium, and Berea sandstone, a natural porous medium reputed to be relatively homogeneous. Waterflooding experiments were performed in which the saturation field was measured by gamma-ray absorption. Data were obtained at 150 points distributed evenly over a flow domain of 0.1 × 0.6 m. The slabs of Aerolith-10 and Berea sandstone were of equal thickness, i.e. 5 centimeters thick. An intensive experimental study was carried out in order to accurately characterize the individual strata; however, this effort was hampered by both local heterogeneities and large-scale heterogeneities.The theoretical analysis of the waterflooding experiments was based on the method of large-scale averaging and the large-scale closure problem. The latter provides a precise method of discussing the crossflow phenomena, and it illustrates exactly how the crossflow influences the theoretical prediction of the large-scale permeability tensor. The theoretical analysis was restricted to the quasi-static theory of Quintard and Whitaker (1988), however, the dynamic effects described in Part I (Quintard and Whitaker 1990a) are discussed in terms of their influence on the crossflow.Roman Letters A interfacial area between the -region and the -region contained within V, m² - a vector that maps onto , m - b vector that maps onto , m - b vector that maps onto , m - B second order tensor that maps onto , m² - C second order tensor that maps onto , m² - E energy of the gamma emitter, keV - f fractional flow of the -phase - g gravitational vector, m/s² - h characteristic length of the large-scale averaging volume, m - H height of the stratified porous medium , m - i unit base vector in the x-direction - K local volume-averaged single-phase permeability, m² - K - {K}, large-scale spatial deviation permeability - { K} large-scale volume-averaged single-phase permeability, m² - K ^* large-scale single-phase permeability, m² - K ^** equivalent large-scale single-phase permeability, m² - K local volume-averaged -phase permeability in the -region, m² - K local volume-averaged -phase permeability in the -region, m² - K - {K } , large-scale spatial deviation for the -phase permeability, m² - K ^* large-scale permeability for the -phase, m² - l thickness of the porous medium, m - l characteristic length for the -region, m - l characteristic length for the -region, m - L length of the experimental porous medium, m - characteristic length for large-scale averaged quantities, m - n outward unit normal vector for the -region - n outward unit normal vector for the -region - n unit normal vector pointing from the -region toward the -region (n = - n ) - N number of photons - p pressure in the -phase, N/m² - p ₀ reference pressure in the -phase, N/m² - local volume-averaged intrinsic phase average pressure in the -phase, N/m² - large-scale volume-averaged pressure of the -phase, N/m² - large-scale intrinsic phase average pressure in the capillary region of the -phase, N/m² - - , large-scale spatial deviation for the -phase pressure, N/m² - p_c , capillary pressure, N/m² - p _c capillary pressure in the -region, N/m² - p capillary pressure in the -region, N/m² - {p _c } ^c large-scale capillary pressure, N/m² - q -phase velocity at the entrance of the porous medium, m/s - q -phase velocity at the entrance of the porous medium, m/s - S_wi irreducible water saturation - S /, local volume-averaged saturation for the -phase - S _i initial saturation for the -phase - S _r residual saturation for the -phase - S ^* { }^*/}^*, large-scale average saturation for the -phase - S saturation for the -phase in the -region - S saturation for the -phase in the -region - t time, s - v -phase velocity vector, m/s - v local volume-averaged phase average velocity for the -phase, m/s - {v } large-scale averaged velocity for the -phase, m/s - v local volume-averaged phase average velocity for the -phase in the -region, m/s - v local volume-averaged phase average velocity for the -phase in the -region, m/s - v -{v } , large-scale spatial deviation for the -phase velocity, m/s - v -{v } , large-scale spatial deviation for the -phase velocity in the -region, m/s - v -{v } , large-scale spatial deviation for the -phase velocity in the -region, m/s - V large-scale averaging volume, m³ - y position vector relative to the centroid of the large-scale averaging volume, m - {y}^c large-scale average of y over the capillary region, m Greek Letters local porosity - local porosity in the -region - local porosity in the -region - local volume fraction for the -phase - local volume fraction for the -phase in the -region - local volume fraction for the -phase in the -region - {}^* { }^*+{ }^*, large-scale spatial average volume fraction - { }^* large-scale spatial average volume fraction for the -phase - mass density of the -phase, kg/m³ - mass density of the -phase, kg/m³ - viscosity of the -phase, N s/m² - viscosity of the -phase, Ns/m² - V /V , volume fraction of the -region ( + =1) - V /V , volume fraction of the -region ( + =1) - attenuation coefficient to gamma-rays, m^-1 - -