An Algorithm to Decide Feasibility of Linear Integer Constraints Occurrng in Decision Tables

Abstract-To detect errors in decision tables one needs to decide whether a given set of constraints is feasible or not. This paper describes an algorithm to do so when the constraints are linear in variables that take only integer values. Decision tables with such constraints occur frequently in business data processing and in nonnumeric applications. The aim of the algorithm is to exploit. the abundance of very simple constraints that occur in typical decision table contexts. Essentially, the algorithm is a backtrack procedure where the the solution space is pruned by using the set of simple constrains. After some simplications, the simple constraints are captured in an acyclic directed graph with weighted edges. Further, only those partial vectors are considered from extension which can be extended to assignments that will at least satisfy the simple constraints. This is how pruning of the solution space is achieved. For every partial assignment considered, the graph representation of the simple constraints provides a lower bound for each variable which is not yet assigned a value. These lower bounds play a vital role in the algorithm and they are obtained in an efficient manner by updating older lower bounds. Our present algorithm also incorporates an idea by which it can be checked whether or not an (m - 2)-ary vector can be extended to a solution vector of m components, thereby backtracking is reduced by one component.

A comment on the consistency of truncated nonlinear integral equation based theories of freezing

We report the results of two studies of aspects of the consistency of truncated nonlinear integral equation based theories of freezing: (i) We show that the self-consistent solutions to these nonlinear equations are unfortunately sensitive to the level of truncation. For the hard sphere system, if the Wertheim–Thiele representation of the pair direct correlation function is used, the inclusion of part but not all of the triplet direct correlation function contribution, as has been common, worsens the predictions considerably. We also show that the convergence of the solutions found, with respect to number of reciprocal lattice vectors kept in the Fourier expansion of the crystal singlet density, is slow. These conclusions imply great sensitivity to the quality of the pair direct correlation function employed in the theory. (ii) We show the direct correlation function based and the pair correlation function based theories of freezing can be cast into a form which requires solution of isomorphous nonlinear integral equations. However, in the pair correlation function theory the usual neglect of the influence of inhomogeneity of the density distribution on the pair correlation function is shown to be inconsistent to the lowest order in the change of density on freezing, and to lead to erroneous predictions. The Journal of Chemical Physics is copyrighted by The American Institute of Physics.

A comment on the consistency of truncated nonlinear integral equation based theories of freezing

We report the results of two studies of aspects of the consistency of truncated nonlinear integral equation based theories of freezing: (i) We show that the self-consistent solutions to these nonlinear equations are unfortunately sensitive to the level of truncation. For the hard sphere system, if the Wertheim–Thiele representation of the pair direct correlation function is used, the inclusion of part but not all of the triplet direct correlation function contribution, as has been common, worsens the predictions considerably. We also show that the convergence of the solutions found, with respect to number of reciprocal lattice vectors kept in the Fourier expansion of the crystal singlet density, is slow. These conclusions imply great sensitivity to the quality of the pair direct correlation function employed in the theory. (ii) We show the direct correlation function based and the pair correlation function based theories of freezing can be cast into a form which requires solution of isomorphous nonlinear integral equations. However, in the pair correlation function theory the usual neglect of the influence of inhomogeneity of the density distribution on the pair correlation function is shown to be inconsistent to the lowest order in the change of density on freezing, and to lead to erroneous predictions. The Journal of Chemical Physics is copyrighted by The American Institute of Physics.

sopB of Salmonella enterica serovar Typhimurium is a potential DNA vaccine candidate in conjugation with live attenuated bacteria

The immune response against Salmonella is multi-faceted involving both the innate and the adaptive immune system. The characterization of specific Salmonella antigens inducing immune response could critically contribute to the development of epitope based vaccines for Salmonella. We have tried to identify a protective T cell epitope(s) of Salmonella, as cell mediated immunity conferred by CD8+ T cells is the most crucial subset conferring protective immunity against Salmonella. It being a proven fact that secreted proteins are better in inducing cell mediated immunity than cell surface and cytosolic antigens, we have analyzed all the genbank annotated Salmonella pathogenicity island 1 and 2 secreted proteins of Salmonella enterica serovar Typhimurium (S. typhimurium) and S. enterica serovar Typhi (S. typhi). They were subjected to BIMAS and SYFPEITHI analysis to map MHC-I and MHC-II binding epitopes. The huge profile of possible T cell epitopes obtained from the two classes of secreted proteins were tabulated and using a scoring system that considers the binding affinity and promiscuity of binding to more than one allele, SopB and SifB were chosen for experimental confirmation in murine immunization model. The entire SopB and SifB genes were cloned into DNA vaccine vectors and were administered along with live attenuated Salmonella and it was found that SopB vaccination reduced the bacterial burden of organs by about 5-fold on day 4 and day 8 after challenge with virulent Salmonella and proved to be a more efficient vaccination strategy than live attenuated bacteria alone.

