a backtracking search tool for constructing combinatorial test suites

Combinatorial testing is an important testing method. It requires the test cases to cover various combinations of parameters of the system under test. The test generation problem for combinatorial testing can be modeled as constructing a matrix which has certain properties. This paper first discusses two combinatorial testing criteria: covering array and orthogonal array, and then proposes a backtracking search algorithm to construct matrices satisfying them. Several search heuristics and symmetry breaking techniques are used to reduce the search time. This paper also introduces some techniques to generate large covering array instances from smaller ones. All the techniques have been implemented in a tool called EXACT (EXhaustive seArch of Combinatorial Test suites). A new optimal covering array is found by this tool.

High-Resolution Finite Compact Difference Schemes for Hyperbolic Conservation Laws

A finite compact (FC) difference scheme requiring only bi-diagonal matrix inversion is proposed by using the known high-resolution flux. Introducing TVD or ENO limiters in the numerical flux, several high-resolution FC-schemes of hyperbolic conservation law are developed, including the FC-TVD, third-order FC-ENO and fifth-order FC-ENO schemes. Boundary conditions formulated need only one unknown variable for third-order FC-ENO scheme and two unknown variables for fifth-order FC-ENO scheme. Numerical test results of the proposed FC-scheme were compared with traditional TVD, ENO and WENO schemes to demonstrate its high-order accuracy and high-resolution.

Dynamic storage performance of two cyanine dye films and optimization design for a recordable compact disk

The optical constants of two cyanine dye films that we prepared were measured with a RAP-1-type (RAP is rotating analyzer and polarizer) spectroscopic ellipsometer. Toward making a simplified model for the wafers of a recordable compact disk (CD-R), we give their optimization designs developed with the cyanine dye films. in addition, the dynamic storage performances of two sample disks were tested by our dynamic storage testing system. Measurement results of the sample disks were obtained to test and verify our film designs. (C) 2000 Optical Society of America. OCIS codes: 160.4890, 160.4760, 210.4810.

Advanced superconducting electron cyclotron resonance ion source SECRAL: Design, construction, and the first test result

Superconducting electron cyclotron resonance (ECR) ion source with advanced design in Lanzhou (SECRAL) is a next generation ECR ion source and aims for developing a very compact superconducting ECR ion source with a structure and high performances for highly charged ion-beam production. The ion source was designed to be operated at 18 GHz at initial operation and finally will be extended to 28 GHz. The superconducting magnet confinement configuration of the ion source consists of three axial solenoid coils and six sextupole coils with a cold iron structure as field booster and clamping. At full excitation, this magnet assembly can produce peak mirror fields on the axis of 3.6 T at injection, 2.2 T at extraction, and a radial sextupole field of 2.0 T at plasma chamber wall. What is different from the traditional design, such as LBNL VENUS and LNS SERSE, is that the three axial solenoid coils are located inside of the sextupole bore in order to reduce the interaction forces between the sextupole coils and the solenoid coils. SECRAL may open the way for building a compact and high-performance 18-28 GHz superconducting ECR ion source. Very preliminary commissioning results are promising. Detailed design, construction issues and very preliminary test results of the ion source at 18 GHz are presented.

The Compact Pulsed Hadron Source: A Design Perspective

During the past. decades, large-scale national neutron sources have been developed in Asia, Europe, and North America. Complementing such efforts, compact hadron beam complexes and neutron sources intended to serve primarily universities and industrial institutes have been proposed, and some have recently been established. Responding to the demand in China for pulsed neutron/proton-beam platforms that are dedicated to fundamental and applied research for users in multiple disciplines from materials characterization to hadron therapy and radiography to accelerator-driven sub-critical reactor systems (ADS) for nuclear waste transmutation, we have initiated the construction of a compact, yet expandable, accelerator complex-the Compact Pulsed Hadron Source (CPHS). It consists of an accelerator front-end (a high-intensity ion source, a 3-MeV radio-frequency quadrupole linac (RFQ), and a 13-MeV drift-tube linac (DTL)), a neutron target station (a beryllium target with solid methane and room-temperature water moderators/reflector), and experimental stations for neutron imaging/radiography, small-angle scattering, and proton irradiation. In the future, the CPHS may also serve as an injector to a ring for proton therapy and radiography or as the front end to an ADS test facility. In this paper, we describe the design of the CPHS technical systems and its intended operation.

Methanol steam reforming in a compact plate-fin reformer for fuel-cell systems

A compact plate-fin reformer (PFR) consisting of closely spaced plate-fins, in which endothermic and exothermic reactions take place in alternate chambers, has been studied. In the PFR, which was based on a plate-fin heat exchanger, catalytic combustion of the reforming gas, as a simulation of the fuel cell anode off gas (AOG), supplied the necessary heat for the reforming reaction. One reforming chamber, which was for hydrogen production, was integrated with two vaporization chambers and two combustion chambers to constitute a single unit of PFR. The PFR is very compact, easy to be placed and scaled up. The effect of the ratio of H2O/CH3OH on the performance of the PFR has been investigated, and temperature distributions in different chambers were studied. Besides, the stationary behavior of the PFR was also investigated. Heat transfer of the reformer was enhanced by internal plate-fins as well as by external catalytic combustion, which offer both high methanol conversion ratio and low CO concentration. In addition, the fully integrated reformer exhibited good test stability. Based on the PFR, a scale-up reformer was designed and operated continuously for 1000 h, with high methanol conversion ratio and low CO concentration. (c) 2004 International Association for Hydrogen Energy. Published by Elsevier Ltd. All rights reserved.

Numerical solution of the incompressible Navier-Stokes equations with an upwind compact difference scheme

