In this paper, we study systems of Fredholm integral equations with a singular matrix multiplying the leading part. We address the solvability issues of such systems with separable kernels and, similarly to differenti...
详细信息
Abstract: The paper considers the use of the graphical formalism of event trees when creating prototypes of knowledge bases for intelligent systems. Here, the knowledge is represented in a declarative form as logical ...
详细信息
This paper presents a complete solution for extraction of textual information and tables from PDF with a text layer. The presented solution consist of two parts: PyTabby is a tool for extracting text and tables from P...
详细信息
IN this paper we construct preimage attack on the truncated variant of the MD4 hash function. Specifically, we study the MD4-39 function defined by the first 39 steps of the MD4 algorithm. We suggest a new attack on M...
详细信息
In this paper, we propose a matrix-vector Boolean differential model for constructing plans of computational actions in solving non-procedural problems on a computational model of a modular software system. The condit...
In this paper, we propose a matrix-vector Boolean differential model for constructing plans of computational actions in solving non-procedural problems on a computational model of a modular software system. The conditions of the problem of structural synthesis of a program from pre-implemented modules are formulated as a system of Boolean differential equations, the solutions of which, under given initial conditions (consistent with the non-procedural formulation of the problem), determine the solvability of the problem and give constructive plans for its solution (including parallel ones). The proposed method of structural synthesis is focused on high-dimensional models. It allows highly efficient software implementation due to the high parallelism of performing vector-matrix operations on binary vectors at the level of machine instructions. The developed model is used for planning computations in packages of applied microservices based on the HPCSOMAS-MSC platform.
Currently, the processing of scientific data in astroparticle physics is based on various distributed technologies, the most common of which are Grid and cloud computing. The most frequently discussed approaches are f...
详细信息
Some nonlinear and discrete optimal control problems with phase constraints on a fixed but sufficiently large time interval are considered as singularly perturbed problems. In continuous-time case the state equations ...
详细信息
We consider an optimal control problem for an impulsive hybrid dynamic system, where jumps of a trajectory may occur only at the moments of hitting a given closed set. A time reparameterization technique is applied to...
详细信息
In this paper, impulsive controlsystems described by measure-driven differential equations with rate independent hysteresis are considered. Approximation results for impulsive processes are presented.
In this paper, impulsive controlsystems described by measure-driven differential equations with rate independent hysteresis are considered. Approximation results for impulsive processes are presented.
暂无评论