A logical approach to program analysis

This paper describesMicroScope, a framework for developing analysis tools for Lisp programs. MicroScope uses a knowledge-intensive approach for program representation and analysis. The analysis tools share a common object oriented program database, and a common Prolog inference engine. The use of Prolog and a declarative representation for programs permits sharing of information, and provides high bandwidth communication between diverse analysis tools. It also supports program specification and debugging activities in the same framework. Extensions to Prolog to support analysis are described, and two tools, theCritic and theExpector, are presented.This work supported in part by Hewlett-Packard Company, the National Science foundation Under Grant Number MCS81-21750 and the Defense Advanced Research Projects Agency under contract number DAAK11-84-K-0017.     

Failure loads for notched graphite/epoxy laminates with a softening strip

The strengths of two graphite/epoxy notched laminate systems with a softening strip were investigated. The softening strip was created by replacing the 0°-graphite/epoxy plies by a glass/epoxy composite. Experimental results indicated that the use of softening strips could significantly increase the laminate strength. Analysis was performed with finite elements developed using the classical laminated plate theory and was shown to be adequate. A simple point-stress failure criterion was used to predict the strength of notched laminates with softening strips and the result was found to be satisfactory.     

Study of the nutrient distribution in root tips of the tropical forage Brachiaria

A Brachiaria breeding project is being conducted at CIAT, Colombia to combine acid soil adaptation of B. decumbens with other favourable traits of Brachiaria species that are less adapted to acid soils. Micro-PIXE was applied to investigate nutrient uptake and distribution in root tips of different species grown in hydroponic culture under control and simulated acid soil stress conditions. Different sample measurement approaches were evaluated, including: (1) linear scans with single point measurements along the root axis; (2) mapping of whole root tips; and (3) mapping of root cross sections. Different tissue types could be distinguished on the base of differences in nutrient concentrations and/or Al stress. Al, if supplied under nutrient stress conditions, increased P accumulation in the central vascular tissue of the meristematic and elongation zone of B. decumbens and B. brizantha. Furthermore, a negative correlation was found between Al and Cl accumulation in the root cap of B. decumbens.     

The influence of trigger configurations and laminate lay-up on the failure mode of composite crush cylinders

In this paper the results are presented of a test program on the energy absorption of composite cylinders loaded in compression. The influence of the laminate lay-up and of the trigger configuration were determined. Two different failure modes for the different laminates and triggers were observed: a splaying mode and a fragmentation mode. The splaying mode is more efficient in absorbing energy. The failure mode did not change during the crushing process.     

Exchange and oxidation of CO on O-predosed Rh---Al2O3 and Rh---CeO2 catalysts

Exchange and oxidation of C¹⁶O were investigated at 450°C on ¹⁸O-predosed Rh and Pt catalysts supported on A1₂O₃, CeO₂ and CeO₂-Al₂O₃. In all cases, a rapid exchange of C¹⁶O with the surface can be observed. CO oxidation leads to C¹⁶O₂, C¹⁶O¹⁸O and C¹⁸O₂. Significant formation of C¹⁶O₂ is due to the relatively high ¹⁶O coverage in reaction resulting from the C¹⁶O exchange and from an exchange between O surface species and ¹⁶O internal atoms. Hydrogen is also formed via a water-gas shift reaction (CO + surface OH) in higher proportion on CeO₂-containing catalysts than on A1₂O₃. Chlorine inhibits all the reactions (exchange, oxidation and WGS) and particularly the internal exchange.     

A preliminary analysis of the biomass energy production potential in Africa in 2025 considering projected land needs for food production

This paper provides a preliminary examination of present and projected land use in Africa to estimate the potential availability of land in 2025 for use in producing biomass energy. Fifty countries are included in the analysis. Future cropland requirements are projected on the basis of average African cereal crop yield improvements since 1972, and minimum nutritional requirements are assumed to be met in 2025 without increasing imports above present absolute levels. Cropland, natural forests and other wilderness areas are excluded from consideration for biomass energy use. Woody biomass energy yields are estimated on the basis of nationally averaged precipitation, using a yield-precipitation correlation for commercial eucalyptus plantations in Brazil. The total African bioenergy production potential in 2025 is estimated to be about 18 EJ per year for a set of baseline assumptions that includes planting only 10% of the available non-crop, non-forest, non-wilderness area with biomass energy crops. A preliminary cost assessment suggests that much of this biomass could be produced for $1–2 GJ⁻¹. A number of uncertainties in the modelling assumptions are examined through a sensitivity analysis. Despite limitations in the model used here, one robust conclusion is that Africa as a whole has a significant biophysical potential for producing biomass energy. This result suggests that more detailed country and sub-country level assessments would be worthwhile to understand better the practical prospects for future biomass energy production in Africa.     

Cumulant calculations of thermodynamic quantities for the Hubbard and the emery model

The calculations of the first paper suggesting phase separation in the Hubbard model [2] are performed under modern computer facilties for the one and three-band Hubbard model. High-temperature approximations for specific heat and static correlation functions are obtained. The latter show, at these high temperatures, no tendency to phase separate in the same way as in the cited paper because our spin parallel nearest-neighbor charge correlation function is negative for all doping values. The spin antiparallel correlation function has positive and negative values for different doping regimes.Extension of this work to higher levels of iterations and to other correlation functions is in progress.     

Residual stresses and transformation toughening in MoSi2 composites reinforced with partially stabilized zirconia

The results of study of the effects of yttria stabilization (0–6 mol.%) on the room-temperature fracture behavior and toughening mechanisms in zirconia-reinforced MoSi₂ are presented in this paper. Transformation toughening is shown to occur only in composites reinforced with zirconia particles stabilized with 2 mol.% yttria. However, the fracture toughness levels are comparable in the other composites with yttria levels between 0 and 6 mol.%. Toughening in the other composites is attributed to the combined effects of residual stress, microcrack shielding/anti-shielding and/or crack deflection. A rigorous micromechanics-based model is presented for the estimation of residual stress levels in brittle materials reinforced with phases that can transform during cooling or under stress. The model is applied successfully to the rationalization of the observed fracture and toughening phenomena.     

Effect of type of processing on the microstructural features and mechanical properties of Al-Cu/SiC metal matrix composites

In this study, an aluminum based metallic matrix (Al-2wt.% Cu) was reinforced with SiC particulates using a conventional casting technique and a new disintegrated melt deposition technique. Microstructural characterization studies conducted on the samples taken from disintegrated melt deposition technique revealed a more uniform distribution of SiC particulates and good interfacial integrity between SiC particulates and metallic matrix when compared to the conventionally cast composite samples. Results of ambient temperature mechanical tests demonstrate an increase in 0.2% YS and ultimate tensile strength of samples taken from disintegrated melt deposition technique when compared with the unreinforced and conventionally cast composite samples. The results of microstructural characterization and mechanical testing were finally rationalized in terms of the nature of processing technique employed to reinforce Al-2wt.% Cu metallic matrix with SiC particulates.