Clone Removal in Java Programs as a Process of Stepwise Unification

Cloned code is one of the most important obstacles against consistent software maintenance and evolution. Although today's clone detection tools find a variety of clones, they do not offer any advice how to remove such clones. We explain the problems involved in finding a sequence of changes for clone removal and suggest to view this problem as a process of stepwise unification of the clone instances. Consequently the problem can be solved by backtracking over the possible unification steps

Using theorem provers to increase the precision of dependence analysis for information flow control

Information flow control (IFC) is a category of techniques for enforcing information flow properties. In this paper we present the Combined Approach, a novel IFC technique that combines a scalable system-dependence-graph-based (SDG-based) approach with a precise logic-based approach based on a theorem prover. The Combined Approach has an increased precision compared with the SDG-based approach on its own, without sacrificing its scalability. For every potential illegal information flow reported by the SDG-based approach, the Combined Approach automatically generates proof obligations that, if valid, prove that there is no program path for which the reported information flow can happen. These proof obligations are then relayed to the logic-based approach. We also show how the SDG-based approach can provide additional information to the theorem prover that helps decrease the verification effort. Moreover, we present a prototypical implementation of the Combined Approach that uses the tools JOANA and KeY as the SDG-based and logic-based approach respectively

Slicing of Object-Oriented Software

Software maintenance activities generally account for more than one third of time during the software development cycle. It has been found out that certain regions of a program can cause more damage than other regions, if they contain bugs. In order to find these high-risk areas, we use slicing to obtain a static backward slice of a program. Our project deals with the implementation of different intermediate graphical representations for an input source program such as the Control Dependence Graph, the Program Dependence Graph, the Class Dependence Graph and the System Dependence Graph. Once a graphical representation of an input program is obtained, slicing is performed on the program using its System Dependence Graph and a two pass graph reachability algorithm proposed by Horwitz, to obtain a static backward slice

The simulation model of growth and cell divisions for the root apex with an apical cell in application to Azolla pinnata

In contrast to seed plants, the roots of most ferns have a single apical cell which is the ultimate source of all cells in the root. The apical cell has a tetrahedral shape and divides asymmetrically. The root cap derives from the distal division face, while merophytes derived from three proximal division faces contribute to the root proper. The merophytes are produced sequentially forming three sectors along a helix around the root axis. During development, they divide and differentiate in a predictable pattern. Such growth causes cell pattern of the root apex to be remarkably regular and self-perpetuating. The nature of this regularity remains unknown. This paper shows the 2D simulation model for growth of the root apex with the apical cell in application to Azolla pinnata. The field of growth rates of the organ, prescribed by the model, is of a tensor type (symplastic growth) and cells divide taking principal growth directions into account. The simulations show how the cell pattern in a longitudinal section of the apex develops in time. The virtual root apex grows realistically and its cell pattern is similar to that observed in anatomical sections. The simulations indicate that the cell pattern regularity results from cell divisions which are oriented with respect to principal growth directions. Such divisions are essential for maintenance of peri-anticlinal arrangement of cell walls and coordinated growth of merophytes during the development. The highly specific division program that takes place in merophytes prior to differentiation seems to be regulated at the cellular level

Monitoring the Integrity of CO2 Storage Sites Using Smart Field Technology

Capability of underground carbon dioxide storage to confine and sustain injected CO2 for a very long time is the main concern for geologic CO2 sequestration. If a leakage from a geological sink occurs, it is crucial to find the approximate amount and location of the leak in order to implement proper remediation activity.;An overwhelming majority of research and development for storage site monitoring has been concentrated on atmospheric, surface or near surface monitoring of the sequestered CO2. This study is different it aims to monitor the integrity of CO2 storage at the reservoir level. This work proposes developing in-situ CO2 Monitoring and Verification technology based on the implementation of Permanent Down-hole Gauges (PDG) or Smart Wells along with Artificial Intelligence and Data Mining (AI&DM). The technology attempts to identify the characteristic of the CO2 leakage by de-convolving the pressure signals collected at the Smart Well sites.;Citronelle field, a saline reservoir located in Mobile County (Alabama, US) was considered for this study. A reservoir simulation model for CO 2 sequestration in the Citronelle field was developed and history matched. The presence of the PDGs were considered in the reservoir model at the injection well and an observation well. High frequency pressure data from sensors were collected based on different synthetic CO2 leakage scenarios in the model. Due to complexity of the pressure signal behaviors, a Machine Learning based technique was introduced to build an Intelligent Leakage Detection System (ILDS).;The ILDS was able to detect leakage characteristics in a short time (less than a day) demonstrating high precision in quantifying leakage characteristics subject to complex rate behaviors. The performance of ILDS was examined under different conditions such as multiple well leakages, cap rock leakage, availability of an additional monitoring well, presence of pressure drift and noise in sensor and uncertainty in the reservoir model

Dynamic modelling and real-time monitoring of intelligent wells

Intelligent Wells (I-Wells) are the wells equipped with in-well Flow Control Devices (FCDs) and sensors. I-Wells offer a wide range of flow control and monitoring options, with the latter often being subject to how well the information is derived from the measured, raw data. Pressure or temperature are the measurements most commonly taken and requiring interpretation in I-Wells. This work develops innovative methods for modelling and monitoring of dynamic, transient flow in I-Wells. The topics cover: i. I-well clean-up modelling and analysis; ii. Integrated Pressure and Temperature Transient Analysis (PTTA) in wells; and iii. Pressure Transient Analysis (PTA) in I-Wells. This study starts with addressing the challenging clean-up process in I-Wells. A dynamic, coupled wellbore-reservoir modeling workflow is developed that simulates the whole process from fluid invasion to the flow back period. This is followed by investigating the role of different types of FCDs, e.g. autonomous and passive FCDs, well geometries etc. on the cleanup efficiency. General recommendations to facilitate the clean-up in I-Wells are further provided. This study continues with a novel methodology integrating mature PTA solutions with the relatively new Temperature Transient Analysis (TTA) ones for various applications such as reservoir characterization, flow rate allocation and completion monitoring. Several available TTA solutions are extended to describe the multiphase flow in the reservoir. The required modifications and workflow are developed and verified using synthetic case studies. The value of the integrated analysis is then demonstrated by presenting a new method applicable for multi-phase production rate allocation in multi-zone, vertical I-Wells. The variable rate problem in the TTA context is later studied where the distorted signal is reconstructed by proposing normalization methods and developing a data-driven deconvolution algorithm. Finally, the effect of non-linear pressure drop across FCDs in I-Wells on applicability of the classical PTA solutions is investigated. The corrections to incorporate this effect into the classical PTA solutions is implemented as well as a workflow to decompose the total skin is presented. The value and applicability of the proposed workflow are later illustrated using real field case studies. This thesis is an important contribution into the understanding, modelling, monitoring and analysis of dynamic flow process in advanced wells