Paracrine action of sFLT-1 secreted by stably-transfected Ehrlich ascites tumor cells and therapy using sFLT-1 inhibits ascites tumor growth in vivo

Background Vascular endothelial growth factor (VEGF) is known to play a major role in angiogenesis. A soluble form of Flt-1, a VEGF receptor, is potentially useful as an antagonist of VEGF, and accumulating evidence suggests the applicability of sFlt-1 in tumor suppression. In the present study, we have developed and tested strategies targeted specifically to VEGF for the treatment of ascites formation.Methods As an initial strategy, we produced recombinant sFLT-1 in the baculovirus expression system and used it as a trap to sequester VEGF in the murine ascites carcinoma model. The effect of the treatment on the weight of the animal, cell number, ascites volume and proliferating endothelial cells was studied. The second strategy involved, producing Ehrlich ascites tumor (EAT) cells stably transfected with vectors carrying cDNA encoding truncated form of Flt-1 and using these cells to inhibit ascites tumors in a nude mouse model. Results The sFLT-1 produced by the baculovirus system showed potent antiangiogenic activity as assessed by rat cornea and tube formation assay. sFLT-1 treatment resulted in reduced peritoneal angiogenesis with a concomitant decrease in tumor cell number, volume of ascites, amount of free VEGF and the number of invasive tumor cells as assayed by CD31 staining. EAT cells stably transfected with truncated form of Flt-1 also effectively reduced the tumor burden in nude mice transplanted with these cells, and demonstrated a reduction in ascites formation and peritoneal angiogenesis. Conclusions The inhibition of peritoneal angiogenesis and tumor growth by sequestering VEGF with either sFlt-1 gene expression by recombinant EAT cells or by direct sFLT-1 protein therapy is shown to comprise a potential therapy. Copyright (C) 2009 John Wiley & Sons, Ltd.

A Current Source Inverter Fed Induction Motor Drive with Power Factor Angle Control Using Microprocessor

This paper describes a method of adjusting the stator power factor angle for the control of an induction motor fed from a current source inverter (CSI) based on the concept of space vectors (or park vectors). It is shown that under steady state, if the torque angle is kept constant over the entire operating range, it has the advantage of keeping the slip frequency constant. This can be utilized to dispose of the speed feedback and simplify the control scheme for the drive, such that the stator voltage integral zero crossings alone can be used as a feedback for deciding the triggering instants of the CSI thyristors under stable operation of the system. A closed-loop control strategy is developed for the drive based on this principle, using a microprocessor-based control system and is implemented on a laboratory prototype CSI fed induction motor drive.

Cross polarization in laser beams

Polarization properties of Gaussian laser beams are analyzed in a manner consistent with the Maxwell equations, and expressions are developed for all components of the electric and magnetic field vectors in the beam. It is shown that the transverse nature of the free electromagnetic field demands a nonzero transverse cross-polarization component in addition to the well-known component of the field vectors along the beam axis. The strength of these components in relation to the strength of the principal polarization component is established. It is further shown that the integrated strengths of these components over a transverse plane are invariants of the propagation process. It is suggested that cross- polarization measurement using a null detector can serve as a new method for accurate determination of the center of Gaussian laser beams.

Resonances, scattering theory, and rigged Hilbert spaces

The problem of decaying states and resonances is examined within the framework of scattering theory in a rigged Hilbert space formalism. The stationary free,''in,'' and ''out'' eigenvectors of formal scattering theory, which have a rigorous setting in rigged Hilbert space, are considered to be analytic functions of the energy eigenvalue. The value of these analytic functions at any point of regularity, real or complex, is an eigenvector with eigenvalue equal to the position of the point. The poles of the eigenvector families give origin to other eigenvectors of the Hamiltonian: the singularities of the ''out'' eigenvector family are the same as those of the continued S matrix, so that resonances are seen as eigenvectors of the Hamiltonian with eigenvalue equal to their location in the complex energy plane. Cauchy theorem then provides for expansions in terms of ''complete'' sets of eigenvectors with complex eigenvalues of the Hamiltonian. Applying such expansions to the survival amplitude of a decaying state, one finds that resonances give discrete contributions with purely exponential time behavior; the background is of course present, but explicitly separated. The resolvent of the Hamiltonian, restricted to the nuclear space appearing in the rigged Hilbert space, can be continued across the absolutely continuous spectrum; the singularities of the continuation are the same as those of the ''out'' eigenvectors. The free, ''in'' and ''out'' eigenvectors with complex eigenvalues and those corresponding to resonances can be approximated by physical vectors in the Hilbert space, as plane waves can. The need for having some further physical information in addition to the specification of the total Hamiltonian is apparent in the proposed framework. The formalism is applied to the Lee–Friedrichs model and to the scattering of a spinless particle by a local central potential. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.

