Experiments in context-sensitive analysis of modular programs

Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The advantage of these context-sensitive analyses is that they provide information which is potentially more accurate than that provided by context-free analyses. Such information can then be applied to validating/debugging the program and/or to specializing the program in order to obtain important performance improvements. Some very preliminary experimental results have also been reported for some of these models which provided initial evidence on their potential. However, further experimentation, which is needed in order to understand the many issues left open and to show that the proposed modes scale and are usable in the context of large, real-life modular programs, was left as future work. The aim of this paper is two-fold. On one hand we provide an empirical comparison of the different models proposed in previous work, as well as experimental data on the different choices left open in those designs. On the other hand we explore the scalability of these models by using larger modular programs as benchmarks. The results have been obtained from a realistic implementation of the models, integrated in a production-quality compiler (CiaoPP/Ciao). Our experimental results shed light on the practical implications of the different design choices and of the models themselves. We also show that contextsensitive analysis of modular programs is indeed feasible in practice, and that in certain critical cases it provides better performance results than those achievable by analyzing the whole program at once, specially in terms of memory consumption and when reanalyzing after making changes to a program, as is often the case during program development.

Optimized algorithms for the incremental analysis of logic programs

Global analysis of logic programs can be performed effectively by the use of one of several existing efficient algorithms. However, the traditional global analysis scheme in which all the program code is known in advance and no previous analysis information is available is unsatisfactory in many situations. Incrementa! analysis of logic programs has been shown to be feasible and much more efficient in certain contexts than traditional (non-incremental) global analysis. However, incremental analysis poses additional requirements on the fixpoint algorithm used. In this work we identify these requirements, present an important class of strategies meeting the requirements, present sufficient a priori conditions for such strategies, and propose, implement, and evalúate experimentally a novel algorithm for incremental analysis based on these ideas. The experimental results show that the proposed algorithm performs very efficiently in the incremental case while being comparable to (and, in some cases, considerably better than) other state-of-the-art analysis algorithms even for the non-incremental case. We argüe that our discussions, results, and experiments also shed light on some of the many tradeoffs involved in the design of algorithms for logic program analysis.

Goal dependent vs goal independent analysis of logic programs

Goal independent analysis of logic programs is commonly discussed in the context of the bottom-up approach. However, while the literature is rich in descriptions of top-down analysers and their application, practical experience with bottom-up analysis is still in a preliminary stage. Moreover, the practical use of existing top-down frameworks for goal independent analysis has not been addressed in a practical system. We illustrate the efficient use of existing goal dependent, top-down frameworks for abstract interpretation in performing goal independent analyses of logic programs much the same as those usually derived from bottom-up frameworks. We present several optimizations for this flavour of top-down analysis. The approach is fully implemented within an existing top-down framework. Several implementation tradeoffs are discussed as well as the influence of domain characteristics. An experimental evaluation including a comparison with a bottom-up analysis for the domain Prop is presented. We conclude that the technique can offer advantages with respect to standard goal dependent analyses.

On the practicality of global flow analysis of logic programs

This paper addresses the issue of the practicality of global flow analysis in logic program compilation, in terms of both speed and precision of analysis. It discusses design and implementation aspects of two practical abstract interpretation-based flow analysis systems: MA3, the MOO Andparallel Analyzer and Annotator; and Ms, an experimental mode inference system developed for SB-Prolog. The paper also provides performance data obtained from these implementations. Based on these results, it is concluded that the overhead of global flow analysis is not prohibitive, while the results of analysis can be quite precise and useful.

Analysis of concurrent constraint logic programs with a fixed scheduling rule

The analysis of concurrent constraint programs is a challenge due to the inherently concurrent behaviour of its computational model. However, most implementations of the concurrent paradigm can be viewed as a computation with a fixed scheduling rule which suspends some goals so that their execution is postponed until some condition awakens them. For a certain kind of properties, an analysis defined in these terms is correct. Furthermore, it is much more tractable, and in addition can make use of existing analysis technology for the underlying fixed computation rule. We show how this can be done when the starting point is a framework for the analysis of sequential programs. The resulting analysis, which incorporates suspensions, is adequate for concurrent models where concurrency is localized, e.g. the Andorra model. We refine the analysis for this particular case. Another model in which concurrency is preferably encapsulated, and thus suspensions are local to parts of the computation, is that of CIAO. Nonetheless, the analysis scheme can be generalized to models with global concurrency. We also sketch how this could be done, and we show how the resulting analysis framework could be used for analyzing typical properties, such as suspensión freeness.

