Path Sensitive Cache Analysis Using Cache Miss Paths

Cache analysis plays a very important role in obtaining precise Worst Case Execution Time (WCET) estimates of programs for real-time systems. While Abstract Interpretation based approaches are almost universally used for cache analysis, they fail to take advantage of its unique requirement: it is not necessary to find the guaranteed cache behavior that holds across all executions of a program. We only need the cache behavior along one particular program path, which is the path with the maximum execution time. In this work, we introduce the concept of cache miss paths, which allows us to use the worst-case path information to improve the precision of AI-based cache analysis. We use Abstract Interpretation to determine the cache miss paths, and then integrate them in the IPET formulation. An added advantage is that this further allows us to use infeasible path information for cache analysis. Experimentally, our approach gives more precise WCETs as compared to AI-based cache analysis, and we also provide techniques to trade-off analysis time with precision to provide scalability.

An Optical How Feature and McFIS Based Approach for 3-Dimensional Human Action Recognition

We propose to develop a 3-D optical flow features based human action recognition system. Optical flow based features are employed here since they can capture the apparent movement in object, by design. Moreover, they can represent information hierarchically from local pixel level to global object level. In this work, 3-D optical flow based features a re extracted by combining the 2-1) optical flow based features with the depth flow features obtained from depth camera. In order to develop an action recognition system, we employ a Meta-Cognitive Neuro-Fuzzy Inference System (McFIS). The m of McFIS is to find the decision boundary separating different classes based on their respective optical flow based features. McFIS consists of a neuro-fuzzy inference system (cognitive component) and a self-regulatory learning mechanism (meta-cognitive component). During the supervised learning, self-regulatory learning mechanism monitors the knowledge of the current sample with respect to the existing knowledge in the network and controls the learning by deciding on sample deletion, sample learning or sample reserve strategies. The performance of the proposed action recognition system was evaluated on a proprietary data set consisting of eight subjects. The performance evaluation with standard support vector machine classifier and extreme learning machine indicates improved performance of McFIS is recognizing actions based of 3-D optical flow based features.

Broadcast Control Mechanism for Positional Consensus in Multiagent Systems

In this paper, a strategy for controlling a group of agents to achieve positional consensus is presented. The problem is constrained by the requirement that every agent must be given the same control input through a broadcast communication mechanism. Although the control command is computed using state information in a global framework, the control input is implemented by the agents in a local coordinate frame. We propose a novel linear programming (LP) formulation that is computationally less intensive than earlier proposed methods. Moreover, a random perturbation input in the control command that helps the agents to come close to each other even for a large number of agents, which was not possible with an existing strategy in the literature, is introduced. The method is extended to achieve positional consensus at a prespecified location. The effectiveness of the approach is illustrated through simulation results. A comparison between the LP approach and the existing second-order cone programming-based approach is also presented. The algorithm was successfully implemented on a robotic platform with three robots.

Molecular mechanism of water permeation in a helium impermeable graphene and graphene oxide membrane

Layers of graphene oxide (GO) are found to be good for the permeation of water but not for helium (Science, 2012, 335(6067), 442-444) suggesting that the GO layers are dynamic in the formation of a permeation route depending on the environment they are in (i.e., water or helium). To probe the microscopic origin of this observation we calculate the potential of mean force (PMF) of GO sheets (with oxidized and reduced parts), with the inter-planar distance as a reaction coordinate in helium and water. Our PMF calculation shows that the equilibrium interlayer distance between the oxidized part of the GO sheets in helium is at 4.8 angstrom leaving no space for helium permeation. In contrast, the PMF of the oxidized part of the GO in water shows two minima, one at 4.8 angstrom and another at 6.8 angstrom, corresponding to no water and a water filled region, thus giving rise to a permeation path. The increased electrostatic interaction between water with the oxidized part of the sheet helps the sheet open up and pushes water inside. Based on the entropy calculations for water trapped between graphene sheets and oxidized graphene sheets at different inter-sheet spacings, we also show the thermodynamics of filling.

