An unstructured mesh finite volume method for modelling saltwater intrusion into coastal aquifers

In this paper, a two-dimensional finite volume unstructured mesh method (FVUM) based on a triangular background interpolation mesh is developed for analysing the evolution of the saltwater intrusion into single and multiple coastal aquifer systems. The model formulation consists of a ground-water flow equation and a salt transport equation. These coupled and non-linear partial differential equations are transformed by FVUM into a system of differential/algebraic equations, which is solved using backward differentiation formulas of order one through five. Simulation results are compared with previously published solutions where good agreement is observed.     

Temperature dependence of corundum roentgenoluminescence and thermoluminescence

Translated from Zhurnal Prikladnoi Spektroskopii, Vol. 54, No. 3, pp. 438–444, March, 1991.     

Compact spreads and compact translation planes over locally compact fields

We prove that a spread S over a locally compact nondlscrete field F defines a topological translation plane if and only if the spread is compact. For F=R, this is implicit in Breuning's thesis [Bre], cf. [B 2]. For the proof, we describe the point set of the projective translation plane as a quotient space of some projective space, with identifications taking place in one hyperplane. This is new even for F=R.     

Piecewise-linearized methods for oscillators with limit cycles

A piecewise linearization method based on the linearization of nonlinear ordinary differential equations in small intervals, that provides piecewise analytical solutions in each interval and smooth solutions everywhere, is developed for the study of the limit cycles of smooth and non-smooth, conservative and non-conservative, nonlinear oscillators. It is shown that this method provides nonlinear maps for the displacement and velocity which depend on the previous values through the nonlinearity and its partial derivatives with respect to time, displacement and velocity, and yields non-standard finite difference formulae. It is also shown by means of five examples that the piecewise linearization method presented here is more robust and yields more accurate (in terms of displacement, energy and frequency) solutions than the harmonic balance procedure, the method of slowly varying amplitude and phase, and other non-standard finite difference equations.     

Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method

Some geometric theorems can be stated in coordinate-free form as polynomials in Grassman algebra and can be proven by the anticommutative Gröbner basis method. In this article, we analyze some properties of both sets of hypotheses and conclusions of the theorem.     

Sampling with a String

Kramer's sampling theorem forms a bridge between the Whittaker-Shannon-Kotel'nikov sampling theorem and boundary-value problems. It has been shown that sampling expansions associated with Sturm-Liouville boundary-value problems are Lagrange-type sampling series, i.e., Lagrange series with infinitely many terms converging to entire functions. String theory as developed by Feller, Kac, and Krein, is a generalization of the Sturm-Liouville theory. We investigate sampling series associated with strings and compare them with those associated with Sturm-Liouville problems. We show that unlike sampling series associated with Sturm-Liouville problems, those associated with strings include not only Lagrange-type sampling series, but also Lagrange polynomial interpolation.     

Effect of the Parameters of Three-Mirror Resonators on the Spectral Characteristics of Single-Pulse Laser Generation with Self-Injection of Priming Radiation

Based on a semiclassical theory, investigations were made of the dynamics and spectral composition of pulsed generation with self-injection of priming radiation from the active part of a three-mirror linear resonator, the passive part of which contains an active loss modulator and serves as the output reflector of the laser. It is shown that there exists a range of resonator parameters at which pulsed lasing has virtually a single frequency irrespective of the detuning of the frequencies of the priming radiation and of the nearest eigenmode of the composite resonator. Considering graphically the phase conditions of generation, it is established that among pulsed lasers with self-injection of priming radiation which are constructed on the basis of three-mirror linear and branched resonators, the most efficient for creating single-frequency generation are those in which the length of the main resonator, where generation of the pulse occurs, is larger than the length of the additional one intended for forming the priming radiation. With an inverse ratio of the lengths of the resonators, the conditions of single-frequency pulsed generation becomes dependent on the priming radiation frequency.     

Kalman filtering of a space-time Markov random field

In this paper, finite-dimensional recursive filters for space-time Markov random fields are derived. These filters can be used with the expectation maximization (EM) algorithm to yield maximum likelihood estimates of the parameters of the model.