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.

Calculation of Sparking Potentials of SF6 and SF6-GAS Mixtures in Uniform and Non-Uniform Electric Fields

A simple formula is developed to predict the sparking potentials of SF6 and SF6-gas mixture in uniform and non-uniform fields. The formula has been shown to be valid over a very wide range from 1 to 1800 kPa·cm of pressure and electrode gap separation for mixtures containing 5 to 100% SF6. The calculated values are found to be in good agreement with the previously reported measurements in the literature. The formula should aid design engineers in estimating electrode-spacings and clearances in power apparatus and systems.

Self-tuning control of a class of multivariable non-linear systems

Self-tuning is applied to the minimum variance control of non-linear multivariable systems which can be characterized by a ' multivariable Hammerstein model '. It is also shown that such systems are not amenable to self-tuning control if control costing is to be included in the performance criterion.

Breakage of viscous and non-Newtonian drops in stirred dispersions

A model of breakage of drops in a stirred vessel has been proposed to account for the effect of rheology of the dispersed phase. The deformation of the drop is represented by a Voigt element. A realistic description of the role of interfacial tension is incorporated by treating it as a restoring force which passes through a maximum as the drop deforms and eventually reaching a zero value at the break point. It is considered that the drop will break when the strain of the drop has reached a value equal to its diameter. An expression for maximum stable drop diameter, dmax, is derived from the model and found to be applicable over a wide range of variables, as well as to data already existing in literature. The model could be naturally extended to predict observed values of dmax when the dispersed phase is a power law fluid or a Bingham plastic.

Non-equilibrium trapping in Al---In system

The comparative trapping efficiency of indium in aluminium solid solution during vapour deposition and rapid solidification at room temperature was evaluated by studying the nature of the decomposition of the metastable solid solution. A spinodal decomposition was observed in the case of rapid solidification while vapour deposited foils decompose by a nucleation and growth type of process. From this we conclude that rapid solidification effects a more efficient non-equilibrium trapping of indium in aluminium solid solution compared to vapour deposition at room temperature.

Non-ohmic conduction and electrical switching under pressure of the charge transfer complexo-tolidine-iodine

The current voltage characteristics ofo-tolidine-iodine, with stoichiometry 1:1 grown from benzene, have been studied under high pressures upto 6 GPa atT=300 K andT=77 K. The characteristics show a pronounced deviation from ohmicity beyond a certain current for all pressures studied. At room temperature, beyond a threshold field the system switches from a low conductingOFF state to a high conductingON state with σON/σOFF ∼ 103. TheOFF state can be restored by the application of an a.c. pulse of low frequency. The temperature dependence of the two states studied indicates that theOFF state is semiconducting while theON state, beyond a certain applied pressure is metallic. The characteristics atT=77 K do not show any switching.