Abstract interpretation by dynamic partitioning

1992 ◽  
Vol 2 (4) ◽  
pp. 407-435 ◽  
Author(s):  
François Bourdoncle
Keyword(s):  
Data Structures ◽  
Abstract Interpretation ◽  
A Priori ◽  
Minimal Function ◽  
Infinite Domains ◽  
Dynamic Partitioning ◽  
Abstract Domains ◽  
Using Data ◽  
New Framework

AbstractThe essential part of abstract interpretation is to build a machine-representable abstract domain expressing interesting properties about the possible states reached by a program at runtime. Many techniques have been developed which assume that one knows in advance the class of properties that are of interest. There are cases however when there are no a priori indications about the 'best' abstract properties to use. We introduce a new framework that enables non-unique representations of abstract program properties to be used, and expose a method, called dynamic partitioning, that allows the dynamic determination of interesting abstract domains using data structures built over simpler domains. Finally, we show how dynamic partitioning can be used to compute non-trivial approximations of functions over infinite domains and give an application to the computation of minimal function graphs.

scholarly journals Penerapan Data Mining Untuk Menggali Informasi Tersembunyi Dalam Big Data Nilai Mata Kuliah

2016 ◽  
Vol 7 (2) ◽  
pp. 129-134
Author(s):  
Elvira Asril ◽  
Fana Wiza ◽  
Taslim Taslim
Keyword(s):  
Data Mining ◽  
Association Rule ◽  
College Graduates ◽  
Process Mining ◽  
A Priori ◽  
Basic Competencies ◽  
Using Data ◽  
Object Of Study ◽  
Mining Association Rule

Abstrak- Jarang sekali perguruan tinggi melihat kompetensi lulusannya sebelum dilepas ke dunia nyata. Salah satu variabel yang bisa digunakan adalah nilai matakuliah yang telah diperoleh mahasiswa atau calon lulusan. Kemudian memetakan nilai matakuliah yang telah diperoleh tiap mahasiswa atau calon lulusan pada aspek kompetensi dasar lulusan Strata satu Informatika yang disusun oleh asosiasi perguruan tinggi komputer (APTIKOM) dengan menggunakan teknik data mining. Pemetaan dilakukan berdasarkan nilai matakuliah yang telah ditempuh oleh mahasiswa atau calon lulusan, dalam hal ini objek penelitian adalah mahasiswa angkatan 2012 s/d 2015 yang telah mencapai 120 sks. Daftar aspek kompetensi dasar yang digunakan adalah aspek kompetensi yang disusun oleh APTIKOM berdasarkan ACM/IEEE 2013. Kemudian dilakukan penentuan kelompok matakuliah pada tiap kompetensi tersebut. Topik-topik yang dikaji antara lain meliputi : database, data mining, association rule, apriori dan beberapa algoritma lain yang mungkin dapat digunakan, serta perangkat lunak yang digunakan untuk proses mining. Pengolahan data yang telah disiapkan menggunakan beberapa perangkat lunak bantu seperti Excel, dan Tanagra. Mining data yang telah dilakukan menghasilkan informasi mengenai kompetensi dari calon lulusan yang dapat digunakan sebagai bahan analisa untuk pengambilan keputusan. Kata kunci : kompetensi, informasi, nilai mata kuliah Abstract- Rarely college graduates look competence before being released into the real world. One of the variables that can be used is the value of the courses that have been acquired or prospective graduate students. Then mapping the value of the courses that have been taken by each student or graduate candidates on the basis of competence of graduates Strata aspects of the Information compiled by the association of colleges computer (APTIKOM) using data mining techniques. Mapping is done based on the value of the courses that have been taken by students or prospective graduates, in this case the object of study is the student of 2012 s / d in 2015 which has achieved 120 credits. List aspects of basic competencies that are used are compiled by the competence aspect APTIKOM based ACM / IEEE 2013. Then is the determination of subjects in each group that competency. Topics to be studied include: databases, data mining, association rule, a priori and some other algorithm that may be used, as well as the software used to process mining. Processing of the data which has been prepared using some assistive software such as Excel, and Tanagra. Data mining has been done to produce information concerning the competence of prospective graduates who can be used as material analysis for decision making. Keywords: competence, information, mark

scholarly journals Sequence-based abstract interpretation of Prolog

