Improving Flow-Insensitive Solutions for Non-Separable Dataflow Problems

Flow-insensitive solutions to dataflow problems have been known to be highly scalable; however also hugely imprecise. For non-separable dataflow problems this solution is further degraded due to spurious facts generated as a result of dependence among the dataflow facts. We propose an improvement to the standard flow-insensitive analysis by creating a generalized version of the dominator relation that reduces the number of spurious facts generated. In addition, the solution obtained contains extra information to facilitate the extraction of a better solution at any program point, very close to the flow-sensitive solution. To improve the solution further, we propose the use of an intra-block variable renaming scheme. We illustrate these concepts using two classic non-separable dataflow problems --- points-to analysis and constant propagation.

Stability criteria for single pulse solutions of cw passive mode-locked lasers

The stability of the steady-state solutions of mode-locking of cw lasers by a fast saturable absorber is imvestigated. It is shown that the solutions are stable if the condition (Ps/Pa) = (2/3) (P0Pa) is satisfied, where (Ps/Pa) is the steady-state la ser power, (P0/Pa) is the power at mode-locking threshold, and Pa is the saturated power of the absorber.

Biaxial-load effects on isopachics for a crack at the interface of dissimilar media

The plane problem of two dissimilar materials, bonded together and containing a crack along their common interface, which were subjected to a biaxial load at infinity, is examined by giving a closed-form expression for the first stress invariant of the normal stresses, which is equally valid everywhere, near to, and far from, the crack-tip region. This exact expression for the first-stress invariant is compared by constructing the respective isopachic-fringe patterns, to the approximate expression with non-singular terms, due to the biaxiality factor, for the same quantity. Significant differences between respective isopachic-patterns were found and their dependence on the elastic properties of both materials and the applied loads was demonstrated. The relative errors between the computedK I - andK II -components by using the approximate expression for the first stress-invariant and the accurate one, derived from closed-form solution along either isopachic-fringes or along circles and radii from the crack-tip have been given, indicating in some cases large discrepancies between exact and approximate solutions.

Dendritic structures produced on solidification of multicomponent aqueous solutions

Dendrite structures of ice produced on undirectional solidification of ternary and quaternary aqueous solutions have been studied. Upon freezing, solutions containing more than one solute produce plate-shaped dendrites of ice. The spacing between dendrites increase linearly with the distance from the chill surface and the square root of local solidification time (or square root of inverse freezing rate) for any fixed composition. For fixed freezing conditions, the dendrite spacings from multicomponent aqueous solutions were a function of the concentrations and diffusion coefficients of the individual solutes. The dendrite spacing produced by freezing of a solution was changed by the addition of a solute different from those already present. If the main diffusion coefficient of the added solute is higher than that of solutes already present, the dendrite spacing is increased and vice versa. The dendrite spacing in multi-component systems increases with the total solute concentration if the constituent solutes are present in equal amounts. The dendrite spacing obtained on freezing of these dilute multicomponent solutions can be expressed by regression equations of the type Image Full-size image (2K) where L is the dendrite spacing in microns, C1, C2 and C3 are concentrations of individual solutes, Θf is the total freezing time and A1 −A8 are constants. A Yates analysis of the dendrite spacings in a factorial design of quaternary solutions indicates that there are strong interactions between individual solutes in regard to their effect on the dendrite spacings. A mass transport analysis has been used to calculate the interdendritic supersaturation ΔC of the individual solutes, the supercooling in the interdendritic liquid ΔT, and the transverse growth velocity of the dendrites, VT. In ternary solutions if two solutes are present in equal amount the supersaturation of the solute with higher main diffusion coefficient is lower, and vice versa. If a solute with higher main diffusion coefficient is added to a binary solution, the interface growth velocity, the interdendritic supersaturation of the base solute and the interdendritic supercooling increase with the quantity of solute added.

Natural frequencies of rectangular orthotropic plates with a pair of parallel edges simply supported

