An application of radon inversion to diffraction tomography

Basic equations of linear computer tomography are considered; a connection of the mathermatical formulation of problems of computer tomography with problems of integral geometry is indicated; the properties of the Radon transform for even- and odd-dimensional spaces are analyzed, and applications of Radon inversion to problems of diffraction tomography are presented. Bibliography: 5 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 230, 1995, pp. 264–277. Translated by V. N. Troyan.     

Laser systems specialized for laser spectroscopy at storage rings

Laser spectroscopy at storage rings often suffers from a limited resolution due to Doppler-broadened resonances. Broadening is caused by the velocity spread of the ions stored in the beam. In the following, the present status of our work on laser systems specialized on the specific needs of laser spectroscopy at storage rings is reported. Two pulsed laser systems were developed. One is a dye laser whose spectral bandwidth can be switched by inserting different Littrow-prisms into the resonator. An increase in bandwidth up to a factor of 45 was achieved. This laser was used for fast qualitative scans and high resolution measurements. The other laser system is a Nd : YAG laser pumped optical parametric oscillator. It is a tunable laser system covering the spectral range from 410 to 4000 nm. Furthermore, a continuous wave laser with a frequency shifted feedback cavity is described. It shows broadband emission with an adjustable bandwidth of up to 4.5 GHz. This laser can be advantageous for laser cooling of ion beams. This revised version was published online in August 2006 with corrections to the Cover Date.     

Transfer theorems and the algebra of modal operators

A set theory ZFI′ which does not employ the Law of the Excluded Middle φ ∀ ⊥ φ, for all φ, retians the stock of expressive capacities of the classical set theory ZF, on the one hand, and has many of the features of an effective theory on the other. In the article, a broad class of formulas σ is constructed for which ZF ⊥ σ implies ZFI′ ⊥ σ. This result provides a generalization of Friedman's theorem on AE-arithmetic formulas. Besides, we prove transfer theorems of classical logic for the case of rings; in particular, Hilbert's theorem on zeros and Artin's theorem on ordered fields are extended to the case of regular f-rings, and we bring in appropriate upper bounds for them. Supported by RFFR grant No. 93-012-1027. Translated fromAlgebra i Logika, Vol. 36, No. 3, pp. 282–303, May–June, 1997.     

On the spectra of finite-dimensional quadratic Bose operators

A complete study of the spectrum of a finite-dimensional Bose operator is carried out in the paper. The cases in which the spectrum is discrete or continuous are studied. Translated fromMatematicheskie Zametki, Vol. 61, No. 6, pp. 835–854, June, 1997. Translated by A. M. Chebotarev     

Forced-air precooling of spherical foods in bulk: A parametric study

In this paper, a mathematical model for forced-air precooling of spherical food products in bulk is developed. The foods are arranged in horizontal layers stacked one above the other to form a rectangular parallelepiped with a vertical gap in between the product layers. The foods are cooled by chilled air blown along the height of the package. The governing equations for the conduction heat transfer in the foods, simultaneous heat and mass transfer at the food-air interface and in the air stream are solved numerically using finite-difference methods. A comprehensive numerical study is performed by varying the process parameters over a wide range. Typical results showing the variation of moist air properties along the height of the package and the effect of each parameter on the process time are presented. The ranges of parameters for advantageous operation of the precooling system are identified. Correlations are obtained for the process time based on the product center and mass-averaged temperatures in terms of process parameters.     

Positron annihilation in polycrystalline metals

The empirical relation θ _p ⁶ /I _p=aK (where θ _p is the limiting angle of the parabolic component in the angular distributions of annihilation photons in metals, I _p is the integrated contribution of this component, K=1, 2, 3, ... is an integer, and a is a constant independent of the type of metal) observed earlier has been tested on magnesium, aluminum, copper, zinc, lead, and bismuth samples. The validity of this relation has been substantiated. The value of the dimensionless constant a has been determined and was found to coincide within experimental error with the result obtained in previous measurements. It is shown that the value of K for the same metal but for different samples may be different. It is conjectured that this may be due to different defect concentrations in samples. Fiz. Tverd. Tela (St. Petersburg) 40, 600–602 (April 1998)     

The plane contact problem of steady thermoelasticity taking heat generation into account

The plane steady contact problem of thermoelasticity when there is heat generation from friction, which arises when an infinite cylindrical punch moves over the surface of an elastic half-space along its generatrix, is considered. It is assumed that heat exchange between the free boundary of the half-space and the surrounding medium obeys Newton's law, while the condition for ideal thermal contact exists in the region in which the solids interact. The problem is reduced to a system of three integral equations in the heat fluxes and temperature. The effect of the thermal and mechanical properties of the cylinder and the half-space on the main contact characteristics is investigated numerically.     

On finite-dimensional approximation of solutions of ill-posed problems

We show that the modified method for finite-dimensional approximation of solutions of Fredholm integral equations of the first kind presented in this paper is more economical than traditional methods for finite-dimensional approximation. Institute of Mathematies, Ukrainian Academy of Science, Kiev. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 2, pp. 289–295, February, 1997.