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.

constructing finite algebras with falcon

The generation of models and counterexamples is an important form of reasoning. In this paper, we give a formal account of a system, called FALCON, for constructing finite algebras from given equational axioms. The abstract algorithms, as well as some implementation details and sample applications, are presented. The generation of finite models is viewed as a constraint satisfaction problem, with ground instances of the axioms as constraints. One feature of the system is that it employs a very simple technique, called the least number heuristic, to eliminate isomorphic (partial) models, thus reducing the size of the search space. The correctness of the heuristic is proved. Some experimental data are given to show the performance and applications of the system.

Constructing channel structures based on the assembly of p-sulfonatocalix[4]arene nanocapsules and [M(bpdo)(3)](2+)(M = Cu, Zn)

Novel channel structures based on [M(bpdo)(3)](2+) and p-sulfonatocalix[4]arene nanocapsules have been established; these are sustained exclusively by charge-assisted pi...pi interactions and sorption experiments show the porous materials have selective guest sorption properties.

Epitaxy-Assisted Creation of PCBM Nanocrystals and Its Application in Constructing Optimized Morphology for Bulk-Heterojunction Polymer Solar Cells

PCBM (a C-60 derivative) is so far the most successful electron acceptor for bulk-heterojunction polymer photovoltaic (PV) cells. Here we present a novel method epitaxy-assisted creation of PCBM nanocrystals and their homogeneous distribution in the matrix using freshly cleaved mica sheet as the substrate. The highly matched epitaxy relationship between the unit cell of PCBM crystal and crystallographic (001) surface of mica induces abundant PCBM nuclei, which subsequently develop into nanoscale crystals with homogeneous dispersion in the composite film.

Constructing porous frameworks from one-dimensional cobalt-oxygen clusters and pyridinedicarboxylate ligands adopting two rare coordination modes

A porous material with cobalt-oxygen cluster framework has been synthesized hydrothermally, which possesses large and rigid channels and manifests strong antiferromagnetic interactions, and the pyridinedicarboxylate ligand exhibits two types of rare coordination modes.

Constructing mixed-metal coordination polymers from copper(II)-pyridinedicarboxylate metalloligands

In the mixed-metal complex catena-poly[bis[diaquasilver(I)] [bis[aquacopper(II)]-mu(3)-pyridine-2,5-dicarboxylato-2': 1: 1'kappa N-5,O-2: O-5: O-5, O-5'-mu-pyridine-2,5-dicarboxylato-2: 1 kappa(4) N, O-2: O-5, O-5'-disilver(I)-mu(3)-pyridine-2,5-dicarboxylato-1: 1': 2 '' kappa(5) O-5, O-5': O-5: N, O-2-mu pyridine-2,5-dicarboxylato-1': 20 ''kappa(4) O-5, O-5': N, O-2] hexahydrate], {[Ag(H2O)(2)][AgCu(C7H3NO4)(2)(H2O)] center dot 3H(2)O}(n), a square-pyramidal Cu-II center is coordinated by two N atoms and two O atoms from two pyridine-2,5-dicarboxylate (2,5-pydc) ligands and a water molecule, forming a [Cu(2,5-pydc)(2)-( H2O)](2-) metalloligand. One Ag I center is coordinated by five O atoms from three 2,5-pydc ligands and, as a result, the [Cu(2,5-pydc)(2)(H2O)](2-) metalloligands act as linkers in a unique mu(3)-mode connecting Ag-I centers into a one-dimensional anionic double chain along the [101] direction.

Constructing Thin Polythiophene Film Composed of Aligned Lamellae via Controlled Solvent Vapor Treatment

Thin poly(3-butylthiophene) (P3BT) film composed of aligned lamellae attached to the edge of the original film has been achieved via a controlled solvent vapor treatment (C-SVT) method. The polarized optical microscopy operated at both single-polarization and cross-polarization modes has been used to investigate the alignment of the fiber-like lamellae. A numerical simulation method is used to quantitatively calculate angle distributions of the lamellae deviated from the film growth direction. Prepatterned P3BT film edge acts as nuclei which densely initialize subsequent crystal growth by exhausting the materials transported from the partially dissolved film. The growth of new film upon crystallization is actually a self-healing process where the two-dimensional geometric confinement is mainly responsible for this parallel alignment of P3BT crystals. The solvent vapor pressure should be carefully chosen so as to induce crystal growth but avoid liquid instability which will destroy the continuity of the film.

