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.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

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.     

Black-hole horizon and metric singularity at the brane separating two sliding superfluids

An analogue of a black hole can be realized in the low-temperature laboratory. The horizon can be constructed for “relativistic” ripplons (surface waves) living on the brane. The brane is represented by the interface between two superfluid liquids, ³He-A and ³He-B, sliding along each other without friction. A similar experimental arrangement was recently used for the observation and investigation of the Kelvin-Helmholtz type of instability in superfluids [1]. The shear-flow instability in superfluids is characterized by two critical velocities. The lowest threshold measured in recent experiments [1] corresponds to the appearance of the ergoregion for ripplons. In the modified geometry, this will give rise to the black-hole event horizon in the effective metric experienced by ripplons. In the region behind the horizon, the brane vacuum is unstable due to interaction with the higher-dimensional world of bulk superfluids. The time of the development of instability can be made very long at low temperature. This will allow us to reach and investigate the second critical velocity—the proper Kelvin-Helmholtz instability threshold. The latter corresponds to the singularity inside the black hole, where the determinant of the effective metric becomes infinite.     

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.     

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.     

Conformational analysis of dipeptide‐derived polyisocyanides

The conformational properties of polymers derived from isocyanodipeptides have been investigated with a combination of model calculations, X‐ray diffraction, and circular dichroism spectroscopy. Depending on the configuration of the side chains, defined arrays of hydrogen bonds along the polymeric backbone are formed. This leads to a well‐defined conformation as, for example, expressed in the formation of lyotropic liquid‐crystalline phases and increased helical stability. Upon the disruption of the hydrogen bonds by a strong acid, a less well‐defined macromolecular conformation is observed. © 2003 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 41: 1725–1736, 2003     

Nonequilibrium Ionization by Vibrationally Excited Molecules in Supersonic Flows

The results of experimental investigations on thermal nonequilibrium ionization in CO₂: N₂: He mixtures are presented. Measurements of electron density, n_e, in vibrationally excited nitrogen were made in a supersonic flow with different CO₂ contents as well as in a CO₂: N₂: He = 1 : 5 : 4 mixture laser gas. The mixtures were heated in a shock tube and expanded through a supersonic nozzle. Furthermore, supersonic mixing of N₂ and CO₂ + He was used in some experiments. The measured values of n_e in the plenum chamber and in the supersonic nozzle are reported, and the processes responsible for nonequilibrium ionization in a laser-active medium are discussed.     

Rate constants for the gas‐phase reaction of CF3CF2CF2CF2CF2CHF2 with OH radicals at 250–430 K

The rate constants k₁ for the reaction of CF₃CF₂CF₂CF₂CF₂CHF₂ with OH radicals were determined by using both absolute and relative rate methods. The absolute rate constants were measured at 250–430 K using the flash photolysis–laser‐induced fluorescence (FP‐LIF) technique and the laser photolysis–laser‐induced fluorescence (LP‐LIF) technique to monitor the OH radical concentration. The relative rate constants were measured at 253–328 K in an 11.5‐dm³ reaction chamber with either CHF₂Cl or CH₂FCF₃ as a reference compound. OH radicals were produced by UV photolysis of an O₃–H₂O–He mixture at an initial pressure of 200 Torr. Ozone was continuously introduced into the reaction chamber during the UV irradiation. The k₁ (298 K) values determined by the absolute method were (1.69 ± 0.07) × 10^?15 cm³ molecule^?1 s^?1 (FP‐LIF method) and (1.72 ± 0.07) × 10^?15 cm³ molecule^?1 s^?1 (LP‐LIF method), whereas the K₁ (298 K) values determined by the relative method were (1.87 ± 0.11) × 10^?15 cm³ molecule^?1 s^?1 (CHF₂Cl reference) and (2.12 ± 0.11) × 10^?15 cm³ molecule^?1 s^?1 (CH₂FCF₃ reference). These data are in agreement with each other within the estimated experimental uncertainties. The Arrhenius rate constant determined from the kinetic data was K₁ = (4.71 ± 0.94) × 10^?13 exp[?(1630 ± 80)/T] cm³ molecule^?1 s^?1. Using kinetic data for the reaction of tropospheric CH₃CCl₃ with OH radicals [k₁ (272 K) = 6.0 × 10^?15 cm³ molecule^?1 s^?1, tropospheric lifetime of CH₃CCl₃ = 6.0 years], we estimated the tropospheric lifetime of CF₃CF₂CF₂CF₂CF₂CHF₂ through reaction with OH radicals to be 31 years. © 2003 Wiley Periodicals, Inc. Int J Chem Kinet 36: 26–33, 2004