Advances in the analysis of short span railway bridges for high-speed lines

The physical model based on moving constant loads is widely used for the analysis of railway bridges. Nevertheless, the moving loads model is not well suited for the study of short bridges (L⩽20–25 m) since the results it produces (displacements and accelerations) are much greater than those obtained from more sophisticated ones. In this paper two factors are analysed which are believed to have an influence in the dynamic behaviour of short bridges. These two factors are not accounted for by the moving loads model and are the following: the distribution of the loads due to the presence of the sleepers and ballast layer, and the train–bridge interaction. In order to decide on their influence several numerical simulations have been performed. The results are presented and discussed herein.

Incremental analysis of logic programs

Global analyzers traditionally read and analyze the entire program at once, in a non-incremental way. However, there are many situations which are not well suited to this simple model and which instead require reanalysis of certain parts of a program which has already been analyzed. In these cases, it appears inefficient to perform the analysis of the program again from scratch, as needs to be done with current systems. We describe how the fixpoint algorithms in current generic analysis engines can be extended to support incremental analysis. The possible changes to a program are classified into three types: addition, deletion, and arbitrary change. For each one of these, we provide one or more algorithms for identifying the parts of the analysis that must be recomputed and for performing the actual recomputation. The potential benefits and drawbacks of these algorithms are discussed. Finally, we present some experimental results obtained with an implementation of the algorithms in the PLAI generic abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.

Performance analysis of AlGaAs/GaAs tunnel junctions for ultra-high concentration photovoltaics

An n(++)-GaAs/p(++)-AlGaAs tunnel junction with a peak current density of 10 100Acm(-2) is developed. This device is a tunnel junction for multijunction solar cells, grown lattice-matched on standard GaAs or Ge substrates, with the highest peak current density ever reported. The voltage drop for a current density equivalent to the operation of the multijunction solar cell up to 10 000 suns is below 5 mV. Trap-assisted tunnelling is proposed to be behind this performance, which cannot be justified by simple band-to-band tunnelling. The metal-organic vapour-phase epitaxy growth conditions, which are in the limits of the transport-limited regime, and the heavy tellurium doping levels are the proposed origins of the defects enabling trap-assisted tunnelling. The hypothesis of trap-assisted tunnelling is supported by the observed annealing behaviour of the tunnel junctions, which cannot be explained in terms of dopant diffusion or passivation. For the integration of these tunnel junctions into a triple-junction solar cell, AlGaAs barrier layers are introduced to suppress the formation of parasitic junctions, but this is found to significantly degrade the performance of the tunnel junctions. However, the annealed tunnel junctions with barrier layers still exhibit a peak current density higher than 2500Acm(-2) and a voltage drop at 10 000 suns of around 20 mV, which are excellent properties for tunnel junctions and mean they can serve as low-loss interconnections in multijunction solar cells working at ultra-high concentrations.

Simplified computational method for non-linear seismic analysis of bridges

After the experience gained during the past years it seems clear that nonlinear analysis of bridges are very important to compute ductility demands and to localize potential hinges. This is specially true for irregular bridges in which it is not clear weather or not it is possible to use a linear computation followed by a correction using a behaviour factor. To simplify the numerical effort several approximate methods have been proposed. Among them, the so-called Dynamic Plastic Hinge Method in which an evolutionary shape function is used to reduce the structure to a single degree of freedom system seems to mantein a good balance between accuracy and simplicity. This paper presents results obtained in a parametric study conducted under the auspicies of PREC-8 european research program.

Analysis of noise temperature sensitivity for the design of a broadband thermal noise primary standard

A broadband primary standard for thermal noise measurements is presented and its thermal and electromagnetic behaviour is analysed by means of a novel hybrid analytical?numerical simulation methodology. The standard consists of a broadband termination connected to a 3.5mm coaxial airline partially immersed in liquid nitrogen and is designed in order to obtain a low reflectivity and a low uncertainty in the noise temperature. A detailed sensitivity analysis is made in order to highlight the critical characteristics that mostly affect the uncertainty in the noise temperature, and also to determine the manufacturing and operation tolerances for a proper performance in the range 10MHz to 26.5 GHz. Aspects such as the thermal bead design, the level of liquid nitrogen or the uncertainties associated with the temperatures, the physical properties of the materials in the standard and the simulation techniques are discussed.

