The Conflict-Driven Clause Learning algorithms for solving the Boolean satisfiability problem comprise the major part of the methods used to solve various instances of the problems that arise in industry and science. ...
详细信息
We study a class of optimal control problems for measure-driven differential equations with rate independent hysteresis. The hysteresis is modeled by an evolution variational inequality equivalent to the action of pla...
详细信息
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...
详细信息
When constructing a digital terrain model from the available vector data, iso-lines (relief contour lines) are used as the main source of information. Also the maps may contain the point elevation marks. To obtain the...
详细信息
The efficiency of the intelligent systems engineering on the basis of conceptual models can be improved through the use of specialized languages. The paper describes a domain-specific language designed for describing ...
详细信息
The paper describes an approach for the computer-aided development of rule-based knowledge bases on the basis of analysis of fault trees represented with the aid of the author’s notation. The approach is based on the...
详细信息
The article proposes a method based on the use of logical dynamic systems in the classification problem for Boolean vectors (binary feature vectors). This method has practical application in various fields of science ...
详细信息
This work addresses the optimistic statement of a bilevel optimization problem with a general d.c. optimization problem at the upper level and a convex optimization problem at the lower level. First, we use the reduct...
详细信息
An optimal control problem for a sweeping process driven by impulsive controls is considered. The controlsystem we study is described by both a measure-driven differential equation and a differential inclusion. This ...
详细信息
This paper addresses one class of bilevel optimization problems (BOPs) with an equilibrium at the lower level (in optimistic statement). Namely, we study BOPs with a convex quadratic optimization problem under linear ...
详细信息
暂无评论