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.     

Why and how to avoid standard kinetic equations I. Principles and band conduction problem

A review of ideas leading to full rejection of any finite or partially-infinite order kinetic equation linearized in external field is given on grounds of the time-convolution Generalized Master Equations (GME). By two examples (two-level and band conduction problem), it is shown how standard kinetic equations result from GME in the lowest order approximations which obscure, however, a direct correspondence with the Kubo linear response theory. Without approximations, on the other hand, the rigorous approach is shown to be fully equivalent with the Kubo results. It is argued and illustrated that usual technical simplicity and seeming physical lucidity of standard theories (connected with the presence of field-independent transfer or scattering rates in the fielddependent linearized theory) are just owing to structural features which are solely due to the lowest order approximations involved. These features (i.e. also the possibility of standard physical interpretation of kinetic phenomena) are proved to disappear completely as far as the theory goes properly to higher orders.     

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.     

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.     

EXPRESSIONS FOR PREDICTING FUNDAMENTAL NATURAL FREQUENCIES OF NON-CYLINDRICAL HELICAL SPRINGS

Numerical and analytical studies are performed for the free vibration analysis of non-cylindrical (conical, barrel and hyperboloidal types) helical springs. The stiffness matrix method is used in the numerical analysis. A total of 12 degrees of freedom (six displacements and six rotations) is described for an element. The exact element stiffness matrix and the exact concentrated element inertia matrix are used in the formulation. The rotary inertia, the shear and extensional deformation effects are considered in the analysis. Comparison of the numerical results with the reported results obtained numerically and experimentally gives satisfactory values. After verification of the numerical frequencies, the non-dimensional fundamental frequencies of fixed-fixed non-cylindrical helical springs with circular section are expressed in a simple formula with a maximum absolute relative error of 5% using those numerical values for the constant helix pitch angles (5°, 10°, and 15°). These expressions restricted to the fundamental frequencies are also verified with ANSYS results.     

Navier-Stokes approximation and problems of the Chapman-Enskog projection for kinetic equations

The purpose of this paper is to investigate problems of the Navier-Stokes approximation to kinetic equations in terms of the so-called Chapman-Enskog projection. One considers properties of the Chapman-Enskog projection for the Cauchy problem for moment approximations of the kinetic equation and primarily the Chapman-Enskog projection for the Boltzmann-Peierls kinetic equation. The existence of the Chapman-Enskog projection for the Cauchy problem is proved for the phase space of conservative variables (phenomena of nonlinear diffusion) and for the phase space of physical variables (the second sound projection). __________ Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 25, pp. 184–225, 2005.     

Semi‐analytical integration of the 8‐node plane element stiffness matrix using symbolic computation

The semi‐analytical integration of an 8‐node plane strain finite element stiffness matrix is presented in this work. The element is assumed to be super‐parametric, having straight sides. Before carrying out the integration, the integral expressions are classified into several groups, thus avoiding duplication of calculations. Symbolic manipulation and integration is used to obtain the basic formulae to evaluate the stiffness matrix. Then, the resulting expressions are postprocessed, optimized, and simplified in order to reduce the computation time. Maple symbolic‐manipulation software was used to generate the closed expressions and to develop the corresponding Fortran code. Comparisons between semi‐analytical integration and numerical integration were made. It was demonstrated that semi‐analytical integration required less CPU time than conventional numerical integration (using Gaussian‐Legendre quadrature) to obtain the stiffness matrix. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

Nonlinear Theory of Spectra of Thermally Stimulated Currents in Complex Crystals with Hydrogen Bonds

The nonlinear theory of thermally stimulated depolarization currents is developed. The theory explains the processes of hetero- and homocharge relaxation in complex crystals with hydrogen bonds and allows the relaxation oscillator parameters to be calculated using the quadratic approximation for the external electric field.