Inconsistency of a metatheory of Nudel''man

A metatheory of Nudel'man outlined in [1] is proved inconsistent. The groundwork for the proof is the method of arithmetization of metamathematics.Translated fromAlgebra i Logika, Vol. 34, No. 1, pp. 41–43, January–February, 1995.     

A local search approach to a circle cutting problem arising in the motor cycle industry

This paper is concerned with the development of a customized circle packing algorithm for a manufacturer of sprockets for the motor cycle industry. Practical constraints mean that the problem differs somewhat from those tackled elsewhere in the literature. In particular, the layouts need to conform to a given structure. This is achieved by using a local search algorithm with an appropriate starting solution and a series of neighbourhoods designed to preserve the layout structure. Empirical evidence based on real data shows that the quality of the resulting solutions closely matches that of cutting patterns currently produced by human experts. Computation times average around 20–30?s per order as compared to several hours for an equivalent manual solution.     

VECTOR FIELDS IN R2 WITH MAXIMAL INDEX

We consider the method of Poincaré to investigate thelocal index of vector fields in the plane. If m is the degreeof the first non-zero jet, X_m, of the vector field X at an isolatedzero, we explore the geometry of the pencil generated by thecoordinate functions of X_m when the absolute value of the indexof X, |ind (X)|, is m. We also find necessary and sufficientconditions for |ind (X)| to be m.     

The double exponential map and covariant derivation

We study the double exponential map which is a composition of a special form of two exponential maps on a manifold with connection. We relate this map and the composition of covariant derivations as well as the composition of pseudodifferential operators on these manifolds.     

Discovery of a new long-lived isomeric state in 125Ce

A new long-lived isomeric state in the near proton dripline nucleus ¹²⁵Ce has been identified with Schottky mass spectrometry at GSI. The excitation energy E ^* = 103(12)keV and the decay time of 193(1)s have been obtained from a single stored fully ionized ^125m Ce⁵⁸⁺ ion. The data implies an E3 transition and a 1/2⁺ assignment for the spin of the isomer.     

A method for automatic correction of drift-distorted SPM images

A method for automatic correction of drift-distorted surface images obtained using a scanning probe microscope is developed. For the case of slowly varying drifts, simple linear transformations describing the observed distortions are constructed. One or two pairs of counter-scanned images (CSIs) are used as initial data. A system of linear equations is solved by finding the coordinate of the same surface feature in each CSI. The solutions obtained, i.e., linear transformation coefficients, are used to correct drift-induced distortions in horizontal and vertical planes. Two nonlinear drift correction methods are proposed, which provide a better accuracy in comparison with the linear correction method. The developed method can be used in feature-oriented scanning of the surface.     

Sound propagation in an unstable atmospheric layer

The equation of sound propagation in an unstable medium produced by the presence of supersaturated water vapor in it, which can appear in a hurricane area, is derived. This equation takes into account the effects of sound velocity dispersion, amplification, damping, and nonlinear effects. Some solutions to this equation are presented, illustrating the specific features of sound propagation in an unstable medium. Published in Akusticheskiĭ Zhurnal, 2007, Vol. 53, No. 3, pp. 477–480.     

Analysis of (π K<Superscript>+</Superscript>) and (K<Superscript>-</Superscript>, K<Superscript>+</Superscript>) hypernuclear production spectra in distorted-wave impulse approximation

We study the hyperon-nucleus potential with distorted-wave impulse wave approximation (DWIA) using the Green's function method. In order to include the nucleon and hyperon potential effects in Fermi averaging, we introduce the local optimal momentum approximation of target nucleons. We can describe the quasi-free Λ , Σ and Ξ production spectra in a better way than in the standard Fermi-averaged t -matrix treatments.