Physics, mathematics, and technology

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.

A simulation of dynamical anthropogenic perturbations of ionosphere-magnetospheric plasma, in particular a moving of ions O+ and H+ is considered.

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.

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.

An comparative analysis for models of soil transfer of moisture on theory of moisture potential and capillary description is carried out.

A multivalue method for decision of differential equations including fractional derivatives is offered. A research of approximation and stability of the method is carried out.

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.

A problem of low contrast image binarization by the adaptive binariza-tion method and an effective realization of this method based on GPGPU com¬puting paradigm is described.

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.

A model of a high-level control system of mobile robot is described. The structure of the system is a neuron growing net. Basic concepts of neuron growing nets theory are given. Main components of the system are de-scribed.

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.

The construction of an AG-code and the process of decoding are described by the Rimann-Roch spaces.

Various algorithms for finding of the order of Jacobian, their range of use and efficiency are considered.

The structure of NTRU cryptosystem is described. Variants of attacks on NTRU cryptosystem, particularly an attack based on lattices are considered.

A detection of spin polarized tunneling current through the quantum dot in a circularly polarized magnetic field is investigated. Current operators and proposed of successive iterative procedure for elaboration those operators are introduced.

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.

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.

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.

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.

The related processes of defining factors of ultrafast physical and chemical transformations of reactive powder systems at the front of the shock puls are investigated by computer simulation methods.

Results of analysis of the polarization structure of ionospheric signals. The orthogonally circular basis for assessing the polarization characteristics is used. The Pockels effect is experimentally verified.

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.

Necessary and the sufficient condition almost periodicity of conversion of the Bochner in Banach space is found.

An example of application of the final automatic device for realization of a part of a control system of the industrial equipment on the interface RS-485 is considered.

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.

The review of the mathematical approaches to modeling regional logistic of system in the Kaliningrad area is submitted.

An analysis of areas of application of imitating modeling is carried out. A special attention is given to his use in municipal bodies of management RF.