For the tasks considering changes of water level it is required to have a combined (above water and underwater) elevation model. And the highest accuracy requirements are imposed on the parts of the model, which produ...
详细信息
Micrologistic transport systems are ports, transport hubs, railway terminals (railway stations and marshalling yards), and other micro-level transport objects. Such systems are dynamic ones, whose parameters are time-...
详细信息
This paper addresses the nonconvex optimal control (OC) problem with the cost functional and inequality constraint given by the functionals of Bolza. All the functions in the statement of the problem are state-DC, i.e...
详细信息
The paper considers a heuristic method for a global extremum search in an optimal control problem based on the idea of covering a reachable set by n-dimensional balls, including the built-in mechanisms for Lipschitz c...
详细信息
Based on the Boolean constraints method several problems of qualitative analysis of bipartite logical networks are solved. The dynamics of the trajectories behavior of these networks is studied over a finite time inte...
详细信息
In this paper we study the problem of estimating the time required to process decompositions of hard SAT instances encoding inversion problems of some cryptographic functions. In particular, we consider one type of SA...
详细信息
In this report we present several different propositional encodings for finding systems of mutually orthogonal Latin squares, and evaluate their effectiveness using state-of-The-Art parallel and sequential algorithms ...
详细信息
In this report we present several different propositional encodings for finding systems of mutually orthogonal Latin squares, and evaluate their effectiveness using state-of-The-Art parallel and sequential algorithms for solving Boolean satisfiability problem (SAT). We also apply the widely used SMAC tool to study the possibility of improving the effectiveness of lingeling SAT solver on the considered tests and discuss the results of corresponding computational experiments.
The efficiency of decision-making, especially when using multi-method schemes, can be improved by using artificial intelligence methods, in particular, the case-based reasoning approach. The paper presents the applica...
详细信息
The study outlines the concept of the structure of heat sources of developing heating systems and states the problem of searching through structures of heat sources of maximum redundancy for the optimal one. As one of...
详细信息
We consider a linear nonstationary system of ordinary differential equations with interval coefficients which is not solvable with respect to the derivative of the unknown vector-valued function for any matrix coeffic...
暂无评论