9,733 research outputs found
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
This paper studies probabilistic reachability analysis for large scale stochastic hybrid systems (SHS) as a problem of rare event estimation. In literature, advanced rare event estimation theory has recently been embedded within a stochastic analysis framework, and this has led to significant novel results in rare event estimation for a diffusion process using sequential MC simulation. This paper presents this rare event estimation theory directly in terms of probabilistic reachability analysis of an SHS, and develops novel theory which allows to extend the novel results for application to a large scale SHS where a very huge number of rare discrete modes may contribute significantly to the reach probability. Essentially, the approach taken is to introduce an aggregation of the discrete modes, and to develop importance sampling relative to the rare switching between the aggregation modes. The practical working of this approach is demonstrated for the safety verification of an advanced air traffic control example
Frequency dependent linear viscoelastic properties of ordered polystyrene latices
An experimental investigation of linear rheological properties of monodisperse ordered latex dispersions has been carried out. Measurements of the dynamic shear modulus and the dynamic viscosity in the frequency range between 0.04 Hz and 2500 Hz are reported. The volume fraction and the electrolyte concentration were variables in the experiment. The results show that a description of the rheological behaviour with a simple linear phenomenological equation is not possible. The measured dynamic moduli can only be described with a great number of relaxation times
Layout level design for testability strategy applied to a CMOS cell library
The layout level design for testability (LLDFT) rules used here allow to avoid some hard to detect faults or even undetectable faults on a cell library by modifying the cell layout without changing their behavior and achieving a good level of reliability. These rules avoid some open faults or reduce their appearance probability. The main purpose has been to apply that set of LLDFT rules on the cells of the library designed at the Centre Nacional de Microelectronica (CNM) in order to obtain a highly testable cell library. The authors summarize the main results (area overhead and performance degradation) of the application of the LLDFT rules on the cell
Viscous vortical flow calculations over delta wings
Two approaches to calculate turbulent vortical flows over delta wing configurations are illustrated. The first is for a simple delta wing at low speeds using the boundary layer approximation to treat the effects of the secondary separation. The second is for the supersonic case of a generic fighter using the NASA Ames parabolized Navier/Stokes method. Test/theory comparisons are given in both cases
Recommended from our members
The Visual Exploration of Insurance Data in Google Earth
Visualisation and geovisualisation techniques can both complement and help communicate the results of GIS and other analyses in the exploration of multivariate datasets and may provide insights and solutions for managing exposure and potential loss. Graphical techniques and the use of geobrowsers such as Google Earth are also being used in a communicative role to engage a variety of different audiences within insurance companies with information about policies, exposure and potential losses. In this paper, we focus on one particular geo-browser, Google Earth, which provides access to a rich array of datasets including aerial imagery, roads, administrative boundaries and photographs and, importantly, allows additional data to be added through the welldocumented KML format
- …