IKBFU's Vestnik

Physics, mathematics, and technology

Preface

Theoretical Computer Science

Formal Languages and Automata V: Conway Semiring-Semimodule Pairs and Finite Automata

Abstract

This is the fth 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 fth paper of this series deals with the basic results in the theory of nite automata over quemirings generalizing the classical nite automata accepting nite and innite words. The presentation of these results is based on semiring-semimodule pairs, especially on Conway semiring-semimodule pairs. A Conway semiring-semimodule pair is a pair consisting of a
Conway semiring and a semimodule that satises the sum-omega equation and the product-omega equation. We dene these Conway
semiring-semimodule pairs and state some of their important properties. Then we introduce nite automata over quemirings and prove a Kleene Theorem. Furthermore, we introduce linear systems over quemirings as a generalization of regular grammars with nite and innite derivations, and connect certain solutions of these linear systems with the behavior of nite automata over quemirings.

Download an article

Mathematical Modeling

Optimization of Repeatability Injured Backbone with the Help of Rigid Laminas on the Basis of a Mathematical Model of a Three-Vertebra System

Abstract

For backbone complex of the human’s spine with alternative of a cuneiform strain mean backbone the stabilizing rigid lamina (for front and
back abutment complexes) holds optimization of stiffness of stabilizing of a lamina Ссt1 on an objective function of offset 2 backbone, at its sufficient mobility.

Download an article

Modeling of Wave Processes in High Speed Impacts with Smoothed Particle Hydrodynamics Method

Abstract

Concerned issues are related to the modeling of high speed impact with different variants of the smoothed particle hydrodynamics method and applying this method to the solution of problems of mechanics of the deformed solid body.Results of solution of the problem of disintegration of discontinuity were obtained and comparative analysis was performed.

Download an article

Modeling of H Thermal Ions Measurements onboard Charged Satellite Taking into Account Anisotropy of Temperature

Abstract

The mass-spectrometer model of thermal ionospheric ions measurements was considered in case of charged satellite. Hyperboloid device characteristics onboard Interball-2 satellite was used for mathematical model of measurements. It was shown that angular ion distribution function changed due to temperature anisotropy and it can be interprets by different ways. Positive satellite potential increases these effects.

Download an article

Computing Methods

One Variant of Semi-Coarsening Multigrid Method

Abstract

A variant of multigrid method for solving large systems of linear equations with block tridiagonal matrices that have higher robustness properties is presented.In this method the construction of coarse grid correction operators is based on approximation of the Schur complement. Numerical experiments show high efficiency of presented methods.

Download an article

Artificial Intelligence

The Theoretic Basis of Decision a Problem of Operational Industrial Planning with Taking into Account Coordination

Abstract

A problem of operational industrial planning at а machine-building enterprise with custom-made, small-scale character of manufacture is considered, and an approach to decision of similar problems on the basis of methodology of functional hybrid intellectual systems with coordination is described.

Download an article

Other papers

Mathematical Model of Intramolecular Tautomeric Transformation and the Processes of a Relaxation of the Proton

Abstract

A quantum statistical model of intramolecular tautomeric transformation is offered, accounts for the vibration of a proton as a result of its interaction with the surrounding medium simulated by the quantized field of radiation. Effective adiabatic potentials of the proton are approximated by the parabolas of various curvatures. The estimation for the vibrational relaxation time and the formula for the constant of tautomeric equilibrium.

Download an article

About Coinciding and Interpretation of Connections Induced on an Family of Centered Planes

Abstract

Family of centered planes in projective space is investigated. It is shown that composite clothing of this family induces 6 bunches of group connections. In each of this bunches one connection is allocated. Their conditions of coinciding are found. Geometric interpretation each of them is done.

Download an article

Reviews