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.     

Factors affecting cloud point analysis of palm oleins

Some of the factors affecting cloud point determination of palm oleins are described. These are the type of container used, method of stirring, rate of stirring and bath temperature. The repeatability and reproducibility standard deviations of the method are determined from collaborative trials. Recommendations for the test are made to reduce the large variations among laboratories.     

Use of electrochemical oxidation process as post-treatment for the effluents of a UASB reactor treating cellulose pulp mill wastewater.

The main purpose of this study was to evaluate the performance of the electrochemical oxidation process as a post-treatment for the effluents of a bench-scale UASB reactor treating simulated wastewater from an unbleached pulp plant. The oxidation process was performed using a single compartment cell with two plates as electrodes. The anode was made of Ti/Ru0.3Ti0.7O2 and the cathode of stainless steel. The following variables were evaluated: current density (75, 150 and 225 mA cm(-2)) and recirculation flow rate in the electrochemical cell (0.22, 0.45 and 0.90 L h(-1)). The increase in current density from 75 to 225 mA cm(-2) did not increased the color removal efficiency for the tested flow rates, 0.22, 0.45 and 0.90 L h(-1), however the energy consumption increased significantly. The results indicated the technical feasibility of the electrochemical treatment as post-treatment for UASB reactors treating wastewaters from pulp and paper plants.     

Improving the Public Health Information Network through Semantic Modeling

The US Centers for Disease Control and Prevention (CDC) created the Public Health Information Network to advance fully capable, interoperable information systems in public health organizations. PHIN prioritizes public health information systems' functional requirements, capabilities, performance measures, and operational characteristics while letting the architects of those systems choose enabling approaches, methods, and concepts to meet the requirements. PHIN also provides a certification process for public health administrators to evaluate their information infrastructure's quality. The certification process is important because affected organizations often depend on certification for continued funding.     

IBM RISC System/6000: architecture and performance

The IBM RISC System/6000, a superscalar microprocessor, is presented. The architecture of this processor has its instruction set specifically designed for a superscalar machine containing three independent units-branch, fixed-point, and floating-point. The design also emphasizes high-performance floating-point operations. The design principles are to offer maximum overlap of the three functional units, avoid dead cycles, and define instructions that can (for the most part) be completed at a rate of one per cycle. The branch cycle, fixed- and floating-point units, cache management, and performance are described. Benchmark results are given     

Intravaginal Controlled Administration of Flurogestone Acetate: (III) Development of Rate-Control Vaginal Devices

A Rate-Control vaginal device was developed which overcomes the low bioavailability and unpredictable Q - t^1/2 type release and absorption rate profiles of flurogestone acetate delivered by the currently marketed Syncro-Mate pessary.

The in vitro release and vaginal absorption profiles from the Rate-Control vaginal device were run simultaneously, a linear Q - t relationship was obtained with a significant improvement in bioavailability. A mathematical model was developed to correlate the in vitro drug release and the vaginal absorption profiles of flurogestone acetate from the vaginal devices.

The design, development and the simultaneous release and absorption profiles of flurogestone acetate from this new vaginal device were outlined and discussed.     

FMR and EXAFS modeling of heat-treated Fe-rich and Co-rich TM-M thin films

Ion-beam sputter-deposited alloy films of Co/sub 74/Fe/sub 6/B/sub 15/Si/sub 5/ and Fe/sub 75/Ni/sub 5/B/sub 15/Si/sub 5/ were examined for their magnetic and structural properties. Films were characterized by ferromagnetic resonance, vibrating sample magnetometry, and extended X-ray absorption fine structure (EXAFS) analysis. Using atomic parameters deduced from EXAFS modeling and fitting procedures, magnetic properties were calculated with no adjustable parameters. Correlation between perpendicular FMR measurements and EXAFS first-shell modeling suggests a low-temperature formation of cobalt-borides in the Co/sub 74/Fe/sub 6/B/sub 15/Si/sub 5/ alloy. Annealed Fe/sub 75/Ni/sub 5/B/sub 15/Si/sub 5/ samples did not display evidence of structural and/or magnetic instabilities until the onset of long-range crystallization near T/sub ann/=400 degrees C.<>     

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.     

Linear output feedback compensation of rank-one systems

A new method is presented for arbitrarily assigning the closed-loop poles of a linear multi-input/multi-output system using linear output feedback. The method employs a new notion of rank-one system representations and involves the use of state transformation matrices which preserve such representations while reducing the degree of the feedforward matrix