Executable Analysis using Abstract Interpretation with Circular Linear Progressions

We propose a new abstract domain for static analysis of executable code. Concrete states are abstracted using circular linear progressions (CLPs). CLPs model computations using a finite word length as is seen in any real life processor. The finite abstraction allows handling overflow scenarios in a natural and straight-forward manner. Abstract transfer functions have been defined for a wide range of operations which makes this domain easily applicable for analyzing code for a wide range of ISAs. CLPs combine the scalability of interval domains with the discreteness of linear congruence domains. We also present a novel, lightweight method to track linear equality relations between static objects that is used by the analysis to improve precision. The analysis is efficient, the total space and time overhead being quadratic in the number of static objects being tracked.

Boxicity of Circular Arc Graphs

A k-dimensional box is a Cartesian product R(1)x...xR(k) where each R(i) is a closed interval on the real line. The boxicity of a graph G, denoted as box(G), is the minimum integer k such that G can be represented as the intersection graph of a collection of k-dimensional boxes. That is, two vertices are adjacent if and only if their corresponding boxes intersect. A circular arc graph is a graph that can be represented as the intersection graph of arcs on a circle. We show that if G is a circular arc graph which admits a circular arc representation in which no arc has length at least pi(alpha-1/alpha) for some alpha is an element of N(>= 2), then box(G) <= alpha (Here the arcs are considered with respect to a unit circle). From this result we show that if G has maximum degree Delta < [n(alpha-1)/2 alpha] for some alpha is an element of N(>= 2), then box(G) <= alpha. We also demonstrate a graph having box(G) > alpha but with Delta = n (alpha-1)/2 alpha + n/2 alpha(alpha+1) + (alpha+2). For a proper circular arc graph G, we show that if Delta < [n(alpha-1)/alpha] for some alpha is an element of N(>= 2), then box(G) <= alpha. Let r be the cardinality of the minimum overlap set, i.e. the minimum number of arcs passing through any point on the circle, with respect to some circular arc representation of G. We show that for any circular arc graph G, box(G) <= r + 1 and this bound is tight. We show that if G admits a circular arc representation in which no family of k <= 3 arcs covers the circle, then box(G) <= 3 and if G admits a circular arc representation in which no family of k <= 4 arcs covers the circle, then box(G) <= 2. We also show that both these bounds are tight.

A simple numerical method for three-dimensional analysis of simple expansion chamber mufflers of rectangular as well as circular cross-section with a stationary medium

Three-dimensional effects are a primary source of discrepancy between the measured values of automotive muffler performance and those predicted by the plane wave theory at higher frequencies. The basically exact method of (truncated) eigenfunction expansions for simple expansion chambers involves very complicated algebra, and the numerical finite element method requires large computation time and core storage. A simple numerical method is presented in this paper. It makes use of compatibility conditions for acoustic pressure and particle velocity at a number of equally spaced points in the planes of the junctions (or area discontinuities) to generate the required number of algebraic equations for evaluation of the relative amplitudes of the various modes (eigenfunctions), the total number of which is proportional to the area ratio. The method is demonstrated for evaluation of the four-pole parameters of rigid-walled, simple expansion chambers of rectangular as well as circular cross-section for the case of a stationary medium. Computed values of transmission loss are compared with those computed by means of the plane wave theory, in order to highlight the onset (cutting-on) of various higher order modes and the effect thereof on transmission loss of the muffler. These are also compared with predictions of the finite element methods (FEM) and the exact methods involving eigenfunction expansions, in order to demonstrate the accuracy of the simple method presented here.

Stability numbers for an unsupported vertical circular excavation in c-phi soil

By using an axisymmetric lower bound finite element limit analysis formulation, the stability numbers (gamma H/C) for an unsupported vertical circular excavation in a cohesive-frictional soil have been generated. The numerical results are obtained for values of normalized excavation height (H/b) and friction angle (phi) greater than those considered previously in the literature. The results compare well with those available in literature. The stability numbers presented in this note would be beneficial from a design point of view. (C) 2011 Elsevier Ltd. All rights reserved.

Coupled Wavenumbers in an Infinite Flexible Fluid-Filled Circular Cylindrical Shell: Comparison between Different Shell Theories

Analytical expressions are found for the wavenumbers in an infinite flexible in vacuo I fluid-filled circular cylindrical shell based on different shell-theories using asymptotic methods. Donnell-Mushtari theory (the simplest shell theory) and four higher order theories, namely Love-Timoshenko, Goldenveizer-Novozhilov, Flugge and Kennard-simplified are considered. Initially, in vacuo and fluid-coupled wavenumber expressions are presented using the Donnell-Mushtari theory. Subsequently, the wavenumbers using the higher order theories are presented as perturbations on the Donnell-Mushtari wavenumbers. Similarly, expressions for the resonance frequencies in a finite shell are also presented, using each shell theory. The basic differences between the theories being what they are, the analytical expressions obtained from the five theories allow one to see how these differences propagate into the asymptotic expansions. Also, they help to quantify the difference between the theories for a wide range of parameter values such as the frequency range, circumferential order, thickness ratio of the shell, etc.

Enhancement of circular differential deflection of light in an optically active medium

