Surface segregation studied by low-energy ion scattering: experiment and numerical simulation

The changes in surface composition of metallic alloys caused by segregation can be very efficiently studied by low-energy ion scattering (LEIS) due to the specific surface sensitivity of this technique. Investigations of single-crystal surfaces of ordered alloys are of particular interest because they provide the possibility to investigate the interplay between segregation effects and the order-disorder phase transition when passing through the transition temperature. Exemplifying these effects for bimetallic alloys we consider in particular the CuAu-system.For the quantitative interpretation of energy and angle resolved LEIS intensity distributions we compare experimental results with those from numerical simulations using the MARLOWE code which we extended with a detailed trajectory analysis. This allows us to apply various discrimination criteria, such as number of collisions, distance of closest approach, identification of the scattering crystal layer, total path length, etc. On this basis structural effects, ion survival probabilities and the influence of thermal vibrations can be studied.We demonstrate this potential by using CuAu(1 0 0) as a special example. The scattering potential parameters were calibrated with elemental single crystals of known structures and the anisotropic Debye temperatures taken from the literature showed good agreement, neutralization was of minor importance in this case. Our procedure could be successfully used for the quantitative analysis of the composition of the first and second layer as a function of temperature. These results are in good agreement with theoretical predictions.     

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.