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.     

Pyrolysis and combustion of cellulose. VIII. Thermally initiated reactions of phosphonomethyl amide flame retardants

Several N-(phosphonomethyl) amides have previously been reported to act as particularly effective flame retardants for cellulose. It has also been demonstrated previously that the efficiency of a flame retardant on cellulose frequently parallels its ability to phosphorylate cellulosic hydroxyls at elevated temperatures. This study of the hydrolysis and alcoholysis reactions of N-(phosphonomethyl) amides establishes their unique reactivity. An explanation for this high reactivity is proposed on the basis of intramolecular assistance of the attack of water or alcohols at phosphorus by the carbonyl oxygen of the amide moiety.     

High-load, squeeze action linear bearings with beam deflection

The literature provides little information on high-speed, high-normal-load, plain linear bearings, although the case for two rigid surfaces in relative linear motion can readily be solved by assuming squeeze action resistance. A new genus of internal combustion engines based on the Stiller-Smith mechanism incorporates connecting rods constrained by linear bearings, with the central normal load on the rod restricted by an oil film. A general analysis takes into account the bending of the rod, when the distributed oil film pressure resists the distributed load on the elastic rod. Design charts result that yield the dimensionless velocity at which the rod sinks in the oil as a function of the dimensionless load and the bearing clearance, and predict the deflection of the beam. The rod clearance history simulations for the Stiller-Smith engine compare favourably with computations for the rigid beam, confirming the analysis technique.     

Revising threshold functions

A revision algorithm is a learning algorithm that identifies the target concept, starting from an initial concept. Such an algorithm is considered efficient if its complexity (in terms of the resource one is interested in) is polynomial in the syntactic distance between the initial and the target concept, but only polylogarithmic in the number of variables in the universe. We give an efficient revision algorithm in the model of learning with equivalence and membership queries for threshold functions, and some negative results showing, for instance, that threshold functions cannot be revised efficiently from either type of query alone. The algorithms work in a general revision model where both deletion and addition type revision operators are allowed.     

Three-Phase Induction Generator for Single-Phase Line

Hydroelectric generators of less than 20 kilowatts can be in remote areas served only by a single-phase line. For high efficiency and low cost, a three-phase induction generator should be used. This three-phase generator can operate with balanced voltages and currents when the ``phase-splitting' circuit uses two capacitors connetted to two different single-phase voltage sources.     

Structural Appraisal of the Florentine Gothic Construction System

The nave of Santa Maria Novella, a Dominican church in Florence Italy is representative of a Florentine Gothic system of construction. This system, consisting of domical rib vaults on square nave bays, high side aisles, and crypto-buttressing, differs substantially from the French high Gothic system of even-level-crown rib vaults on rectangular bays, with flying buttresses over relatively low aisles. An investigation into the structural aspects of the Florentine Gothic construction system reveals that the domical vaults increase the longitudinal thrust and reduce the transverse thrust, which may require additional precautions to be taken during construction, but entails a less elaborate buttressing system. The domical vaults are found to perform well structurally, with an absence of tensile stresses, and are more suitable for a square bay. In general, the structural system of the nave of Santa Maria Novella is found to be the product of carefully considered structural design, which may be accepted as an alternative to the French Gothic construction system.     

Contracting, prompting, and reinforcing substance use disorder continuing care: A randomized clinical trial.

Although continuing care is strongly related to positive treatment outcomes for substance use disorder (SUD), participation rates are low and few effective interventions are available. In a randomized clinical trial with 150 participants (97% men), 75 graduates of a residential Veterans Affairs Medical Center SUD program who received an aftercare contract, attendance prompts, and reinforcers (CPR) were compared to 75 graduates who received standard treatment (STX). Among CPR participants, 55% completed at least 3 months of aftercare, compared to 36% in STX. Similarly, CPR participants remained in treatment longer than those in STX (5.5 vs. 4.4 months). Additionally, CPR participants were more likely to be abstinent compared to STX (57% vs. 37%) after 1 year. The CPR intervention offers a practical means to improve adherence among individuals in SUD treatment. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

From the Editors.

We could not imagine a more appropriate inauguration of the Psychology of Aesthetics, Creativity, and the Arts (PACA) going to four issues per year than with a special issue honoring the life and work of the great aesthetician and psychologist, Rudolf Arnheim. PACA is off to a great start. With this move to four issues per year, we are restarting our numbering system, so this special issue is Volume 1, Issue 1. As you read the articles in this issue, we hope that you enjoy reflecting on how much Rudolf Arnheim has contributed to the field of psychology of aesthetics. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Bench-Scale Testing of Nanofiltration for Seawater Desalination

A dual-staged nanofiltration process is being evaluated as an alternative to reverse osmosis for seawater desalination. The primary goal of this system is to reduce energy consumption while producing potable water at an acceptable recovery rate. Investigation of this system at the bench-scale level focused on membrane surface characterization, ion rejection (including boron, bromide, and iodide rejection), and flux decline. Results from this study showed that two commercially available nanofiltration membranes can effectively desalinate seawater. Although fouling was apparent—and resulted in approximately 20% flux decline over 3 days—a critical flux was not identifiable. Operation of the system at different cross-flow velocities revealed the significance of hydrodynamic conditions on the polarization modulus, and hence on membrane performance.