IKBFU's Vestnik

Physics, mathematics, and technology

Theoretical Computer Science

Formal languages and automata VII: Formal tree series (Part II)

Abstract

This is the eighth 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. Pushdown tree automata, whose behaviors are tree series over a semiring, and algebraic tree systems are equivalent; moreover, the class of algebraic tree series is characterized by algebraic tree series expressions (a Kleene result). 2. The class of recognizable tree series is closed under nondeterðministic simple recognizable tree series transductions.3. The families of recognizable tree series and of algebraic tree series are full abstract families of tree series (full AFTs). 4. The macro power series, a generalization of the indexed languages, and the algebraic power series are exactly the yields of algebraic tree series and of recognizable tree series, respectively; there is a Kleene result for macro power series; the yield of a full AFT is a full abstract family of power series.

Download an article

Mathematical Modeling

Simulation of ion distribution near charged satellite by molecular dynamics simulation method. 2D approximation

Abstract

Mathematical model of interaction between low density thermal plasma with charged simple shape space probe was considered. Molecular dynamics simulation method was used. Modeling result shows a positive cloud of protons before the satellite and ion shadow behind it.

Download an article

Algorithms and Computing Methods

Cyclic version of “ – ” iterative method. Estimations of speed of algorithm convergence

Abstract

Differences methods of the approximate solution of the two-dimensional equation of ions diffusion with the mixed derivatives and the first derivatives of a divergent look are considered. Test calculations on a modeling task with the known analytical decision are carried out. Operability of algorithm is shown and the estimation of speed of its convergence is given.

Download an article

Artificial Intelligence

The decision of problems of designing on the basis of hybrid genetic algorithms

Abstract

The hybrid algorithm of the decision of problems of a design of elements of digital techniques is presented. Statement of a considered optimizing problem is formulated. The description developed heuristics, operators and search strategy is resulted. The generalized schemes of search of optimum decisions are given. The basic results of computing experiments are resulted

Download an article

Some results of simulation of driving-robot control system

Abstract

Concept of mobile automotive object control system, based on skills extraction
and fuzzy logic is described. Virtual model of vehicle, created in specialized simulation environment is described. Parking phase and achieved results are considered.

Download an article

Example of computer vision system based on neural network classificator

Abstract

The method of automatic analysis of images made with microscope for detection and classification of blood cells is proposed. The algorithm of cell detection on the image is described. Deep neural network with logistic regression layer as an output layer is used to classify images of blood cells.

Download an article

Physics and radiophysics

Multiple RuO2-chip thermometer for applications in 0,02—30 K range

Abstract

A multiple RuO2-chip thermometer based on commercial Vishay RCW575 chips for applications in 0,02—30 K range is proposed. Possible design and packaging of the sensor are suggested. Thermometer saturation and thermal resistance of our sensor are measured and compared with a single-chip configuration and commercial Lakeshore ROX-102A thermometer.

Download an article

Effect of crystallite size of powder on NQR relaxation time

Abstract

The experimental study of the influence of the effect size of the crystallites in the powders on the form and the width of the 35Cl NQR lines in the potassium chlorate, as well as the spin-spin and spin-lattice relaxation is described. It is established that the width of the NQR lines in the direct method of detection is increased, and the relaxation times are reduced with a decrease in the average crystallite size, which is due, mainly, due the process of spin-spin diffusion. To obtain the distribution of relaxation times used a multi-exponential inversion of the recessions of the longitudinal and transverse components of the nuclear magnetization.

Download an article

Other papers

Normalizations of hyperband

Abstract

Mission and proof of existence theorem for hyperband m n SH  A which carrier conjugated system (; * ) of planar elements are examined: the tangent subbundle of (; * ) -planes (-subbundle) and the tangent subbundle of lines (* -subbundle). Internal beams of normalizations of hyperband m SH and its tangent subbundles in the second-order differential neighborhood are constructed.

Download an article

Implementation persistent scatterers interferometry in MATLAB environment on a high performance computer cluster

Abstract

The features of the method implementation Persistent Scatterers Interferometry in MATLAB environment on a high performance computer cluster are considered. The process and results of interferometric processing of multi-time measurements made by radar ALOS/PALSAR in 2007—2011 is described. For processing software package developed used high-precision evaluation of the displacement of man-made objects. The technology publication of displacement velocity of terrestrial surface on the basis of GeoServer and Google Maps services is offered.

Download an article

Numerical recovering an absorption coefficient by BC-method

Abstract

A numerical algorithm for solving inverse dynamical problem recovering an absorption by the boundary control method is developed. The absorption coefficient is determined independently of a speed of sound, which can be an arbitrary smooth positive function. The results of numerical experiments are represented.

Download an article

Reviews