Solutions of the exact characteristic equations for the title problem derived earlier by an extension of Bolotin's asymptotic method are considered. These solutions, which correspond to flexural modes with frequency factor, R, greater than unity, are expressed in convenient forms for all combinations of clamped, simply supported and free conditions at the remaining pair of parallel edges. As in the case of uniform beams, the eigenvalues in the CC case are found to be equal to those of elastic modes in the FF case provided that the Kirchoff's shear condition at a free edge is replaced by the condition. The flexural modes with frequency factor less than unity are also investigated in detail by introducing a suitable modification in the procedure. When Poisson's ratios are not zero, it is shown that the frequency factor corresponding to the first symmetric mode in the free-free case is less than unity for all values of side ratio and rigidity ratios. In the case of one edge clamped and the other free it is found that modes with frequency factor less than unity exist for certain dimensions of the plate—a fact hitherto unrecognized in the literature.

Assessment of accuracies of some approximate solutions

The classic work of Richardson and Gaunt [1 ], has provided an effective means of extrapolating the limiting result in an approximate analysis. From the authors' work on "Bounds for eigenvalues" [2-4] an interesting alternate method has emerged for assessing monotonically convergent approximate solutions by generating close bounds. Whereas further investigation is needed to put this work on sound theoretical foundation, we intend this letter to announce a possibility, which was confirmed by an exhaustive set of examples.

Effect of magnetic and electrical fields on dendritic freezing of aqueous solutions of sodium chloride

Aqueous solutions of sodium chloride were solidified under the influence of magnetic and electrical fields using two different freezing systems. In the droplet system, small droplets of the solution are introduced in an organic liquid column at −20°C which acts as the heat sink. In the unidirectional freezing system the solutions are poured into a tygon tube mounted on a copper chill, maintained at −70°C, from which the freezing initiates. Application of magnetic fields caused an increase in the spacing and promoted side branching of primary ice dendrites in the droplet freezing system, but had no measurable effect on the dendrites formed in the unidirectional freezing system. The range of electric fields applied in this investigation had no measurable effect on the dendritic structure. Possible interactions between external magnetic and electrical fields have been reviewed and it is suggested that the selective effect of magnetic fields on dendrite spacings in a droplet system could be due to a change in the nucleation behaviour of the solution in the presence of a magnetic field.

Solutions of Boundary Layer Equations Governing Free Convective and Magnetohydrodynamic Flows through Parametric Differentiation

In der vorliegenden Arbeit wird die Methode der parametrischen Differentiation angewendet, um ein System nichtlinearer Gleichungen zu lösen, das zwei- und dreidimensionale freie, konvektive Grenzschichströmungen bzw. eine zweidimensionale magnetohydrodynamische Grenzschichtströmung beherrscht. Der Hauptvorteil dieser Methode besteht darin, daß die nichlinearen Gleichungen auf lineare reduziert werden und die Nichtlinearität auf ein System von Gleichungen erster Ordnung beschränkt wird, das, verglichen mit den ursprünglichen Nichtlinearen Gleichungen, viel leichter gelöst werden kann. Ein anderer Vorzug der Methode ist, daß sie es ermöglicht, die Lösung von einer bekannten, zu einem bestimmten Parameterwert gehörigen Lösung aus durch schrittweises Vorgehen die Lösung für den gesamten Parameterbereich zu erhalten. Die mit dieser Methode gewonnenen Ergebnisse stimmen gut mit den entsprechenden, mit anderen numerischen Verfahren erzielten überein.

Mechanoformation of ammonium perchlorate-potassium perchlorate solid solutions

Ammonium perchlorate-potassium perchlorate mixtures, upon pelletization, form a series of homogeneous solid solutions as manifested by X-ray powder diffractograms. Scanning electron microscopic studies throw light on the mechanism of the solid-solution formation. Solid solutions of ammonium perchlorate-potassium perchlorate have also been obtained by a modified cocrystallization technique. The thermal and combustion behavior of the solid solutions have also been studied, using the DTA technique and the Crawford strand burner.

A note on non-separable solutions of linear partial differential equation

A method has been presented for constructing non-separable solutions of homogeneous linear partial differential equations of the type F(D, D′)W = 0, where D = ∂/∂x, D′ = ∂/∂y, Image where crs are constants and n stands for the order of the equation. The method has also been extended for equations of the form Φ(D, D′, D″)W = 0, where D = ∂/∂x, D′ = ∂/∂y, D″ = ∂/∂z and Image As illustration, the method has been applied to obtain nonseparable solutions of the two and three dimensional Helmholtz equations.

