The current aspects of seroepidemiological research in combined foci of leishmaniasis

The accuracies of ultrasonography (US) and computed tomography (CT) for determining tumor invasion of the chest wall in lung cancer were compared in a retrospective study of 120 patients. US findings were evaluated preoperatively according to the following criteria: disruption of pleura, extension through the chest wall, and fixation of tumor during breathing. CT findings were evaluated with the following criteria: obtuse angle of the mass to the pleural surface, more than 3 cm contact with the pleural surface, and visible pleural thickening associated with the mass. Chest wall invasion was judged as positive when at least two of the three findings were present with either technique. Nineteen of the 120 patients had chest wall invasion by tumor. The sensitivity of US was 100% and the specificity was 98%. The sensitivity of CT was 68% and the specificity was 66%. The accuracy of US and CT were 98% and 67%, respectively.     

Effect of plastic deformation on the electrical resistivity of metals

Results from measurements of the electrical resistivity of copper and aluminum conductors under the action of a plane shock wave, and also analysis of the relationship between the electrical resistivity and the hydrostatic pressure and of the theoretical temperature dependence of the electrical resistivity, has made it possible to elucidate the role of defect formation due to the plastic deformation of the metal and to determine its contribution to the increase in electrical resisitivity of the metal. It has been established that the concentration of defects depends on the pressure gradient in a plane shock wave.Institute of Dynamics of Geospheres, Russian Academy of Science, Moscow 117334. Translated from Fizika Goreniya i Vzryva, Vol. 31, No. 3, pp. 47–53, May–June, 1995.     

Redox potential of a glass mass when using off-grade raw materials

The redox conditions for glass making are investigated on a working glass-melting furnace using molding sand. Data obtained from instrumental measurements of the ROP of the glass mass and reasons for destabilization of the technological process are presented. __________ Translated from Steklo i Keramika, No. 6, pp. 6–8, June, 2007.     

Observation of magneto-thermal instabilities in (YxTm1−x)Ba2Cu3O7 single crystals in pulsed magnetic field magnetization measurements

The understanding of flux jumps in the high temperature superconductors is of importance since the occurrence of these jumps may limit the perspectives of the practical use of these materials. In this work we present the experimental study of the role of heavy ion irradiation in stabilizing the HTSC against flux jumps by comparing un-irradiated and 7.5 · 10¹⁰ Kr-ion/cm² irradiated (Y_xTm_1–x)Ba₂Cu₃O₇ single crystals. Using pulsed field magnetization measurements, we have applied broad range of field sweep rates from 0.1T/s up to 1800 T/s to investigate the behavior of the flux jumps. The observed flux jumps, which may be attributed to thermal instabilities, are incomplete and have different amplitudes. The flux jumps strongly depend on the magnetic field, on the magneto-thermal history of the sample, on the magnetic field sweep rate, on the critical current density j_c, on the temperature and on the thermal contact with the bath in which the sample is immersed.     

Tests in an MR reactor of experimental fuel elements of the VVÉR-1000 reactor

Conclusions In an MR reactor performance tests of 16 fuel assemblies, with elements having essentially the same structure as standard VVÉR-100 fuel elements, were carried out. Tests of five more fuel assemblies are continuing. Of the 16 assemblies, 13 were studied in a hot laboratory.The tests in the MR, carried out at high loads and with a large number of transition processes, as well as the postreactor studies, indicated that fuel elements of the specified design (with initial helium pressures of 1.96–2.45 MPa) have a high reliability. None of the elements of the fuel assemblies studied malfunctioned due to design defects or faults in their fabrication. During the tests the jackets were subject to a little oxidation and hydrogenation (zirconium-oxide film<3 m thick, hydrogen content less than 0.008% by mass), and their plasticity remained high (the relative elongation at the working temperature remained at the 20% level).Translated from Atomnaya Énergiya, Vol. 62, No. 5, pp. 312–317, May, 1987.     

Mullitization of high-alumina refractory raw material

Conclusions The stability of the phase composition of sintered material, essential for production processes, is achieved by firing at 1600° for a brief period.Materials made of Novaya Selitsa kaolin, and particularly Arkalyk rock, of which very intensive mullitization is typical, are exceptionally valuable argillaceous components for charges for making high-alumina refractories by the present system of technology (on the basis of charges composed of refractory clays and commercial alumina).     

Stability investigation of the sign representation of images

The stability notion of the sign representation of images is introduced. Group properties of the invariant transformations on sign representations of images are investigated. Analytical estimates are obtained of the stability measure of the sign representation of images noise-affected by the normal additive noise. The relation is set up between the stability of the complete sign representation and the stability of the window sign representation. The results of the statistical modeling that confirm the validity of theoretical estimates are presented.     

A generic complete dynamic logic for reasoning about purity and effects

For a number of programming languages, among them Eiffel, C, Java, and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are typically formulated using potentially effectful programs. In order to ensure that these pre- and postconditions behave like logical formulae (that is, enjoy some kind of referential transparency), a notion of purity is needed. Here, we introduce a generic framework for reasoning about purity and effects. Effects are modelled abstractly and axiomatically, using Moggi’s idea of encapsulation of effects as monads. We introduce a dynamic logic (from which, as usual, a Hoare logic can be derived) whose logical formulae are pure programs in a strong sense. We formulate a set of proof rules for this logic, and prove it to be complete with respect to a categorical semantics. Using dynamic logic, we then develop a relaxed notion of purity which allows for observationally neutral effects such writing on newly allocated memory.