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.     

Effects of antioxidant state on individual susceptibility to silicosis (an experimental study)

The authors proved that animals having higher natural antioxidant activity and lower intensity of lipid peroxidation are more resistant to fibrogenic effects of quartz. The peritoneal macrophages obtained from those animals show higher resistance to quartz exposure "in vitro". Parameters characterizing antioxidant system should be included into a group of indexes describing propensity to silicosis.     

Growth of diamond microcrystals by the oriented attachment mechanism at high pressure and high temperature

For the first time it has been experimentally shown that a powder of detonation nanodiamonds (DND) and a saturated acyclic hydrocarbon, mono- or dibasic alcohol, used as the reaction mixture after treatment at high pressures (5–8 GPa) and high temperatures (1300–1800°C) results in the formation of diamond single crystals up to 15 micron in size. The Raman spectrum indicates that the diamonds have a perfect of crystal structure. It has been suggested that the oriented attachment mechanism is responsible for growth of micrometer-size diamond single crystals out of DND particles with sizes of about 5 nm under these technological conditions.     

Relaxation Losses of Magnetic Excitations in Nanoscale Films of Yttrium Iron Garnet

Relaxation losses of magnetic excitations in nanoscale films of Y₃Fe₅O₁₂ (YIG) were studied. The films were obtained by laser molecular-beam epitaxy (LMBE). Ferromagnetic resonance linewidth ΔH was found to increase sharply as the temperature decreased from 300 to 77 K. The observed growth of ΔH is explained by typical relaxation processes caused by the presence of Fe²⁺ ions. This effect is not observed in thick films of YIG grown by liquid-phase epitaxy and containing Pb⁴⁺ ions, and, hence, we have concluded that the presence of acceptor ions in YIG films obtained by LMBE will facilitate decreasing the concentration of Fe²⁺ ions and, a result, diminishing relaxation losses.     

Are protein folds atypical?

Protein structures are a very special class among all possible structures. It has been suggested that a "designability principle" plays a crucial role in nature's selection of protein sequences and structures. Here, we provide a theoretical base for such a selection principle, using a simple model of protein folding based on hydrophobic interactions. A structure is reduced to a string of 0s and 1s, which represent the surface and core sites, respectively, as the backbone is traced. Each structure is therefore associated with one point in a high dimensional space. Sequences are represented by strings of their hydrophobicities and thus can be mapped into the same space. A sequence that lies closer to a particular structure in this space than to any other structures will have that structure as its ground state. Atypical structures, namely those far away from other structures in the high dimensional space, have more sequences that fold into them and are thermodynamically more stable. We argue that the most common folds of proteins are the most atypical in the space of possible structures.     

Laser with rapid tuning of the spectrum shape

We have studied a laser system with quick electronic tuning of the spectrum shape and continuous distribution. The proposed method is based on separate control of phase and amplitude spatial distributions of resonator transmittance. Evolution of the spectral function of the diffractively coupled dispersive resonators and the model for the formation of the resonator with the spectral function given by its moments are studied theoretically. The synthesis of continuous spectra is investigated experimentally in the laser with a novel control element including a spatial acousto-optic modulator and a tunable lens telescope.     

Percutaneous effects of iodine inhibit the development of experimental silicosis

Experiments on white rats proved that the silicotic pulmonary changes slowed with the tails periodically immersed into iodine solution. Those pulmonary changes were due to inhalation of quartzite dust and especially due to intratracheal administration of standardized quartz dust DQ12. Influenced by inhalation of dust containing quartz, the rats demonstrated characteristic alterations in cytologic features of bronchial and alveolar lavage water. The "iodine baths" also declined those alterations, that may prove higher resistance of pulmonary macrophages to cytotoxic effects of quartz. This hypothesis finds a support in experiments with culture of rat peritoneal macrophages. If incubated in a medium with low iodine concentrations and subsequently washed off, the macrophages demonstrate lower incidence of cytotoxic effects due to the next incubation with particles of DQ12. The macrophage's higher resistance against cytotoxic agents is believed to result directly in antisilicotic effect of iodine, so "iodine baths" could be recommended for pathogenetic therapy and medical prophylaxis of silicosis.