Structural Damage Detection Using Modal Curvature and Fuzzy Logic

A fuzzy logic system (FLS) with a new sliding window defuzzifier is proposed for structural damage detection using modal curvatures. Changes in the modal curvatures due to damage are fuzzified using Gaussian fuzzy sets and mapped to damage location and size using the FLS. The first four modal vectors obtained from finite element simulations of a cantilever beam are used for identifying the location and size of damage. Parametric studies show that modal curvatures can be used to accurately locate the damage; however, quantifying the size of damage is difficult. Tests with noisy simulated data show that the method detects damage very accurately at different noise levels and when some modal data are missing.

Surface explosive instability for high frequency waves

High frequency three-wave nonlinear 'explosive' interaction of the surface modes of a semi-infinite beam-plasma system under no external field is investigated. The conditions that favour nonlinear instability, keep the plasma linearly stable. The beam runs parallel to the surface. If at least one of the three wave vectors of the surface modes is parallel to the beam, explosive interaction at the surface takes place after it has happened in the plasma bulk, provided the bulk waves propagate almost perpendicular to the surface and are of short wavelength. On the other hand if the bulk modes have long wavelength and propagate almost parallel to the surface, the surface modes can 'explode' first.

On a linear steady-state system of equations in microcontinuum fluid mechanics

Galerkin representations and integral representations are obtained for the linearized system of coupled differential equations governing steady incompressible flow of a micropolar fluid. The special case of 2-dimensional Stokes flows is then examined and further representation formulae as well as asymptotic expressions, are generated for both the microrotation and velocity vectors. With the aid of these formulae, the Stokes Paradox for micropolar fluids is established.

Gaussian-Maxwell beams

Gaussian-beam-type solutions to the Maxwell equations are constructed by using results from relativistic front analysis, and the propagation characteristics of these beams are analyzed. The rays of geometrical optics are shown to be the trajectories of energy flow, as given by the Poynting vector. The longitudinal components of the field vectors in the direction of the beam axis, though small, are shown to be essential for a consistent description.

DFL: A Data Flow Language

Many novel computer architectures like array and multiprocessors which achieve high performance through the use of concurrency exploit variations of the von Neumann model of computation. The effective utilization of the machines makes special demands on programmers and their programming languages, such as the structuring of data into vectors or the partitioning of programs into concurrent processes. In comparison, the data flow model of computation demands only that the principle of structured programming be followed. A data flow program, often represented as a data flow graph, is a program that expresses a computation by indicating the data dependencies among operators. A data flow computer is a machine designed to take advantage of concurrency in data flow graphs by executing data independent operations in parallel. In this paper, we discuss the design of a high level language (DFL: Data Flow Language) suitable for data flow computers. Some sample procedures in DFL are presented. The implementation aspects have not been discussed in detail since there are no new problems encountered. The language DFL embodies the concepts of functional programming, but in appearance closely resembles Pascal. The language is a better vehicle than the data flow graph for expressing a parallel algorithm. The compiler has been implemented on a DEC 1090 system in Pascal.

Interfacial structure and crystallographic studies of transformations in betat' and beta Cu---Zn alloys-II. martensitic formation of alpha1' plates in beta'

A TEM study of the interphase boundary structure of 9R orthorhombic alpha1' martensite formed in beta' Cu---Zn alloys shows that it consists of a single array of dislocations with Burgers vector parallel to left angle bracket110right-pointing angle beta and spaced about 3.5 nm apart. This Burgers vector lies out of the interface plane; hence the interface dislocations are glissile. Unexpectedly, though, the Burgers vectors of these dislocations are not parallel when referenced to the matrix and the martensite lattices. This finding is rationalized on published hard sphere models as a consequence of relaxation of a resultant of the Bain strain and lattice invariant shear displacements within the matrix phase.

Microprocessor-Based Field-Oriented Control of A CSI-Fed Induction Motor Drive

This paper describes the method of field orientation of the stator current vector with respect to the stator, mutual, and rotor flux vectors, for the control of an induction motor fed from a current source inverter (CSI). A control scheme using this principle is described for orienting the stator current with respect to the rotor flux, as this gives natural decoupling between the current coordinates. A dedicated microcomputer system developed for implementing this scheme has been described. The experimental results are also presented.