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.

Some direct numerical approaches to the solution of the singular nonlinear transonic integral equation

The nonlinear singular integral equation of transonic flow is examined, noting that standard numerical techniques are not applicable in solving it. The difficulties in approximating the integral term in this expression were solved by special methods mitigating the inaccuracies caused by standard approximations. It was shown how the infinite domain of integration can be reduced to a finite one; numerical results were plotted demonstrating that the methods proposed here improve accuracy and computational economy.

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.

Water-wave scattering by two submerged plane vertical barriers-Abel integral-equation approach

The classical problem of surface water-wave scattering by two identical thin vertical barriers submerged in deep water and extending infinitely downwards from the same depth below the mean free surface, is reinvestigated here by an approach leading to the problem of solving a system of Abel integral equations. The reflection and transmission coefficients are obtained in terms of computable integrals. Known results for a single barrier are recovered as a limiting case as the separation distance between the two barriers tends to zero. The coefficients are depicted graphically in a number of figures which are identical with the corresponding figures given by Jarvis (J Inst Math Appl 7:207-215, 1971) who employed a completely different approach involving a Schwarz-Christoffel transformation of complex-variable theory to solve the problem.

Invariance group properties and exact solutions of equations describing time-dependent free surface flows under gravity

Using the method of infinitesimal transformations, a 6-parameter family of exact solutions describing nonlinear sheared flows with a free surface are found. These solutions are a hybrid between the earlier self-propagating simple wave solutions of Freeman, and decaying solutions of Sachdev. Simple wave solutions are also derived via the method of infinitesimal transformations. Incomplete beta functions seem to characterize these (nonlinear) sheared flows in the absence of critical levels.

A Fredholm-type theory for third-kind linear integral equations

The third-kind linear integral equation Image where g(t) vanishes at a finite number of points in (a, b), is considered. In general, the Fredholm Alternative theory [[5.]] does not hold good for this type of integral equation. However, imposing certain conditions on g(t) and K(t, t′), the above integral equation was shown [[1.], 49–57] to obey a Fredholm-type theory, except for a certain class of kernels for which the question was left open. In this note a theory is presented for the equation under consideration with some additional assumptions on such kernels.

Structure of shock waves at re-entry speeds

The unified structure of steady, one-dimensional shock waves in argon, in the absence of an external electric or magnetic field, is investigated. The analysis is based on a two-temperature, three-fluid continuum approach, using the Navier—Stokes equations as a model and including non-equilibrium collisional as well as radiative ionization phenomena. Quasi charge neutrality and zero velocity slip are assumed. The integral nature of the radiative terms is reduced to analytical forms through suitable spectral and directional approximations. The analysis is based on the method of matched asymptotic expansions. With respect to a suitably chosen small parameter, which is the ratio of atom-atom elastic collisional mean free-path to photon mean free-path, the following shock morphology emerges: within the radiation and electron thermal conduction dominated outer layer occurs an optically transparent discontinuity which consists of a chemically frozen heavy particle (atoms and ions) shock and a collisional ionization relaxation layer. Solutions are obtained for the first order with respect to the small parameter of the problem for two cases: (i) including electron thermal conduction and (ii) neglecting it in the analysis of the outer layer. It has been found that the influence of electron thermal conduction on the shock structure is substantial. Results for various free-stream conditions are presented in the form of tables and figures.

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.

On the Solution of Certain Simultaneous Pairs of Dual Integral Equations

Mit einer direkten Methode, bei der der Erdelyi-Kober- und der modifizierte Hankel-Operator Anwendung finden, werden gewisse Systeme aus zwei bzw. drei Paaren dualer Integralgleichungen mit Bessel-Kernen in geschlossener Form gelöst. Für bestimmte Funktionenklassen und Ordnungen der Bessel-Funktionen ist die Vorgehensweise angebrachter und geeigneter als die bereits existierenden Methoden.

A computational study of Compton profiles of water - methanol solutions

The molecular level structure of mixtures of water and alcohols is very complicated and has been under intense research in the recent past. Both experimental and computational methods have been used in the studies. One method for studying the intra- and intermolecular bindings in the mixtures is the use of the so called difference Compton profiles, which are a way to obtain information about changes in the electron wave functions. In the process of Compton scattering a photon scatters inelastically from an electron. The Compton profile that is obtained from the electron wave functions is directly proportional to the probability of photon scattering at a given energy to a given solid angle. In this work we develop a method to compute Compton profiles numerically for mixtures of liquids. In order to obtain the electronic wave functions necessary to calculate the Compton profiles we need some statistical information about atomic coordinates. Acquiring this using ab-initio molecular dynamics is beyond our computational capabilities and therefore we use classical molecular dynamics to model the movement of atoms in the mixture. We discuss the validity of the chosen method in view of the results obtained from the simulations. There are some difficulties in using classical molecular dynamics for the quantum mechanical calculations, but these can possibly be overcome by parameter tuning. According to the calculations clear differences can be seen in the Compton profiles of different mixtures. This prediction needs to be tested in experiments in order to find out whether the approximations made are valid.

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.