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.     

Prevalence of adrenal carcinoma among incidentally discovered adrenal masses. A retrospective study from 1989 to 1994. Gruppo Piemontese Incidentalomi Surrenalici

BACKGROUND: The incidental discovery of an adrenal mass poses the problem of distinguishing between the frequent benign masses and the infrequent malignant ones that require surgery. Univocal guidelines to approach this problem are unavailable. OBJECTIVE: To perform a survey of the clinical management of incidentally discovered adrenal masses (ie, adrenal incidentalomas). DESIGN: A multicentric retrospective analysis of hospital medical records of adrenal incidentalomas diagnosed during a 5-year period; the medical records were scrutinized for demographic data and clinical details by means of a specifically tailored questionnaire. SETTING: The major surgical and medical centers of Piedmont, a northern Italian region with approximately 4 million inhabitants. The recruitment pattern of these centers was unselected. PATIENTS: The definition of adrenal incidentaloma was limited to patients with a physical examination and a clinical history unindicative of adrenal disease. Exclusion criteria also included hypertension of suspected endocrine origin and a history of neoplasms known to metastasize frequently in the adrenal glands. Two hundred twenty-four medical records were collected, and 210 were analyzed (14 excluded a posteriori). RESULTS: Most patients were in their 50s and 60s, and women were predominantly affected. The frequency of adrenocortical cancer was 13% among patients operated on. The tumor diameter was highly correlated with the risk of cancer; a cutoff at 5 cm had a sensitivity of 93% with a specificity of 64% in discriminating between benign and malignant cortical lesions. CONCLUSIONS: The occurrence of adrenocortical carcinoma among adrenal incidentalomas is not rare. The evaluation of the mass size is a simple and effective method for selecting patients at risk for cancer. The indication for surgery of masses larger than 5 cm, or of masses of any diameter that have suspicious imaging characteristics, limits unnecessary operations and costs.     

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.     

Effect of hygiene measures, water sanitation and oral rehydration therapy on diarrhea in children less than five years old in the south of Ivory Coast

