920 resultados para Reactive Probabilistic Automata
Resumo:
In this article, we study traffic flow in the presence of speed breaking structures. The speed breakers are typically used to reduce the local speed of vehicles near certain institutions such as schools and hospitals. Through a cellular automata model we study the impact of such structures on global traffic characteristics. The simulation results indicate that the presence of speed breakers could reduce the global flow under moderate global densities. However, under low and high global density traffic regime the presence of speed breakers does not have an impact on the global flow. Further the speed limit enforced by the speed breaker creates a phase distinction. For a given global density and slowdown probability, as the speed limit enforced by the speed breaker increases, the traffic moves from the reduced flow phase to maximum flow phase. This underlines the importance of proper design of these structures to avoid undesired flow restrictions.
Resumo:
ZnO nanoneedles were successfully deposited on flexible polymer substrates at room temperature by activated reactive evaporation. Neither a catalyst nor a template was employed in this synthesis. These synthesized needles measured 500 - 600 nm in length and its diameter varied from 30 - 15 nm from the base to the tip. The single-crystalline nature of the nanoneedle was observed by high-resolution transmission electron microscopy studies. The Raman studies on these nanoneedles had shown that they are oxygen deficient in nature. A possible growth mechanism has been proposed here, in which the nanoneedles nucleate and grow in the gas phase by vapor-solid mechanism.
Resumo:
Dense ZrB2-SiC (25-30 vol%) composites have been produced by reactive hot pressing using stoichiometric Zr, B4C, C and Si powder mixtures with and without Ni addition at 40 MPa, 1600 degrees C for 60 min. Nickel, a common additive to promote densification, is shown not to be essential; the presence of an ultra-fine microstructure containing a transient plastic ZrC phase is suggested to play a key role at low temperatures, while a transient liquid phase may be responsible at temperatures above 1350 degrees C. Hot Pressing of non-stoichiometric mixture of Zr, B4C and Si at 40 MPa, 1600 degrees C for 30 min resulted in ZrB2-ZrCx-SiC (15 vol%) composites of similar to 98% RD.
Resumo:
The integration of stochastic wind power has accentuated a challenge for power system stability assessment. Since the power system is a time-variant system under wind generation fluctuations, pure time-domain simulations are difficult to provide real-time stability assessment. As a result, the worst-case scenario is simulated to give a very conservative assessment of system transient stability. In this study, a probabilistic contingency analysis through a stability measure method is proposed to provide a less conservative contingency analysis which covers 5-min wind fluctuations and a successive fault. This probabilistic approach would estimate the transfer limit of a critical line for a given fault with stochastic wind generation and active control devices in a multi-machine system. This approach achieves a lower computation cost and improved accuracy using a new stability measure and polynomial interpolation, and is feasible for online contingency analysis.
Resumo:
Learning automata are adaptive decision making devices that are found useful in a variety of machine learning and pattern recognition applications. Although most learning automata methods deal with the case of finitely many actions for the automaton, there are also models of continuous-action-set learning automata (CALA). A team of such CALA can be useful in stochastic optimization problems where one has access only to noise-corrupted values of the objective function. In this paper, we present a novel formulation for noise-tolerant learning of linear classifiers using a CALA team. We consider the general case of nonuniform noise, where the probability that the class label of an example is wrong may be a function of the feature vector of the example. The objective is to learn the underlying separating hyperplane given only such noisy examples. We present an algorithm employing a team of CALA and prove, under some conditions on the class conditional densities, that the algorithm achieves noise-tolerant learning as long as the probability of wrong label for any example is less than 0.5. We also present some empirical results to illustrate the effectiveness of the algorithm.
Resumo:
We extend some of the classical connections between automata and logic due to Büchi (1960) [5] and McNaughton and Papert (1971) [12] to languages of finitely varying functions or “signals”. In particular, we introduce a natural class of automata for generating finitely varying functions called View the MathML source’s, and show that it coincides in terms of language definability with a natural monadic second-order logic interpreted over finitely varying functions Rabinovich (2002) [15]. We also identify a “counter-free” subclass of View the MathML source’s which characterise the first-order definable languages of finitely varying functions. Our proofs mainly factor through the classical results for word languages. These results have applications in automata characterisations for continuously interpreted real-time logics like Metric Temporal Logic (MTL) Chevalier et al. (2006, 2007) [6] and [7].
Resumo:
With the liberalisation of electricity market it has become very important to determine the participants making use of the transmission network.Transmission line usage computation requires information of generator to load contributions and the path used by various generators to meet loads and losses. In this study relative electrical distance (RED) concept is used to compute reactive power contributions from various sources like generators, switchable volt-amperes reactive(VAR) sources and line charging susceptances that are scattered throughout the network, to meet the system demands. The transmission line charge susceptances contribution to the system reactive flows and its aid extended in reducing the reactive generation at the generator buses are discussed in this paper. Reactive power transmission cost evaluation is carried out in this study. The proposed approach is also compared with other approaches viz.,proportional sharing and modified Y-bus.Detailed case studies with base case and optimised results are carried out on a sample 8-bus system. IEEE 39-bus system and a practical 72-bus system, an equivalent of Indian Southern grid are also considered for illustration and results are discussed.
Resumo:
Salmonella typhimurium causes an invasive disease in mice that has similarities to human typhoid. A type III protein secretion system encoded by Salmonella pathogenicity island 2 (SPI2) is essential for virulence in mice, as well as survival and multiplication within macrophages. Reactive nitrogen intermediates (RNI) synthesized by inducible nitric oxide synthase (iNOS) are involved in the control of intracellular pathogens, including S. typhimurium. We studied the effect of Salmonella infection on iNOS activity in macrophages. Immunofluorescence microscopy demonstrated efficient colocalization of iNOS with bacteria deficient in SPI2 but not wild-type Salmonella, and suggests that the SPI2 system interferes with the localization of iNOS and Salmonella. Furthermore, localization of nitrotyrosine residues in the proximity was observed for SPI2 mutant strains but not wild-type Salmonella, indicating that peroxynitrite, a potent antimicrobial compound, is excluded from Salmonella-containing vacuoles by action of SPI2. Altered colocalization of iNOS with intracellular Salmonella required the function of the SPI2-encoded type III secretion system, but not of an individual "Salmonella translocated effector." Inhibition of iNOS increased intracellular proliferation of SPI2 mutant bacteria and, to a lesser extent, of wild-type Salmonella. The defect in systemic infection of a SPI2 mutant strain was partially restored in iNOS(-/-) mice. In addition to various strategies to detoxify RNI or repair damage due to RNI, avoidance of colocalization with RNI is important in adaptation of a pathogen to an intracellular life style.
Resumo:
We analyzed the development of 4th-grade students’ understanding of the transition from experimental relative frequencies of outcomes to theoretical probabilities with a focus on the foundational statistical concepts of variation and expectation. We report students’ initial and changing expectations of the outcomes of tossing one and two coins, how they related the relative frequency from their physical and computersimulated trials to the theoretical probability, and how they created and interpreted theoretical probability models. Findings include students’ progression from an initial apparent equiprobability bias in predicting outcomes of tossing two coins through to representing the outcomes of increasing the number of trials. After observing the decreasing variation from the theoretical probability as the sample size increased, students developed a deeper understanding of the relationship between relative frequency of outcomes and theoretical probability as well as their respective associations with variation and expectation. Students’ final models indicated increasing levels of probabilistic understanding.
Resumo:
Thin films of ZrO2 were prepared by reactive magnetron sputtering. Annealing of the films exhibited a drastic change in the properties due to improved crystallinity and packing density. The root mean square roughness of the sample observed from atomic force microscope is about 5.75 nm which is comparable to the average grain size of the thin film which is about 6 nm obtained from X-ray diffraction. The film annealed at 873 K exhibits an optical band gap of around 4.83 eV and shows +4 oxidation state of zirconium indicating fully oxidized zirconium, whereas higher annealing temperatures lead to oxygen deficiency in the films and this is reflected in their properties. A discontinuity in the imaginary part of the AC conductivity was observed in the frequency range of tens of thousands of Hz, where as, the real part does not show such behavior.
Resumo:
Reactive Pulsed Laser Deposition is a single step process wherein the ablated elemental metal reacts with a low pressure ambient gas to form a compound. We report here a Secondary Ion Mass Spectrometry based analytical methodology to conduct minimum number of experiments to arrive at optimal process parameters to obtain high quality TiN thin film. Quality of these films was confirmed by electron microscopic analysis. This methodology can be extended for optimization of other process parameters and materials. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
Dense ZrB2-ZrC and ZrB2-ZrC x∼0.67 composites have been produced by reactive hot pressing (RHP) of stoichiometric and nonstoichiometric mixtures of Zr and B4C powders at 40 MPa and temperatures up to 1600 °C for 30 minutes. The role of Ni addition on reaction kinetics and densification of the composites has been studied. Composites of ∼97 pct relative density (RD) have been produced with the stoichiometric mixture at 1600 °C, while the composite with ∼99 pct RD has been obtained with excess Zr at 1200 °C, suggesting the formation of carbon deficient ZrC x that significantly aids densification by plastic flow and vacancy diffusion mechanism. Stoichiometric and nonstoichiometric composites have a hardness of ∼20 GPa. The grain sizes of ZrB2 and ZrC x∼0.67 are ∼0.6 and 0.4 μm, respectively, which are finer than those reported in the literature.
Resumo:
Field instrumentation of an in-service cast iron gas pipe buried in a residential area is detailed in this paper. The aim of the study was to monitor the long-term pipe behavior to understand the mechanisms of pipe bending in relation to ground movement as a result of seasonal fluctuation of soil moisture content. Field data showed that variation of soil temperature, suction, and moisture content are closely related to the prevailing climate. Change of soil temperature is generally related to the ambient air temperature, with a variation of approximately −3°C −3°C per meter depth from the ground surface in summer (decrease with depth) and winter (increase with depth). Seasonal cyclic variation in moisture content was observed with maxima in February and March, and a minimum around September. The pipe top was under tensile strain during summer and subsequently subjected to compressive strain as soil swelling occurred as a result of increase in moisture content. The study suggests that downward pipe bending occurs in summer because of soil shrinkage, while upward pipe bending occurs in winter when the soil swells.
Resumo:
An inductive behaviour observed in germanium p-n junctions in the breakdown region is reported.