Exploració per tema "Explosions"
Ara es mostren els items 1-19 de 19
-
A case study for the verification of complex timed circuits: IPCMOS
(Institute of Electrical and Electronics Engineers (IEEE), 2002)
Text en actes de congrés
Accés obertThe verification of a n-stage pulse-driven IPCMOS pipeline, for any n>0, is presented. The complexity of the system is 32n transistors and delay information is provided at the level of transistor The correctness of the ... -
A compressible Lagrangian framework for the simulation of underwater implosion problems
(Centre Internacional de Mètodes Numèrics en Enginyeria (CIMNE), 2013)
Llibre
Accés obertThe development of efficient algorithms to understand implosion dynamics presents a number of challenges. The foremost challenge is to efficiently represent the coupled compressible fluid dynamics of internal air and ... -
A structural encoding technique for the synthesis of asynchronous circuits
(Institute of Electrical and Electronics Engineers (IEEE), 2001)
Text en actes de congrés
Accés obertThis paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such a way that a circuit implementation is ... -
Aluminio expandido como inhibidor de explosiones en depósitos que contienen gases o líquidos inflamables
(Universitat Politècnica de Catalunya, 2010-06)
Projecte Final de Màster Oficial
Accés restringit per decisió de l'autorEl presente trabajo investigativo se centra en el estudio de aluminio expandido como supresor de explosiones en depósitos de combustibles. Su estudio se remonta a finales de los años 80, época en que aparecieron por ... -
Análisis histórico de los incendios de llamarada ("flash fires")
(Universitat Politècnica de Catalunya, 2010-06)
Projecte Final de Màster Oficial
Accés restringit per decisió de l'autorLa fuga de un líquido o vapor combustible puede resultar en un incendio de llamarada o flash fire. Se ha llevado a cabo un análisis de este tipo de accidentes, relativamente poco estudiados, con el fin de determinar sus ... -
Aproximación al estudio del riesgo del bleve y sus efectos en los generadores marinos de vapor y los tanques de carga de los buques LNG-LPG. Aplicación comparativa de las normas que lo regulan y previenen
(Universitat Politècnica de Catalunya, 1994-07-04)
Tesi
Accés obertBELEVE son las iniciales de la siguiente expresión inglesa "Boiling Liquid Expanding Vapor Explosion" que traducido librementes ignifica "Explosión de los Vapores que se expanden al hervir un líquido".<br/>La ELEVE es ... -
Combining structural and symbolic methods for the verification of concurrent systems
(Institute of Electrical and Electronics Engineers (IEEE), 1998)
Text en actes de congrés
Accés obertThe contributions during the last few years on the structural theory of Petri nets can now be applied to formal verification. The structural theory provides methods to find efficient encoding schemes for symbolic representations ... -
Efficient encoding schemes for symbolic analysis of Petri nets
(Institute of Electrical and Electronics Engineers (IEEE), 1998)
Text en actes de congrés
Accés obertPetri nets are a graph-based formalism appropriate to model concurrent systems such as asynchronous circuits or network protocols. Symbolic techniques based on Binary Decision Diagrams (BDDs) have emerged as one of the ... -
Estudi i disseny i implementació d’un mecanisme dosificador de boles per aerosol en zona ATEX
(Universitat Politècnica de Catalunya, 2019-01-10)
Treball Final de Grau
Accés restringit per decisió de l'autor -
Explosión de equipos a presión. Análisis de riesgos y consecuencias
(Universitat Politècnica de Catalunya, 2012)
Projecte Final de Màster UPC
Accés restringit per decisió de l'autor -
Fired equipment combustion chamber accidents: A historical survey
(2021-03)
Article
Accés obertA historical analysis was carried out on 189 accidents that occurred in gas and oil fuel fired equipment. The variation of frequency as a function of time, the main causes leading to a fire or an explosion, as well as the ... -
Genet: a tool for the synthesis and mining of Petri nets
(Institute of Electrical and Electronics Engineers (IEEE), 2009)
Text en actes de congrés
Accés obertState-based representations of concurrent systems suffer from the well known state explosion problem. In contrast, Petri nets are good models for this type of systems both in terms of complexity of the analysis and in ... -
Incidència dels accidents majors a la Unió Europea : ànàlisi del cas de les explosions d'atmosferes inflamables
(Universitat Politècnica de Catalunya, 2016-06-23)
Treball Final de Grau
Accés obertAl llarg d’aquest treball es tracta la incidència que ha tingut la Directriu Seveso II en els estats membres de la Unió Europea. Aquesta normativa fa referència a la prevenció i a la limitació de les conseqüències dels ... -
Jet fires: An experimental study of the main geometrical features of the flame in subsonic and sonic regimes
(2009-01)
Article
Accés restringit per política de l'editorialAlthough jet fires are usually smaller than other fires, they may lead to a destructive chain of events that can increase the scale of an accident. Therefore, their size should be predicted for accurate risk assessment. ... -
Optimisation du moyen Machine à Chocs Pyrotechniques
(Universitat Politècnica de Catalunya / Institut National des Sciences Appliquées de Toulouse, 2009)
Projecte/Treball Final de Carrera
Accés restringit per decisió de l'autorSpace equipments are subject to severe loads during their life. Pyrotechnical shocks are one of the most violent phenomena, which may involve significant deteriorations that must be foreseen. For that purpose, Intespace ... -
Partial order based approach to synthesis of speed-independent circuits
(Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertThis paper introduces a novel technique for synthesis of speed-independent circuits from their Signal Transition Graph specifications. The new method uses partial order in the form of the STG-unfolding segment to derive ... -
Structural damage analysis of a concrete wall after a detonation
(Universitat Politècnica de Catalunya, 2013-11-27)
Tesina
Accés restringit per decisió de l'autorAquesta tesina es centra en la simulació computacional de fenòmens de detonació per interpretar els danys causats a les estructures urbanes -
Synthesis of speed-independent circuits from STG-unfolding segment
(Institute of Electrical and Electronics Engineers (IEEE), 1997)
Text en actes de congrés
Accés obertThis paper presents a novel technique for synthesis of speed-independent circuits. It is based on partial order representation of the state graph called STG-unfolding segment. The new method uses approximation technique ... -
Thermal and geometrical features of jet fires
(Philippe Tanguy/Canadian Society for Chemical Engineering, 2009)
Text en actes de congrés
Accés obertAbstract: In many severe accidents involving explosions or large fires, jet fires have been the first step of a domino effect sequence: a recent historical analysis has shown that among the accidents registered in the data ...