2001 ◽  
Vol 2 (1) ◽  
pp. 25-84 ◽  
Author(s):  
BAUDOUIN LE CHARLIER ◽  
SABINA ROSSI ◽  
PASCAL VAN HENTENRYCK
Keyword(s):  
Programming Languages ◽  
Abstract Interpretation ◽  
General Interest ◽  
Program Optimization ◽  
Control Structures ◽  
Abstract Domains ◽  
Systematic Development ◽  
Interpretation Algorithm ◽  
Search Rule ◽  
New Framework

Abstract interpretation is a general methodology for systematic development of program analyses. An abstract interpretation framework is centered around a parametrized non-standard semantics that can be instantiated by various domains to approximate different program properties. Many abstract interpretation frameworks and analyses for Prolog have been proposed, which seek to extract information useful for program optimization. Although motivated by practical considerations, notably making Prolog competitive with imperative languages, such frameworks fail to capture some of the control structures of existing implementations of the language. In this paper, we propose a novel framework for the abstract interpretation of Prolog which handles the depth-first search rule and the cut operator. It relies on the notion of substitution sequence to model the result of the execution of a goal. The framework consists of (i) a denotational concrete semantics, (ii) a safe abstraction of the concrete semantics defined in terms of a class of post-fixpoints, and (iii) a generic abstract interpretation algorithm. We show that traditional abstract domains of substitutions may easily be adapted to the new framework, and provide experimental evidence of the effectiveness of our approach. We also show that previous work on determinacy analysis, that was not expressible by existing abstract interpretation frameworks, can be seen as an instance of our framework. The ideas developed in this paper can be applied to other logic languages, notably to constraint logic languages, and the theoretical approach should be of general interest for the analysis of many non-deterministic programming languages.

Recognizing Job Apathy Patterns of Iraqi Higher Education Employees Using Data Mining Techniques

2019 ◽  
Vol 54 (4) ◽  
Author(s):  
Mustafa S. Abd ◽  
Suhad Faisal Behadili
Keyword(s):  
Higher Education ◽  
Data Mining ◽  
Psychiatric Patients ◽  
Human Life ◽  
A Priori ◽  
Psychological Research ◽  
Attribute Selection ◽  
Specific Class ◽  
Data Mining Techniques ◽  
Using Data

Psychological research centers help indirectly contact professionals from the fields of human life, job environment, family life, and psychological infrastructure for psychiatric patients. This research aims to detect job apathy patterns from the behavior of employee groups in the University of Baghdad and the Iraqi Ministry of Higher Education and Scientific Research. This investigation presents an approach using data mining techniques to acquire new knowledge and differs from statistical studies in terms of supporting the researchers’ evolving needs. These techniques manipulate redundant or irrelevant attributes to discover interesting patterns. The principal issue identifies several important and affective questions taken from a questionnaire, and the psychiatric researchers recommend these questions. Useless questions are pruned using the attribute selection method. Moreover, pieces of information gained through these questions are measured according to a specific class and ranked accordingly. Association and a priori algorithms are used to detect the most influential and interrelated questions in the questionnaire. Consequently, the decisive parameters that may lead to job apathy are determined.

scholarly journals Estimation of the mean normal measure from flat sections

2008 ◽  
Vol 40 (01) ◽  
pp. 31-48
Author(s):  
Markus Kiderlen
Keyword(s):  
A Priori ◽  
The Other ◽  
Consistent Estimator ◽  
Random Set ◽  
Normal Measure ◽  
Mild Assumption ◽  
The Mean ◽  
Vertical Sections ◽  
Almost All

We discuss the determination of the mean normal measure of a stationary random set Z ⊂ ℝ d by taking measurements at the intersections of Z with k-dimensional planes. We show that mean normal measures of sections with vertical planes determine the mean normal measure of Z if k ≥ 3 or if k = 2 and an additional mild assumption holds. The mean normal measures of finitely many flat sections are not sufficient for this purpose. On the other hand, a discrete mean normal measure can be verified (i.e. an a priori guess can be confirmed or discarded) using mean normal measures of intersections with m suitably chosen planes when m ≥ ⌊d / k⌋ + 1. This even holds for almost all m-tuples of k-dimensional planes are viable for verification. A consistent estimator for the mean normal measure of Z, based on stereological measurements in vertical sections, is also presented.

