Grids: A Domain for Analyzing the Distribution of Numerical Values
نویسندگان
چکیده
This paper explores the abstract domain of grids, a domain that is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take. We present the domain, its representation and the basic operations on grids necessary to define the abstract semantics. We show how the definition of the domain and its operations exploit well-known techniques from linear algebra as well as a dual representation that allows, among other things, for a concise and efficient implementation.
منابع مشابه
A Linear Domain for Analyzing the Distribution of Numerical Values
This paper explores the abstract domain of grids, a domain that is able to represent sets of equally spaced points and hyperplanes over an n-dimensional vector space. Such a domain is useful for the static analysis of the patterns of distribution of the values program variables can take. Besides the bare abstract domain, we present a complete set of operations on grids that includes all that is...
متن کاملA Bi-Level Optimization Approach for Optimal Operation of Distribution Networks with Retailers and Micro-grids
Distributed energy resources (DERs) including distributed generators (DGs) and controllable loads (CLs) are managed in the form of several microgrids (MGs) in active distributions networks (ADNs) to meet the demand locally. On the other hand, some loads of distribution networks (DNs) can be supplied by retailers which participate in wholesale energy markets. Therefore, there are several decisio...
متن کاملA Mass Conservative Method for Numerical Modeling of Axisymmetric flow
In this paper, the cell-centered finite volume method (CC-FVM) has been presented to simulate the axisymmetric radial flow toward a pumping well. The model is applied to the unstructured triangular grids which allows to simulate inhomogeneous and complex-shaped domains. Due to the non-orthogonality of the irregular grids, the multipoint flux approximation (MPFA) methods are used to discretize t...
متن کاملFractal dimension and earthquake frequency-magnitude distribution in the North of Central-East Iran Blocks (NCEIB)
The Gutenberg–Richter parameters (a and b), fractal dimension (DC), and relationships between these parameters are calculated for different regions of the North of Central-East Iran Blocks (NCEIB). The whole examined area (between 34°-36° N and 55°-61° E) is divided into 55 equal square grids. Both the a and b values for the frequency-magnitude distribution (FMD) and the fractal dimension (DC) ...
متن کاملOptimal Self-healing of Smart Distribution Grids Based on Spanning Trees to Improve System Reliability
In this paper, a self-healing approach for smart distribution network is presented based on Graph theory and cut sets. In the proposed Graph theory based approach, the upstream grid and all the existing microgrids are modeled as a common node after fault occurrence. Thereafter, the maneuvering lines which are in the cut sets are selected as the recovery path for alternatives networks by making ...
متن کامل