Seismotectonics of the April-May 2015 Nepal earthquakes: An assessment based on the aftershock patterns, surface effects and deformational characteristics

Occurrence of the April 25, 2015 (Mw 7.8) earthquake near Gorkha, central Nepal, and another one that followed on May 12 (Mw 7.3), located similar to 140 km to its east, provides an exceptional opportunity to understand some new facets of Himalayan earthquakes. Here we attempt to assess the seismotectonics of these earthquakes based on the deformational field generated by these events, along with the spatial and temporal characteristics of their aftershocks. When integrated with some of the post-earthquake field observations, including the localization of damage and surface deformation, it became obvious that although the mainshock slip was mostly limited to the Main Himalayan Thrust (MHT), the rupture did not propagate to the Main Frontal Thrust (MFT). Field evidence, supported by the available InSAR imagery of the deformation field, suggests that a component of slip could have emerged through a previously identified out-of-sequence thrust/active thrust in the region that parallels the Main Central Thrust (MCT), known in the literature as a co-linear physiographic transitional zone called PT2. Termination of the first rupture, triggering of the second large earthquake, and distribution of aftershocks are also spatially constrained by the eastern extremity of PT2. Mechanism of the 2015 sequence demonstrates that the out-of-sequence thrusts may accommodate part of the slip, an aspect that needs to be considered in the current understanding of the mechanism of earthquakes originating on the MHT. (c) 2015 Elsevier Ltd. All rights reserved.

Injection barrier induced deviations in space charge limited conduction in doped poly(3-methylthiophene) based devices

The carrier density dependent current-voltage (J V) characteristics of electrochemically prepared poly(3-methylthiophene) (P3MeT) have been investigated in Pt/P3MeT/Al devices, as a function of temperature from 280 to 84 K. In these devices, the charge transport is found to be mainly governed by different transport regimes of space charge limited conduction (SCLC). In a lightly doped device, SCLC controlled by exponentially distributed traps (Vl+1 law, l > 1) is observed in the intermediate voltage range (0.5-2 V) at all temperatures. However, at higher bias (> 2 V), the current deviates from the usual Vl+1 law where the slope is found to be less than 2 of the logJ-logV plot, which is attributed to the presence of the injection barrier. These deviations gradually disappear at higher doping level due to reduction in the injection barrier. Numerical simulations of the Vl+1 law by introducing the injection barrier show good agreement with experimental data. The results show that carrier density can tune the charge transport mechanism in Pt/P3MeT/Al devices to understand the non-Ohmic behavior. The plausible reasons for the origin of injection barrier and the transitions in the transport mechanism with carrier density are discussed. (C) 2015 AIP Publishing LLC.

Kinematics and dynamics of Jansen leg mechanism: A bond graph approach

The Jansen mechanism is a one degree-of-freedom, planar, 12-link, leg mechanism that can be used in mobile robotic applications and in gait analysis. This paper presents the kinematics and dynamics of the Jansen leg mechanism. The forward kinematics, accomplished using circle intersection method, determines the trajectories of various points on the mechanism in the chassis (stationary link) reference frame. From the foot point trajectory, the step length is shown to vary linearly while step height varies non-linearly with change in crank radius. A dynamic model for the Jansen leg mechanism is proposed using bond graph approach with modulated multiport transformers. For given ground reaction force pattern and crank angular speed, this model helps determine the motor torque profile as well as the link and joint stresses. The model can therefore be used to rate the actuator torque and in design of the hardware and controller for such a system. The kinematics of the mechanism can also be obtained from this dynamic model. The proposed model is thus a useful tool for analysis and design of systems based on the Jansen leg mechanism. (C) 2015 Elsevier B.V. All rights reserved.

Bi-Modal DRAM Cache: Improving Hit Rate, Hit Latency and Bandwidth

