Equations over free inverse monoids with idempotent variables

We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system of equations in idempotent variables over a free inverse monoid has a solution. The result is proved by a direct reduction to solve language equations with one-sided concatenation and a known complexity result by Baader and Narendran: Unification of concept terms in description logics, 2001. We also show that the problem becomes DEXPTIME hard , as soon as the quotient group of the free inverse monoid has rank at least two. Decidability for systems of typed equations over a free inverse monoid with one irreducible variable and at least one unbalanced equation is proved with the same complexity for the upper bound. Our results improve known complexity bounds by Deis, Meakin, and Senizergues: Equations in free inverse monoids, 2007. Our results also apply to larger families of equations where no decidability has been previously known.Comment: 28 pages. The conference version of this paper appeared in the proceedings of 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015. Springer LNCS 9139, pp. 173-188 (2015

The model of the value system of Russian youth based on Bayesian intellectual measurements

Purpose: of the article is to develop a model of the value system of Russian youth, which can form the basis for the formation of the orientations of young people necessary for the state, contributing to the sustainable development of the Russian Federation.   Methods: the article used both traditional methods of scientifi c analysis and methods of Bayesian intelligent measurement methodology used in conditions of uncertainty, inaccuracy and incompleteness of data characteristic of social and socio-economic systems.   Results: in the presented study, the extensible hierarchical information model of the value system of Russian youth has been developed. The methodology for processing questionnaire data has been developed, the results of which are presented on numerical and linguistic scales, which makes it possible to take into account the uncertainty of the information received. According to the results of the survey of university students of 10 subjects of the Russian Federation aged 17 to 30 years, a total of 1816 people obtained the values of factors characterizing the value world of Russian youth, which allowed her to form her portrait. Some value factors of young people of the Tula region are evaluated and analyzed.   Conclusions and Relevance: the proposed model and methodology for processing personal data allows us to create the adequate holistic portrait of Russian youth in modern economic conditions. The formation of two groups of young people characterized by unfavorable and favorable value attitudes towards Russian society has been revealed, which in the future may lead to a confl ict of social and economic interests, thereby negatively aff ecting the pace of economic growth and sustainable development of the state. In order to reduce internal tension between youth groups and the formation of values inherent in Russian society, measures at the federal and regional levels are proposed

Modeling the deformation of an elastic element of a small spacecraft in its plane during temperature shock

A basic mathematical model of the deformation of a large elastic element of a small spacecraft in its plane is constructed. Deformations are caused by a temperature shock after a small spacecraft leaves the Earth’s shadow on the solar portion of the orbit. The model is used to conduct a computational experiment with the aim of assessing perturbations acting on a small spacecraft due to temperature shock. The temperature distribution during thermal shock is described by a one-dimensional model of thermal conductivity. The classical theory of thin plates is used to determine the deformations. The results of the estimation of disturbing factors are obtained as a result of a computational experiment for a model small spacecraft. These results indicate the need to compensate for the impact of temperature shock for small technological spacecraft. The data obtained can be used in the design of small space-craft for technological purposes

Modeling the deformation of an elastic element of a small spacecraft in its plane during temperature shock

A basic mathematical model of the deformation of a large elastic element of a small spacecraft in its plane is constructed. Deformations are caused by a temperature shock after a small spacecraft leaves the Earth’s shadow on the solar portion of the orbit. The model is used to conduct a computational experiment with the aim of assessing perturbations acting on a small spacecraft due to temperature shock. The temperature distribution during thermal shock is described by a one-dimensional model of thermal conductivity. The classical theory of thin plates is used to determine the deformations. The results of the estimation of disturbing factors are obtained as a result of a computational experiment for a model small spacecraft. These results indicate the need to compensate for the impact of temperature shock for small technological spacecraft. The data obtained can be used in the design of small space-craft for technological purposes

Formation of a synthetic karyotype of tetraploid triticale

Thirteen forms of 4x triticale were analyzed using a C-banding technique. All forms contained 14 R-genome chromosomes and 69 different combinations of A-, B-, and D-genome chromosomes from wheat were identified. The following general features of the formation of the synthetic karyotype of 4x triticale were found: there was a different rate at which homoelogous groups were stabilized; there was a selection against "hétérozygotes" (AB); and there was an effect exerted by the chromosomal constitution of some homoeologous groups on the rate and direction of stabilization in other groups. The two most probable variants of the wheat genome in 4x triticale are 1B, 2B, 3A, 4A, 5A, 6A, 7B and the reverse. The selection occurred at the level of homoeologues, and the selective advantages are determined by genotype-environment interactions. The environmental factors included both natural and artificial selection pressures. The data presented here can be used for the creation of a hypothesis concerning the practical approaches in chromosomal engineering of cereals.Key words: 4x triticale, general features of karyotype formation, C-banding. </jats:p

Present tectonics of the southeast of Russia as seen from GPS observations

The present tectonics of Northeast Asia has been extensively investigated during the last 12 yr by using GPS techniques. Nevertheless, crustal velocity field of the southeast of Russia near the northeastern boundaries of the hypothesized Amurian microplate has not been defined yet. The GPS data collected between 1997 February and 2009 April at sites of the regional geodynamic network were used to estimate the recent geodynamic activity of this area. The calculated GPS velocities indicate almost internal (between network sites) and external (with respect to the Eurasian tectonic plate) stability of the investigated region. We have not found clear evidences of any notable present-day tectonic activity of the Central Sikhote-Alin Fault as a whole. This fault is the main tectonic unit that determines the geological structure of the investigated region. The obtained results speak in favour of the existence of a few separate blocks and a more sophisticated structure of the proposed Amurian microplate in comparison with an indivisible plate approach