Generating synchronizable test sequences based on finite-statemachine with distributed ports

In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several types of such interfaces have been standardized by the International Standardization Organization (ISO). A general distributed test architecture, containing distributed interfaces, has been presented in the literature for testing distributed systems based on the Open Distributing Processing (ODP) Basic Reference Model (BRM), which is a generalized version of ISO distributed test architecture. We study in this paper the issue of test selection with respect to such an test architecture. In particular, we consider communication systems that can be modeled by finite state machines with several distributed interfaces, called ports. A test generation method is developed for generating test sequences for such finite state machines, which is based on the idea of synchronizable test sequences. Starting from the initial effort by Sarikaya, a certain amount of work has been done for generating test sequences for finite state machines with respect to the ISO distributed test architecture, all based on the idea of modifying existing test generation methods to generate synchronizable test sequences. However, none studies the fault coverage provided by their methods. We investigate the issue of fault coverage and point out a fact that the methods given in the literature for the distributed test architecture cannot ensure the same fault coverage as the corresponding original testing methods. We also study the limitation of fault detectability in the distributed test architecture.

Water Modeling Study Of The Jet Characteristics In A Continuous-Casting Mold

The jet characteristics and the fluid flow pattern in a continuous slab caster have been studied using a water model. The fluid jet is studied under free fall and submerged discharge conditions. In the latter case, the jet was followed by dye-injection technique and image analyser was used to find out the effect of nozzle parameters on jet-spread angle, jet-discharge angle and the volume entrainment by the jet. All free-fall jets with nozzle port angle zero and upward are found to be spinning. Some of the free-fall jets with downward nozzle-port angle are found to be spinning and rest are smooth. The spinning direction of the jets are found to change with time. The well depth, port diameter and the inner diameter of the nozzle have a clear effect on the free-fall jets with downward port angle. The jet-spread angle is found to be about 17-degrees for smooth jets. The spread angle for spinning jet increases as the nozzle-port angle is increased from downward 25 to upward 15-degrees. The jet-discharge angle is always downward even when the nozzle-discharge ports are angled upward. The extent of volume entrainment by the spinning jet is higher and it increases as the nozzle-port angle is increased from 25 downward to 15-degrees upward.

Evaluation of strain-rate effects in transitional round jets using direct numerical simulation

The coherent flame model uses the strain rate to predict reaction rate per unit flame surface area and some procedure that solves for the dynamics of flame surfaces to predict species distributions. The strainrate formula for the reaction rate is obtained from the analytical solution for a flame in a laminar, plane stagnation point flow. Here, the formula's effectiveness is examined by comparisons with data from a direct numerical simulation (DNS) of a round jetlike flow that undergoes transition to turbulence. Significant differences due to general flow features can be understood qualitatively: Model predictions are good in the braids between vortex rings, which are present in the near field of round jets, as the strain rate is extensional and reaction surfaces are isolated. In several other regions, the strain rate is compressive or flame surfaces are folded close together. There, the predictions are poor as the local flow no longer resembles the model flow. Quantitative comparisons showed some discrepancies. A modified, consistent application of the strain-rate solution did not show significant changes in the prediction of mean reaction rate distributions.

Converging swirling liquid jets from pressure swirl atomizers: Effect of inner air pressure

Converging swirling liquid jets from pressure swirl atomizers injected into atmospheric air are studied experimentally using still and cine photographic techniques in the context of liquid-liquid coaxial swirl atomizers used in liquid rocket engines. The jet exhibits several interesting flow features in contrast to the nonswirling liquid jets (annular liquid jets) studied in the literature. The swirl motion creates multiple converging sections in the jet, which gradually collapse one after the other due to the liquid sheet breakup with increasing Weber number (We). This is clearly related to the air inside the converging jet which exhibits a peculiar variation of the pressure difference across the liquid sheet, DeltaP, with We. The variation shows a decreasing trend of DeltaP with We in an overall sense, but exhibits local maxima and minima at specific flow conditions. The number of maxima or minima observed in the curve depends on the number of converging sections seen in the jet at the lowest We. An interesting feature of this variation is that it delineates the regions of prominent jet flow features like the oscillating jet region, nonoscillating jet region, number of converging sections, and so on. Numerical predictions of the jet characteristics are obtained by modifying an existing nonswirling liquid jet model by including the swirling motion. The comparison between the experimental and numerical measurements shows that the pressure difference across the liquid sheet is important for the jet behavior and cannot be neglected in any theoretical analysis. (C) 2002 American Institute of Physics.

An economical method for direct numerical simulation studies of transitional round jets

A pseudo-spectral method based on Fourier expansions in a Cartesian coordinate system is shown to be an economical method for direct numerical simulation studies of transitional round jets, Several characteristics of the solutions are presented to establish the validity of the solutions in spite of the unnatural choices. We show that neither periodicity, nor the use of a Cartesian system have adversely affected the simulations, Instead, there are benefits in terms of ease of computing and lack of the usual restrictions due to grid structure near the jet axis. By computing the simultaneous evolution of passive scalers, the process of reaction in round jet burners, between a fuel-laden jet and an ambient oxidizer, was also simulated. Some typical solutions are shown and then the results of analysis of these data are summarized. (C) 2001 Elsevier Science Ltd, All rights reserved.

