Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

A methodology to incorporate product mix variations in cellular manufacturing

The identification of part families and machine groups that form the cells is a major step in the development of a cellular manufacturing system and, consequently, a large number of concepts, theories and algorithms have been proposed. One common assumption for most of these cell formation algorithms is that the product mix remains stable over a period of time. In today’s world, the market demand is being shaped by consumers resulting in a highly volatile market. This has given rise to a new class of products characterized by low volume and high variety. To incorporate product mix changes into an existing cellular manufacturing system many important issues have to be tackled. In this paper, a methodology to incorporate new parts and machines into an existing cellular manufacturing system has been presented. The objective is to fit the new parts and machines into an existing cellular manufacturing system thereby increasing machine utilization and reducing investment in new equipment.     

Stability and control of nonlinear systems described by retarded functional equations: a review of recent results

This paper reports on recent results in a series of the work of the authors on the stability and nonlinear control for general dynamical systems described by retarded functional differential and difference equations. Both internal and external stability properties are studied. The corresponding Lyapunov and Razuminkhin characterizations for input-to-state and input-to-output stabilities are proposed. Necessary and sufficient Lyapunov-like conditions are derived for robust nonlinear stabilization. In particular, an explicit controller design procedure is developed for a new class of nonlinear time-delay systems. Lastly, sufficient assumptions, including a small-gain condition, are presented for guaranteeing the input-to-output stability of coupled systems comprised of retarded functional differential and difference equations.     

Polarization discrimination between repeater false-target and radar target

High fidelity repeater false-target badly affects a radar system’s detecting, tracking, and data processing. It is an available approach of confronting false-target for radar that discriminates firstly and then eliminates. Whereas for the technique progress about the repeater false-target jam, it is more and more difficult to discriminate this jam in the time-domain, frequency-domain, or space-domain. The technique using polarization information to discriminate the target and false-target is discussed in th...     

Optimal hole shape for minimum stress concentration using parameterized geometry models

The goal of this work is to obtain optimal hole shape for minimum stress concentration in two-dimensional finite plates using parameterized geometry models. The boundary shape for a hole is described by two families of smooth curves: one is a “generalized circular” function with powers as two parameters; the other one is a “generalized elliptic” function a and b are ellipse axes) with powers as two parameters and one of the ellipse axes as the third parameter. Special attention is devoted to the practicability of parameterized equations and the corresponding optimal results under the condition with and without the curvature radius constraint. A number of cases were examined to test the effectiveness of the parameterized equations. The numerical examples show that extremely good results can be obtained under the conditions with and without curvature radius constraint, as compared to the known solutions in the literature. The geometries of the optimized holes are presented in a form of compact parametric functions, which are suitable for use and test by designers. It is anticipated that the implementation of the suggested parameterized equations would lead to considerable improvements in optimizing hole shape with high quality.     

Adaptive sorting: an information theoretic perspective

We present two algorithms that are near optimal with respect to the number of inversions present in the input. One of the algorithms is a variation of insertion sort, and the other is a variation of merge sort. The number of comparisons performed by our algorithms, on an input sequence of length n that has I inversions, is at most . Moreover, both algorithms have implementations that run in time . All previously published algorithms require at least comparisons for some c > 1. M. L. Fredman was supported in part by NSF grant CCR-9732689.     

Small Changes,Big Impact: Tungsten Bronzes with Extremely Large Second Harmonic Generation Achieved by the Transition Metal Doping on the B-Site

Two novel transition metal-doped tungsten bronze oxides, Pb_2.15Li_0.85Nb_4.85Ti_0.15O₁₅ (PLNT) and Pb_2.15Li_0.55Nb_4.85W_0.15O₁₅ (PLNW), are synthesized by high-temperature solid-state reactions. The Rietveld method using the high-resolution synchrotron radiation indicates that PLNT and PLNW crystallize in the orthorhombic polar noncentrosymmetric space group, Pmn2₁ (no. 31). As a class of tungsten bronze oxide, PLNT and PLNW retain a unique rigid framework composed of d⁰ transition metal cation (Ti⁴⁺ or W⁶⁺)-doped highly distorted NbO₆ octahedra along with the subsequently generated Pb/LiO₁₂ and PbO₁₅ polyhedra. Interestingly, the d⁰ transition metal-doped tungsten bronzes, PLNT and PLNW, exhibit extremely large second-harmonic generation (SHG) responses of 56 and 67 × KH₂PO₄, respectively. The observed immeasurably strong SHG is mainly attributed to a net polarization originating from the alignment of highly distorted NbO₆ octahedra with doped transition metals in the frameworks. It is believed that doping transition metal cations at the B-site of the tungsten bronze structures should be an innovative strategy to develop novel high-performance nonlinear optical materials.     

A Comparative Investigation of Optical and Structural Properties of Cu-Doped CdO-Derived Nanostructures

In this report, we studied various structural and optical properties of pure and copper-doped cadmium oxide (CdO) thin films. Nanostructured Cu-doped CdO films were deposited using sol–gel spin-coating technique. The structural and morphological changes have been observed by X-ray diffraction (XRD), field emission scanning electron microscopy (FE-SEM), and atomic force microscopy (AFM) studies. The optical and electrical properties of the pure and Cu-doped CdO thin films were studied by UV–vis spectroscopy and four-point probe method, respectively. The XRD peaks show the formation of nanocrystalline CdO with cubic face-centered crystal structure. The band gaps of the as deposited films were found in the range of 2.32–2.73 eV, while after doping, it decreases due to structural deformation. The electrical resitivity was found to decrease approximately ～10 in Cu-doped CdO thin films.     

Effect of Sintering Temperature on Magnetic and Electrical Properties of GdBaCo<Subscript>2</Subscript><Emphasis Type="Italic">O</Emphasis><Subscript>5 + <Emphasis Type="Italic">δ</Emphasis></Subscript>

In this study, we report the results of an investigation into the sintering temperature dependence of magnetic and transport properties for GdBaCo₂ O _{5 + δ} synthesized through a sol-gel method. The lowering of sintering temperature leads to the increase of oxygen content and the reduction of grain size. The increase of oxygen content results in the enhancement of magnetic interactions and the weakening of Coulomb repulsion effect, while the reduction of grain size improves the magnetoresistance effect. Metal-insulator transition accompanied with spin-state transition is observed in all samples.