In this letter, we investigate the circular differential deflection of a light beam refracted at the interface of an optically active medium. We show that the difference between the angles of deviation of the two circularly polarized components of the transmitted beam is enhanced manyfold near total internal reflection, which suggests a simple way of increasing the limit of detection of chiro-optical measurements. (C) 2012 Optical Society of America

Two-dimensional flow past circular cylinders using finite volume lattice Boltzmann formulation

In this article, an extension to the total variation diminishing finite volume formulation of the lattice Boltzmann equation method on unstructured meshes was presented. The quadratic least squares procedure is used for the estimation of first-order and second-order spatial gradients of the particle distribution functions. The distribution functions were extrapolated quadratically to the virtual upwind node. The time integration was performed using the fourth-order RungeKutta procedure. A grid convergence study was performed in order to demonstrate the order of accuracy of the present scheme. The formulation was validated for the benchmark two-dimensional, laminar, and unsteady flow past a single circular cylinder. These computations were then investigated for the low Mach number simulations. Further validation was performed for flow past two circular cylinders arranged in tandem and side-by-side. Results of these simulations were extensively compared with the previous numerical data. Copyright (C) 2011 John Wiley & Sons, Ltd.

Performance of inherently compensated flat pad aerostatic bearings subject to dynamic perturbation forces

The importance of air bearing design is growing in engineering. As the trend to precision and ultra precision manufacture gains pace and the drive to higher quality and more reliable products continues, the advantages which can be gained from applying aerostatic bearings to machine tools, instrumentation and test rigs is becoming more apparent. The inlet restrictor design is significant for air bearings because it affects the static and dynamic performance of the air bearing. For instance pocketed orifice bearings give higher load capacity as compared to inherently compensated orifice type bearings, however inherently compensated orifices, also known as laminar flow restrictors are known to give highly stable air bearing systems (less prone to pneumatic hammer) as compared to pocketed orifice air bearing systems. However, they are not commonly used because of the difficulties encountered in manufacturing and assembly of the orifice designs. This paper aims to analyse the static and dynamic characteristics of inherently compensated orifice based flat pad air bearing system. Based on Reynolds equation and mass conservation equation for incompressible flow, the steady state characteristics are studied while the dynamic state characteristics are performed in a similar manner however, using the above equations for compressible flow. Steady state experiments were also performed for a single orifice air bearing and the results are compared to that obtained from theoretical studies. A technique to ease the assembly of orifices with the air bearing plate has also been discussed so as to make the manufacturing of the inherently compensated bearings more commercially viable. (c) 2012 Elsevier Inc. All rights reserved.

Influence of Bottom Bubbling Rate on Formation of Metal Emulsion in Al-Cu Alloy and Molten Salt System

In steel refining process, an increase of interfacial area between the metal and slag through the metal droplets emulsified into the slag, so-called ``metal emulsion'', is one prevailing view for improving the reaction rate. The formation of metal emulsion was experimentally evaluated using Al-Cu alloy as metal phase and chloride salt as slag phase under the bottom bubbling condition. Samples were collected from the center of the salt phase in the container. Large number of metal droplets were separated from the salt by dissolving it into water. The number, surface area, and weight of the droplets increased with the gas flow rate and have local maximum values. The formation and sedimentation rates of metal droplets were estimated using a mathematical model. The formation rate increased with the gas flow rate and has a local maximum value as a function of gas flow rate, while the sedimentation rate is independent of the gas flow rate under the bottom bubbling condition. Three types of formation mode of metal emulsion, which occurred by the rupture of metal film around the bubble, were observed using high speed camera. During the process, an elongated column covered with metal film was observed with the increasing gas flow rate. This elongated column sometimes reached to the top surface of the salt phase. In this case, it is considered that fine droplets were not formed and in consequence, the weight of metal emulsion decreased at higher gas flow rate.

Investigations on supersonic combustion in a combustion-driven shock tunnel

This article reports experimental results on supersonic combustion in a new facility. The facility is a combustion-driven shock tunnel, which is cheaper to build than the facilities in which such experiments are carried out conventionally. The observation region is a zone between two parallel flat plates with a 33 degrees wedge attached to the upstream end of the bottom plate. Gaseous hydrogen is injected at an angle of 45 degrees into an oncoming supersonic flow of Mach 2 (approximate) from a port on the bottom plate. The resulting flow field is visualized by a high speed camera in a dark background. Three different test gases, namely nitrogen, air, and oxygen-rich air are used, and the results are compared. A distinct luminosity due to combustion for oxygen-containing test gases is observed. Heat-transfer rates on a probe placed at the downstream end of the observation region and midway between the parallel plates are measured and compared for the three cases. Wall static pressure at 28 mm downstream of the injection port on the bottom plate is also presented.

Friction between a Steel Ball and a Steel Flat Lubricated by MoS2 Particles Suspended in Hexadecane at 150 degrees C

A steel ball was slid on a steel flat lubricated by molybdenum disulfide (MoS2) particles suspended in hexadecane oil at 150 degrees C. The friction data is compared with that obtained when the ball was slid on the flat sprayed apriori with nominally dry MoS2 particles. The friction in the dry experiment was found to increase with temperature while the friction in wet condition was found to decrease with increasing temperature. Micro-Raman and Fourier transform IR spectroscopy are used to explore the roles of environmental moisture and chemical degradation of oil on the formation of antifriction film on the steel substrate.