scholarly journals Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation)

2016 ◽  
Vol 75 ◽  
pp. 110-126 ◽  
Author(s):  
Mădălina Eraşcu ◽  
Hoon Hong
2011 ◽  
Vol 2011 ◽  
pp. 1-16 ◽  
Author(s):  
Luisa D'Amore ◽  
Daniela Casaburi ◽  
Livia Marcellino ◽  
Almerico Murli

In this paper, we consider nonlinear partial differential equations (PDEs) of diffusion/advection type underlying most problems in image analysis. As case study, we address the segmentation of medical structures. We perform a comparative study of numerical algorithms arising from using the semi-implicit and the fully implicit discretization schemes. Comparison criteria take into account both the accuracy and the efficiency of the algorithms. As measure of accuracy, we consider the Hausdorff distance and the residuals of numerical solvers, while as measure of efficiency we consider convergence history, execution time, speedup, and parallel efficiency. This analysis is carried out in a multicore-based parallel computing environment.


2002 ◽  
Vol 20 (1) ◽  
pp. 56 ◽  
Author(s):  
S Prakash ◽  
J Vanualailai ◽  
T Soma

One of the classical problems in nonlinear control system analysis and design is to find a region of asymptotic stability by the Direct Method of Lyapunov. This paper tentatively shows, via a numercial example, that this problem can be easily solved using Quantifier Elimination (QE). In particular, if the governing equations are described by differential equations containing only polynomials, then the problem can be conveniently solved by a computer algebra software packages such as Qepcad or Redlog. In our case study, we use a simple Lyapunov function and Qepcad to estimate the stability region, and the results are verified by an optimization method based on Lagrange's method.


2020 ◽  
Vol 8 (10) ◽  
pp. 793
Author(s):  
Demián García-Violini ◽  
Nicolás Faedo ◽  
Fernando Jaramillo-Lopez ◽  
John V. Ringwood

The design of controllers for wave energy devices has evolved from early monochromatic impedance-matching methods to complex numerical algorithms that can handle panchromatic seas, constraints, and nonlinearity. However, the potential high performance of such numerical controller comes at a computational cost, with some algorithms struggling to implement in real-time, and issues surround convergence of numerical optimisers. Within the broader area of control engineering, practitioners have always displayed a fondness for simple and intuitive controllers, as evidenced by the continued popularity of the ubiquitous PID controller. Recently, a number of energy-maximising wave energy controllers have been developed based on relatively simple strategies, stemming from the fundamentals behind impedance-matching. This paper documents this set of (5) controllers, which have been developed over the period 2010–2020, and compares and contrasts their characteristics, in terms of energy-maximising performance, the handling of physical constraints, and computational complexity. The comparison is carried out both analytically and numerically, including a detailed case study, when considering a state-of-the-art CorPower-like device.


2018 ◽  
Vol 2018 ◽  
pp. 1-13 ◽  
Author(s):  
M. Sandoval-Hernandez ◽  
H. Vazquez-Leal ◽  
L. Hernandez-Martinez ◽  
U. A. Filobello-Nino ◽  
V. M. Jimenez-Fernandez ◽  
...  

This article introduces two approximations that allow the evaluation of Fresnel integrals without the need for using numerical algorithms. These equations accomplish the characteristic of being continuous in the same interval as Fresnel. Both expressions have been determined applying the least squares method to suitable expressions. Accuracy of equations improves as x increases; as for small values of x, it is possible to achieve an absolute error less than 8×10-5. To probe the efficiency of the equations, two case studies are presented, both applied in the optics field. The first case is related to the semi-infinite opaque screen for Fresnel diffraction. In this case study Fresnel integrals are evaluated with the proposed equations to calculate the irradiance distribution and the Cornu spiral for diffraction computations of the Fresnel diffraction; obtained results show a good accuracy. The second case is related to the double aperture problem for Fresnel diffraction.


Sign in / Sign up

Export Citation Format

Share Document