Theoretical Computer Science
Formal Languages and Automata VI:-algebraic systems and transducersAbstract
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.
Dynamical anthropogenic perturbations of ionosphere-magnetospheric plasmaAbstract
A simulation of dynamical anthropogenic perturbations of ionosphere-magnetospheric plasma, in particular a moving of ions O+ and H+ is considered.
Numerical modelling of mechanical factors of cranial-cerebral injury using grid-characteristic methodAbstract
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 processes in reactive powder compacting mixture such as Zr–BAbstract
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.
Processes of transfer of moisture in porous mediumAbstract
An comparative analysis for models of soil transfer of moisture on theory of moisture potential and capillary description is carried out.
The multivalue method for solving differential equations with fractional derivativesAbstract
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.
On the optimal passing of distinguished points for parallelized Pollard’s rho-methodAbstract
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.
Realtime adaptive binarization of low contrast imageAbstract
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.
Research of an self-organising effect in decision support computer systems on example of multi-agent systemsAbstract
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.
Development of mobile robot control systemAbstract
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.
Multiparametrical optimization of multimodal functionsAbstract
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.
Algebraic-geometric code is associated with a curve of genus 3 over finite field with discriminant 19Abstract
The construction of an AG-code and the process of decoding are described by the Rimann-Roch spaces.
Overview of effective point counting algorithms for Jacobian of hyperelliptic curve over finite fieldAbstract
Various algorithms for finding of the order of Jacobian, their range of use and efficiency are considered.
An analysis of NTRU-cryptosystem and its securityAbstract
The structure of NTRU cryptosystem is described. Variants of attacks on NTRU cryptosystem, particularly an attack based on lattices are considered.
The current operators of spin-polarized electrons in quantum dotsAbstract
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.
Influence of conditions of storage of initial components on quality of metal-plastic profilesAbstract
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.
Non-stationary polar wind in presence of magnetosphere convectionAbstract
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.
Simulator of electro-dynamic characteristics thrust moduleAbstract
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.
Computer modeling of magnetic systems of stationary plasma thrustersAbstract
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.
A simulation nonstationary processes shock synthesisAbstract
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.
Research of polarising structure ionospheric signals Investigation of polarization structure of ionospheric signalAbstract
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.
Normal generalized affine connection associated with the Grassman-like manifold of centred planesAbstract
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.
On almost periodicity of conversion of the BochnerAbstract
Necessary and the sufficient condition almost periodicity of conversion of the Bochner in Banach space is found.
Application of a final automatic device to SCADA problemAbstract
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.
Mathematical model of under control system describing by homogeneous Markov processAbstract
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.
Modeling of regional logistic systemAbstract
The review of the mathematical approaches to modeling regional logistic of system in the Kaliningrad area is submitted.
Application of imitating modeling administrative activity in municipal formationsAbstract
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.