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.

A Structured Prediction Approach for Statistical Machine Translation

We propose a new formally syntax-based method for statistical machine translation. Transductions between parsing trees are transformed into a problem of sequence tagging, which is then tackled by a search- based structured prediction method. This allows us to automatically acquire transla- tion knowledge from a parallel corpus without the need of complex linguistic parsing. This method can achieve compa- rable results with phrase-based method (like Pharaoh), however, only about ten percent number of translation table is used. Experiments show that the structured pre- diction approach for SMT is promising for its strong ability at combining words.

Seed bubbles stabilize flow and heat transfer in parallel microchannels

Seed bubbles are generated on microheaters located at the microchannel upstream and driven by a pulse voltage signal, to improve flow and heat transfer performance in microchannels. The present study investigates how seed bubbles stabilize flow and heat transfer in micro-boiling systems. For the forced convection flow, when heat flux at the wall surface is continuously increased, flow instability is self-sustained in microchannels with large oscillation amplitudes and long periods. Introduction of seed bubbles in time sequence improves flow and heat transfer performance significantly. Low frequency (similar to 10 Hz) seed bubbles not only decrease oscillation amplitudes of pressure drops, fluid inlet and outlet temperatures and heating surface temperatures, but also shorten oscillation cycle periods. High frequency (similar to 100 Hz or high) seed bubbles completely suppress the flow instability and the heat transfer system displays stable parameters of pressure drops, fluid inlet and outlet temperatures and heating surface temperatures. Flow visualizations show that a quasi-stable boundary interface from spheric bubble to elongated bubble is maintained in a very narrow distance range at any time. The seed bubble technique almost does not increase the pressure drop across microsystems, which is thoroughly different from those reported in the literature. The higher the seed bubble frequency, the more decreased heating surface temperatures are. A saturation seed bubble frequency of 1000-2000 Hz can be reached, at which heat transfer enhancement attains the maximum degree, inferring a complete thermal equilibrium of vapor and liquid phases in microchannels. Benefits of the seed bubble technique are the stabilization of flow and heat transfer, decreasing heating surface temperatures and improving temperature uniformity of the heating surface.

Transient flow patterns and bubble slug lengths in parallel microchannels with oxygen gas bubbles produced by catalytic chemical reactions

Transient flow patterns and bubble slug lengths were investigated with oxygen gas (O-2) bubbles produced by catalytic chemical reactions using a high speed camera bonded with a microscope. The microreactor consists of an inlet liquid plenum, nine parallel rectangular microchannels followed by a micronozzle, using the MEMS fabrication technique. The etched surface was deposited by the thin platinum film, which is acted as the catalyst. Experiments were performed with the inlet mass concentration of the hydrogen peroxide from 50% to 90% and the pressure drop across the silicon chip from 2.5 to 20.0 kPa. The silicon chip is directly exposed in the environment thus the heat released via the catalytic chemical reactions is dissipated into the environment and the experiment was performed at the room temperature level. It is found that the two-phase flow with the catalytic chemical reactions display the cyclic behavior. A full cycle consists of a short fresh liquid refilling stage, a liquid decomposition stage followed by the bubble slug flow stage. At the beginning of the bubble slug flow stage, the liquid slug number reaches maximum, while at the end of the bubble slug flow stage the liquid slugs are quickly flushed out of the microchannels. Two or three large bubbles are observed in the inlet liquid plenum, affecting the two-phase distributions in microchannels. The bubble slug lengths, cycle periods as well as the mass flow rates are analyzed with different mass concentrations of hydrogen peroxide and pressure drops. The bubble slug length is helpful for the selection of the future microreactor length ensuring the complete hydrogen peroxide decomposition. Future studies on the temperature effect on the transient two-phase flow with chemical reactions are recommended.

Scattering of linear water waves by a fixed and infinitely long rectangular structure parallel to a vertical wall in oblique seas

The scattering of linear water waves by an infinitely long rectangular structure parallel to a vertical wall in oblique seas is investigated. Analytical expressions for the diffracted potentials are derived using the method of separation of variables. The unknown coefficients in the expressions are determined through the application of the eigenfunction expansion matching method. The expressions for wave forces on the structure are given. The calculated results are compared with those obtained by the boundary element method. In addition, the influences of the wall, the angle of wave incidence, the width of the structure, and the distance between the structure and the wall on wave forces are discussed. The method presented here can be easily extended to the study of the diffraction of obliquely incident waves by multiple rectangular structures.

Dual-wavelength photochromic fulgides for parallel recording memory

Two photochromic fulgides, 2-{2-[4-(N,N-dimethylnilino)-5-methyl-4-oxazoly]}ethylidene-4-(1-methylethylidene) tetrahydrofuran-2,5-dione (A) and 3-(1,2-dimethyl-5-phenyl-3-pyrolloethylidene)-4-(1-methylethylidene)tetrahydrofuran-2,5-dione (B), doped in PMMA as candidates of dual-wavelength optical memory for parallel recording has been investigated. With 488 nm-laser and 650 nm-laser, both "cross" and "star" images are recorded on the fulgides-PMMA film and read out clearly, respectively. Crosstalk between two fulgides in PMMA matrix and nondestructive readout has also been explored. The results show that no significant cross-talk is detected between them, and nondestructive readout is up to 201 times. (C) 2005 Elsevier B.V. All rights reserved.

Experimental investigation of parallel optical data storage using pyrrylfulgide photochromic material

The optical storage characteristics of a new kind of organic photochromic material-pyrrylfulgide were experimentally investigated in the established parallel optical data storage system. Using the pyrrylfulgide/PMMA film as a photon-mode recording medium, micro-images and encoded binary digital data were recorded, readout and erased in this parallel system. The storage density currently reaches 3 x 10(7) bit/cm(2). The recorded information on the film can be kept for years in darkness at room temperature.

Synthesis and application on parallel image storage of bisfurylfulgide

A bisfurylfulgide, E, E-3,4-bis[1-(2,5-dimethyl-3-furyl)ethylidene]-3,4-dihydrofuran-2,5-dione, is synthesized by Stobbe condensation reaction. The molecular structure of target compound is confirmed by single crystal X-ray crystallography analysis. It shows that the distances between two possible reaction sites of molecule are 0.3394 and 0.3406 nm respectively, which is favorable to photocyclization. The photochromic properties of this compound in different solvents are investigated, and the result shows that the compound exhibits excellent photochromic behavior. The primary result of applied research on parallel image storage is also presented.