Corundum hydraulically hardening rammed compounds with a reduced grain size

Conclusions The production and use of rammed hydraulically hardening corundum compounds with different maximum grain sizes (from 1 to 7 mm) permits intermediate repairs of the linings of ladles of a steel ladle treatment unit, increasing their life.It is possible to determine the quantity of binder for obtaining the maximum strength by calculation by use of the coefficient of optimization, which is the portion of binder required per unit of specific surface of the mixture of filler grains. For the corundum hydraulically hardening compounds the optimum value of this coefficient is 0.8–1.2.Translated from Ogneupory, No. 2, pp. 40–43, February, 1987.     

Secretion and secretory tissues of the anal sac of the mink,Mustela vison

The sulfur-rich anal sac secretion of the mink,Mustela vison, consisted of immiscible lipid (1.7% sulfur) and aqueous (0.7% sulfur) phases. Light and electron microscopy revealed secretory tissue of two types, sebaceous (holocrine) and apocrine. A major input of sulfur into the sac appeared to be associated with glycoprotein granules present in the apical portions of the apocrine cells as X-ray energy probe microanalysis showed these to contain relatively high levels of sulfur. The lipid of the secretion, presumed to be largely of sebaceous origin, consisted mainly of wax monoesters, while the aqueous phase contained volatile fatty acids, ammonia, and amines, including putrescine (1,4-diaminobutane). The identity of the major headspace volatiles was confirmed by NMR, MS, and Raney nickel desulfuration as being 2,2-dimethylthiacyclobutane and 3,3-dimethyl-1, 2-dithiacyclopentane. These compounds were not detected by GC-MS in the headspace volatiles of the anal sac secretions of eight other mustelid species examined. Other sulfur compounds detected included isomeric dimethylthiacyclobutanes, a number of disulfides and 3-methyl-but-3-enyl methyl sulfide (isopentenyl methyl sulfide). The significance of these findings is discussed.     

Fuzzy logical control based on optical information technologies

This paper is concerned with one problem in creating intellectual control systems: methods and design tools of fuzzy logical devices for building modern efficient and reliable control systems in poorly formalized problems and ill-structured problem domains. Flaws of the available microprocessor devices for fuzzy information processing are indicated and alternative design principles of fuzzy logic control systems based on high-speed spatially distributed wave guide optical structures are considered based on an example of an opto-electronic dephaser. High-speed spatially distributed wave guide optical structures are shown as being advantageous for solving the scientific and engineering problems for developing new design methods of fuzzy logical devices with enhanced technical characteristics for implementation of fuzzy logical control.     

Investigation of Taimyrsk graphites for producing periclase-carbon ladle refractories

Conclusions The investigations showed that Taimyrsk graphite corresponds in chemical composition to foundry and crucible graphite.The content of crystalline graphite equals 13.0–26.3%. The characteristics of periclase carbon goods based on foundry and Taimyrsk graphites correspond to the demands placed on ladle refractories. The wear factors of these products in the slag belt of the lining of 350-tonne steel ladles are on practically the same level.Taimyrsk graphites may be used for the production of periclase-carbon ladle refractories in place of crucible or foundry graphite.L. N. Kurlyandskaya (Urals Geology Planning Association) and L. Ya. Osipova (All-Union Institute of Refractories) took part in this research.Translated from Ogneupory, No. 1, pp. 15–17, January, 1991.     

Construction and verification of PLC-programs by LTL-specification

An approach to construction and verification of PLC-programs for discrete problems is proposed. For the specification of program behavior we use the linear-time temporal logic LTL. Programming is carried out in the ST-language according to an LTL-specification. The correctness analysis of an LTL-specification is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming and verification of PLC-programs is shown by an example. For a discrete problem we give a ST-program, its LTL-specification and an SMV-model. The purpose of the article is to describe an approach to programming PLC, which would provide the possibility of PLC-program correctness analysis by the model checking method. Under the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas. The first LTL-formula describes situations that increase the value of the corresponding variable, the second LTL-formula specifies conditions leading to a decrease of the variable value. The LTL-formulas (used for specification of the corresponding variable behavior) are constructive in the sense that they construct the PLC-program, which satisfies temporal properties expressed by these formulas. Thus, the programming of PLC is reduced to the construction of LTL-specification of the behavior of each program variable. In addition, an SMV-model of a PLC-program is constructed according to LTL-specification. Then, the SMV-model is analysed by the symbolic model checking tool Cadence SMV.     

Suboptimal robust synthesis for MIMO plant under coprime factor perturbations

Suboptimal robust synthesis for MIMO nominal system under coprime factor perturbations is considered in classical and non-classical statements. In the classical statement, weights of perturbations and upper bound on magnitude bounded exogenous disturbance are assumed to be known to controller designer. Suboptimal synthesis within ε tolerance is reduced to the solution of log₂(1/ε) standard mixed sensitivity problems of ℓ₁ optimization. In the non-classical statement, the upper bounds on perturbations and exogenous disturbance are to be estimated from measurement data and suboptimal synthesis is reduced to the solution of 1/ε mixed sensitivity problems.     

Adaptive suboptimal robust control of the first-order plant

For a linear first-order plant, consideration was given to minimization of the deviation of its output from the specified value in an uncertain environment. Both the parameters of the plant itself and the upper bounds of the external disturbances and operator perturbations in output and control were assumed to be unknown. The suboptimal adaptive control was constructed on the basis of an approximate solution of the problem of optimal identification from the measurement data where the performance of the problem of control was used as an identification criterion.