Published in Moscow University Computational Mathematics and Cybernetics
AbstractLinear controlled multistep processes are considered with an additive quality functional under a phase constraint and a terminal condition. These processes are of interest for control theory and its applications. An existence theorem for optimum control is proved for the controlled processes under consideration. In analogy with backward con...
Published in Moscow University Computational Mathematics and Cybernetics
AbstractNumerical modeling is performed of movement control processes in higher regions of the human brain during the planning and execution of voluntary tracking movements, based on the internal model hypothesis. Such measures as a Kalman filter, linear–quadratic estimator, and linear–quadratic regulator are used. A way of determining moments of t...
Published in Moscow University Computational Mathematics and Cybernetics
AbstractThe motion of a group of people is modeled for an emergency where it is necessary to evacuate people from a building of complicated structure as quickly as possible without stampede. To build the model, it is important to determine which information is available for a current analysis of the situation and which parameters can be used as con...
Published in Moscow University Computational Mathematics and Cybernetics
AbstractThis paper solves the phase trajectory approximation problem. Quasiperiodic time series form its trajectory in high dimensional space. The trajectory is represented in the spherical coordinate system. To approximate the trajectory the authors use a directional regression technique. It finds space of minimal dimension with the phase trajecto...
Published in Moscow University Computational Mathematics and Cybernetics
AbstractProcedures for multiple hypothesis testing are widely used in analyzing data arrays. Transformation is done first, producing an economic (sparse) array representation. Data is then processed by testing hypotheses of data significance and using inverse transformation. Noise suppression and/or data compression are the main goals of this appro...
Published in Moscow University Computational Mathematics and Cybernetics
AbstractA finite computational process using arithmetic operations only is called a rational algorithm. Presently, no rational algorithm is available that is able to check the congruence of arbitrary complex matrices A and B. In this paper, we propose a rational algorithm of verification that works under less stringent conditions than all the condi...
Published in Moscow University Computational Mathematics and Cybernetics
AbstractThe problem of testing real-time constraints for modular computational systems (MCSes) is exemplified by systems of integrated modular avionics. The requirements to the software for testing these constraints are formulated. An approach to modeling MCSes based on the mathematical apparatus of timed automata with suspended timers is described...
Published in Moscow University Computational Mathematics and Cybernetics
AbstractAn investigation is performed of individual behavioral characteristics of text input that are based on the keystroke dynamics using a virtual keyboard, and their application in the authentication of mobile device users. Key hold time, time between two consecutive keystrokes, and keystroke pressure are used as features to build a user model....
Published in Moscow University Computational Mathematics and Cybernetics
AbstractA model is presented of the financial market with a discrete-time uncertain deterministic evolution of prices in which asset prices evolve under uncertainty described using a priori information on possible price increments; i.e., it is assumed that they lie in given compact sets that depend on the prehistory of prices. Trading constraints d...
Published in Moscow University Computational Mathematics and Cybernetics
AbstractResults are presented from developing a parallel code for a joint solution to the nonlinear three-dimensional heat equation and the Poisson equation in creating a multiscale model for phase-change memory based on amorphous carbon nanofilms (a-C). Their numerical convergence is investigated. The parallel effectiveness of the new code is exam...
