WCET Estimation for Executables in the Presence of Data Caches

This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation, which is used for the dual purposes of tracking address computations and cache behavior. A simultaneous numeric and pointer analysis using an abstraction for discrete sets of values computes safe approximations of access addresses which are then used to predict cache behavior using Must Analysis. A heuristic is also proposed which generates likely worst case estimates. It can be used in soft real time systems and also for reasoning about the tightness of the safe estimate. The analysis methods can handle programs with non-affine access patterns, for which conventional Presburger Arithmetic formulations or Cache Miss Equations do not apply. The precision of the estimates is user-controlled and can be traded off against analysis time. Executables are analyzed directly, which, apart from enhancing precision, renders the method language independent.

A Simultaneous Deterministic Perturbation Actor-Critic Algorithm with an Application to Optimal Mortgage Refinancing

We develop a simulation-based, two-timescale actor-critic algorithm for infinite horizon Markov decision processes with finite state and action spaces, with a discounted reward criterion. The algorithm is of the gradient ascent type and performs a search in the space of stationary randomized policies. The algorithm uses certain simultaneous deterministic perturbation stochastic approximation (SDPSA) gradient estimates for enhanced performance. We show an application of our algorithm on a problem of mortgage refinancing. Our algorithm obtains the optimal refinancing strategies in a computationally efficient manner

Robust Fixed Order Lateral H2 Controller for Micro Air Vehicle

This paper presents a robust fixed order H2controller design using strengthened discrete optimal projection equations, which approximate the first order necessary optimality condition. The novelty of this work is the application of the robust H2controller to a micro aerial vehicle named Sarika2 developed in house. The controller is designed in discrete domain for the lateral dynamics of Sarika2 in the presence of low frequency atmospheric turbulence (gust) and high frequency sensor noise. The design specification includes simultaneous stabilization, disturbance rejection and noise attenuation over the entire flight envelope of the vehicle. The resulting controller performance is comprehensively analyzed by means of simulation

Simultaneous Geometry Optimization and Material Selection for Truss Structures

In this work, we explore simultaneous design and material selection by posing it as an optimization problem. The underlying principles for our approach are Ashby's material selection procedure and structural optimization. For the simplicity and ease of initial implementation of the general procedure, truss structures under static load are considered in this work in view of maximum stiffness, minimum weight/cost and safety against failure. Along the lines of Ashby's material indices, a new design index is derived for trusses. This helps in choosing the most suitable material for any design of a truss. Using this, both the design space and material database are searched simultaneously using optimization algorithms. The important feature of our approach is that the formulated optimization problem is continuous even though the material selection is an inherently discrete problem.

A Multidimensional Kinetic Upwind Method for Euler Equations

The study of directional derivative lead to the development of a rotationally invariant kinetic upwind method (KUMARI)3 which avoids dimension by dimension splitting. The method is upwind and rotationally invariant and hence truly multidimensional or multidirectional upwind scheme. The extension of KUMARI to second order is as well presented.

Quasichemical equations for oxygen and sulphur in liquid binary alloys

An equation has been derived for predicting the activity coefficient of oxygen or sulphur in dilute solution in binary alloys, based on the quasichemical approach, where the metal atoms and the oxygen atoms are assigned different bond numbers. This equation is an advance on Alcock and Richardson's earlier treatment where all the three types of atoms were assigned the same coordination number. However, the activity coefficients predicted by this new equation appear to be very similar to those obtained through Alcock and Richardson's equation for a number of alloy systems, when the coordination number of oxygen in the new model is the same as the average coordination number used in the earlier equation. A second equation based on the formation of “molecular species” of the type XnO and YnO in solution is also derived, where X and Y atoms attached to oxygen are assumed not to make any other bonds. This equation does not fit experimental data in all the systems considered for a fixed value of n. Howover, if the strong oxygen-metal bonds are assumed to distort the electronic configuation around the metal atoms bonded to oxygen and thus reduce the strength of the bonds formed by these atoms with neighbouring metal atoms by approximately a factor of two, the resulting equation is found to predict the activity coefficients of oxygen that are in good agreement with experimental data in a number of binary alloys.

Solubility and activity of oxygen in liquid nickel in equilibrium with -Al2O3 and NiO.(1+x)Al2O3

