Clustering is one of the basic tasks in machine learning and data mining. Euclidean minimum-sum-of-squares clustering problem is probably the most common clustering model. It consists in finding k cluster centers or r...
详细信息
A confining extension of the quark model with nonlocal currents is proposed. The quark propagator is modified by introducing a cut in α-space, which in momentum space corresponds to the subtraction of pole singularit...
详细信息
Water quality affects many human activities. Remote sensing is efficient and economical instrument for water monitoring. The paper investigates the problem of choosing an algorithm for Chl-a concentration determinatio...
详细信息
Clustering is traditionally one of the basic tools of data analysis widely applied in diverse fields. By now, one of the most common clustering models is the Euclidean minimum-sum-of-squares clustering problem (MSSC)....
详细信息
In the context of the problem of checking the equivalence of Boolean circuits (LEC), we propose an approach that increases the efficiency of modern SAT solvers on this problem by generating additional constraints of a...
In the context of the problem of checking the equivalence of Boolean circuits (LEC), we propose an approach that increases the efficiency of modern SAT solvers on this problem by generating additional constraints of a special kind. To generate such constraints, we use a variant of decision diagrams called disjunctive diagrams. In contrast to well-known Binary Decision Diagrams these diagrams can be constructed effectively for an original formula and can also be used to extend the original CNF formula with new clauses which are its logical consequences. In computational experiments, we show that the resulting formulas, encoding difficult LEC variants, extended by the generated constraints are often significantly easier to solve for state-of-the-art SAT solvers compared to the original formulas.
The paper addresses a relevant problem of computation scheduling in scientific applications (distributed applied software packages) executed in distributed environments. Forming an optimal schedule of jobs for executi...
详细信息
The paper represents a prototype of service-oriented tools for developing digital twins. These tools automate most of the stages in preparing and carrying out a computational experiment reducing the possibility of hum...
详细信息
The property of observability of controlled binary dynamical systems is investigated. A formal definition of the property is given in the language of applied logic of predicates with bounded quantifiers of existence a...
详细信息
A logic method for structural-parametric synthesis of a binary dynamical system with a given periodic trajectory is proposed. This method provides a constructive solution for the considered problem. The attraction reg...
详细信息
The article proposes a method based on using binary dynamical systems in the classification problem for Boolean vectors (binary feature vectors). This problem has practical application in various fields of science and...
详细信息
暂无评论