Population genetic structure and conservation of Asian elephants (Elephas maximus) across India

This study examines the population genetic structure of Asian elephants (Elephas maximus) across India, which harbours over half the world's population of this endangered species. Mitochondrial DNA control region sequences and allele frequencies at six nuclear DNA microsatellite markers obtained from the dung of free-ranging elephants reveal low mtDNA and typical microsatellite diversity. Both known divergent clades of mtDNA haplotypes in the Asian elephant are present in India, with southern and central India exhibiting exclusively the β clade of Fernando et al. (2000), northern India exhibiting exclusively the α clade and northeastern India exhibiting both, but predominantly the α clade. A nested clade analysis revealed isolation by distance as the principal mechanism responsible for the observed haplotype distributions within the α and β clades. Analyses of molecular variance and pairwise population FST tests based on both mitochondrial and microsatellite DNA suggest that northern-northeastern India, central India, Nilgiris (in southern India) and Anamalai-Periyar (in southern India) are four demographically autonomous population units and should be managed separately. In addition, evidence for female philopatry, male-mediated gene flow and two possible historical biogeographical barriers is described.

Zero momentum gluons and the total pp and pbarp cross-sections

We describe a QCD motivated model for total cross-sections which uses the eikonal representation and incorporates QCD mini-jets to drive the rise with energy of the cross-section, while the impact parameter distribution is obtained through the Fourier transform of the transverse momentum distribution of soft gluons emitted in the parton-parton interactions giving rise to mini-jets in the final state. A singular but integral expression for the running coupling constant in the infrared region is part of this model.

Experimental Studies on Mass Distribution of Impinging Jets

Noting that practical impinging injectors are likely to have skewness, an experimental study has been made to understand the behavior of such jets using water as the simulant. In perfectly impinging jets, a high aspect ratio ellipse-like mass distribution pattern is obtained with major axis normal to the plane of two jets whereas in skewed jets the major axis turns from its normal position. A simple analysis shows that this angle of turn is a function of skewness fraction and impingement angle only and is independent of injection velocity. Experimental data from both mass distribution and photographic technique validate this prediction.

Computational Analysis of Flow through a Multiple Nozzle Driven Laser Cavity and Diffuser

Computations have been carried out for simulating supersonic flow through a set of converging-diverging nozzles with their expanding jets forming a laser cavity and flow patterns through diffusers, past the cavity. A thorough numerical investigation with 3-D RANS code is carried out to capture the flow distribution which comprises of shock patterns and multiple supersonic jet interactions. The analysis of pressure recovery characteristics during the flow through the diffusers is an important parameter of the simulation and is critical for the performance of the laser device. The results of the computation have shown a close agreement with the experimentally measured parameters as well as other established results indicating that the flow analysis done is found to be satisfactory.

Docking and free energy simulations to predict conformational domains involved in hCG-LH receptor interactions using recombinant antibodies

Single chain fragment variables (ScFvs) have been extensively employed in studying the protein-protein interactions. ScFvs derived from phage display libraries have an additional advantage of being generated against a native antigen, circumventing loss of information on conformational epitopes. In the present study, an attempt has been made to elucidate human chorionic gonadotropin (hCG)-luteinizing hormone (LH) receptor interactions by using a neutral and two inhibitory ScFvs against hCG. The objective was to dock a computationally derived model of these ScFvs onto the crystal structure of hCG and understand the differential roles of the mapped epitopes in hCG-LH receptor interactions. An anti-hCG ScFv, whose epitope was mapped previously using biochemical tools, served as the positive control for assessing the quality of docking analysis. To evaluate the role of specific side chains at the hCG-ScFv interface, binding free energy as well as residue interaction energies of complexes in solution were calculated using molecular mechanics Poisson-Boltzmann/surface area method after performing the molecular dynamic simulations on the selected hCG-ScFv models and validated using biochemical and SPR analysis. The robustness of these calculations was demonstrated by comparing the theoretically determined binding energies with the experimentally obtained kinetic parameters for hCG-ScFv complexes. Superimposition of hCG-ScFv model onto a model of hCG complexed with the 51-266 residues of LH receptor revealed importance of the residues previously thought to be unimportant for hormone binding and response. This analysis provides an alternate tool for understanding the structure-function analysis of ligand-receptor interactions. Proteins 2011;79:3108-3122. (C) 2011 Wiley-Liss, Inc.

3D Acoustic Analysis Of Spherical Chamber Having Single Inlet And Multiple Outlet: An Impedance Matrix Approach

The transmission loss (TL) performance of spherical chambers having single inlet and multiple outlet is obtained analytically through modal expansion of acoustic field inside the spherical cavity in terms of the spherical Bessel functions and Legendre polynomials. The uniform piston driven model based upon the impedance [Z] matrix is used to characterize the multi-port spherical chamber. It is shown analytically that the [Z] parameters are independent of the azimuthal angle (phi) due to the axisymmetric shape of the sphere; rather, they depend only upon the polar angle (theta) and radius of the chamber R(0). Thus, the effects of relative polar angular location of the ports and number of outlet ports are investigated. The analytical results are shown to be in good agreement with the 3D FEA results, thereby validating the procedure suggested in this work.