The limiting solubility of oxygen in liquid nickel in equilibrium withα-alumina and nickel aluminate has been measured by inert gas fusion analysis of suction samples in the temperature range 1730 to 1975 K. The corresponding oxygen potential has been monitored by a solid electrolyte cell consisting of calcia stabilized zirconia as the electrolyte and Mo + MoO2 as the reference electrode. The results can be summarized by the following equations: log(at. pct O) = \frac - 10,005T + 4.944 ( ±0.015)log(atpctO)=T−10005+4944(0015) % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn DmO2 /4.606RT = log P O2 1/2 = \frac - 13,550T + 4.411 ( ±0.009)O24606RT=logPO212=T−13550+4411(0009) From simultaneous measurements of the potential and concentration of oxygen in melts, not in thermodynamic equilibrium with alumina and aluminate phases, information on the composition dependence of the activity coefficient and the standard free energy of solution of oxygen is obtained. For the reaction, $\frac{1}{2} O_2 \to \underset{\raise0.3em\hbox{$Missing close brace ΔG o = -72,930 - 7.11T (±840) J gr.at.–1 = + 0.216 at. pct OlogfO=T−500+0216atpctO where the standard state for dissolved oxygen is that which makes the value of activity equal to the concentration (in at. pct) in the limit as concentration approaches zero. The oxygen solubility in liquid nickel in equilibrium with solid NiO, evaluated from thermodynamic data, is compared with information reported in the literature. Implications of the results to the deoxidation equilibria of aluminum in nickel are discussed.

Analysis of Lined Ducts With Mean Flow, With Application to Dissipative Mufflers

Mufflers with at least one acoustically absorptive duct are generally called dissipative mufflers. Generally, for want of systems approach, these mufflers are characterized by transmission loss of the lined duct with overriding corrections for the terminations, mean flow, etc. In this article, it is proposed that dissipative duct should be integrated with other muffler elements, source impedance and radiation impedance, by means of transfer matrix approach. Towards this end, the transfer matrix for rectangular duct with mean flow has been derived here, for the least attenuated mode. Mean flow introduces a coupling between transverse wave numbers and axial wave number, the evaluation of which therefore calls for simultaneous solution of two or three transcendental equations. This is done by means of a Newton-Raphson iteration scheme, which is illustrated here for square ducts lined with porous ceramic tiles.

Noise reduction with perforated three-duct muffler components

This paper describes the authors’ distributed parameter approach for derivation of closed-form expressions for the four-pole parameters of the perforated three-duct muffler components. In this method, three simultaneous second-order partial differential equations are first reduced to a set of six first-order ordinary differential equations. These equations are then uncoupled by means of a modal matrix. The resulting 6 × 6 matrix is reduced to the 2 × 2 transfer matrix using the relevant boundary conditions. This is combined with transfer matrices of other elements (upstream and downstream of this perforated element) to predict muffler performance like noise reduction, which is also measured. The correlation between experimental and theoretical values of noise reduction is shown to be satisfactory.

Galois Theory and Solvable Equations of Prime Degree

In this article we review classical and modern Galois theory with historical evolution and prove a criterion of Galois for solvability of an irreducible separable polynomial of prime degree over an arbitrary field k and give many illustrative examples.

On the solution of bivariate population balance equations for aggregation: X-discretization of space for expansion and contraction of computational domain

A new structured discretization of 2D space, named X-discretization, is proposed to solve bivariate population balance equations using the framework of minimal internal consistency of discretization of Chakraborty and Kumar [2007, A new framework for solution of multidimensional population balance equations. Chem. Eng. Sci. 62, 4112-4125] for breakup and aggregation of particles. The 2D space of particle constituents (internal attributes) is discretized into bins by using arbitrarily spaced constant composition radial lines and constant mass lines of slope -1. The quadrilaterals are triangulated by using straight lines pointing towards the mean composition line. The monotonicity of the new discretization makes is quite easy to implement, like a rectangular grid but with significantly reduced numerical dispersion. We use the new discretization of space to automate the expansion and contraction of the computational domain for the aggregation process, corresponding to the formation of larger particles and the disappearance of smaller particles by adding and removing the constant mass lines at the boundaries. The results show that the predictions of particle size distribution on fixed X-grid are in better agreement with the analytical solution than those obtained with the earlier techniques. The simulations carried out with expansion and/or contraction of the computational domain as population evolves show that the proposed strategy of evolving the computational domain with the aggregation process brings down the computational effort quite substantially; larger the extent of evolution, greater is the reduction in computational effort. (C) 2011 Elsevier Ltd. All rights reserved.

A computational procedure to generate difference equations from differential equations

In this paper we have developed methods to compute maps from differential equations. We take two examples. First is the case of the harmonic oscillator and the second is the case of Duffing's equation. First we convert these equations to a canonical form. This is slightly nontrivial for the Duffing's equation. Then we show a method to extend these differential equations. In the second case, symbolic algebra needs to be used. Once the extensions are accomplished, various maps are generated. The Poincare sections are seen as a special case of such generated maps. Other applications are also discussed.

Simultaneous multilayer scanning and detection for multiphoton fluorescence microscopy

Fast three-dimensional (3D) imaging requires parallel optical slicing of a specimen with an efficient detection scheme. The generation of multiple localized dot-like excitation structures solves the problem of simultaneous slicing multiple specimen layers, but an efficient detection scheme is necessary. Confocal theta detection (detection at 90 degrees to the optical axis) provides a suitable detection platform that is capable of cross-talk-free fluorescence detection from each nanodot (axial dimension approximate to 150 nm). Additionally, this technique has the unique feature of imaging a specimen at a large working distance with super-resolution capabilities. Polarization studies show distinct field structures for fixed and fluid samples, indicating a non-negligible field-dipole interaction. The realization of the proposed imaging technique will advance and diversify multiphoton fluorescence microscopy for numerous applications in nanobioimaging and optical engineering.

Construction of equivalent circuit of a transformer winding from driving-point impedance function - analytical approach

Analytical solution is presented to convert a given driving-point impedance function (in s-domain) into a physically realisable ladder network with inductive coupling between any two sections and losses considered. The number of sections in the ladder network can vary, but its topology is assumed fixed. A study of the coefficients of the numerator and denominator polynomials of the driving-point impedance function of the ladder network, for increasing number of sections, led to the identification of certain coefficients, which exhibit very special properties. Generalised expressions for these specific coefficients have also been derived. Exploiting their properties, it is demonstrated that the synthesis method essentially turns out to be an exercise of solving a set of linear, simultaneous, algebraic equations, whose solution directly yields the ladder network elements. The proposed solution is novel, simple and guarantees a unique network. Presently, the formulation can synthesise a unique ladder network up to six sections.