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.     

Synthesis and activation of Pt nanoparticles with controlled size for fuel cell electrocatalysts

Well-dispersed Pt nanoparticles with controlled size and narrow size distribution were prepared by polyalcohol reduction of platinum acetylacetonate, using oleylamine as a capping agent. The particle size was varied from 3.5 nm to 11.5 nm by decreasing the amount of oleylamine added in the synthesis. Size selection of the as-prepared particles by solvent fractionation yielded nearly monodispersed Pt particles. The as-prepared particles were loaded on a carbon support by physical deposition, but showed no electrocatalytic activity due to the oleylamine bound to the particle surface. The particles were activated for electrocatalysis after heating the particles in air at 185 °C for 5 h, conditions that gave no particle-sintering and no oxidation. Cyclic voltammetry showed that the particles after the heat treatment in air were electrocatalytically active for methanol oxidation. The smaller 3.5 nm and 4.0 nm Pt particles had a higher intrinsic activity for methanol oxidation, but a lower tolerance to CO poisoning, compared with 6.0 nm, 9.5 nm and 11.5 nm particles. CO-stripping results suggest that CO is more easily oxidized on larger Pt particles.     

A novel laboratory bench for practical evaluation of catalysts useful for simultaneous conversion of NOx and soot in diesel exhaust

This study deals with the development of a laboratory bench for the practical evaluation of catalysts that are useful for the direct conversion of NO_x and soot in the exhaust of diesel engines. The employed model exhaust is generated by using a diffusion burner with additionally dosing some gaseous components to the burner gas to obtain a realistic feed composition. The produced soot is extensively characterized by employing thermogravimetry, transmission electron microscopy, N₂ physisorption and temperature programmed techniques. The results of the different characterization methods show that the present soot is suitable for the intended catalytic investigations. The simultaneous conversion of NO_x and soot is examined like in practice, i.e. the soot is separated from the tail gas by a diesel particulate filter (DPF) that is coated with the catalyst. The deposited soot is then catalytically converted by NO_x and O₂ to form N₂ and CO₂. The conversions of NO_x and soot are measured by exclusively applying gas analysers, whereby a special experimental procedure is developed to determine the soot removal. Hence, additional soot related analytics are not required. To show the suitability of the constructed bench a Pt/Fe₂O₃/β-zeolite sample is taken as test catalyst that is reported to be very active in NO_x/soot reaction. The measurements performed with and without catalyst clearly show the effect of the used sample in simultaneous NO_x/soot conversion. We therefore consider the constructed laboratory bench to be a useful tool for testing and ranking catalytic materials.     

Kinetik der polykondensation von natriumsulfidhydrat und 1,4-dichlorbenzol zu poly(thio-1,4-phenylen)

The kinetics of the polycondensation of sodium sulfide hydrate and 1,4-dichlorobenzene to poly(thio-1,4-phenylene) in 1-methyl-2-pyrrolidone as solvent was studied in a differential scanning calorimeter at temperatures between 220 and 280°C. This polycondensation shows an autocatalytic behavior and the kinetics can be modelled by a first order reaction up to complete conversion. This is explained by the low solubility of sodium sulfide in l-methyl-2-pyrrolidone. The concentration of sodium sulfide is regarded as being constant during the whole course of the reaction. The autocatalytic effect can be explained by the increase of the condensation rate constant at the beginning of polycondensation due to the higher reactivity of the oligomers compared to the monomers. The number- and the weight-average molecular weight of the products formed during the course of the polycondensation can be modelled by means of stochastic methods. A simple model with only two different rate constants of the condensation process is assumed. The concentration of sodium sulfide in the reactive phase is found to be 2–5% of the value of dichlorobenzene at the beginning of the reaction and remains constant nearly until the end of polycondensation.     

Relationship between empirical and theoretical mobility models insilicon inversion layers

The theoretical and empirical expressions most commonly used for modeling the variation of the low field surface mobility of MOSFETs are discussed. It is shown that both approaches may be reconciled, and a new physical definition of the parameters of the empirical model is presented, In particular, we propose an analytical formula of the factor &thetas;₂ characterizing the quadratic dependence of the reciprocal mobility on the inversion charge. Both the formula and experiment agree and show that &thetas;₂ does not only depend on the surface roughness scattering term, but also on phonon scattering     

Wrinkling of epoxy powder coatings

Differential scanning calorimetry (DSC) and mechanical profilometry were used to study wrinkle formation in curing epoxy powder coatings. Powder coating formulations were studied that contained solid epoxy resins, methylene disalicylic acid (MDSA) crosslinker, and an amine‐blocked Lewis acid catalyst. Both the crosslinker (MDSA) and the amine‐blocked catalyst are required for wrinkle formation. Evaporation of the blocking amine from the free surface of the coating generated a depthwise gradient in the extent of polymerization and crosslinking, and hence in the degree of solidification, as evidenced by the formation of a mechanical skin prior to wrinkling. It is hypothesized that compressive elastic stress develops in the still swellable skin when unreacted low‐molecular‐weight material from beneath diffuses up into the monomer‐ or oligomer‐depleted crosslinking skin and swells it. This compressive stress, if above a critical value, buckles the skin to produce wrinkles. Experimentally observed compositional requirements for wrinkle formation were consistent with the proposed mechanism. The size of the wrinkles can be controlled by varying formulation parameters such as the amount of catalyst or crosslinker. Increasing the amount of catalyst decreased both the wavelength and the amplitude of the wrinkle pattern. Increasing the amount of crosslinker initially increased the amplitude of the wrinkles; after reaching a maximum level, the wrinkle amplitude decreased. DSC was a useful tool to understand the critical reactions responsible for wrinkling in this system. © 2005 Wiley Periodicals, Inc. J Appl Polym Sci 98: 116–129, 2005     

Processing of hydroxyapatite ceramic foams

A novel method of producing highly porous hydroxyapatite ceramics via the foaming of ceramic slips is discussed. Foams with densities 15% and an open cell structure have been produced.