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.     

Comment and discussion on digital processing of PD pulses

Some of the more salient aspects of the digital processing technology of PD signals are examined. Most of the efforts in this field are concentrated on the application of digital analyzers for pulse height analysis, pattern recognition and identification of the physical phenomena. It is demonstrated that errors in the signal processing unit can lead to dominant mistakes in the interpretation of the test results     

Amtshaftung bei Bauführung im Hochwassergebiet; fehlerhafter Flächenwidmungsplan; Nachforschungspflichten der Gemeinde

Bestehen ausreichende Anhaltspunkte für die Hochwassergef?hrdung, ist die Gemeinde verpflichtet, sich durch Nachforschungen Gewissheit über das Vorliegen oder Nichtvorliegen eines Hochwasserabflussgebietes gem § 38 Abs 3 WRG zu verschaffen. Liegt ein solches vor, hat sie gem § 12 Abs 1 Z 2 krnt GplG dieses im Fl?chenwidmungsplan ersichtlich zu machen. Erteilt die Gemeinde eine Baubewilligung ohne diese von der Erteilung einer wasserrechtlichen Bewilligung abh?ngig zu machen, haftet sie für die Kosten der Bauführung, die bei gesetzes-konformer Vorgangsweise unterlassen worden w?re.     

Three dimensional boundary element analysis of internal cracks under sliding contact load with a spherical indenter

Using boundary element based three dimensional modelling for linear fracture mechanics, we present an analysis of cracking in a homogeneous medium subject to contact load. The proposed iterative solution procedure allows a simultaneous treatment of a reasonable number of partially closed cracks. It is shown that the most probable direction of propagation of a vertical internal crack is strongly dependent on its size compared to the contact radius and its location with respect to the axis of maximum normal load.     

Insertion/deletion polymorphism in the angiotensin-converting enzyme gene associated with macroangiopathy and blood pressure in patients with non-insulin-dependent diabetes mellitus

In the search for new risk factors for diabetic macroangiopathy the insertion/deletion (I/D) polymorphism in the angiotensin-converting enzyme gene was studied in 237 consecutive patients (125 men and 112 women) with non-insulin-dependent diabetes. The female population showed an excess of ischemic electrocardiographic changes or definite myocardial infarctions in the patients homozygous for the deletion [D/D; odds ratio (OR) 2.8; 95% confidence interval (CI) 1.4-5.3] and in the insertion/deletion heterozygotes (I/D; OR 1.8; CI 1.1-3.1) compared with the patients homozygous for the insertion (I/I). In the total series coronary heart disease, cerebrovascular disease, and claudication were more often observed in the patients with I/D (OR 1.5; CI 1.0-2.2) or the D/D genotype patients (OR 1.7; CI 1.1-2.6) than in those with the genotype I/I. The systolic blood pressure was lower in patients with genotype I/I (138 +/- 19 mmHg) than in those with the genotype I/D (149 +/- 22 mmHg) or D/D (150 +/- 21 mmHg; P < 0.02). The prevalence of hypertension and the median urinary albumin excretion rate also tended to be lowest in the I/I genotype patients. Multiple logistic analysis revealed that in women the angiotensin-converting enzyme D/D genotype is independently associated with coronary heart disease. Our findings suggest that variation at the angiotensin-converting enzyme gene locus is one of the factors involved in the predisposition of diabetic patients to the development of arterial disease and hypertension.     

DNA analysis in hepatoblastoma by flow and image cytometry

BACKGROUND: In several types of tumors, including hepatocellular carcinoma, prognosis could be correlated with DNA ploidy. Few studies have been performed on hepatoblastoma with contradictory results. METHODS: Twenty-nine cases of nonpretreated hepatoblastoma were studied with flow cytometry and image cytometry for DNA index and proliferation index using paraffin-embedded tissue. RESULTS: Twenty-three (79.9%) tumors were diploid, and 6 (20.7%) were aneuploid (hyperdiploid). Patients with diploid tumors were younger than those with aneuploid tumors. With regard to stage, diploid tumors were almost equally distributed among stages (tumor, lymph node metastases, distant metastases), whereas aneuploid tumors tended to occur in higher stages (tumor, lymph node metastases, distant metastases). Diploid tumors had clearly a better prognosis than aneuploid tumors, although the difference was not statistically significant (flow cytometry, P = 0.06; image cytometry, P = 0.16). A more favorable prognosis was also noted for hepatoblastomas with low-proliferation index (< or = 7%), but the difference from tumors with high-proliferation index (> 7%) again was not statistically significant (P = 0.16). CONCLUSIONS: Although no statistically significant differences in prognosis between hepatoblastomas with diploid and aneuploid DNA content, respectively, were found, there is a clear tendency that diploid hepatoblastomas behave more favorably. The same is true for hepatoblastomas with low-proliferation index.     

Removal of E. coli and helminth eggs in UASB: Polishing pond systems in Brazil.

Ponds following anaerobic reactors, such as Upflow Anaerobic Sludge Blanket (UASB) reactors, have been termed polishing ponds in the literature. The present paper analyses the removal of E. coli and helminth eggs in five UASB-polishing pond systems in Brazil. Since there were ponds in series, the total number of ponds was 10. The ponds had average retention times varying from 2 to 21 days, and depths ranging from 0.40 to 2.00 m. The shallow ponds in series, even with low retention times, were able to produce effluents complying with the coliform WHO guidelines for unrestricted irrigation (< or = 1000 MPN/100 ml). An equation for the coliform decay coefficient was proposed: Kb (dispersed flow) = 0.710H(-0955) (20 degrees C). The equation highlights the inverse relationship between the pond depth and the decay coefficient. All polishing pond systems were able to produce effluents with helminth eggs concentrations predominantly equal to zero, and satisfying the WHO guidelines for unrestricted and restricted irrigation (< or = 1 egg/L, arithmetic mean). The approximate range of helminth eggs removal efficiency was predicted satisfactorily.     

The Aleph data acquisition system

Aleph is one of the four large high-energy physics experiments being completed for the LEP (Large Electron Positron) accelerator at CERN. Several hundred thousand detector elements deliver some 500 Mbytes of raw data per second. The author briefly describes the accelerator and the Aleph detector. He then discusses the design and implementation of the multilevel real-time data reduction and acquisition system, covering the requirements, the readout architecture, its implementation, data reduction, aspects of the detector-specific front-end electronics, and Aleph's present status and performance