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.     

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.     

Magnetic resonance of the encephalon in 17 patients with ocular Beh?et''s disease

OBJECTIVE: To evaluate the relationships between patient and physician pretreatment expectations of pain relief and subsequent pain relief reported by chronic pain patients immediately after treatment. DESIGN: Prospective study of consecutive patients undergoing a procedure in a pain clinic for treatment of chronic pain. Patients rated their current pain level and their expectation of pain relief immediately prior to undergoing a procedure (e.g., intravenous drug infusion, nerve block) for the treatment of chronic pain. Simultaneously and independently, the treating physician completed a similar questionnaire. At completion of the procedure, patients rated their current pain level and degree of pain relief. SETTING: University of Washington Multidisciplinary Pain Center procedure suite. PATIENTS: Forty-six consecutive chronic pain patients. INTERVENTION: Intravenous drug infusions and nerve blocks. OUTCOME MEASURES: Current pain and pain relief ratings. RESULTS: Patients' pain relief expectation ratings were not correlated significantly with their postprocedure pain relief ratings or pre-post procedure changes in pain ratings. However, a statistically significant correlation was found between physician expectations of pain relief and patient pain relief ratings and patient pre-post procedure changes in pain. CONCLUSIONS: The results of this study suggest that physicians are better predictors than are patients of patients responses to these procedures and/or that physicians may somehow subtly communicate their expectations to patients during the procedure, and these expectations then influence patient response. Patient pretreatment expectations may not always play a significant role in nonspecific treatment effects.     

Ventricular arrhythmias in myocardial hypertrophy of various origins

BACKGROUND: Elevated serum sialic acids are associated with increased cardiovascular mortality, but sialic acid levels have not been studied in cardiac tissue. METHODS: Myocardial samples were obtained at the time of transplantation from 23 patients (age 54 +/- 12 years) with heart failure secondary to ischemic heart disease and 16 patients (age 51 +/- 7 years) with idiopathic dilated cardiomyopathy (DCM). A control group comprised postmortem samples obtained from 14 patients (age 70 +/- 5 years) who died of non-cardiovascular causes. Ventricular sialylation was quantitated using the sialic acid-specific lectins Maackia amurensis agglutinin (MAA) and Sambucus nigra agglutinin (SNA) using a chemiluminescence assay. Results are expressed as the percentage (+/-standard error of the mean) of the binding of lectin to a standardized control sample of human myocardium. RESULTS: Ventricular sialylation recognized by MAA was 55 +/- 7% in patients with heart failure secondary to ischemic heart disease compared with 26 +/- 7% for DCM (p = 0.006) and 32 +/- 8% for controls (p = 0.04), and that recognized by SNA was 69 +/- 7% in patients with heart failure secondary to ischemic heart disease compared with 42 +/- 6% for DCM (p = 0.006) and 38 +/- 7% for controls (p = 0.006). No significant difference in ventricular sialylation was observed between patients with DCM and controls. CONCLUSION: Myocardial levels of sialic acids are significantly increased in patients with heart failure secondary to ischemic heart disease compared with patients with idiopathic dilated cardiomyopathy and controls. Our findings are important in view of recent reports of an association between serum sialic acid concentration and cardiovascular mortality and require further investigation.     

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     

Estimating the viewing parameters of random, noisy projections ofasymmetric objects for tomographic reconstruction

The ability to determine the viewing parameters of objects from their projections has enabled well established tomographic techniques to be employed in the 3D reconstruction of objects from images obtained via modalities where the orientation of the objects cannot be controlled. A method is described for the determination of the viewing parameters of randomly acquired projections of asymmetric objects. It extends upon the common lines algorithm by determining the relative orientation of projections from the location of lines of intersection among the Fourier transforms of the projections in 3D Fourier space. A new technique for finding the lines of intersection in the presence of translational displacement, and for subsequently finding the translational displacement, is presented. The complete algorithm is described and its efficacy is demonstrated using real data. A new technique for dealing with noise is also discussed     

On a large-gain theorem

The aim of this paper is to give a general quantitative requirement which the loop gain must satisfy in order to stabilize a given unstable (possibly nonlinear and time-varying) plant, namely that the gain must exceed one.