Analysis of a Novel MOEM Race Track Resontor based Vibration Sensor

In this paper we analyze a novel Micro Opto Electro Mechanical Systems (MOEMS) race track resonator based vibration sensor. In this vibration sensor the straight portion of a race track resonator is located at the foot of the cantilever beam with proof mass. As the beam deflects due to vibration, stress induced refractive change in the waveguide located over the beam lead to the wavelength shift providing the measure of vibration. A wavelength shift of 3.19 pm/g in the range of 280 g for a cantilever beam of 1750μm×450m×20μmhas been obtained. The maximum acceleration (breakdown) for these dimensions is 2900g when a safety factor of 2 is taken into account. Since the wavelength of operation is around 1.55μm hybrid integration of source and detector is possible on the same substrate. Also it is less amenable to noise as wavelength shift provides the sensor signal. This type of sensors can be used for aerospace application and other harsh environments with suitable design.

UAV Grouping and Coordination Tactics for Ground Attack Missions

Grouping and coordination tactics for ground attack missions by a heterogeneous mix of reconnaissance, enemy suppression, and attack unmanned aerial vehicles (UAVs) is presented. Dubins' paths are used to determine the optimal number of attack UAVs and their positional and heading freedoms, as functions of weapon seeker range and field of view. A generic battlefield scenario with layered defense is created and the tactics are evaluated on a Group Flyer simulation platform for both nominal and off-nominal conditions.

Dataflow analysis for data-race free programs

Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly. Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs.

Numerical and experimental investigation and optimization of an open wheeled race car cooling air duct

In this study the cooling performance due to air flow and aerodynamics of the Formula Student open wheeled race car has been investigated and optimized with the help of CFD simulations and experimental validation. The race car in context previously suffered from overheating problems. Flow analysis was carried out based on the detailed race car 3D model (NITK Racing 2012 formula student race car). Wind tunnel experiments were carried out on the same. The results obtained from the computer simulations are compared with experimental results obtained from wind tunnel testing of the full car. Through this study it was possible to locate the problem areas and hence choose the best configuration for the cooling duct. The CFD analysis helped in calculating the mass flow rate, pressure and velocity distribution for different velocities of the car which is then used to determine the heat dissipated by the radiator. Area of flow separation could be visualized and made sure smooth airflow into the radiator core area. This significantly increased the cooling performance of the car with reduction in drag.

Race Detection for Android Applications

Programming environments for smartphones expose a concurrency model that combines multi-threading and asynchronous event-based dispatch. While this enables the development of efficient and feature-rich applications, unforeseen thread interleavings coupled with non-deterministic reorderings of asynchronous tasks can lead to subtle concurrency errors in the applications. In this paper, we formalize the concurrency semantics of the Android programming model. We further define the happens-before relation for Android applications, and develop a dynamic race detection technique based on this relation. Our relation generalizes the so far independently studied happens-before relations for multi-threaded programs and single-threaded event-driven programs. Additionally, our race detection technique uses a model of the Android runtime environment to reduce false positives. We have implemented a tool called DROIDRACER. It generates execution traces by systematically testing Android applications and detects data races by computing the happens-before relation on the traces. We analyzed 1 5 Android applications including popular applications such as Facebook, Twitter and K-9 Mail. Our results indicate that data races are prevalent in Android applications, and that DROIDRACER is an effective tool to identify data races.