PLA folding algorithm from compatibility relations

The letter reports an algorithm for the folding of programmable logic arrays. The algorithm is valid for both column and row folding, although it has been presented considering only the simple column folding. The pairwise compatibility relations among all the pairs of the columns of the PLA are plotted in a matrix called the compatibility matrix of the PLA. A foldable compatibility matrix (FCM), a new concept defined in the letter, is then derived from the compatibility matrix. Once an FCM is obtained, the ordered pairs of fold-able columns and the reordering of the rows are readily determined

Relaminarization in highly accelerated turbulent boundary layers

The mean flow development in an initially turbulent boundary layer subjected to a large favourable pressure gradient beginning at a point x0 is examined through analyses expected a priori to be valid on either side of relaminarization. The ‘quasi-laminar’ flow in the later stages of reversion, where the Reynolds stresses have by definition no significant effect on the mean flow, is described by an asymptotic theory constructed for large values of a pressure-gradient parameter Λ, scaled on a characteristic Reynolds stress gradient. The limiting flow consists of an inner laminar boundary layer and a matching inviscid (but rotational) outer layer. There is consequently no entrainment to lowest order in Λ−1, and the boundary layer thins down to conserve outer vorticity. In fact, the predictions of the theory for the common measures of boundary-layer thickness are in excellent agreement with experimental results, almost all the way from x0. On the other hand the development of wall parameters like the skin friction suggests the presence of a short bubble-shaped reverse-transitional region on the wall, where neither turbulent nor quasi-laminar calculations are valid. The random velocity fluctuations inherited from the original turbulence decay with distance, in the inner layer, according to inverse-power laws characteristic of quasi-steady perturbations on a laminar flow. In the outer layer, there is evidence that the dominant physical mechanism is a rapid distortion of the turbulence, with viscous and inertia forces playing a secondary role. All the observations available suggest that final retransition to turbulence quickly follows the onset of instability in the inner layer.It is concluded that reversion in highly accelerated flows is essentially due to domination of pressure forces over the slowly responding Reynolds stresses in an originally turbulent flow, accompanied by the generation of a new laminar boundary layer stabilized by the favourable pressure gradient.

On the non-existence of hydrodynamic solution of surface plasmons at the bimetallic interface

It is shown that for an abrupt bimetallic interface a hydrodynamic solution for interface plasmons does not exist. It appears that this result is valid irrespective of the choice of of the additional boundary condition, thereby suggesting a careful look at the use of usual hydrodynamic equations for a bimetallic interface.

Mechanism of adsorption effects on electrode kinetics: Part I: Selection rules in the case of low coverage by molecular surfactants

It is shown that the effect of adsorption of inert molecules on electrode reaction rates is completely accounted for, by introducing into the rate equation, adsorption-induced changes in both the effective electrode area as well as in the electrostatic potential at the reaction site with an additional term for the noncoulombic interaction between the reactant and the adsorbate. The electrostatic potential at the reaction site due to the adsorbed layer is calculated using a model of discretely-distributed molecules in parallel orientation when adsorbed on the electrode with an allowance for thermal agitation. The resulting expression, which is valid for the limiting case of low coverages, is used to predict the types of molecular surfactants that are most likely to be useful for acceleration and inhibition of electrode reactions.

Axisymmetric deformation of a short magneto-strictive current-carrying cylinder

The title-problem has been reduced to that of solving a Fredholm integral equation of the second kind. One end of the cylinder is assumed to be fixed, while the cylinder is deformed by an axial current. The vertical displacement on the upper flat end of the cylinder has been determined from an iterative solution of the Fredholm equation valid for large values of the length. The radial displacement of the curved boundary has also been determined at the middle of the cylinder, by using the iterative solution.

An inhomogeneity problem in couple stress theory

Using Hilbert theory and Mindlin's couple stress theory, the problem of two-dimensional circular inhomogeneity (when the inserted material is of different size than the size of the cavity and having different elastic constants) is studiedin this paper. Stress could be bounded at infinity. The formulation is valid also for regions other then the circular ones when the matrix is finite has also been tackled. Numerical results are in conformity with the fact that the effect of couple stresses is negligible when the ratio of the smallest dimension of the body to the cahracteristic length is large.

Karnaugh map analysis and synthesis of threshold functions

A unate function can easily be identified on a Karnaugh map from the well-known property that it cons ist s only ofess en ti al prime implicante which intersect at a common implicant. The additional property that the plot of a unate function F(x, ... XII) on a Karnaugh map should possess in order that F may also be Ivrealizable (n';:; 6) has been found. It has been sh own that the I- realizability of a unate function F corresponds to the ' compac tness' of the plot of F. No resort to tho inequalities is made, and no pre-processing such as positivizing and ordering of the given function is required.

Can a single resource support many consumer species

The conclusion that the number of species co-existing within a biological community cannot exceed the number of limiting factors is not valid if we assume that (i) the relative efficiency of two competing species in utilizing a resource is not independent of the resource density, but one species may be more efficient at a lower density and less efficient at a higher density and (ii) there is a spatial or temporal heterogeneity in the density of the resource. This spatial or temporal heterogeneity does not have to be furnished by factors external to the biological community, but may be generated within the biological community itself as in the case of a vertical gradient of light in a plant community. This possibility of a stable co-existence of more than one species in a community limited by a single resource, even when the resource is being supplied uniformly in space and time, is formally demonstrated.

Lower Bound Limit Analysis of Rectangular Slabs

A general method for the development of valid lower bound solutions to uniformly distributed and orthotropically reinforced rectangular concrete slabs obeying normal moment criterion is described. General expressions for moment field have been obtained for nine cases of slabs having all combinations of simply supported and clamped-edge conditions. The lower bound collapse loads have been compared with the upper bound values obtained by the yield line theory. The paper also focuses attention to the need for the development of valid upper bound solutions with the satisfaction of kinematical admissibility and the flow rules associated with the normal moment criterion.

Finite field computation technique for exact solution of systems of linear equations and interval linear programming problems

An error-free computational approach is employed for finding the integer solution to a system of linear equations, using finite-field arithmetic. This approach is also extended to find the optimum solution for linear inequalities such as those arising in interval linear programming probloms.

On the positivity and stability of non-stationary systems

The positivity of operators in Hilbert spaces is an important concept finding wide application in various branches of Mathematical System Theory. A frequency- domain condition that ensures the positivity of time-varying operators in L2 with a state-space description, is derived in this paper by using certain newly developed inequalities concerning the input-state relation of such operators. As an interesting application of these results, an L2 stability criterion for time-varying feedback systems consisting of a finite-sector non-linearity is also developed.

Effect of viscosity on internal waves from a source in a wall

The solution for a line source of oscillatory strength kept at the origin in a wall bounding a semi-infinite viscous imcompressible stratified fluid is presented in an integral form. The behaviour of the flow at far field and near field is studied by an asymptotic expansion procedure. The streamlines for different parameters are drawn and discussed. The real characteristic straight lines present in the inviscid problem are modified by the viscosity and the solutions obtained are valid even at the resonance frequency.