A strategy for constructing a hybrid bilayer membrane based on a carbon substrate

We construct a hybrid bilayer membrane (HBM) on a new substrate-carbon electrode. It is an extension of HBM based on other substrates. Primary alkylamine was chemically modified onto the surface of a carbon electrode by electrochemical scans; thus, a monolayer was formed on the electrode. Because the alkane chains section is toward the outside, a hydrophobic surface was constructed. Then a lipid monolayer was spread on the hydrophobic surface of the carbon electrode. The formed HBM was characterized by electrochemical and ATR-FT-IR methods. From ATR-FT-IR results, the lipid order parameter (S) of 0.73 was obtained. This kind of hybrid membrane has the advantages of a lipid/alkanethiol HBM. A potential application of this HBM as a biosensor (detecting K+) was given.

Boundary knot method for 2D and 3D Helmholtz and convection-diffusion problems under complicated geometry

The boundary knot method (BKM) of very recent origin is an inherently meshless, integration-free, boundary-type, radial basis function collocation technique for the numerical discretization of general partial differential equation systems. Unlike the method of fundamental solutions, the use of non-singular general solution in the BKM avoids the unnecessary requirement of constructing a controversial artificial boundary outside the physical domain. The purpose of this paper is to extend the BKM to solve 2D Helmholtz and convection-diffusion problems under rather complicated irregular geometry. The method is also first applied to 3D problems. Numerical experiments validate that the BKM can produce highly accurate solutions using a relatively small number of knots. For inhomogeneous cases, some inner knots are found necessary to guarantee accuracy and stability. The stability and convergence of the BKM are numerically illustrated and the completeness issue is also discussed.

Effects of Subgrid-Scale Modeling on Time Correlations in Large Eddy Simulation

The effects of the unresolved subgrid-scale (SGS) motions on the energy balance of the resolved scales in large eddy simulation (LES) have been investigated actively because modeling the energy transfer between the resolved and unresolved scales is crucial to constructing accurate SGS models. But the subgrid scales not only modify the energy balance, they also contribute to temporal decorrelation of the resolved scales. The importance of this effect in applications including the predictability problem and the evaluation of sound radiation by turbulent flows motivates the present study of the effect of SGS modeling on turbulent time correlations. This paper compares the two-point, two-time Eulerian velocity correlation in isotropic homogeneous turbulence evaluated by direct numerical simulation (DNS) with the correlations evaluated by LES using a standard spectral eddy viscosity. It proves convenient to express the two-point correlations in terms of spatial Fourier decomposition of the velocity field. The LES fields are more coherent than the DNS fields: their time correlations decay more slowly at all resolved scales of motion and both their integral scales and microscales are larger than those of the DNS field. Filtering alone is not responsible for this effect: in the Fourier representation, the time correlations of the filtered DNS field are identical to those of the DNS field itself. The possibility of modeling the decorrelating effects of the unresolved scales of motion by including a random force in the model is briefly discussed. The results could have applications to the problem of computing sound sources in isotropic homogeneous turbulence by LES

Dynamic constitutive equation of GFRP obtained by Lagrange experiment

The note presents a method of constructing dynamic constitutive equations of material by means of Lagrange experiment and analysis. Tests were carried out by a light gas gun and the stress history profiles were recorded on multiple Lagrange positions. The dynamic constitutive equations were deduced from the regression of a series of data which was obtained by Lagrange analysis based upon recorded multiple stress histories. Here constitutive equations of glass fibre reinforced phenolic resin composite(GFRP) in uniaxil strain state under dynamic loading are given. The proposed equations of the material agree well with experimental results.

Preliminary report on the energy balance for nonlinear oscillations

In this paper, a reliable technique for calculating angular frequencies of nonlinear oscillators is developed. The new algorithm offers a promising approach by constructing a Hamiltonian for the nonlinear oscillator. Some illustrative examples are given. (C) 2002 Published by Elsevier Science Ltd.