Studies on the Characteristics of Vertical Circulation and Equatorial Waves using Indian MST Radar

The aim of the present study is to understand the characteristics and properties of different wave modes and the vertical circulation pattern in the troposphere and lower stratosphere over Indian region using data obtained from the Indian Mesosphere-Stratosphere Troposphere (MST) radar, National Center for Environmental Prediction/National Centres of Atmospheric Research (NCEP/NCAR) reanalysed data and radiosonde observations.Studies on the vertical motion in monsoon Hadley circulation are carried out and the results are discussed . From the analysis of MST radar data, an overall picture of vertical motion of air over Indian region is explained and noted that there exists sinking motion both during winter and summer. Besides, the study shows that there is an anomalous northerly wind in the troposphere over the southern peninsular region during southwest monsoon season.The outcome of the study on intrusion of mid-latitude upper tropospheric trough and associated synoptic-scale vertical velocity over the tropical Indian latitudes are reported and discussed . It shows that there is interaction between north Indian latitudes and tropical easterly region, when there is an eastward movement of Western Disturbance across the country. It explains the strengthening of westerlies and a change of winter westerlies into easterlies in the tropical troposphere and lower stratosphere. The divergence field computed over the MST radar station shows intensification in the downward motion in association with the synoptic systems of the northwest Indian region.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code.

Motion Segmentation And Meanshift Assisted Contour Refinement For Airborne Video

This paper presents methods for moving object detection in airborne video surveillance. The motion segmentation in the above scenario is usually difficult because of small size of the object, motion of camera, and inconsistency in detected object shape etc. Here we present a motion segmentation system for moving camera video, based on background subtraction. An adaptive background building is used to take advantage of creation of background based on most recent frame. Our proposed system suggests CPU efficient alternative for conventional batch processing based background subtraction systems. We further refine the segmented motion by meanshift based mode association.

Modeling of ALFA Programs Using PVS Theorem Prover

In Safety critical software failure can have a high price. Such software should be free of errors before it is put into operation. Application of formal methods in the Software Development Life Cycle helps to ensure that the software for safety critical missions are ultra reliable. PVS theorem prover, a formal method tool, can be used for the formal verification of software in ADA Language for Flight Software Application (ALFA.). This paper describes the modeling of ALFA programs for PVS theorem prover. An ALFA2PVS translator is developed which automatically converts the software in ALFA to PVS specification. By this approach the software can be verified formally with respect to underflow/overflow errors and divide by zero conditions without the actual execution of the code