Studies on Spatial and Temporal solitons with varying dispersion,diffraction and nonlinearity

Department of Physics, Cochin University of Science and Technology

An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

Spatial and Temporal Variation of Microbial Community Structure In Surficial Sediments of Cochin Estuary

This thesis entitled spatial and temporal variarion of microbial community structure in surficial sediments of cochin estuary.In the estuarine and coastal systems, organic matter (OM) is derived not only from autochthonous primary production, but also from allochthonous (terrestrial) organic matter (OM) delivered by river discharge and runoff. A significant portion of the OM sinks through the water column and is ultimately stored in carbon pool in the sediments.Analysis of spatial and temporal variation in benthic microbial community of a tropical estuary was conducted for the first time using non selective measures that affirms that PLFA approach is a sensitive and reliable method in determining microbial community structures of surficial sediments of estuary.The close relationship between the concentrations of the microbial fatty acids and total biomass indicates that bacteria could account for the largest proportion of the biomass in the sediments.This is first study that has documented the changes in microbial community composition linkage to biotic and abiotic variables in benthic estuarine ecosystem. This contemporaneous community will be the backdrop for understanding the response of autochthonous community to increasing anthropogenic stress.

“Spatial and Temporal Variation of Phytoplankton Community and Their Growth Limiting Factors in Cochin Backwater”

The influence of salinity on phytoplankton varies widely, because different species have different salinity preferences. Like marine and aquatic species, many phytoplankton species exhibit tolerance to certain salinity, beyond which, it can inhibit their growth. Light is the most important factor that influences phytoplankton growth. In aquatic environments (lakes, sea or estuary) the light incident on the surface is rapidly reduced exponentially with depth (Krik, 1994). In estuaries, the major factor influencing the light availability is the suspended particulate matter, which attenuates and scatters the light. The light changes with time of the day and the season, affecting the amount of light penetrating the water column. Similarly, biological factor like copepod grazing is a major factor influencing the standing crop of phytoplankton. The copepod can actively graze up to 75% of the phytoplankton biomass in a tropical estuary (Tan et. al., 2004). It is in the context that the present study investigates the salinity, light (physical factors) and copepod grazing (biological factor) phytoplankton as the factors controlling phytoplankton growth and distribution

Spatial and temporal characteristics of rain intensity in the peninsular Malaysia using TRMM rain rate

The present study is focused on the intensity distribution of rainfall in different classes and their contribution to the total seasonal rainfall. In addition, we studied the spatial and diurnal variation of the rainfall in the study areas. For the present study, we retrieved data from TRMM (Tropical Rain Measuring Mission) rain rate available in every 3 h temporal and 25 km spatial resolutions. Moreover, station rainfall data is used to validate the TRMM rain rate and found significant correlation between them (linear correlation coefficients are 0.96, 0.85, 0.75 and 0.63 for the stations Kota Bharu, Senai, Cameron highlands and KLIA, respectively). We selected four areas in the Peninsular Malaysia and they are south coastal, east coastal, west coastal and highland regions. Diurnal variation of frequency of rain occurrence is different for different locations. We noticed bimodal variation in the coastal areas in most of the seasons and unimodal variation in the highland/inland area. During the southwest monsoon period in the west coastal stations, there is no distinct diurnal variation. The distribution of different intensity classes during different seasons are explained in detail in the results

SPATIAL CLUSTERING ALGORITHMS-AN OVERVIEW.

An Overview of known spatial clustering algorithms The space of interest can be the two-dimensional abstraction of the surface of the earth or a man-made space like the layout of a VLSI design, a volume containing a model of the human brain, or another 3d-space representing the arrangement of chains of protein molecules. The data consists of geometric information and can be either discrete or continuous. The explicit location and extension of spatial objects define implicit relations of spatial neighborhood (such as topological, distance and direction relations) which are used by spatial data mining algorithms. Therefore, spatial data mining algorithms are required for spatial characterization and spatial trend analysis. Spatial data mining or knowledge discovery in spatial databases differs from regular data mining in analogous with the differences between non-spatial data and spatial data. The attributes of a spatial object stored in a database may be affected by the attributes of the spatial neighbors of that object. In addition, spatial location, and implicit information about the location of an object, may be exactly the information that can be extracted through spatial data mining

Underwater Target Localization, Tracking and Classification

Underwater target localization and tracking attracts tremendous research interest due to various impediments to the estimation task caused by the noisy ocean environment. This thesis envisages the implementation of a prototype automated system for underwater target localization, tracking and classification using passive listening buoy systems and target identification techniques. An autonomous three buoy system has been developed and field trials have been conducted successfully. Inaccuracies in the localization results, due to changes in the environmental parameters, measurement errors and theoretical approximations are refined using the Kalman filter approach. Simulation studies have been conducted for the tracking of targets with different scenarios even under maneuvering situations. This system can as well be used for classifying the unknown targets by extracting the features of the noise emanations from the targets.