Electronic property analysis of O-doped Cu3SbS3

The ternary Cu-Sb-S semiconductors are considered to be sustainable and potential alternative absorber materials in thin film photovoltaic applications. In these compounds, several phases may coexist, albeit in different proportions depending on experimental growth conditions. Additionally, the photovoltaic efficiency could be increased with isoelectronic doping. In this work we analyze the electronic properties of O-doped Cu3SbS3 in two structures: the wittichenite and the skinnerite. We use first-principles within the density functional formalism with two different exchange-correlation potentials. In addition, we estimate the potential of these compounds for photovoltaic applications.

Analysis of the surface state of epi-ready Ge wafers

The surface state of Ge epi-ready wafers (such as those used on III-V multijunction solar cells) supplied by two different vendors has been studied using X-ray photoemission spectroscopy. Our experimental results show that the oxide layer on the wafer surface is formed by GeO and GeO2. This oxide layer thickness differs among wafers coming from different suppliers. Besides, several contaminants appear on the wafer surfaces, carbon and probably chlorine being common to every wafer, irrespective of its origin. Wafers from one of the vendors show the presence of carbonates at their surfaces. On such wafers, traces of potassium seem to be present too.

Analysis of the modified optical properties and band structure of GaAs12xSbx-capped InAs/GaAs quantum dots

The origin of the modified optical properties of InAs/GaAs quantum dots (QD) capped with a thin GaAs1−xSbx layer is analyzed in terms of the band structure. To do so, the size, shape, and composition of the QDs and capping layer are determined through cross-sectional scanning tunnelling microscopy and used as input parameters in an 8 × 8 k·p model. As the Sb content is increased, there are two competing effects determining carrier confinement and the oscillator strength: the increased QD height and reduced strain on one side and the reduced QD-capping layer valence band offset on the other. Nevertheless, the observed evolution of the photoluminescence (PL) intensity with Sb cannot be explained in terms of the oscillator strength between ground states, which decreases dramatically for Sb > 16%, where the band alignment becomes type II with the hole wavefunction localized outside the QD in the capping layer. Contrary to this behaviour, the PL intensity in the type II QDs is similar (at 15 K) or even larger (at room temperature) than in the type I Sb-free reference QDs. This indicates that the PL efficiency is dominated by carrier dynamics, which is altered by the presence of the GaAsSb capping layer. In particular, the presence of Sb leads to an enhanced PL thermal stability. From the comparison between the activation energies for thermal quenching of the PL and the modelled band structure, the main carrier escape mechanisms are suggested. In standard GaAs-capped QDs, escape of both electrons and holes to the GaAs barrier is the main PL quenching mechanism. For small-moderate Sb (<16%) for which the type I band alignment is kept, electrons escape to the GaAs barrier and holes escape to the GaAsSb capping layer, where redistribution and retraping processes can take place. For Sb contents above 16% (type-II region), holes remain in the GaAsSb layer and the escape of electrons from the QD to the GaAs barrier is most likely the dominant PL quenching mechanism. This means that electrons and holes behave dynamically as uncorrelated pairs in both the type-I and type-II structures.

Experimental determination of the eutectic temperature in air of the CuO-TiO2 pseudobinary system

Eutectic temperature and composition in the CuO–TiO2 pseudobinary system have been experimentally determined in air by means differential thermal analysis (DTA), thermogravimetry (TG) and hot-stage microscopy (HSM). Samples of the new eutectic composition treated at different temperatures have been characterized by X-ray diffraction (XRD) and X-ray absorption near-edge structural spectroscopy (XANES) to identify phases and to determine the Cu valence state, respectively. The results show that the eutectic temperature in air is higher by 100 °C (∼1000 °C) for a Ti-richer composition (XTiO2=25 mol%) than the one calculated in the literature. The reduction of Cu2+ to Cu+ takes places at about 1030 °C. The existence of Cu2TiO3 and Cu3TiO4 has been confirmed by XRD in the temperature range between 1045 and 1200 °C.

Simplified Procedure for the Nonlinear Seismic Analysis of Bridges

The severe accidents suffered by bridges during recent earthquake show that more careful analysis are needed to guarantee their behaviour. In particular simplified non-linear analysis could be useful to bridge the gap between theoretical research and practical applications. This paper presents one of those simplified methods that can be applied for first designs or to retrofitting of groups of bridges.