BACKGROUND: Gastric sucrose permeability is a noninvasive marker that reliably increases in association with gastrointestinal injury due to use of nonsteroidal antiinflammatory drugs. Despite the effect of Helicobacter pylori infection on the gastric mucosa, in a previous study we were unable to demonstrate that H. pylori infection was associated with abnormal gastric sucrose permeability. Our goal in this study was to explore further whether H. pylori infection changed gastric permeability; therefore, we evaluated the effect of treatment of H. pylori infection on gastric permeability to sucrose and the relation of sucrose permeability to density of polymorphonuclear leukocytes. MATERIALS AND METHODS: Five hundred milliliters of a solution containing 100 gm of sucrose was ingested by the subject at bedtime. Overnight urine was collected and assayed for sucrose by high-performance liquid chromatography. Sucrose permeability was assessed both before and approximately 4 weeks after anti-H. pylori therapy. RESULTS: Seventeen asymptomatic H. pylori-infected volunteers participated; 8 were cured. Sucrose permeability was in the range commonly found in normal controls both before and after anti-H. pylori therapy (mean excretion, 76.3 mg; range, 13-171 mg). Gastric sucrose permeability correlated with the density of polymorphonulcear cell infiltration of the mucosa. Cure of the H. pylori infection was associated with a small but significant decrease in sucrose permeability (98.8 +/- 18 mg to 51.7 +/- 9.8 mg (p = .01). Sucrose permeability was greater in those with a high density of mucosal polymorphonuclear cells compared to those with lower scores (119.5 +/- 4 vs 71.4 +/- 13 for those with scores > or = 5 compared to scores < or = 4; p = .023). Failed therapy resulted in an increase in the mucosal density of polymorphonuclear infiltration and sucrose permeability (56.4 +/- 13 mg-99.7 +/- 19 mg pretreatment vs posttreatment, respectively; p = .031). CONCLUSION: H. pylori gastritis causes a small but measurable increase in gastric permeability to sucrose that may reflect epithelial transmigration of neutrophils.     

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     

Imprudent linking weaves a tangled Web

Hypertext linking is often embraced uncritically by Web authors eager to explore the power of hypertext without first considering its effects on their readers' comprehension. Hypertext linking is not a substitute for thought-we think with ideas, not with dissociated snippets of raw information. Even the most germane bits of information cannot become ideas, regardless of how cleverly they are stacked, listed or linked. Ideas define relevance, provide context and establish patterns. With patterns, most concepts become intelligible, and we need continuity and stability of theme and context to recognize patterns. So, like most powerful technologies, hypertext links are a mixed blessing. Used improperly, they can be detrimental to Web sites. “Loose links” can drive away an audience, dilute the site's message, confuse the reader with irrelevant digressions and become a continuing maintenance headache for site authors and Webmasters     

Magnet Safety Assessment for ITER

The ITER magnet system consists of structurally linked sets of toroidal (TF) and poloidal (PF) field coils, central solenoid (CS), and various support structures. The coils are superconducting, force flow Helium cooled with a Kapton-Glass-Epoxy multilayer insulation system. The stored magnetic energy is about 100GJ in the TF system and 20GJ in the PF-CS. Coils and structure are maintained at 4 K by enclosing them in a vacuum cryostat. The cryostat, comprising an outer envelope to the magnets, forms most of the second radioactivity confinement barrier. The inner primary barrier is formed by the vacuum vessel, its ports and their extensions. To keep the machine size within acceptable bounds, it is essential that the magnets are in close proximity to both of the nuclear confinement barriers. The objective of the magnet design is that, although local damage to one of the barriers may occur in very exceptional circumstances, large scale magnet structural or thermal failure leading to simultaneous breaching of both barriers is not credible. Magnet accidents fall into three categories: thermal (which includes arcing arising from insulation failure and local overheating due to discharge failure in the event of a superconductor quench), structural (which includes component mechanical failure arising from material inadequacies, design errors and exceptional force patterns arising from coil shorts or control failures), and fluid (Helium release due to cooling line failure). After a preliminary survey to select initial faults conceivable within the present design, these faults are systematically analyzed to provide an assessment of the damage potential. The results of this damage assessment together with an assessment of the reliability of the monitoring and protective systems, shows that the magnets can operate with the required safety condition.     

Positive temperature dependence of the electron impact ionizationcoefficient in In0.53Ga0.47As/InP HBTs

Impact ionization is a major limiting factor to the maximum operating voltage of InGaAs-based, high-speed transistors. In this work, data on the positive temperature dependence of the electron impact ionization coefficient α_n in In_0.53Ga_0.47As at medium-low electric fields are reported for the first time. The increase of α_n with temperature is opposite to the behavior normally observed in most semiconductors. This anomalous behavior implies the onset of a positive feedback between power dissipation and avalanche generation which may adversely affect the power handling capability of In_0.53Ga _0.47As-based devices, and which should be taken into account in device thermal modeling. In the experimental procedure, based on the measurement of the multiplication factor M-1 in npn In_0.53Ga _0.47As/InP Heterojunction Bipolar Transistors (HBT), particular care has been taken in order to rule out possible spurious, temperature-dependent contributions to the measured multiplication current     

A fully soft-switched extended-period quasi-resonantpower-factor-correction circuit

This paper presents the design criteria, procedure, and implementation of a soft-switched power-factor-correction (PFC) circuit based on the extended-period quasi-resonant (EPQR) principles. All power electronic devices including switches and diodes in the circuit are fully soft switched. The design method is demonstrated in a prototype circuit. The operating principles are confirmed with computer simulation and experimental results. A comparison of the EP-QR operation and zero-voltage-transition (ZVT) pulse-width modulation (PWM) method