In this paper, we present Bi-Modal Cache - a flexible stacked DRAM cache organization which simultaneously achieves several objectives: (i) improved cache hit ratio, (ii) moving the tag storage overhead to DRAM, (iii) lower cache hit latency than tags-in-SRAM, and (iv) reduction in off-chip bandwidth wastage. The Bi-Modal Cache addresses the miss rate versus off-chip bandwidth dilemma by organizing the data in a bi-modal fashion - blocks with high spatial locality are organized as large blocks and those with little spatial locality as small blocks. By adaptively selecting the right granularity of storage for individual blocks at run-time, the proposed DRAM cache organization is able to make judicious use of the available DRAM cache capacity as well as reduce the off-chip memory bandwidth consumption. The Bi-Modal Cache improves cache hit latency despite moving the metadata to DRAM by means of a small SRAM based Way Locator. Further by leveraging the tremendous internal bandwidth and capacity that stacked DRAM organizations provide, the Bi-Modal Cache enables efficient concurrent accesses to tags and data to reduce hit time. Through detailed simulations, we demonstrate that the Bi-Modal Cache achieves overall performance improvement (in terms of Average Normalized Turnaround Time (ANTT)) of 10.8%, 13.8% and 14.0% in 4-core, 8-core and 16-core workloads respectively.

Three-dimensional warping in strip-based composite four-bar mechanisms

This work intends to demonstrate the effect of geometrically non-linear cross-sectional analysis of certain composite beam-based four-bar mechanisms in predicting the three-dimensional warping of the cross-section. The only restriction in the present analysis is that the strains within each elastic body remain small (i.e., this work does not deal with materials exhibiting non-linear constitutive laws at the 3-D level). Here, all component bars of the mechanism are made of fiber-reinforced laminates. They could, in general, be pre-twisted and/or possess initial curvature, either by design or by defect. Each component of the mechanism is modeled as a beam based on geometrically non-linear 3-D elasticity theory. The component problems are thus split into 2-D analyses of reference beam cross-sections and non-linear 1-D analyses along the three beam reference curves. The splitting of the three-dimensional beam problem into two- and one-dimensional parts, called dimensional reduction, results in a tremendous savings of computational effort relative to the cost of three-dimensional finite element analysis, the only alternative for realistic beams. The analysis of beam-like structures made of laminated composite materials requires a much more complicated methodology. Hence, the analysis procedure based on Variational Asymptotic Method (VAM), a tool to carry out the dimensional reduction, is used here. The representative cross-sections of all component bars are analyzed using two different approaches: (1) Numerical Model and (2) Analytical Model. Four-bar mechanisms are analyzed using the above two approaches for Omega = 20 rad/s and Omega = pi rad/s and observed the same behavior in both cases. The noticeable snap-shots of the deformation shapes of the mechanism about 1000 frames are also reported using commercial software (I-DEAS + NASTRAN + ADAMS). The maximum out-of-plane warping of the cross-section is observed at the mid-span of bar-1, bar-2 and bar-3 are 1.5 mm, 250 mm and 1.0 mm, respectively, for t = 0:5 s. (C) 2015 Elsevier Ltd. All rights reserved.

Design and Validation of On-chip Planar Mixer Based on Advection and Viscoelastic Effects

Mixing at low Reynolds number is usually due to diffusion and requires longer channel lengths for complete mixing. In order to reduce the mixing lengths, advective flow can be induced by varying the channel geometry. Additionally, in non-newtonian fluids, appropriate modifications to channel geometry can be used to aid the mixing process by capitalizing on their viscoelastic nature. Here we have exploited the advection and viscoelastic effects to implement a planar passive micro-mixer. Microfluidic devices incorporating different blend of mixing geometries were conceived. The optimum design was chosen based on the results of the numerical simulations performed in COMSOL. The chosen design had sudden expansion and contraction along with teeth patterns along the channel walls to improve mixing. Mixing of two different dyes was performed to validate the mixing efficiency. Particle dispersion experiments were also carried out. The results indicated effective mixing. In addition, the same design was also found to be compatible with electrical power free pumping mechanism like suction. The proposed design was then used to carry out on-chip chemical cell lysis with human whole blood samples to establish its use with non-newtonian fluids. Complete lysis of the erythrocytes was observed leaving behind the white blood cells at the outlet.