Spatial and Temporal Variation of Microbial Population in the Grassland Soils of Tropical Montane Forest: Influence of Soil Physico-Chemical Characteristics and Nutrients

Present study is focused on the spatiotemporal variation of the microbial population (bacteria, fungus and actinomycetes) in the grassland soils of tropical montane forest and its relation with important soil physico-chemical characteristics and nutrients. Different physico-chemical properties of the soil such as temperature, moisture content, organic carbon, available nitrogen, available phosphorous and available potassium have been studied. Results of the present study revealed that both microbial load and soil characteristics showed spatiotemporal variation. Microbial population of the grassland soils were characterized by high load of bacteria followed by fungus and actinomycetes. Microbial load was high during pre monsoon season, followed by post monsoon and monsoon. The microbial load varied with important soil physico-chemical properties and nutrients. Organic carbon content, available nitrogen and available phosphorous were positively correlated with bacterial load and the correlation is significant at 0.05 and 0.01 levels respectively. Available nitrogen and available phosphorous were positively correlated with fungus at 0.05 level significance. Moisture content was negatively correlated with actinomycetes at 0.01 level of significance. Organic carbon negatively correlated with actinomycetes load at 0.05 level of significance

A Realization Of An Fpga Sub System For Reducing Odometric Localization Errors In Wheeled Mobile Robots

This paper introduces a simple and efficient method and its implementation in an FPGA for reducing the odometric localization errors caused by over count readings of an optical encoder based odometric system in a mobile robot due to wheel-slippage and terrain irregularities. The detection and correction is based on redundant encoder measurements. The method suggested relies on the fact that the wheel slippage or terrain irregularities cause more count readings from the encoder than what corresponds to the actual distance travelled by the vehicle. The standard quadrature technique is used to obtain four counts in each encoder period. In this work a three-wheeled mobile robot vehicle with one driving-steering wheel and two-fixed rear wheels in-axis, fitted with incremental optical encoders is considered. The CORDIC algorithm has been used for the computation of sine and cosine terms in the update equations. The results presented demonstrate the effectiveness of the technique

An Encoded Infrared Sheet Of Light Navigational Beacon System For Precise Localization Of Indoor Mobile Robot Vehicles

A new localization approach to increase the navigational capabilities and object manipulation of autonomous mobile robots, based on an encoded infrared sheet of light beacon system, which provides position errors smaller than 0.02m is presented in this paper. To achieve this minimal position error, a resolution enhancement technique has been developed by utilising an inbuilt odometric/optical flow sensor information. This system respects strong low cost constraints by using an innovative assembly for the digitally encoded infrared transmitter. For better guidance of mobile robot vehicles, an online traffic signalling capability is also incorporated. Other added features are its less computational complexity and online localization capability all these without any estimation uncertainty. The constructional details, experimental results and computational methodologies of the system are also described

Spatial Variability and Contamination of Heavy Metals in the Inter-tidal Systems of a Tropical Environment

Heavy metals in the surface sediments of the two coastal ecosystems of Cochin, southwest India were assessed. The study intends to evaluate the degree of anthropogenic influence on heavy metal concentration in the sediments of the mangrove and adjacent estuarine stations using enrichment factor and geoaccumulation index. The inverse relationship of Cd and Zn with texture in the mangrove sediments suggested the anthropogenic enrichment of these metals in the mangrove systems. In the estuarine sediments, the absence of any significant correlation of the heavy metals with other sedimentary parameters and their strong interdependence revealed the possibility that the input is not through the natural weathering processes. The analysis of enrichment factor indicated a minor enrichment for Pb and Zn in mangrove sediments. While, extremely severe enrichment for Cd, moderate enrichment for Zn and minor enrichment of Pb were observed in estuarine system. The geo accumulation index exhibited very low values for all metals except Zn, indicating the sediments of the mangrove ecosystem are unpolluted to moderately polluted by anthropogenic activities. However, very strongly polluted condition for Cd and a moderately polluted condition for Zn were evident in estuarine sediments

Spatial budgetary evaluation of organochlorine contaminants in the sediments of Cochin Estuary, India

This paper presents the first detailed investigation on the residual levels of organochlorine insecticide (OCI) concentrations in the Cochin estuarine sediment. It aims in elucidate their distribution and ecological impact on the aquatic system. Concentrations of persistent organochlorine compound (OC) were determined for 17 surface sediment samples which were collected from specific sites of Cochin Estuarine System (CES) over a period of November 2009 and November 2011. The contaminant levels in the CES were compared with other worldwide ecosystems. The sites bearing high concentration of organochlorine compounds are well associated with the complexities and low energy environment. Evaluation of ecotoxicological factors suggests that adverse biological effects are expected in certain areas of CES

