IKBFU's Vestnik

Physics, mathematics, and technology

Preface

Theoretical Computer Science

Formal Languages and Automata VI:-algebraic systems and transducers

Abstract

This is the sixth 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 andxed point theory. The sixth paper of this series deals with the basic results in the theory of !-algebraic systems over quemirings generalizing the classical context-free grammars generating languages overnite and innite words. The presentation of these results is based on continuous starsemiring-omegasemimodule pairs. We dene !-algebraic systems and characterize their solutions
of order k by behaviors of algebraic nite automata. These solutions are then set in correspondence to !-context-free languages. Then we introduce rational and algebraic transducers, and abstract !-families of power series over quemirings and prove that rational and algebraic power series of nite and innite words constitute such abstract !-families of power series.

Download an article

Mathematical Modeling

Numerical modelling of mechanical factors of cranial-cerebral injury using grid-characteristic method

Abstract

Some results of numerical modelling of mechanical factors of cranial-cerebral injury caused be percussive stress are described. The usage of grid-characteristic method on unstructured grid is discussed. The authors intro-duce some mechanical-mathematical models of brain teguments and provide results obtained using different models.

Download an article

A simulation of processes in reactive powder compacting mixture such as Zr–B

Abstract

A simulation of physical and chemical processes in reactive powder compacting materials such as Zr–B is considered. For many parametric studies related to physical and chemical processes an algorithm for distributed computations on a multiprocessor computer cluster is elaborated.

Download an article

Computing Methods

On the optimal passing of distinguished points for parallelized Pollard’s rho-method

Abstract

Problems of development and realization of an efficient parallelized algorithm to solve elliptic curve discrete logarithm problem (ECDLP) based on Pollard’s rho-method in the computational model SPMD using technology of message passing are considered. It is researched how many central processes are needed and what proportion of distinguished points is needed to be set to optimize an expected working time of this algorithm under the constraints of available memory; analyses the testing results of the developed program.

Download an article

Artificial Intelligence

Research of an self-organising effect in decision support computer systems on example of multi-agent systems

Abstract

A creation of decision support self-organising intellectual computer system based on the analysis of an interaction between participants on example of multi-agent system is considered. The universal structure of system implementing proposed method is presented. The results of testing different types of architectures for probability of arising of the synergetic effect and estimation of its impact on the quality of solutions to complex problems are given.

Download an article

Multiparametrical optimization of multimodal functions

Abstract

The course of development of a software for multiparametrical optimization on the basis of genetic algorithms is described. A brief description of a subject domain is given and a feature of the problem is explained. The basic development cycles and achieved on a today level of execution and structure of the program are specified. Examples of accounts are resulted.

Download an article

Applied Algebra

Physics

Influence of conditions of storage of initial components on quality of metal-plastic profiles

Abstract

An unfluence of duration and conditions of storage on quality of the initial components used by manufacture of metal-plastic profiles is investigated. It is shown, that the storage period and humidity of air render essential influences on physic-technical characteristics of initial materials and on quality of the products made of them.

Download an article

Non-stationary polar wind in presence of magnetosphere convection

Abstract

Time-depended hydrodynamic model TUBE 7 is used for modeling of field-aligned motions and temperature of polar ionosphere ions taking into account magnetosphere convection. It was shown tube geometry changing have a great influence on basic parameters of polar magnetosphere thermal plasma.

Download an article

Simulator of electro-dynamic characteristics thrust module

Abstract

A variant of designing simulator of SPT electro-dynamic and static forces is considered. The structural diagram of the simulator, which is being modeled, including the description of the preliminary purpose of its functional units is presented. The methodical issues of evaluation of accuracy of dynamic characteristics reproduction by the SPT simulator are also considered.

Download an article

Computer modeling of magnetic systems of stationary plasma thrusters

Abstract

Method of making calculations of magnetic field in application programs package NISA is presented, which makes possible to determine its parameters and topology with acceptable accuracy. Calculations allow to optimize construction of thruster’s magnetic systems, to determine electrical and life’s characteristics, anode and cathodes positions before fire tests.

Download an article

Other papers

Normal generalized affine connection associated with the Grassman-like manifold of centred planes

Abstract

In projective space a Grassman-like manifold of centred planes is considered. The normal affine connection, associated with the manifold, is set in generalized fibering. Field of the affine connection object defines torsion and curvature tensors contained one elementary and one simple subtensor every. A canonical case of normal generalized affine connection is considered.

Download an article

Mathematical model of under control system describing by homogeneous Markov process

Abstract

Complex systems are investigated by partitioning of set of conditions into subsets of under control and not under control conditions. Probabilities of the events connected with stay of casual process in these sets, and probabilities of transition from one subset to another are considered.

Download an article

New books