Automatic error correction in inflected languages

Systems for automatic detection and correction of spelling errors in natural language texts are considered. The development of such systems for both English and Russian (and for inflected languages in general, including all Slavic languages) is discussed. An approach associated with morphological analysis of the wordforms in the given text is described. The topics considered in the paper include the main methods of automatic spelling correction, levels of automation of the spelling error correction process, the effect of the type of computer used, the use of spelling error correctors in a stand-alone mode and in combination with word-processing software, and the maintenance of auxiliary dictionaries.Translated from Itogi Nauki i Tekhniki, Seriya Teoriya Veroyatnostei, Matematicheskaya Statistika, Teoreticheskaya Kibernetika, Vol. 28, pp. 111–139, 1988.     

Some empirical relations for electron mobility in II–VI compound semiconductors

Electron mobility has been calculated in a number of binary II–VI compound semiconductors using a displaced Maxwellian distribution function and taking the various scattering mechanisms into consideration at different lattice temperatures and for various amounts of ionized impurity concentrations. It is observed that the low field mobility values can be expressed by a cubic power relationship with lattice temperature and with ionized impurity concentration using a least mean square fit technique with an accuracy better than 5 per cent. Similarly, the field dependence of mobility can also be expressed as a power series of the applied electric field. It is suggested that these equations can be profitably used for a quick estimation of mobility values as a check on experiments and also as sufficiently accurate formulae for simulation and modelling purposes.     

Universal algebras

A survey of the development of the theory of universal algebras in the years 1976–1988. Such basic directions of development of this theory as classes of universal algebras (varieties, quasivarieties, etc.), Mal'tsev conditions, congruences, sheaves, homomorphisms, subalgebras, products of algebras, clones of operations, completeness, systems of equations in algeberas, and connections with computer mathematics show up in it. Considerable attention is given to concrete classes of algebras (p-algebras, BCK-algebras, unary algebras, etc.).Translated from Itogi Nauki i Tekhniki, Seriya Algebra, Topologiya, Geometriya, Vol. 27, pp. 45–124, 1989.     

Polynomial-time computation of the degree of a dominant morphism in zero characteristic. II

Consider a projective algebraic variety W which is an irreducible component of the set of all common zeros of a family of homogeneous polynomials of degrees less than d in n + 1 variables over a field of zero characteristic. Consider a dominant rational morphism from W to W′ given by homogeneous polynomials of degree d′. We suggest algorithms for constructing objects in general position related to this morphism. They generalize some algorithms from the first part of the paper to the case dim W > dim W′. These algorithms are deterministic and polynomial in (dd′)n and the size of the input. Bibliography: 12 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 325, 2005, pp. 181–224.     

Estimates for the Second Order Derivatives of Eigenvectors in Thin Anisotropic Plates with Variable Thickness

For the second order derivatives of eigenvectors in a thin anisotropic heterogeneous plate Ω_h, we derive estimates of their weighted L₂-norms with majorants whose dependence on the plate thickness h and on the eigenvalue number is expressed explicitly. These estimates maintain the asymptotic sharpness throughout the entire spectrum, whereas inside its low-frequency band the majorants remain bounded as h → +0. The latter is a rather unexpected fact, because for the first eigenfunction u¹ of a similar boundary-value problem for a scalar second order differential operator with variable coefficients, the norm ‖∇ _x ² u⁰; L₂(Ω_h)‖ is of order h⁻¹ and grows as h tends to zero. Bibliography: 35 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 308, 2004, pp. 161–180.     

Analogue of a spin flop phase transition for an array of magnetic moments with dipole interaction

In a two-dimensional array of magnetic moments with planar magnetization and relatively weak anisotropy in the basal plane, a stepwise phase transition is induced by an external magnetic field parallel to the easy axis of the system. This transition is similar to the spin flop phase transition in weakly anisotropic Heisenberg antiferromagnets with the significant difference that it is accompanied by the rearrangement of the sublattice structure of the magnet; i.e., it can be interpreted as a topological transition. The transition should manifest itself for arrays of submicron magnetic particles (magnetic dots) on nonmagnetic substrates, which have recently become the object of intensive research.     

Modelling recruitment training in mathematical human resource planning

This paper deals with mathematical human resource planning; more specifically, it suggests a new model for a manpower‐planning system. In general, we study a k‐classed hierarchical system where the workforce demand at each time period is satisfied through internal mobility and recruitment. The motivation for this work is based on various European Union incentives, which promote regional or local government assistance programs that could be exploited by firms not only for hiring and training newcomers, but also to improve the skills and knowledge of their existing personnel. In this respect, in our augmented mobility model we establish a new ‘training/standby’ class, which serves as a manpower inventory position for potential recruits. This class, which may very well be internal or external to the system, is incorporated into the framework of a non‐homogeneous Markov chain model. Furthermore, cost objectives are employed using the goal‐programming approach, under different operating assumptions, in order to minimize the operational cost in the presence of system's constraints and regulations. Copyright © 2002 John Wiley & Sons, Ltd.