Bayes quadratic unbiased estimator of spatial covariance parameters

This work presents Bayes invariant quadratic unbiased estimator, for short BAIQUE. Bayesian approach is used here to estimate the covariance functions of the regionalized variables which appear in the spatial covariance structure in mixed linear model. Firstly a brief review of spatial process, variance covariance components structure and Bayesian inference is given, since this project deals with these concepts. Then the linear equations model corresponding to BAIQUE in the general case is formulated. That Bayes estimator of variance components with too many unknown parameters is complicated to be solved analytically. Hence, in order to facilitate the handling with this system, BAIQUE of spatial covariance model with two parameters is considered. Bayesian estimation arises as a solution of a linear equations system which requires the linearity of the covariance functions in the parameters. Here the availability of prior information on the parameters is assumed. This information includes apriori distribution functions which enable to find the first and the second moments matrix. The Bayesian estimation suggested here depends only on the second moment of the prior distribution. The estimation appears as a quadratic form y'Ay , where y is the vector of filtered data observations. This quadratic estimator is used to estimate the linear function of unknown variance components. The matrix A of BAIQUE plays an important role. If such a symmetrical matrix exists, then Bayes risk becomes minimal and the unbiasedness conditions are fulfilled. Therefore, the symmetry of this matrix is elaborated in this work. Through dealing with the infinite series of matrices, a representation of the matrix A is obtained which shows the symmetry of A. In this context, the largest singular value of the decomposed matrix of the infinite series is considered to deal with the convergence condition and also it is connected with Gerschgorin Discs and Poincare theorem. Then the BAIQUE model for some experimental designs is computed and compared. The comparison deals with different aspects, such as the influence of the position of the design points in a fixed interval. The designs that are considered are those with their points distributed in the interval [0, 1]. These experimental structures are compared with respect to the Bayes risk and norms of the matrices corresponding to distances, covariance structures and matrices which have to satisfy the convergence condition. Also different types of the regression functions and distance measurements are handled. The influence of scaling on the design points is studied, moreover, the influence of the covariance structure on the best design is investigated and different covariance structures are considered. Finally, BAIQUE is applied for real data. The corresponding outcomes are compared with the results of other methods for the same data. Thereby, the special BAIQUE, which estimates the general variance of the data, achieves a very close result to the classical empirical variance.

Migration and Spatial Development

This is an empirical study with theoretical interpretation and elaboration simultaneously on the migration process and the related spatial development in contemporary China. In so doing, there is always a combination of series of studies of the modernization of the migrants themselves with accumulation of forms of capital and changes of lebenswelt (life world) as well as the regions of their origins by the effective use of the gained resources from outgoing migration and remigration. With great efforts made to put the issues together for analysis, the author has taken three approaches to the study based on the political and economic institutional arrangements, the field work data and the elaboration of respective findings. First, as the analytical parts of the institutional changes, which have gone through the whole research, many of the policies from state level to townships involved in the migration, remigration and spatial development have been interpreted with Chinese political and cultural insight. The making of these, as the means of understanding the contexts of macro level and micro level cases is served as key linkages between scholarly imagination and social reality. Indeed most of the discussions made to explain the phenomena such as the sudden upsurge of migration flows, the emergence of three generations, the strong and weak trends of remigration as well as the related spatial development planning, etc are mainly due to the domination, at least the impact of governments decision-making in spite of growing market functioning in often operative manners. Secondly, case studies of the effects of migration and remigration are carried out between the years of 1995 and 2005 in the costal urban regions as designations and the interior rural regions as origins. Conducted mainly by the author, the cases drawn in the research focus on the process of migration with an accumulation of forms of capital away from home and the effective use of the resources flowing back to home areas. As a result, ways of accumulation and utilization of the economic, social and cultural capital are described and interpreted in terms of the development and modernization of both the migrants themselves and the regions where they come out from or move to in the future. Thirdly, in accordance with the findings generated from the cases, the author proposes in the final chapter an important argumentation as conclusion that the duel social-economic structure will inevitably be broken up and reformulated with flows of migrants and forms of capital they possess as types of future spatial development that will be put into practice. With scenarios and all the other conclusions worked out in the end, the research concludes that the pluralistic spatial development in the condition of constant space flows between regions can be a decisive line of thinking in the process of urbanization, industrialization and modernization in the long run in the future. Since this is an exploratory study of the past and present, the author has left some space open for academic debates and put forward suggestions on the inclusion of future research before implementing policies necessary for migration associated spatial practice and development.