Scalable flow-sensitive pointer analysis for fava with strong updates

The ability to perform strong updates is the main contributor to the precision of flow-sensitive pointer analysis algorithms. Traditional flow-sensitive pointer analyses cannot strongly update pointers residing in the heap. This is a severe restriction for Java programs. In this paper, we propose a new flow-sensitive pointer analysis algorithm for Java that can perform strong updates on heap-based pointers effectively. Instead of points-to graphs, we represent our points-to information as maps from access paths to sets of abstract objects. We have implemented our analysis and run it on several large Java benchmarks. The results show considerable improvement in precision over the points-to graph based flow-insensitive and flow-sensitive analyses, with reasonable running time.

Flow resistance network analysis of the back-pressure of automotive mufflers

Complexity of mufflers generally introduces considerable pressure drop, which affects the engine performance adversely. Not much literature is available for pressure drop across perforates. In this paper, the stagnation pressure drop across perforated muffler elements has been measured experimentally and generalized expressions have been developed for the pressure loss across cross-flow expansion and cross-flow contraction elements. A flow resistance model available in the literature has been made use of to analytically determine the flow distribution and thereby the pressure drop of mufflers. A generalized expression has been derived here for evaluation of the equivalent flow resistance for parallel flow paths. Expressions for flow resistance across perforated elements, derived by means of flow experiments, have been implemented in the flow resistance network. The results have been validated with experimental data. Thus, the newly developed integrated flow resistance networks would enable us to determine the normalized stagnation pressure drop of commercial automotive mufflers, thus enabling an efficient flow-acoustic design of silencing systems.

CFD Analysis of two phase flow with a prediction of torque demand of a Bi-lobe rotor of a mixing chamber

An attempt to study the fluid dynamic behavior of two phase flow comprising of solid and liquid with nearly equal density in a geometrical case that has an industrial significance in theareas like processing of polymers, food, pharma ceutical, paints. In this work,crystalline silica is considered as the dispersed medium in glycerin. In the CFD analysis carried out,the two phase components are considered to be premixed homogeneously at the initial state. The flow in a cylinder that has an axially driven bi-lobe rotor, a typical blender used in polymer industry for mixing or kneading to render the multi-component mixture to homogeneous condition is considered. A viscous, incompressible, isothermal flow is considered with an assumption that the components do not undergo any physical change and the solids are rigid and mix in fully wetting conditions. Silica with a particle diameter of 0.4 mm is considered and flow is analyzed for different mixing fractions. An industry standard CFD code is used for solving 3D-RANS equations. As the outcome of the study the torque demand by the bi-lobe rotor for different mixture fractions which are estimated show a behavioral consistency to the expected physical phenomena occurring in the domain considered.

Effect of the Flow Rule on the Bearing Capacity of Strip Foundations on Sand by the Upper-Bound Limit Analysis and Slip Lines

The influence of the flow rule on the bearing capacity of strip foundations placed on sand was investigated using a new kinematic approach of upper-bound limit analysis. The method of stress characteristics was first used to find the mechanism of the failure and to compute the stress field by using the Mohr-Coulomb yield criterion. Once the failure mechanism had been established, the kinematics of the plastic deformation was established, based on the requirements of the upper-bound limit theorem. Both associated and nonassociated plastic flows were considered, and the bearing capacity was obtained by equating the rate of external plastic work to the rate of the internal energy dissipation for both smooth and rough base foundations. The results obtained from the analysis were compared with those available from the literature. (C) 2014 American Society of Civil Engineers.

Parallel Flow-Sensitive Pointer Analysis by Graph-Rewriting

Precise pointer analysis is a problem of interest to both the compiler and the program verification community. Flow-sensitivity is an important dimension of pointer analysis that affects the precision of the final result computed. Scaling flow-sensitive pointer analysis to millions of lines of code is a major challenge. Recently, staged flow-sensitive pointer analysis has been proposed, which exploits a sparse representation of program code created by staged analysis. In this paper we formulate the staged flow-sensitive pointer analysis as a graph-rewriting problem. Graph-rewriting has already been used for flow-insensitive analysis. However, formulating flow-sensitive pointer analysis as a graph-rewriting problem adds additional challenges due to the nature of flow-sensitivity. We implement our parallel algorithm using Intel Threading Building Blocks and demonstrate considerable scaling (upto 2.6x) for 8 threads on a set of 10 benchmarks. Compared to the sequential implementation of staged flow-sensitive analysis, a single threaded execution of our implementation performs better in 8 of the benchmarks.

Flow Cytometry Analysis of Cytotoxicity In Vitro and Long-Term Toxicity of HA-40wt% BaTiO3 Nanoparticles In Vivo

The development of new implantable biomaterials requires bone-mimicking physical properties together with desired biocompatible property. In continuation to our earlier published research to establish compositional dependent multifunctional bone-like properties and cytocompatibility response of hydroxyapatite (HA)-BaTiO3 composites, the toxicological property evaluation, both invitro and invivo, were conducted on HA-40wt% BaTiO3 and reported in this work. In particular, this work reports invitro cytotoxicity of mouse myoblast cells as well as invivo long-term tissue and nanoparticles interaction of intra-articularly injected HA-40wt% BaTiO3 and BaTiO3 up to the concentration of 25mg/mL in physiological saline over 12weeks in mouse model. The careful analysis of flow cytometry results could not reveal any statistically significant difference in terms of early/late apoptotic cells or necrotic cells over 8d in culture. Extensive histological analysis could not record any signature of cellular level toxicity or pronounced inflammatory response in vital organs as well as at knee joints of Balb/c mice after 12weeks. Taken together, this study establishes nontoxic nature of HA-40wt% BaTiO3 and therefore, HA-40wt% BaTiO3 can be used safely for various biomedical applications.

Numerical Analysis on Intermittent Flow in a Longitudinal Section of Bingham Fluid along a Slope

The transition process of intermittent flow in a longitudinal section of Bingham fluid from initial distribution to fully developed state was numerically investigated in this paper. The influences of slope dimensionless runoff Q* and viscosity μ0* on the dimensionless surge speed U* were also presented in a wide range of parameters. By one typical example, the intermittent flow possessed wave characteristics and showed a supercritical flow conformation for a fully developed flow. The distributions of gravity and bed drag along the flow path and the velocity distribution of flow field were also analyzed.

Numerical Analysis of the Effects of Free-Stream Thermo-Chemical State on the Test Model Flow Field in High-Enthalpy Tunnel

The effects of the free-stream thermo-chemical state on the test model flow field in the high-enthalpy tunnel are studied numerically. The properties of the free-stream, which is in thermo-chemical non-equilibrium, are determined by calculating the nozzle flow field. A free-stream with total enthalpy equal to the real one in the tunnel while in thermo-chemical equilibrium is constructed artificially to simulate the natural atmosphere condition. The flow fields over the test models (blunt cone and Apollo command capsule model) under both the non-equilibrium and the virtual equilibrium free-stream conditions are calculated. By comparing the properties including pressure, temperature, species concentration and radiation distributions of these two types of flow fields, the effects of the non-equilibrium state of the free-stream in the high-enthalpy shock tunnel are analyzed.