Search

In connection with applications, the solution of a system of logical equations plays an important role in computational mathematics and in many other areas. As a result, many new directions and algorithms for solving systems of logical equations are being developed. One of these directions is transformation into the real continuous domain. The real continuous domain is a richer domain to work with because it features many algorithms, which are well designed. In this study, firstly, we transformed any system of logical equations in the unit n -dimensional cube K n into a system of polylinear–polynomial equations in a mathematically constructive way. Secondly, we proved that if we slightly modify the system of logical equations, namely, add no more than one special equation to the system, then the resulting system of logical equations and the corresponding system of polylinear–polynomial equations in K n + 1 is equivalent. The paper proposes an algorithm and proves its correctness. Based on these results, further research plans are developed to adapt the proposed method. [ABSTRACT FROM AUTHOR]

The paper introduces a new approach to enhance optimization algorithms when solving the piecewise linearization problem of a given function. Eight swarm intelligence algorithms were selected to be experimentally compared. The problem is represented by the calculation of the distance between the original function and the estimation from the piecewise linear function. Here, the piecewise linearization of 2D functions is studied. Each of the employed swarm intelligence algorithms is enhanced by a newly proposed automatic detection of the number of piecewise linear parts that determine the discretization points to calculate the distance between the original and piecewise linear function. The original algorithms and their enhanced variants are compared on several examples of piecewise linearization problems. The results show that the enhanced approach performs sufficiently better when it creates a very promising approximation of functions. Moreover, the degree of precision is slightly decreased by the focus on the speed of the optimization process. [ABSTRACT FROM AUTHOR]

Zadeh's extension principle is one of the elementary tools in fuzzy set theory, and among other things, it provides a natural extension of a real-valued continuous self-map to a self-map having fuzzy sets as its arguments. The purpose of this paper is to introduce a new algorithm that can be used for simulations of fuzzy dynamical systems induced by interval maps. The core of the proposed algorithm is based on calculations including piecewise linear maps, and consequently, an implementation of an optimization algorithm (in our case, particle swarm optimization) was prepared to obtain necessary piecewise linear approximations. For all parts of this algorithm, we provide detailed testing and numerous examples. [ABSTRACT FROM AUTHOR]

The current work aims to develop an approximation of the slice of a Minkowski sum of finite number of ellipsoids, sliced up by an arbitrarily oriented plane in Euclidean space R 3 that, to the best of the author's knowledge, has not been addressed yet. This approximation of the actual slice is in a closed form of an explicit parametric equation in the case that the slice is not passing through the zones of the Minkowski surface with high curvatures, namely the "corners". An alternative computational algorithm is introduced for the cases that the plane slices the corners, in which a family of ellipsoidal inner and outer bounds of the Minkowski sum is used to construct a "narrow strip" for the actual slice of Minkowski sum. This strip can narrow persistently for a few more number of constructing bounds to precisely coincide on the actual slice of Minkowski sum. This algorithm is also applicable to the cases with high aspect ratio of ellipsoids. In line with the main goal, some ellipsoidal inner and outer bounds and approximations are discussed, including the so-called "Kurzhanski's" bounds, which can be used to formulate the approximation of the slice of Minkowski sum. [ABSTRACT FROM AUTHOR]

The study examines the development and testing of algorithms for disturbance inception time estimation in a power system using instantaneous values of current and voltage with a high sampling rate. The algorithms were tested on both modeled and physical data. The error of signal extremum forecast, the error of signal form forecast, and the signal value at the so-called joint point provided the basis for the suggested algorithms. The method of tuning for each algorithm was described. The time delay and accuracy of the algorithms were evaluated with varying tuning parameters. The algorithms were tested on the two-machine model of a power system in Matlab/Simulink. Signals from emergency event recorders installed on real power facilities were used in testing procedures. The results of this study indicated a possible and promising application of the suggested methods in the emergency control of power systems. [ABSTRACT FROM AUTHOR]