An Iterative Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations

Author(s):  
Bielecki Wlodzimierz ◽  
Klimek Tomasz ◽  
Palkowski Marek ◽  
Anna Beletska
2012 ◽  
Vol 04 (01) ◽  
pp. 1250011
Author(s):  
WLODZIMIERZ BIELECKI ◽  
TOMASZ KLIMEK ◽  
MAREK PALKOWSKI ◽  
ANNA BELETSKA

A novel iterative algorithm of calculating the exact transitive closure of a parametrized graph being represented by a union of simple affine integer tuple relations is presented. When it is not possible to calculate exact transitive closure, the algorithm produces its upper bound. To calculate the transitive closure of the union of all simple relations, the algorithm recognizes the class of each simple relations, calculates its exact transitive closure, forms the union of calculated transitive closures, and applies this union in an iterative procedure. Results of experiments aimed at the comparison of the effectiveness of the presented algorithm with those of related ones are outlined and discussed.


An iterative criterion for the asymptotic steadiness of a linear descriptor system is considered. The criterion is based on an iterative algorithm for computing a generalized matrix sign-function. As an example, the problem of analyzing the asymptotic steadiness of a large descriptor system is given. Keywords linear descriptor system; steadiness criterion; matrix sign-function; search algorithm


2011 ◽  
Vol 30 (7) ◽  
pp. 1562-1565
Author(s):  
Shuang-cheng Deng ◽  
Jin-jun Xie ◽  
Bao-ming Bai ◽  
Xin-mei Wang

Filomat ◽  
2017 ◽  
Vol 31 (5) ◽  
pp. 1423-1434 ◽  
Author(s):  
Sheng Wang ◽  
Min Chen

In this paper, we propose an iterative algorithm for finding the common element of solution set of a split equilibrium problem and common fixed point set of a finite family of asymptotically nonexpansive mappings in Hilbert space. The strong convergence of this algorithm is proved.


2019 ◽  
Vol 2019 (1) ◽  
Author(s):  
Shijie Sun ◽  
Meiling Feng ◽  
Luoyi Shi

Abstract This paper considers an iterative algorithm of solving the multiple-sets split equality problem (MSSEP) whose step size is independent of the norm of the related operators, and investigates its sublinear and linear convergence rate. In particular, we present a notion of bounded Hölder regularity property for the MSSEP, which is a generalization of the well-known concept of bounded linear regularity property, and give several sufficient conditions to ensure it. Then we use this property to conclude the sublinear and linear convergence rate of the algorithm. In the end, some numerical experiments are provided to verify the validity of our consequences.


2021 ◽  
Vol 15 ◽  
pp. 174830262110113
Author(s):  
Qianying Hong ◽  
Ming-jun Lai ◽  
Jingyue Wang

We present a convergence analysis for a finite difference scheme for the time dependent partial different equation called gradient flow associated with the Rudin-Osher-Fetami model. We devise an iterative algorithm to compute the solution of the finite difference scheme and prove the convergence of the iterative algorithm. Finally computational experiments are shown to demonstrate the convergence of the finite difference scheme.


Sensors ◽  
2021 ◽  
Vol 21 (7) ◽  
pp. 2459
Author(s):  
Rubén Tena Sánchez ◽  
Fernando Rodríguez Varela ◽  
Lars J. Foged ◽  
Manuel Sierra Castañer

Phase reconstruction is in general a non-trivial problem when it comes to devices where the reference is not accessible. A non-convex iterative optimization algorithm is proposed in this paper in order to reconstruct the phase in reference-less spherical multiprobe measurement systems based on a rotating arch of probes. The algorithm is based on the reconstruction of the phases of self-transmitting devices in multiprobe systems by taking advantage of the on-axis top probe of the arch. One of the limitations of the top probe solution is that when rotating the measurement system arch, the relative phase between probes is lost. This paper proposes a solution to this problem by developing an optimization iterative algorithm that uses partial knowledge of relative phase between probes. The iterative algorithm is based on linear combinations of signals when the relative phase is known. Phase substitution and modal filtering are implemented in order to avoid local minima and make the algorithm converge. Several noise-free examples are presented and the results of the iterative algorithm analyzed. The number of linear combinations used is far below the square of the degrees of freedom of the non-linear problem, which is compensated by a proper initial guess. With respect to noisy measurements, the top probe method will introduce uncertainties for different azimuth and elevation positions of the arch. This is modelled by considering the real noise model of a low-cost receiver and the results demonstrate the good accuracy of the method. Numerical results on antenna measurements are also presented. Due to the numerical complexity of the algorithm, it is limited to electrically small- or medium-size problems.


Sign in / Sign up

Export Citation Format

Share Document