Density functional theory based study of chlorine doped WS2-metal interface

Investigation of a transition metal dichalcogenide (TMD)-metal interface is essential for the effective functioning of monolayer TMD based field effect transistors. In this work, we employ the Density Functional Theory calculations to analyze the modulation of the electronic structure of monolayer WS2 with chlorine doping and the relative changes in the contact properties when interfaced with gold and palladium. We initially examine the atomic and electronic structures of pure and doped monolayer WS2 supercell and explore the formation of midgap states with band splitting near the conduction band edge. Further, we analyze the contact nature of the pure supercell with Au and Pd. We find that while Au is physiosorbed and forms n-type contact, Pd is chemisorped and forms p-type contact with a higher valence electron density. Next, we study the interface formed between the Cl-doped supercell and metals and observe a reduction in the Schottky barrier height (SBH) in comparison to the pure supercell. This reduction found is higher for Pd in comparison to Au, which is further validated by examining the charge transfer occurring at the interface. Our study confirms that Cl doping is an efficient mechanism to reduce the n-SBH for both Au and Pd, which form different types of contact with WS2. (C) 2016 AIP Publishing LLC.

Tetraphenylethene-Based Conjugated Fluoranthene: A Potential Fluorescent Probe for Detection of Nitroaromatic Compounds

This study reports the synthesis and photophysical properties of a star-shaped, novel, fluoranthene-tetraphenylethene (TFPE) conjugated luminogen, which exhibits aggregation-induced blue-shifted emission (AIBSE). The bulky fluoranthene units at the periphery prevent intramolecular rotation (IMR) of phenyl rings and induces a blueshift with enhanced emission. The AIBSE phenomenon was investigated by solvatochromic and temperature-dependent emission studies. Nanoaggregates of TFPE, formed by varying the water/THF ratio, were investigated by SEM and TEM and correlated with optical properties. The TFPE conjugate was found to be a promising fluorescent probe towards the detection of nitroaromatic compounds (NACs), especially for 2,4,6-trinitrophenol (PA) with high sensitivity and a high Stern-Volmer quenching constant. The study reveals that nanoaggregates of TFPE formed at 30 and 70% water in THF showed unprecedented sensitivity with detection limits of 0.8 and 0.5ppb, respectively. The nanoaggregates formed at water fractions of 30 and 70% exhibit high Stern-Volmer constants (K-sv=79998 and 51120m(-1), respectively) towards PA. Fluorescence quenching is ascribed to photoinduced electron transfer between TFPE and NACs with a static quenching mechanism. Test strips coated with TFPE luminogen demonstrate fast and ultra-low-level detection of PA for real-time field analysis.

Long-period modulated structure and electric-field-induced structural transformation in Na0.5Bi0.5TiO3-based lead-free piezoelectrics

Na0.5Bi0.5TiO3- based lead-free piezoelectrics exhibiting giant piezostrain are technologically interesting materials for actuator applications. The lack of clarity with regard to the structure of the nonpolar phase of this system has hindered the understanding of the structural mechanism associated with the giant piezostrain and other related phenomena. In this paper, we have investigated the structure and field-induced phase transformation behavior of a model system (0.94 - x) Na0.5Bi0.5TiO3-0.06BaTiO(3)-xK(0.5)Na(0.5)NbO(3) (0.0 <= x <= 0.025). A detailed structural analysis using neutron powder diffraction revealed that the nonpolar phase is neither cubic nor a mixture of rhombohedral (R3c) and tetragonal (P4bm) phases as commonly reported in literature but exhibits a long-period modulated structure, which is most probably of the type root 2 x root 2 x n with n = 16. Our results suggest that the giant piezoelectric strain is associated with a field-induced phase transformation of the long-period modulated structure to rhombohedral R3c structure above a critical field. We also demonstrate that the giant piezostrain is lost if the system retains a fraction of the field-induced R3c phase. A possible correlation among depolarization temperature, giant piezostrain, and its electrical fatigue behavior has also been indicated.