920 resultados para Reactive Probabilistic Automata
Resumo:
Conceptual combination performs a fundamental role in creating the broad range of compound phrases utilised in everyday language. While the systematicity and productivity of language provide a strong argument in favour of assuming compositionality, this very assumption is still regularly questioned in both cognitive science and philosophy. This article provides a novel probabilistic framework for assessing whether the semantics of conceptual combinations are compositional, and so can be considered as a function of the semantics of the constituent concepts, or not. Rather than adjudicating between different grades of compositionality, the framework presented here contributes formal methods for determining a clear dividing line between compositional and non-compositional semantics. Compositionality is equated with a joint probability distribution modelling how the constituent concepts in the combination are interpreted. Marginal selectivity is emphasised as a pivotal probabilistic constraint for the application of the Bell/CH and CHSH systems of inequalities (referred to collectively as Bell-type). Non-compositionality is then equated with either a failure of marginal selectivity, or, in the presence of marginal selectivity, with a violation of Bell-type inequalities. In both non-compositional scenarios, the conceptual combination cannot be modelled using a joint probability distribution with variables corresponding to the interpretation of the individual concepts. The framework is demonstrated by applying it to an empirical scenario of twenty-four non-lexicalised conceptual combinations.
Resumo:
What helps us determine whether a word is a noun or a verb, without conscious awareness? We report on cues in the way individual English words are spelled, and, for the first time, identify their neural correlates via functional magnetic resonance imaging (fMRI). We used a lexical decision task with trisyllabic nouns and verbs containing orthographic cues that are either consistent or inconsistent with the spelling patterns of words from that grammatical category. Significant linear increases in response times and error rates were observed as orthography became less consistent, paralleled by significant linear decreases in blood oxygen level dependent (BOLD) signal in the left supramarginal gyrus of the left inferior parietal lobule, a brain region implicated in visual word recognition. A similar pattern was observed in the left superior parietal lobule. These findings align with an emergentist view of grammatical category processing which results from sensitivity to multiple probabilistic cues.
Resumo:
Diffusion weighted magnetic resonance (MR) imaging is a powerful tool that can be employed to study white matter microstructure by examining the 3D displacement profile of water molecules in brain tissue. By applying diffusion-sensitized gradients along a minimum of 6 directions, second-order tensors can be computed to model dominant diffusion processes. However, conventional DTI is not sufficient to resolve crossing fiber tracts. Recently, a number of high-angular resolution schemes with greater than 6 gradient directions have been employed to address this issue. In this paper, we introduce the Tensor Distribution Function (TDF), a probability function defined on the space of symmetric positive definite matrices. Here, fiber crossing is modeled as an ensemble of Gaussian diffusion processes with weights specified by the TDF. Once this optimal TDF is determined, the diffusion orientation distribution function (ODF) can easily be computed by analytic integration of the resulting displacement probability function.
Resumo:
In aerosol research, a common approach for the collection of particulate matter (PM) is the use of filters in order to obtain sufficient material to undertake analysis. For subsequent chemical and toxicological analyses, in most of cases the PM needs to be extracted from the filters. Sonication is commonly used to most efficiently extract the PM from the filters. Extraction protocols generally involve 10 - 60 min of sonication. The energy of ultrasonic waves causes the formation and collapse of cavitation bubbles in the solution. Inside the collapsing cavities the localised temperatures and pressures can reach extraordinary values. Although fleeting, such conditions can lead to pyrolysis of the molecules present inside the cavitation bubbles (gases dissolved in the liquid and solvent vapours), which results in the production of free radicals and the generation of new compounds formed by reactions with these free radicals. For example, simple sonication of pure water will result in the formation of detectable levels of hydroxyl radicals. As hydroxyl radicals are recognised as playing key roles as oxidants in the atmosphere the extraction of PM from filters using sonication is therefore problematic. Sonication can result in significant chemical and physical changes to PM through thermal degradation and other reactions. In this article, an overview of sonication technique as used in aerosol research is provided, the capacity for radical generation under these conditions is described and an analysis is given of the impact of sonication-derived free radicals on three molecular probes commonly used by researchers in this field to detect Reactive Oxygen Species in PM.
Resumo:
In the prospect of limited energy resources and climate change, effects of alternative biofuels on primary emissions are being extensively studied. Our two recent studies have shown that biodiesel fuel composition has a significant impact on primary particulate matter emissions. It was also shown that particulate matter caused by biodiesels was substantially different from the emissions due to petroleum diesel. Emissions appeared to have higher oxidative potential with the increase in oxygen content and decrease of carbon chain length and unsaturation levels of fuel molecules. Overall, both studies concluded that chemical composition of biodiesel is more important than its physical properties in controlling exhaust particle emissions. This suggests that the atmospheric aging processes, including secondary organic aerosol formation, of emissions from different fuels will be different as well. In this study, measurements were conducted on a modern common-rail diesel engine. To get more information on realistic properties of tested biodiesel particulate matter once they are released into the atmosphere, particulate matter was exposed to atmospheric oxidants, ozone and ultra-violet light; and the change in their properties was monitored for different biodiesel blends. Upon the exposure to oxidative agents, the chemical composition of the exhaust changes. It triggers the cascade of photochemical reactions resulting in the partitioning of semi-volatile compounds between the gas and particulate phase. In most of the cases, aging lead to the increase in volatility and oxidative potential, and the increment of change was mainly dependent on the chemical composition of fuels as the leading cause for the amount and the type of semi-volatile compounds present in the exhaust.
Resumo:
Background Bahia grass pollen (BaGP) is a major cause of allergic rhinitis. Subcutaneous allergen-specific immunotherapy is effective for grass pollen allergy, but is unsuitable for patients with moderate to severe asthma due to the risk of anaphylaxis. T cell-reactive but IgE nonreactive peptides provide a safer treatment option. This study aimed to identify and characterize dominant CD4+ T cell epitope peptides of the major BaGP allergen, Pas n 1. Methods Pas n 1-specific T cell lines generated from the peripheral blood of BaGP-allergic subjects were tested for proliferative and cytokine response to overlapping 20-mer Pas n 1 peptides. Cross-reactivity to homologous peptides from Lol p 1 and Cyn d 1 of Ryegrass and Bermuda grass pollen, respectively, was assessed using Pas n 1 peptide-specific T cell clones. MHC class II restriction of Pas n 1 peptide T cell recognition was determined by HLA blocking assays and peptide IgE reactivity tested by dot blotting. Results Three Pas n 1 peptides showed dominant T cell reactivity; 15 of 18 (83%) patients responded to one or more of these peptides. T cell clones specific for dominant Pas n 1 peptides showed evidence of species-specific T cell reactivity as well as cross-reactivity with other group 1 grass pollen allergens. The dominant Pas n 1 T cell epitope peptides showed HLA binding diversity and were non-IgE reactive. Conclusions The immunodominant T cell-reactive Pas n 1 peptides are candidates for safe immunotherapy for individuals, including those with asthma, who are allergic to Bahia and possibly other grass pollens.
Resumo:
We address the problem of the rangefinder-based avoidance of unforeseen static obstacles during a visual navigation task. We extend previous strategies which are efficient in most cases but remain still hampered by some drawbacks (e.g., risks of collisions or of local minima in some particular cases, etc.). The key idea is to complete the control strategy by adding a controller providing the robot some anticipative skills to guarantee non collision and by defining more general transition conditions to deal with local minima. Simulation results show the proposed strategy efficiency.
Resumo:
High-voltage circuit breakers are among the most important equipments for ensuring the efficient and safe operation of an electric power system. On occasion, circuit breaker operators may wish to check whether equipment is performing satisfactorily and whether controlled switching systems are producing reliable and repeatable stress control. Monitoring of voltage and current waveforms during switching using established methods will provide information about the magnitude and frequency of voltage transients as a result of re-ignitions and restrikes. However, high frequency waveform measurement requires shutdown of circuit breaker and use of specialized equipment. Two utilities, Hydro-Québec in Canada and Powerlink Queensland in Australia, have been working on the development and application of a non-intrusive, cost-effective and flexible diagnostic system for monitoring high-voltage circuit breakers for reactive switching. The proposed diagnostic approach relies on the non-intrusive assessment of key parameters such as operating times, prestrike characteristics, re-ignition and restrike detection. Transient electromagnetic emissions have been identified as a promising means to evaluate the abovementioned parameters non-intrusively. This paper describes two complimentary methods developed concurrently by Powerlink and Hydro-Québec. Also, return of experiences on the application to capacitor bank and shunt reactor switching is presented.
Resumo:
We investigate the terminating concept of BKZ reduction first introduced by Hanrot et al. [Crypto'11] and make extensive experiments to predict the number of tours necessary to obtain the best possible trade off between reduction time and quality. Then, we improve Buchmann and Lindner's result [Indocrypt'09] to find sub-lattice collision in SWIFFT. We illustrate that further improvement in time is possible through special setting of SWIFFT parameters and also through the combination of different reduction parameters adaptively. Our contribution also include a probabilistic simulation approach top-up deterministic simulation described by Chen and Nguyen [Asiacrypt'11] that can able to predict the Gram-Schmidt norms more accurately for large block sizes.
Resumo:
Uncertainty assessments of herbicide losses from rice paddies in Japan associated with local meteorological conditions and water management practices were performed using a pesticide fate and transport model, PCPF-1, under the Monte Carlo (MC) simulation scheme. First, MC simulations were conducted for five different cities with a prescribed water management scenario and a 10-year meteorological dataset of each city. The effectiveness of water management was observed regarding the reduction of pesticide runoff. However, a greater potential of pesticide runoff remained in Western Japan. Secondly, an extended analysis was attempted to evaluate the effects of local water management and meteorological conditions between the Chikugo River basin and the Sakura River basin using uncertainty inputs processed from observed water management data. The results showed that because of more severe rainfall events, significant pesticide runoff occurred in the Chikugo River basin even when appropriate irrigation practices were implemented. © Pesticide Science Society of Japan.
Resumo:
This article presents the results of probabilistic seismic hazard analysis (PSHA) for Bangalore, South India. Analyses have been carried out considering the seismotectonic parameters of the region covering a radius of 350 km keeping Bangalore as the center. Seismic hazard parameter `b' has been evaluated considering the available earthquake data using (1) Gutenberg-Richter (G-R) relationship and (2) Kijko and Sellevoll (1989, 1992) method utilizing extreme and complete catalogs. The `b' parameter was estimated to be 0.62 to 0.98 from G-R relation and 0.87 +/- A 0.03 from Kijko and Sellevoll method. The results obtained are a little higher than the `b' values published earlier for southern India. Further, probabilistic seismic hazard analysis for Bangalore region has been carried out considering six seismogenic sources. From the analysis, mean annual rate of exceedance and cumulative probability hazard curve for peak ground acceleration (PGA) and spectral acceleration (Sa) have been generated. The quantified hazard values in terms of the rock level peak ground acceleration (PGA) are mapped for 10% probability of exceedance in 50 years on a grid size of 0.5 km x 0.5 km. In addition, Uniform Hazard Response Spectrum (UHRS) at rock level is also developed for the 5% damping corresponding to 10% probability of exceedance in 50 years. The peak ground acceleration (PGA) value of 0.121 g obtained from the present investigation is slightly lower (but comparable) than the PGA values obtained from the deterministic seismic hazard analysis (DSHA) for the same area. However, the PGA value obtained in the current investigation is higher than PGA values reported in the global seismic hazard assessment program (GSHAP) maps of Bhatia et al. (1999) for the shield area.
Resumo:
The random early detection (RED) technique has seen a lot of research over the years. However, the functional relationship between RED performance and its parameters viz,, queue weight (omega(q)), marking probability (max(p)), minimum threshold (min(th)) and maximum threshold (max(th)) is not analytically availa ble. In this paper, we formulate a probabilistic constrained optimization problem by assuming a nonlinear relationship between the RED average queue length and its parameters. This problem involves all the RED parameters as the variables of the optimization problem. We use the barrier and the penalty function approaches for its Solution. However (as above), the exact functional relationship between the barrier and penalty objective functions and the optimization variable is not known, but noisy samples of these are available for different parameter values. Thus, for obtaining the gradient and Hessian of the objective, we use certain recently developed simultaneous perturbation stochastic approximation (SPSA) based estimates of these. We propose two four-timescale stochastic approximation algorithms based oil certain modified second-order SPSA updates for finding the optimum RED parameters. We present the results of detailed simulation experiments conducted over different network topologies and network/traffic conditions/settings, comparing the performance of Our algorithms with variants of RED and a few other well known adaptive queue management (AQM) techniques discussed in the literature.
A hybrid cellular automata model of multicellular tumour spheroid growth in hypoxic microenvironment
Resumo:
A three-dimensional hybrid cellular automata (CA) model is developed to study the dynamic process of multicellular tumour spheroid (MTS) growth by introducing hypoxia as an important microenvironment factor which influences cell migration and cell phenotype expression. The model enables us to examine the effects of different hypoxic environments on the growth history of the MTS and to study the dynamic interactions between MTS growth and chemical environments. The results include the spatial distribution of different phenotypes of tumour cells and associated oxygen concentration distributions under hypoxic conditions. The discussion of the model system responses to the varied hypoxic conditions reveals that the improvement of the resistance of tumour cells to a hypoxic environment may be important in the tumour normalization therapy.
Resumo:
This paper presents three methodologies for determining optimum locations and magnitudes of reactive power compensation in power distribution systems. Method I and Method II are suitable for complex distribution systems with a combination of both radial and ring-main feeders and having different voltage levels. Method III is suitable for low-tension single voltage level radial feeders. Method I is based on an iterative scheme with successive powerflow analyses, with formulation and solution of the optimization problem using linear programming. Method II and Method III are essentially based on the steady state performance of distribution systems. These methods are simple to implement and yield satisfactory results comparable with the results of Method I. The proposed methods have been applied to a few distribution systems, and results obtained for two typical systems are presented for illustration purposes.
Resumo:
Learning automata arranged in a two-level hierarchy are considered. The automata operate in a stationary random environment and update their action probabilities according to the linear-reward- -penalty algorithm at each level. Unlike some hierarchical systems previously proposed, no information transfer exists from one level to another, and yet the hierarchy possesses good convergence properties. Using weak-convergence concepts it is shown that for large time and small values of parameters in the algorithm, the evolution of the optimal path probability can be represented by a diffusion whose parameters can be computed explicitly.