Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

The road to maturity: navigating between craft and science

C. Ebert presents his views on the state of software engineering as a field, its roots and inherent conflicts, its relationship to other engineering disciplines, where it is headed, and what we can do to influence that direction. T. Matsubara, T. Webb, M. Pezze, and O.W. Bertelsen offer a spectrum of further insights     

Development of a recurrent Sigma-Pi neural network rainfall forecasting system in Hong Kong

At the moment, weather forecasting is still an art — the experience and intuition of forecasters play a significant role in determining the quality of forecasting. This paper describes the development of a new approach to rainfall forecasting using neural networks. It deals with the extraction of information from radar images and an evaluation of past rain gauge records to provide shortterm rainfall forecasting. All of the meteorological data were provided by the Royal Observatory of Hong Kong (ROHK). Preprocessing procedures were essential for this neural network rainfall forecasting. The forecast of the rainfall was performed every half an hour so that a storm warning signal can be delivered to the public in advance. The network architecture is based on a recurrent Sigma-Pi network. The results are very promising, and this neural-based rainfall forecasting system is capable of providing a rain storm warning signal to the Hong Kong public one hour ahead.     

A Metallographic Study of Abnormal Grain Growth During Aging of a β-Quenched Zr-1.14 Wt% Cr-0.08 Wt% Fe Alloy

Results are reported of a detailed optical and electron metallographic study of the effects of variations in quenching rate from the β-phase and aging temperature in the + ZrCr₂ phase region, on the recrystallization and grain growth characteristics of Zr-1.14 wt% Cr-0.08 wt% Fe alloy used for nuclear fuel sheathing. It is shown that certain quenching rates, which produce a mixed martensitic-Widmanstätten structure, should be avoided during the fabrication of fuel sheathing, since recrystallization and grain growth occurs at a much lower temperature than a material quenched at such a rate that the structure is wholly Widmanstätten or wholly martensitic. Preaging at 350 or 450°C prior to the high-temperature (700–750°C) aging reduces the incidence of recrystallization and grain growth.     

Spontaneous disappearance of traumatic macular holes in young patients

PURPOSE: To report the disappearance of traumatic macular hole in three eyes of three patients. METHODS: Clinical data of the patients were reviewed. RESULTS: The three patients were relatively young, ranging in age from 12 to 18 years old. In one eye of each patient, a small traumatic macular hole was observed at the first visit. Visual acuities ranged from 20/100 to 20/40. The macular holes resolved spontaneously 3 to 4 months after the trauma, and final visual acuity improved to 20/20 in all patients. CONCLUSION: Small traumatic macular holes in young patients can resolve spontaneously, and this can be associated with good visual recovery.     

Direct evidence of high DNA binding activity of transcription factor AP-1 in rheumatoid arthritis synovium

Green fluorescent protein (GFP) is increasingly being used in plant biology from the cellular level to whole plant level. At the cellular level, GFP is being used as an in vivo reporter to assess frequency of transient and stable transformation. GFP has also proven to be an invaluable tool in monitoring trafficking and subcellular localization of protein. At the organ level and up, many exciting applications are rapidly emerging. The development of brighter GFP mutants with more robust folding properties has enabled better macroscopic visualization of GFP in whole leaves and plants. One interesting example has been the use of GFP to monitor virus movement in and among whole plants. GFP is also emerging as a powerful tool to monitor transgene movement and transgenic plants in the field. In a proof-of-concept study, tobacco was transformed with a modified version of the GFP gene controlled by a constitutive (35S) promoter. GFP expression in progeny plants ranged from 0% to 0.5%, and approximately 0.1% GFP was the minimal amount needed for unambiguous macroscopic detection. GFP is the first truly in vivo reporter system useful in whole plants, and we project its usefulness will increase even further as better forms of GFP genes become available.     

Artificial neural networks for coordination and control: The portability of experiential representations

It is time to locate connectionist representation theory in the new wave of robotics research. The utility of representations developed in artificial neural networks (ANNs) during learning has been demonstrated in cognitive science research since the 1980s. The research reported here puts learned representations to work in a decentered control task, the disembodied arm problem, in which a mobile robot operates an arm fixed to a table to pick up objects. There is no physical linkage between the arm and the robot and so the robot's point of view must be decentered. This is done by developing a modular Artificial Neural Net system in three stages: (i) a classifier net is trained with laser scan data to output transformationally invariant position classes; (ii) an arm net is trained for picking up objects; (iii) an inter net is trained to communicate and coordinate the sensing and acting. The completed system is shown to create new nonsymbolic transformationally invariant representations in order to perform the effective generalization of decentered viewpoints.     

Peer evaluation. A visual picture

To meet the criteria of role accountability, nursing competence and ongoing staff development, an improved peer-evaluation system was designed to continuously monitor these new roles. This peer-evaluation process converts evaluation input into data, giving staff a visual picture of how their performance compares within their peer group. This peer-evaluation process was designed as a tool to assist in staff growth and development, not as a punitive system.     

Certain nonlinear partially observable stochastic optimal controlproblems with explicit control laws equivalent to LEQG/LQG problems

This paper is concerned with partially observed stochastic optimal control problems when nonlinearities enter the dynamics of the unobservable state and the observations as gradients of potential functions. Explicit representations for the information state are derived in terms of a finite number of sufficient statistics. Consequently, the partially observed problem is recast as one of complete information with a new state generated by a modified version of the Kalman filter. When the terminal cost is quadratic in the unobservable state and includes the integral of the nonlinearities, the optimal control laws are explicitly computed, similar to linear-exponential-quadratic-Gaussian (LEQG) and linear-quadratic-Gaussian (LQG) tracking problems. The results are applicable to filtering and control of Hamiltonian systems