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.     

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)     

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.     

Creating a Student Centered Learning Environment at the University of Denver

A team of faculty members at the University of Denver changed the learning environment in key courses in the Department of Engineering from predominately teacher centered to student centered. Through this funded project new grading methods were implemented, classrooms were renovated and wired with studio layouts to facilitate learning, the Engineering Circuits Laboratory was rewired and instrumented for automated data acquisition and reporting, and two new pedagogical approaches were developed. At the onset of the project, six goals were established related to student learning. The introduction of industry standard hardware and software provided students with unprecedented hands‐on experience and project related activities stimulated faculty innovations in other current and future courses. Assessment results indicate that the new grading system improved the clarity of expectations for students before assignments were given resulting in increased reported motivation for learning in many courses. Even though course GPAs did not always reflect higher achievement on graded work, faculty members firmly believe that deeper understanding was achieved because more complex material was assimilated.     

Effects of urbanization on the aquatic fauna of the Line Creek watershed, Atlanta—a satellite perspective

Impervious surface area (ISA) was derived for a period from 1979 to 1997 from Landsat MSS and TM data for the Line Creek watershed that lies to the south of the city of Atlanta, GA. The change in ISA is presented as an ecological indicator to examine the cumulative water resource impacts on mussel population in three sub-watersheds of Line Creek—namely, Line, Flat, and Whitewater creeks. The satellite analysis shows that ISA expansion occurred substantially from 1987 to 1997 and is predominantly in industrial, commercial, and shopping center (ICS) complexes but also in smaller lot-size residential development. Evidence of mussel habitat degradation is indicated and loss of species (in the region of 50 to 70%) is present in areas where ISA expansion is observed—specifically in ICS complex development in and around Peachtree City that drains directly into the Line and Flat creeks. This is in marked contrast to Whitewater Creek where overall development of ISA is less and no major loss of mussel species is observed.     

Metric-based reasoning about pseudocode design in the partial metrics system

The goal of the PMS project is to produce an environment in which the intelligent online assessment of the design for large-scale ADA programming projects is provided. The focus is on the representation of knowledge about the design process for an individual module. Changes in pseudocode complexity are measured in terms of partial metrics. These metrics can take the designers inferences about the pseudocode program structure into account when assessing module complexity. Next, a model of the stepwise refinement process is given which demonstrates how pseudocode elaboration decisions can be modelled in partial metric terms. Finally, the decisions associated with each refinement step for 17 example refinements taken from the computer science literature are described using partial metrics.     

Building a user model implicitly from a cooperative advisory dialog

This paper reviews existing methods for building user models to support adaptive, interactive systems, identifies sigificant problems with these approaches, and describes a new method for implicitly acquiring user models from an ongoing user-system dialog. Existing explicit user model acquisition methods, such as user edited models or model building dialogs put additional burden on the user and introduce artificial model acquisition dialogs. Hand coding stereotypes, another explicit acquisition method, is a tedious and error-prone process. On the other hand, implicit acquisition techniques such as computing presuppositions or entailments either draw too few inferences to be generally useful, or too many to be trusted.In contrast, this paper describes GUMAC, a General User Model Acquisition Component that uses heuristic rules to make default inferences about users' beliefs from their interaction with an advisory expert system. These rules are based on features of human action and conversation that constrain people's behavior and establish expectations about their knowledge. The application of these rules is illustrated with two examples of extended dialogs between users and an investment advisory system. During the course of these conversations, GUMAC is able to acquire an extensive model of the users' beliefs about the aspects of the domain considered in the dialog. These models, in turn, provide the sort of information needed by an explanation generator to tailor explanations the advisory system gives to its users.     

Assessing Environmental Risks: Lessons From Superfund

This essay analyzes the use of risk assessment in Superfund, the controversial American hazardous waste cleanup programme. We argue that risk assessment has been used in three ways in discussing policy options in this programme: as a metric for assessing performance; as a means for resolving conflicts; and as a tool for comparing different environmental initiatives. Use of risk reduction as an analytical tool in European efforts to clean up hazardous waste sites is discussed. We conclude that while risk assessment has potential utility for each of these applications, there are also accompanying technical and political difficulties.     

The US market for SO2 permits: Policy implications of the low price and trading volume

The price of SO₂ permits and the volume of trading under the US Acid Rain Program have been lower than expected. This can be explained by the creation and distribution of more permits than were initially authorized, by the sale of permits by high cost abaters who are subject to more stringent local emission constraints or who have irreversibly invested in high cost abatement technologies and by the deregulation of the natural gas and railroad industries which, in combination with incentives for cost-cutting under the new market approach to SO₂ control, has lowered marginal costs of abatement curves and made them more uniform across powerplants. The low price of permits and low trading volume are evidence that market approaches to pollution control can be more cost-effective than command and control regulations. The effect of public policies and technological changes on the allowance market are usefully examined in the context of an ideal market, in which the equilibrium price of allowances equals the marginal cost of abatement of individual powerplants. Using recent data from Coggins and Swinton (1996), we are able to explain the current price of permits with some accuracy.