Physics, mathematics, and technology

This is the seventh paper of a series of papers that will give a survey on several topics on formal languages and automata by using semirings, formal power series, matrices and xed point theory. The seventh paper of this series deals with tree (series) automata and systems of equations over tree. The main topics of the paper are the following. 1. Tree automata (resp. nite, polynomial tree automata), whose behaviors are tree series over a semiring, and systems of equations (resp. nite, polynomial systems of equations), whose least solutions are tuples of tree series over a semiring, are equivalent. 2. A Kleene result: the class of recognizable tree series is characterized by rational tree series expressions.

Check of working capacity of multidimensional non-stationary model of F-region of ionosphere on the basis of comparison of the given modeling calculations and the data received from empirical model IRI is spent.

Features of physical and chemical conversions in the reacting powder system NiO-Al were investigated by computer simulation methods.. Multivariability of the synthesis of nickel aluminides in powder systems with varying degrees of concentration inhomogeneity is taken into account. The estimates of the state parameters of reacting system at all stages of physical and chemical transformations was obtained.

A plenty of proceedings of various disciplines fundamental and applied science is devoted to studying of vertebral damage. The special role in studying this pathology is played with methods of mathematical modelling since allow to predict development of adverse deformations of a backbone and to optimize methods of elimination of these damages. Using mathematical model three-vertebra a complex the algorithm of surgical treatment of typical spinal damages is developed.

The results of numerical experiments of the dynamic ionospheric bubbles in the equatorial F-region are described. Generation bubbles by gravitational waves is investigated. A trigger mechanism of generation bubbles in F-layer by clouds in E-layer is studied. Influences of a conductivity of the E-layer on dynamics of bubbles are considered. It is shown that in the bubbles the molecular ions NO+ effectively transported to the higher altitude. The possibility of the formation of isolated bubbles at the altitude above the maximum of F-layer is founded. Parameters of thermal mode of three-dimensional bubbles are presented. The morphology of a multi-bubble system are researched.

Quantitative mechanisms of development and functioning of ecosystems, which can be decrypted by the constructing models, which are the integrated method to represent, both evolution this systems, and relations between them are determined.

Nonlinear mathematical modeling of physical processes in heterogeneous metasystems with bubble or a solid-state filler allows to receive the parities convenient for numerical calculations and comparison of theoretical results with the data of experiments. For creation of almost effective models certain offers concerning the top and bottom borders of the sizes of a filler, their distribution and concentration, the dipolar moments, character and results of interpartial interaction are formulated.

The algorithm of the numerical realization of a fundamental solution of a Cauchy problem for the one-dimensional Schrodinger equation with polynomial potentials is described. The stationary Schrodinger equation for a proton in the double potential well is solved by using Ritz variation method. The Green’s function is formed on a discrete spectrum of these solutions and after that the fundamental solution of the non-stationary Schrodinger equation is numerically calculated and applied to compounds with intramolecular hydrogen bonds.

An algorithm for building a base multitude of solutions for the university timetabling problem is proposed. An algorithm allowed to get at least one correct timetable if such exists. Computational complexity is reduced with using a special set of heuristics and timetable data presentation model.

For solving systems of linear equations with block tridiagonal matrices there is presenting a variant of multi-grid method with semi-coarse. There are giving the results of numerical experiments, that show high efficiency of presented method.

The article has the algorithm of finding units of cubic irrationalities fields based on iterative process.

Evolution operator of a combined system consisting of the measured qubit and the auxiliary system is derived. Conditions on the choice of parameters in the formula for the reconstruction of the measured qubit states are obtained. The evolution operator of the combined system leads to the probability operator (or effect) with a structure that corresponds to unsharp measurements.

Features of work of the asymmetrical vibrator are considered. The analysis of various operating conditions is made. Calculation of optimal model of the aerial is made.

On the basis of the analysis of principles of duplex system, the model of radio system with reverse connect is obtained. It provide the work of ten duplex channels on one frequency at one antenna in programmable regime of radio-station frequency change.

The concept of the generalized arithmetical progression of the power k  and difference d is given. For k  1,7 formulas of nth member of such progressions and for k  1, 2, 3 formulas for the sum of the first n its members are obtained. Progressions ( ) , k p d M with the first member prime number p and difference being a positive even number d  2m (m  ) are considered. Such progressions define subsets ( )
, , k h p d M of h prime numbers (h  ). For k  20, p  95467, d  108 all subsets (1) h,p,d M with h  15 prime numbers are obtained. Some properties that connect the power k of generalized arithmetical progression and its difference d for 2  k  60, p  1014, h  5 are established.

The short outline of the establishment and development of the graphs’ theory and the general theory of systems is stated. It was shown that graphs are the natural and structural models of systems.

Authors offer technology of virtual devices as a resource for development of a physical practical work.

Results of researches of influence of various forms of cores of external sources of magnetising force of magnetic systems of electric propulsion on azimuthal evenness of magnetic field distribution in an operating interpolar interval are presented.

Availability of information resources and client-side performance issues are reviewed. There is a generic approach to resolve website availability issues related to client side.

The frequency of usage of different instructions and address modes in software for Intel architecture is examined.