Numerical Abstract Domain Using Support Functions
نویسندگان
چکیده
In this paper, we present a new abstract domain that uses support functions to represent convex sets. Then, using a predefined set of directions, we can use an efficient method to compute the fixpoint of linear programs. We show on a simple example the efficiency of our method.
منابع مشابه
Numerical Abstract Domain using Support Functions (Extended Version)
An abstract interpretation based static analyzer depends on the choice of both an abstract domain and a methodology to compute fixpoints of monotonic functions. Abstract domains are almost always representations of convex sets that must provide efficient algorithms to perform both numerical and order-theoretic computations. In this paper, we present a new abstract domain that uses support funct...
متن کاملVerification and Validation of Common Derivative Terms Approximation in Meshfree Numerical Scheme
In order to improve the approximation of spatial derivatives without meshes, a set of meshfree numerical schemes for derivative terms is developed, which is compatible with the coordinates of Cartesian, cylindrical, and spherical. Based on the comparisons between numerical and theoretical solutions, errors and convergences are assessed by a posteriori method, which shows that the approximations...
متن کاملA numerical solution of mixed Volterra Fredholm integral equations of Urysohn type on non-rectangular regions using meshless methods
In this paper, we propose a new numerical method for solution of Urysohn two dimensional mixed Volterra-Fredholm integral equations of the second kind on a non-rectangular domain. The method approximates the solution by the discrete collocation method based on inverse multiquadric radial basis functions (RBFs) constructed on a set of disordered data. The method is a meshless method, because it ...
متن کاملAnalysis of Aperture Coupled Microstrip Patch Antennas with a Superstrate Using the Space Domain Closed-Form Green`s Functions
Analysis of aperture-coupled microstrip antennas with a superstrate using space domain closed form Greens functions is presented. Integral equations are derived from applying the boundary conditions on the radiating patch, across the aperture, and on the microstrip feedline. The computation of space domain greens functions is performed using the closed-form. The solution of the integral equatio...
متن کاملAnalysis of Aperture Coupled Microstrip Patch Antennas with a Superstrate Using the Space Domain Closed-Form Green`s Functions
Analysis of aperture-coupled microstrip antennas with a superstrate using space domain closed form Green's functions is presented. Integral equations are derived from applying the boundary conditions on the radiating patch, across the aperture, and on the microstrip feedline. The computation of space domain green's functions is performed using the closed-form. The solution of the integral equat...
متن کامل