871 resultados para propositional linear-time temporal logic
Resumo:
We report time resolved study of C2 emission from laser produced carbon plasma in presence of ambient helium gas. The 1.06µm: radiation from a Nd:YAG laser was focused onto a graphite target where it·produced a transient plasma. We observed double peak structure in the time profile of C2 species. The twin peaks were observed only after a threshold laser fluence. It is proposed that the faster velocity component in the temporal profiles originates mainly due to recombination processes. The laser fluence and ambient gas dependence of the double peak intensity distribution is also reported.
Resumo:
The thesis has covered various aspects of modeling and analysis of finite mean time series with symmetric stable distributed innovations. Time series analysis based on Box and Jenkins methods are the most popular approaches where the models are linear and errors are Gaussian. We highlighted the limitations of classical time series analysis tools and explored some generalized tools and organized the approach parallel to the classical set up. In the present thesis we mainly studied the estimation and prediction of signal plus noise model. Here we assumed the signal and noise follow some models with symmetric stable innovations.We start the thesis with some motivating examples and application areas of alpha stable time series models. Classical time series analysis and corresponding theories based on finite variance models are extensively discussed in second chapter. We also surveyed the existing theories and methods correspond to infinite variance models in the same chapter. We present a linear filtering method for computing the filter weights assigned to the observation for estimating unobserved signal under general noisy environment in third chapter. Here we consider both the signal and the noise as stationary processes with infinite variance innovations. We derived semi infinite, double infinite and asymmetric signal extraction filters based on minimum dispersion criteria. Finite length filters based on Kalman-Levy filters are developed and identified the pattern of the filter weights. Simulation studies show that the proposed methods are competent enough in signal extraction for processes with infinite variance.Parameter estimation of autoregressive signals observed in a symmetric stable noise environment is discussed in fourth chapter. Here we used higher order Yule-Walker type estimation using auto-covariation function and exemplify the methods by simulation and application to Sea surface temperature data. We increased the number of Yule-Walker equations and proposed a ordinary least square estimate to the autoregressive parameters. Singularity problem of the auto-covariation matrix is addressed and derived a modified version of the Generalized Yule-Walker method using singular value decomposition.In fifth chapter of the thesis we introduced partial covariation function as a tool for stable time series analysis where covariance or partial covariance is ill defined. Asymptotic results of the partial auto-covariation is studied and its application in model identification of stable auto-regressive models are discussed. We generalize the Durbin-Levinson algorithm to include infinite variance models in terms of partial auto-covariation function and introduce a new information criteria for consistent order estimation of stable autoregressive model.In chapter six we explore the application of the techniques discussed in the previous chapter in signal processing. Frequency estimation of sinusoidal signal observed in symmetric stable noisy environment is discussed in this context. Here we introduced a parametric spectrum analysis and frequency estimate using power transfer function. Estimate of the power transfer function is obtained using the modified generalized Yule-Walker approach. Another important problem in statistical signal processing is to identify the number of sinusoidal components in an observed signal. We used a modified version of the proposed information criteria for this purpose.
Resumo:
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.
Resumo:
Natural systems are inherently non linear. Recurrent behaviours are typical of natural systems. Recurrence is a fundamental property of non linear dynamical systems which can be exploited to characterize the system behaviour effectively. Cross recurrence based analysis of sensor signals from non linear dynamical system is presented in this thesis. The mutual dependency among relatively independent components of a system is referred as coupling. The analysis is done for a mechanically coupled system specifically designed for conducting experiment. Further, cross recurrence method is extended to the actual machining process in a lathe to characterize the chatter during turning. The result is verified by permutation entropy method. Conventional linear methods or models are incapable of capturing the critical and strange behaviours associated with the dynamical process. Hence any effective feature extraction methodologies should invariably gather information thorough nonlinear time series analysis. The sensor signals from the dynamical system normally contain noise and non stationarity. In an effort to get over these two issues to the maximum possible extent, this work adopts the cross recurrence quantification analysis (CRQA) methodology since it is found to be robust against noise and stationarity in the signals. The study reveals that the CRQA is capable of characterizing even weak coupling among system signals. It also divulges the dependence of certain CRQA variables like percent determinism, percent recurrence and entropy to chatter unambiguously. The surrogate data test shows that the results obtained by CRQA are the true properties of the temporal evolution of the dynamics and contain a degree of deterministic structure. The results are verified using permutation entropy (PE) to detect the onset of chatter from the time series. The present study ascertains that this CRP based methodology is capable of recognizing the transition from regular cutting to the chatter cutting irrespective of the machining parameters or work piece material. The results establish this methodology to be feasible for detection of chatter in metal cutting operation in a lathe.
Resumo:
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.
Resumo:
This thesis entitled Reliability Modelling and Analysis in Discrete time Some Concepts and Models Useful in the Analysis of discrete life time data.The present study consists of five chapters. In Chapter II we take up the derivation of some general results useful in reliability modelling that involves two component mixtures. Expression for the failure rate, mean residual life and second moment of residual life of the mixture distributions in terms of the corresponding quantities in the component distributions are investigated. Some applications of these results are also pointed out. The role of the geometric,Waring and negative hypergeometric distributions as models of life lengths in the discrete time domain has been discussed already. While describing various reliability characteristics, it was found that they can be often considered as a class. The applicability of these models in single populations naturally extends to the case of populations composed of sub-populations making mixtures of these distributions worth investigating. Accordingly the general properties, various reliability characteristics and characterizations of these models are discussed in chapter III. Inference of parameters in mixture distribution is usually a difficult problem because the mass function of the mixture is a linear function of the component masses that makes manipulation of the likelihood equations, leastsquare function etc and the resulting computations.very difficult. We show that one of our characterizations help in inferring the parameters of the geometric mixture without involving computational hazards. As mentioned in the review of results in the previous sections, partial moments were not studied extensively in literature especially in the case of discrete distributions. Chapters IV and V deal with descending and ascending partial factorial moments. Apart from studying their properties, we prove characterizations of distributions by functional forms of partial moments and establish recurrence relations between successive moments for some well known families. It is further demonstrated that partial moments are equally efficient and convenient compared to many of the conventional tools to resolve practical problems in reliability modelling and analysis. The study concludes by indicating some new problems that surfaced during the course of the present investigation which could be the subject for a future work in this area.
Resumo:
The present work deals with the A study of morphological opertors with applications. Morphology is now a.necessary tool for engineers involved with imaging applications. Morphological operations have been viewed as filters the properties of which have been well studied (Heijmans, 1994). Another well-known class of non-linear filters is the class of rank order filters (Pitas and Venetsanopoulos, 1990). Soft morphological filters are a combination of morphological and weighted rank order filters (Koskinen, et al., 1991, Kuosmanen and Astola, 1995). They have been introduced to improve the behaviour of traditional morphological filters in noisy environments. The idea was to slightly relax the typical morphological definitions in such a way that a degree of robustness is achieved, while most of the desirable properties of typical morphological operations are maintained. Soft morphological filters are less sensitive to additive noise and to small variations in object shape than typical morphological filters. They can remove positive and negative impulse noise, preserving at the same time small details in images. Currently, Mathematical Morphology allows processing images to enhance fuzzy areas, segment objects, detect edges and analyze structures. The techniques developed for binary images are a major step forward in the application of this theory to gray level images. One of these techniques is based on fuzzy logic and on the theory of fuzzy sets.Fuzzy sets have proved to be strongly advantageous when representing in accuracies, not only regarding the spatial localization of objects in an image but also the membership of a certain pixel to a given class. Such inaccuracies are inherent to real images either because of the presence of indefinite limits between the structures or objects to be segmented within the image due to noisy acquisitions or directly because they are inherent to the image formation methods.
Resumo:
This study is concerned with Autoregressive Moving Average (ARMA) models of time series. ARMA models form a subclass of the class of general linear models which represents stationary time series, a phenomenon encountered most often in practice by engineers, scientists and economists. It is always desirable to employ models which use parameters parsimoniously. Parsimony will be achieved by ARMA models because it has only finite number of parameters. Even though the discussion is primarily concerned with stationary time series, later we will take up the case of homogeneous non stationary time series which can be transformed to stationary time series. Time series models, obtained with the help of the present and past data is used for forecasting future values. Physical science as well as social science take benefits of forecasting models. The role of forecasting cuts across all fields of management-—finance, marketing, production, business economics, as also in signal process, communication engineering, chemical processes, electronics etc. This high applicability of time series is the motivation to this study.
Resumo:
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
Resumo:
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
Resumo:
Speech signals are one of the most important means of communication among the human beings. In this paper, a comparative study of two feature extraction techniques are carried out for recognizing speaker independent spoken isolated words. First one is a hybrid approach with Linear Predictive Coding (LPC) and Artificial Neural Networks (ANN) and the second method uses a combination of Wavelet Packet Decomposition (WPD) and Artificial Neural Networks. Voice signals are sampled directly from the microphone and then they are processed using these two techniques for extracting the features. Words from Malayalam, one of the four major Dravidian languages of southern India are chosen for recognition. Training, testing and pattern recognition are performed using Artificial Neural Networks. Back propagation method is used to train the ANN. The proposed method is implemented for 50 speakers uttering 20 isolated words each. Both the methods produce good recognition accuracy. But Wavelet Packet Decomposition is found to be more suitable for recognizing speech because of its multi-resolution characteristics and efficient time frequency localizations
Resumo:
In this paper, moving flock patterns are mined from spatio- temporal datasets by incorporating a clustering algorithm. A flock is defined as the set of data that move together for a certain continuous amount of time. Finding out moving flock patterns using clustering algorithms is a potential method to find out frequent patterns of movement in large trajectory datasets. In this approach, SPatial clusteRing algoRithm thrOugh sWarm intelligence (SPARROW) is the clustering algorithm used. The advantage of using SPARROW algorithm is that it can effectively discover clusters of widely varying sizes and shapes from large databases. Variations of the proposed method are addressed and also the experimental results show that the problem of scalability and duplicate pattern formation is addressed. This method also reduces the number of patterns produced
Resumo:
The cumulative effects of global change, including climate change, increased population density and domestic waste disposal, effluent discharges from industrial processes, agriculture and aquaculture will likely continue and increases the process of eutrophication in estuarine environments. Eutrophication is one of the leading causes of degraded water quality, water column hypoxia/anoxia, harmful algal bloom (HAB) and loss of habitat and species diversity in the estuarine environment. The present study attempts to characterize the trophic condition of coastal estuary using a simple tool; trophic index (TRIX) based on a linear combination of the log of four state variables with supplementary index Efficiency Coefficient (Eff. Coeff.) as a discriminating tool. Numerically, the index TRIX is scaled from 0 to10, covering a wide range of trophic conditions from oligotrophic to eutrophic. Study area Kodungallur-Azhikode Estuary (KAE) was comparatively shallow in nature with average depth of 3.6±0.2 m. Dissolve oxygen regime in the water column was ranged from 4.7±1.3 mgL−1 in Station I to 5.9±1.4 mgL−1 in Station IV. The average nitrate-nitrogen (NO3-N) of KAE water was 470 mg m−3; values ranged from Av. 364.4 mg m−3 at Station II to Av. 626.6 mg m−3at Station VII. The mean ammonium-nitrogen (NH4 +-N) varied from 54.1 mg m−3 at Station VII to 101 mg m−3 at Station III. The average Chl-a for the seven stations of KAE was 6.42±3.91 mg m−3. Comparisons over different spatial and temporal scales in the KAE and study observed that, estuary experiencing high productivity by the influence of high degree of eutrophication; an annual average of 6.91 TRIX was noticed in the KAE and seasonal highest was observed during pre monsoon period (7.15) and lowest during post monsoon period (6.51). In the spatial scale station V showed high value 7.37 and comparatively low values in the station VI (6.93) and station VII (6.96) and which indicates eutrophication was predominant in land cover area with comparatively high water residence time. Eff. Coeff. values in the KAE ranges from −2.74 during monsoon period to the lowest of −1.98 in pre monsoon period. Present study revealed that trophic state of the estuary under severe stress and the restriction of autochthonous and allochthonous nutrient loading should be keystone in mitigate from eutrophication process
Resumo:
Increasing amounts of plastic waste in the environment have become a problem of gigantic proportions. The case of linear low-density polyethylene (LLDPE) is especially significant as it is widely used for packaging and other applications. This synthetic polymer is normally not biodegradable until it is degraded into low molecular mass fragments that can be assimilated by microorganisms. Blends of nonbiodegradable polymers and biodegradable commercial polymers such as poly (vinyl alcohol) (PVA) can facilitate a reduction in the volume of plastic waste when they undergo partial degradation. Further, the remaining fragments stand a greater chance of undergoing biodegradation in a much shorter span of time. In this investigation, LLDPE was blended with different proportions of PVA (5–30%) in a torque rheometer. Mechanical, thermal, and biodegradation studies were carried out on the blends. The biodegradability of LLDPE/PVA blends has been studied in two environments: (1) in a culture medium containing Vibrio sp. and (2) soil environment, both over a period of 15 weeks. Blends exposed to culture medium degraded more than that exposed to soil environment. Changes in various properties of LLDPE/PVA blends before and after degradation were monitored using Fourier transform infrared spectroscopy, a differential scanning calorimeter (DSC) for crystallinity, and scanning electron microscope (SEM) for surface morphology among other things. Percentage crystallinity decreased as the PVA content increased and biodegradation resulted in an increase of crystallinity in LLDPE/PVA blends. The results prove that partial biodegradation of the blends has occurred holding promise for an eventual biodegradable product
Resumo:
Climate change and variability in sub-Saharan West Africa is expected to have negative consequences for crop and livestock farming due to the strong dependence of these sectors on rainfall and natural resources, and the low adaptive capacity of crops farmers, agro-pastoralist and pastoralists in the region. The objective of this PhD research was to investigate the anticipated impacts of expected future climate change and variability on nutrition and grazing management of livestock in the prevailing extensive agro-pastoral and pastoral systems of the Sahelian and Sudanian zones of Burkina Faso. To achieve this, three studies were undertaken in selected village territories (100 km² each) in the southern Sahelian (Taffogo), northern Sudanian (Nobere, Safane) and southern Sudanian (Sokouraba) zone of the country during 2009 and 2010. The choice of two villages in the northern Sudanian zone was guided by the dichotomy between intense agricultural land use and high population density near Safane, and lower agricultural land use in the tampon zone between the village of Nobere and the National Park Kaboré Tambi of Pô. Using global positioning and geographical information systems tools, the spatio-temporal variation in the use of grazing areas by cattle, sheep and goats, and in their foraging behaviour in the four villages was assessed by monitoring three herds each per species during a one-year cycle (Chapter 2). Maximum itinerary lengths (km/d) were observed in the hot dry season (March-May); they were longer for sheep (18.8) and cattle (17.4) than for goats (10.5, p<0.05). Daily total grazing time spent on pasture ranged from 6 - 11 h with cattle staying longer on pasture than small ruminants (p<0.05). Feeding time accounted for 52% - 72% of daily time on pasture, irrespective of species. Herds spent longer time on pasture and walked farther distances in the southern Sahelian than the two Sudanian zones (p<0.01), while daily feeding time was longer in the southern Sudanian than in the other two zones (p>0.05). Proportional time spent resting decreased from the rainy (June - October) to the cool (November - February) and hot dry season (p<0.05), while in parallel the proportion of walking time increased. Feeding time of all species was to a significantly high proportion spent on wooded land (tree crown cover 5-10%, or shrub cover >10%) in the southern Sahelian zone, and on forest land (tree crown cover >10%) in the two Sudanian zones, irrespective of season. It is concluded that with the expansion of cropland in the whole region, remaining islands of wooded land, including also fields fallowed for three or more years with their considerable shrub cover, are particularly valuable pasturing areas for ruminant stock. Measures must be taken that counteract the shrinking of wooded land and forests across the whole region, including also active protection and (re)establishment of drought-tolerant fodder trees. Observation of the selection behaviour of the above herds of cattle and small ruminant as far as browse species were concerned, and interviews with 75 of Fulani livestock keepers on use of browse as feed by their ruminant stock and as remedies for animal disease treatment was undertaken (Chapter 3) in order to evaluate the consequence of climate change for the contribution of browse to livestock nutrition and animal health in the extensive grazing-based livestock systems. The results indicated that grazing cattle and small ruminants do make considerable use of browse species on pasture across the studied agro-ecological zones. Goats spent more time (p<0.01) feeding on browse species than sheep and cattle, which spent a low to moderate proportion of their feeding time on browsing in any of the study sites. As far as the agro-ecological zones were concerned, the contribution of browse species to livestock nutrition was more important in the southern Sahelian and northern Sudanian zone than the southern Sudanian zone, and this contribution is higher during the cold and hot dry season than during the rainy season. A total of 75 browse species were selected on pasture year around, whereby cattle strongly preferred Afzelia africana, Pterocarpus erinaceus and Piliostigma sp., while sheep and goats primarily fed on Balanites aegyptiaca, Ziziphus mauritiana and Acacia sp. Crude protein concentration (in DM) of pods or fruits of the most important browse species selected by goats, sheep and cattle ranged from 7% to 13% for pods, and from 10% to 18% for foliage. The concentration of digestible organic matter of preferred browse species mostly ranged from 40% to 60%, and the concentrations of total phenols, condensed tannins and acid detergent lignin were low. Linear regression analyses showed that browse preference on pasture is strongly related to its contents (% of DM) of CP, ADF, NDF and OM digestibility. Interviewed livestock keepers reported that browse species are increasingly use by their grazing animals, while for animal health care use of tree- and shrub-based remedies decreased over the last two decades. It is concluded that due to climate change with expected negative impact on the productivity of the herbaceous layer of communal pastures browse fodder will gain in importance for animal nutrition. Therefore re-establishment and dissemination of locally adapted browse species preferred by ruminants is needed to increase the nutritional situation of ruminant stock in the region and contribute to species diversity and soil fertility restoration in degraded pasture areas. In Chapter 4 a combination of household surveys and participatory research approaches was used in the four villages, and additionally in the village of Zogoré (southern Sahelian zone) and of Karangasso Vigué (northern Sudanian zone) to investigate pastoralists’ (n= 76) and agro-pastoralists’ (n= 83) perception of climate change, and their adaptation strategies in crop and livestock production at farm level. Across the three agro-ecological zones, the majority of the interviewees perceived an increase in maximum day temperatures and decrease of total annual rainfall over the last two decades. Perceptions of change in climate patterns were in line with meteorological data for increased temperatures while for total rainfall farmers’ views contrasted the rainfall records which showed a slight increase of precipitation. According to all interviewees climate change and variability have negative impacts on their crop and animal husbandry, and most of them already adopted some coping and adaptation strategies at farm level to secure their livelihoods and reduce negative impacts on their farming system. Although these strategies are valuable and can help crop and livestock farmers to cope with the recurrent droughts and climate variability, they are not effective against expected extreme climate events. Governmental and non-governmental organisations should develop effective policies and strategies at local, regional and national level to support farmers in their endeavours to cope with climate change phenomena; measures should be site-specific and take into account farmers’ experiences and strategies already in place.