A new finite difference method for the discretization of the incompressible Navier-Stokes equations is presented. The scheme is constructed on a staggered-mesh grid system. The convection terms are discretized with a fifth-order-accurate upwind compact difference approximation, the viscous terms are discretized with a sixth-order symmetrical compact difference approximation, the continuity equation and the pressure gradient in the momentum equations are discretized with a fourth-order difference approximation on a cell-centered mesh. Time advancement uses a three-stage Runge-Kutta method. The Poisson equation for computing the pressure is solved with preconditioning. Accuracy analysis shows that the new method has high resolving efficiency. Validation of the method by computation of Taylor's vortex array is presented.

Direct numerical test of the B-G-K model equation by the DSMC method

In the present paper the rarefied gas how caused by the sudden change of the wall temperature and the Rayleigh problem are simulated by the DSMC method which has been validated by experiments both in global flour field and velocity distribution function level. The comparison of the simulated results with the accurate numerical solutions of the B-G-K model equation shows that near equilibrium the BG-K equation with corrected collision frequency can give accurate result but as farther away from equilibrium the B-G-K equation is not accurate. This is for the first time that the error caused by the B-G-K model equation has been revealed.

Size Effect and Geometrical Effect of Polycrystals and Thin Film/Substrate System in Micro-indentation Test

Micro-indentation test at scales on the order of sub-micron has shown that the measured hardness increases strongly with decreasing indent depth or indent size, which is frequently referred to as the size effect. Simultaneously, at micron or sub-micron scale, the material microstructure size also has an important influence on the measured hardness. This kind of effect, such as the crystal grain size effect, thin film thickness effect, etc., is called the geometrical effect by here. In the present research, in order to investigate the size effect and the geometrical effect, the micro-indentation experiments are carried out respectively for single crystal copper and aluminum, for polycrystal aluminum, as well as for a thin film/substrate system, Ti/Si3N4. The size effect and geometrical effect are displayed experimentally. Moreover, using strain gradient plasticity theory, the size effect and the geometrical effect are simulated. Through comparing experimental results with simulation results, length-scale parameter appearing in the strain gradient theory for different cases is predicted. Furthermore, the size effect and the geometrical effect are interpreted using the geometrically necessary dislocation concept and the discrete dislocation theory. Member Price: $0; Non-Member Price: $25.00

Fourth order accurate compact scheme with group velocity control (GVC)

For solving complex flow field with multi-scale structure higher order accurate schemes are preferred. Among high order schemes the compact schemes have higher resolving efficiency. When the compact and upwind compact schemes are used to solve aerodynamic problems there are numerical oscillations near the shocks. The reason of oscillation production is because of non-uniform group velocity of wave packets in numerical solutions. For improvement of resolution of the shock a parameter function is introduced in compact scheme to control the group velocity. The newly developed method is simple. It has higher accuracy and less stencil of grid points.

Analysis of super compact finite difference method and application to simulation of vortex-shock interaction

Turbulence and aeroacoustic noise high-order accurate schemes are required, and preferred, for solving complex flow fields with multi-scale structures. In this paper a super compact finite difference method (SCFDM) is presented, the accuracy is analysed and the method is compared with a sixth-order traditional and compact finite difference approximation. The comparison shows that the sixth-order accurate super compact method has higher resolving efficiency. The sixth-order super compact method, with a three-stage Runge-Kutta method for approximation of the compressible Navier-Stokes equations, is used to solve the complex flow structures induced by vortex-shock interactions. The basic nature of the near-field sound generated by interaction is studied.

Theory and Application of the Transient Injection Well Test

Based on the theory of the pumping well test, the transient injection well test was suggested in this paper. The design method and the scope of application are discussed in detail. The mathematical models are developed for the short-time and long-time transient injection test respectively. A double logarithm type curve matching method was introduced for analyzing the field transient injection test data. A set of methods for the transient injection test design, experiment performance and data analysis were established. Some field tests were analyzed, and the results show that the test model and method are suitable for the transient injection test and can be used to deal with the real engineering problems.

Hybrid Finite Compact-WENO Schemes for Shock Calculation

Hybrid finite compact (FC)-WENO schemes are proposed for shock calculations. The two sub-schemes (finite compact difference scheme and WENO scheme) are hybridized by means of the similar treatment as in ENO schemes. The hybrid schemes have the advantages of FC and WENO schemes. One is that they possess the merit of the finite compact difference scheme, which requires only bi-diagonal matrix inversion and can apply the known high-resolution flux to obtain high-performance numerical flux function; another is that they have the high-resolution property of WENO scheme for shock capturing. The numerical results show that FC-WENO schemes have better resolution properties than both FC-ENO schemes and WENO schemes. In addition, some comparisons of FC-ENO and artificial compression method (ACM) filter scheme of Yee et al. are also given.

Nonuniformity Effect of Surface-Nanocrystalline Materials in Nanoindentation Test

In the present research, microstructures of the surface-nanocrystalline Al alloy material are observed and measured based on the transmission electron microscopy (TEM) technique, and the corresponding mechanical behaviors are investigated experimentally and theoretically. In the experimental research, the nanoindentation test method is used, and the load and microhardness curves are measured, which strongly depend on the grain size and grain size nonuniformity. Two kinds of the nanoindentation test methods are adopted: the randomly selected loading point method and the continuous stiffness method. In the theoretical modeling, based on the microstructure characteristics of the surface-nanocrystalline Al alloy material, a dislocation pile-up model considering the grain size effect and based on the Mott theory is presented and used. The hardness-indent depth curves are predicted and modeled.