Application of Artificial Viscosity in Establishing Supercritical Solutions to the Transonic Integra

The nonlinear singular integral equation of transonic flow is examined in the free-stream Mach number range where only solutions with shocks are known to exist. It is shown that, by the addition of an artificial viscosity term to the integral equation, even the direct iterative scheme, with the linear solution as the initial iterate, leads to convergence. Detailed tables indicating how the solution varies with changes in the parameters of the artificial viscosity term are also given. In the best cases (when the artificial viscosity is smallest), the solutions compare well with known results, their characteristic feature being the representation of the shock by steep gradients rather than by abrupt discontinuities. However, 'sharp-shock solutions' have also been obtained by the implementation of a quadratic iterative scheme with the 'artificial viscosity solution' as the initial iterate; the converged solution with a sharp shock is obtained with only a few more iterates. Finally, a review is given of various shock-capturing and shock-fitting schemes for the transonic flow equations in general, and for the transonic integral equation in particular, frequent comparisons being made with the approach of this paper.

Similar solutions for the incompressible laminar boundary layer with pressure gradient in micropolar

This paper presents the similarity solution for the steady incompressible laminar boundary layer flow of a micropolar fluid past an infinite wedge. The governing equations have been solved numerically using fourth orderRunge-Kutta-Gill method. The results indicate the extent to which the velocity and microrotation profiles, and the surface shear stress are influenced by coupling, microrotation, and pressure gradient parameters. The important role played by the standard length of the micropolar fluid in determining the structure of the boundary layer has also been discussed.

Review of continuum, finite element and hybrid techniques in the analysis of stress concentrations in structures

When a uniform flow of any nature is interrupted, the readjustment of the flow results in concentrations and rare-factions, so that the peak value of the flow parameter will be higher than that which an elementary computation would suggest. When stress flow in a structure is interrupted, there are stress concentrations. These are generally localized and often large, in relation to the values indicated by simple equilibrium calculations. With the advent of the industrial revolution, dynamic and repeated loading of materials had become commonplace in engine parts and fast moving vehicles of locomotion. This led to serious fatigue failures arising from stress concentrations. Also, many metal forming processes, fabrication techniques and weak-link type safety systems benefit substantially from the intelligent use or avoidance, as appropriate, of stress concentrations. As a result, in the last 80 years, the study and and evaluation of stress concentrations has been a primary objective in the study of solid mechanics. Exact mathematical analysis of stress concentrations in finite bodies presents considerable difficulty for all but a few problems of infinite fields, concentric annuli and the like, treated under the presumption of small deformation, linear elasticity. A whole series of techniques have been developed to deal with different classes of shapes and domains, causes and sources of concentration, material behaviour, phenomenological formulation, etc. These include real and complex functions, conformal mapping, transform techniques, integral equations, finite differences and relaxation, and, more recently, the finite element methods. With the advent of large high speed computers, development of finite element concepts and a good understanding of functional analysis, it is now, in principle, possible to obtain with economy satisfactory solutions to a whole range of concentration problems by intelligently combining theory and computer application. An example is the hybridization of continuum concepts with computer based finite element formulations. This new situation also makes possible a more direct approach to the problem of design which is the primary purpose of most engineering analyses. The trend would appear to be clear: the computer will shape the theory, analysis and design.

Analysis of vibration of clamped square plates by the Rayleigh-Ritz method with asymptotic solutions from a modified Bolotin method

Estimates of flexural frequencies of clamped square plates are initially obtained by the modified Bolotin's method. The mode shapes in “each direction” are then determined and the product functions of these mode shapes are used as admissible functions in the Rayleigh-Ritz method. The data for the first twenty eigenvalues in each of the three (four) symmetric groups obtained by the (i) Bolotin, (ii) Rayleigh and (iii) Rayleigh-Ritz methods are reported here. The Rayleigh estimates are found to be much closer to the true eigenvalues than the Bolotin estimates. The present product functions are found to be much superior to the conventional beam eigenmodes as admissible functions in the Rayleigh-Ritz method of analysis.

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.