A new framework for defining a priori grids in 2D runoff modelsat basin scale

2020 ◽  
pp. 1997-2005
Author(s):  
Domenico Ferraro ◽  
Pierfranco Costabile ◽  
Carmelina Costanzo ◽  
Gabriella Petaccia ◽  
Francesco Macchione
Keyword(s):  
A Priori ◽  
Basin Scale ◽  
New Framework

scholarly journals DETERMINATION OF ALKALINITY AND DISSOCIATION CONSTANTS OF HIGH SALINITY WATERS: USE OF F5BC TITRATION FUNCTION

2018 ◽  
Vol 35 (2) ◽  
pp. 79
Author(s):  
Bernadete F. Cavalcanti ◽  
Lourdes Cristina Lucena Agostinho ◽  
Luciano Nascimento
Keyword(s):  
Natural Waters ◽  
Dissociation Constants ◽  
A Priori ◽  
Linear Regression Analysis ◽  
Liquid Junction ◽  
Carbonate System ◽  
Ph Measurements ◽  
Apparent Dissociation Constant ◽  
Junction Potential

Measurements of parameters expressed in terms of carbonic species such as Alkalinity and Acidity of saline waters do not analyze the influence of external parameters to the titration such as Total free and associated Carbonic Species Concentration, activity coefficient, ion pairing formation and Residual Liquid Junction Potential in pH measurements. This paper shows the development of F5BC titration function based on the titrations developed by Gran (1952) for the carbonate system of natural waters. For practical use, samples of saline watersfrom Pocinhos reservoir in Paraiba were submitted to titration and linear regression analysis. Results showed that F5BC involves F1x and F2x Gran functions determination, respectively, for Alkalinity and Acidity calculations without knowing “a priori” the endpoint of the titration. F5BC also allows the determination of the First and Second Apparent Dissociation Constant of the carbonate system of saline and high ionic strength waters.

scholarly journals Investigation of Changes of the Kinematic Parameters of Antarctic Tectonic Plate Using Data Observations of Permanent GNSS Stations

2017 ◽  
Vol 103 (1) ◽  
pp. 119-135 ◽  
Author(s):  
Kornylii Tretyak ◽  
Al-Alusi Forat ◽  
Yurii Holubinka
Keyword(s):  
Angular Velocity ◽  
Kinematic Parameters ◽  
Antarctic Region ◽  
Tectonic Plate ◽  
Euler Pole ◽  
The Mean ◽  
Using Data ◽  
Gnss Permanent Stations ◽  
The Antarctic

Abstract The paper describes a modified algorithm of determination of the Euler pole coordinates and angular velocity of the tectonic plate, considering the continuous and uneven distribution of daily measurements of GNSS permanent stations. Using developed algorithm were determined the mean position of Euler pole and angular velocity of Antarctic tectonic plate and their annual changes. As the input data, we used the results of observations, collected on 28 permanent stations of the Antarctic region, within the period from 1996 to 2014.

Modeling Evolution of Microstructures Beneath Topographically Textured Surfaces Produced Using Shear Based Material Removal

2016 ◽  
Author(s):  
Saurabh Basu ◽  
Zhiyu Wang ◽  
Christopher Saldana
Keyword(s):  
Microstructure Evolution ◽  
Material Removal ◽  
A Priori ◽  
Orientation Imaging Microscopy ◽  
Machining Process ◽  
Textured Surfaces ◽  
Orientation Imaging ◽  
Using Data ◽  
Electron Back Scattered Diffraction ◽  
Tool Chatter

Tool chatter is envisaged as a technique to create undulations on fabricated biomedical components. Herein, a-priori designed topographies were fabricated using modulate assisted machining of oxygen free high conductivity copper. Subsequently, underpinnings of microstructure evolution in this machining process were characterized using electron back scattered diffraction based orientation imaging microscopy. These underpinnings were related to the unsteady mechanical states present during modulated assisted machining, this numerically modeled using data obtained from simpler machining configurations. In this manner, relationships between final microstructural states and the underlying mechanics were found. Finally, these results were discussed in the context of unsteady mechanics present during tool chatter, it was shown that statistically predictable microstructural outcomes result during tool chatter.

Sign in / Sign up

Export Citation Format

Share Document