Search NASA⌕ Search

SEARCH · Search NASA

Results for “Fire behavior model”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 163 records · Page 9

Robust Low Cost Liquid Rocket Combustion Chamber by Advanced Vacuum Plasma Process

Next-generation, regeneratively cooled rocket engines require materials that can meet high temperatures while resisting the corrosive oxidation-reduction reaction of combustion known as blanching, the main cause of engine failure. A project was initiated at NASA-Marshal Space Flight Center (MSFC) to combine three existing technologies to build and demonstrate an advanced liquid rocket engine combustion chamber that would provide a 100 mission life. Technology developed in microgravity research to build cartridges for space furnaces was utilized to vacuum plasma spray (VPS) a functional gradient coating on the hot wall of the combustion liner as one continuous operation, eliminating any bondline between the coating and the liner. The coating was NiCrAlY, developed previously as durable protective coatings on space shuttle high pressure fuel turbopump (HPFTP) turbine blades. A thermal model showed that 0.03 in. NiCrAlY applied to the hot wall of the combustion liner would reduce the hot wall temperature 200 F, a 20% reduction, for longer life. Cu-8Cr-4Nb alloy, which was developed by NASA-Glenn Research Center (GRC), and which possesses excellent high temperature strength, creep resistance, and low cycle fatigue behavior combined with exceptional thermal stability, was utilized as the liner material in place of NARloy-Z. The Cu-8Cr-4Nb material exhibits better mechanical properties at 650 C (1200 F) than NARloy-Z does at 538 C (1000 F). VPS formed Cu-8Cr-4Nb combustion chamber liners with a protective NiCrAlY functional gradient coating have been hot fire tested, successfully demonstrating a durable coating for the first time. Hot fire tests along with tensile and low cycle fatigue properties of the VPS formed combustion chamber liners and witness panel specimens are discussed.

Holmes, Richard↗

Trace Element Sampling and Partitioning Modeling to Estimate Wastewater Composition and Treatment Performance at Coal Generators

The coal combusted at coal-fired power plants (CFPPs) contains several trace elements that impact human heath if released to the environment. Effective combinations of air pollution control devices (APCDs) and water pollution control devices (WPCDs) are critical to reducing these impacts. This work sampled pulverized CFPPs owned and operated by Louisville Gas & Electricity – Kentucky Utilities (LGE-KU) during baseload and cycling conditions. Next, an open-source and easy-to-implement trace element partitioning model was developed using publicly available datasets, literature studies of trace element partitioning, and sampling data to estimate trace element partitioning in APCDs to the gas, liquid, and solid phases exiting CFPPs. These estimates of the liquid phase trace element concentration in FGD wastewater were then used to estimate trace element behavior in WPCDs and evaluate treated wastewater effluent concentrations for compliance with the Effluent Limitation Guidelines (ELG) for the Steam Electric Generating Sector. Finally, cost estimates were developed for established and emerging wastewater treatment trains to identify the most cost-effective approaches for ELG compliance.

01 COAL, LIGNITE, AND PEAT↗

Swelling and permeability effects during propellant cookoff

Large rocket motors may violently explode when exposed to accidental fires. Even hot metal fragments from a nearby accident may penetrate the propellant and ultimately cause thermal ignition. A mechanistic understanding of heated propellants leading to thermal runaway is a major unsolved problem. Here we show that thermal ignition in propellants can be predicted using a universal cookoff model coupled to a micromechanics pressurization model. Our model predicts the time to thermal ignition in cookoff experiments with variable headspace volumes. Furthermore, we found that experiments with headspace volumes are more prone to deformation which distorts pores and causes increased permeability when the propellant expands into this headspace. Delayed ignition with larger headspace volume correlates with lower headspace pressures during decomposition. We found that our predictions matched experimental measurements best when the initial propellant was impermeable to gas flow rather than being permeable. Similar behavior is expected with other energetic materials with rubbery binders. Our model is validated using data from a separate laboratory. We also present an uncertainty analysis using Latin Hypercube Sampling (LHS) of thermal ignition caused by a steel fragment embedded in the propellant.

33 ADVANCED PROPULSION SYSTEMS↗

Fallout Cloud Regimes

The U.S. Department of Defense (DOD), Department of Energy (DOE), and other organizations maintain operational nuclear explosion and atmospheric dispersion models to provide critical guidance on the expected effects of an accidental or deliberate explosion of a nuclear weapon (in this paper simply referred to as “device”). To be effective, these models must represent, as accurately as possible, the complex interactions of the blast, fire, and residual radiological hazards with the environment and population. One hundred atmospheric nuclear tests that form the basis for many models were conducted at the Nevada Test Site (NTS) (now referred to as the Nevada Nuclear Security Site, NNSS) in a dry desert environment. Other environments should be studied, but have less data available and are beyond the scope of the work presented in this paper. The debris clouds produced by the NTS tests, frequently called “mushroom clouds,” are familiar, with common structural elements such as a buoyant cap connected to a skirt of raised dust at the desert surface by a thin, dirt-filled stem. The film scanning project at LLNL has investigated historical film records of nuclear weapons tests. Here, we summarize findings showing that the mushroom cloud behavior for historic U.S. tests conducted in Nevada, has similar characteristics based on the distance of the device from the ground surface or Height of Burst (HOB), scaled by the energy release, or yield, of the device. This scaled height is referred to as the scaled-height-of-burst (SHOB). The findings discussed below show that mushroom clouds look and behave similarly when detonated at the same SHOB. The amount of residual radiation that is produced by a nuclear detonation is proportional to the yield. But, the amount of that residual radiation that actually becomes local fallout is strongly dependent on the SHOB and the type of surface over which the detonation occurs. In order to develop a more comprehensive model that predicts the fraction of the residual radiation that becomes local fallout, it is convenient to define a series of regimes based on SHOB values in which all detonations that occur within a given regime can be modeled using the same algorithms. The purpose of this paper is to provide a framework for defining different regimes, and, in a qualitative way, a basic understanding of the fundamental characteristics of each of these regimes.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗

The Effect of Spark-Plug Heat Dispersal Range and Exhaust Valve Opening Timing on Cold-Start Emissions and Cycle-to-Cycle Variability

The partnership for advancing combustion engines (PACE) is a US Department of Energy consortium involving multiple national laboratories and includes a goal of addressing key efficiency and emission barriers in light-duty engines fueled with a market-representative E10 gasoline. A major pillar of the initiative is the generation of detailed experimental data and modeling capabilities to understand and predict cold-start behavior. Cold-start, as defined by the time between first engine crank and three-way catalyst light-off, is responsible for a large percentage of NOx, unburned hydrocarbon and particulate matter emissions in light-duty engines. Minimizing emissions during cold-start is a trade-off between achieving faster light-off of the three-way catalyst and engine out emissions during that period. In this study, gaseous and soot emissions were measured at a distance representative of the three-way catalyst position downstream of the engine at a 2 bar net indicated mean effective pressure (NIMEP) steady-state operating condition representative of cold-start. The test matrix included sweeps of ignition timing 15 degrees-before to 10 degrees-after top dead center firing (TDCf) across three different spark-plug heat dispersal ranges (HR). Additionally, the effect of varying exhaust valve opening (EVO) timing on combustion stability and emissions was also studied. Results show that the spark plug HR affects the coefficient of variation (COV) of NIMEP under all cold-start conditions, while the impact on emissions was found to be minimal. At very retarded spark timings, colder spark plugs required higher air and fuel flow to maintain the desired 2bar NIMEP load, but the fraction of fuel energy going into the exhaust was found to be similar for all spark plugs. Finally, retarding exhaust valve timings showed a simultaneous reduction in emissions while increasing the fraction of fuel energy being fed into the exhaust. However, engine COV was also observed to increase with retarded exhaust timings.

42 ENGINEERING↗

Effect of Split-Injection Strategies on Engine Performance and Emissions under Cold-Start Operation

The recently concluded partnership for advancing combustion engines (PACE) was a US Department of Energy consortium involving multiple national laboratories focused on addressing key efficiency and emission barriers in light-duty engines. Generation of detailed experimental data and modeling capabilities to understand and predict cold-start behavior was a major pillar in this program. Cold-start, as defined by the time between first engine crank and three-way catalyst light-off, is responsible for a large percentage of NOx, unburned hydrocarbon, and particulate matter emissions in light-duty engines. Minimizing emissions during cold-start is a trade-off between achieving faster three-way catalyst light-off, and engine out emissions during that period. In this study, engine performance, emissions, and catalyst warmup potential were monitored while the engine was operated using a single direct injection (baseline case) as well as a two-way-equal-split direct injection strategy. These injection strategies were analyzed at a range of cold-start-operation relevant retarded spark timings of up to 25 degrees after top dead center of firing (dATDCf). A stoichiometric 2-bar NIMEP steady-state condition was used for all cases to simulate cold-start operation. Significant improvement in engine stability was observed with the two-way-split injection strategy at the retarded spark timings allowing for up to 2.5x increase in exhaust heat rate when engine operation is stability constrained. Similar fuel-loss-to-oil trends with exhaust heat rate were observed for both single and two-way-split injection strategies. However, the two-way split injection was observed to produce higher NOx emissions per unit exhaust heat rate. A single data point run with three-way-split direct injection at a very retarded spark-timing of 30 dATDCf pointed to further improvements in engine stability and reduction in fuel-loss-to-oil as compared to single injection strategy. Engine stability decreased as spark timing was initially retarded with a single injection but was observed to plateau and stabilize beyond spark timing of 10 dATDCf. Finally, for the two-way-split-injection strategy, retarding the start of injection (SOI) timing of the second injection led to a decrease in engine stability as well as an increase in soot emissions.

42 ENGINEERING↗

Upward And Downward Flame Spreading And Extinction In Partial Gravity Environments

The premise of this research effort has been to begin exploring the gap in the literature between studies of material flammability and flame spread phenomena in normal-gravity and those conducted in the microgravity environment, with or without forced flows. From a fundamental point of view, flame spreading in upward (concurrent) buoyant flow is considerably different from concurrent forced flow. The flow accelerates throughout the length of the buoyant flame bringing the streamlines and the flame closer to the fuel surface and strengthening the interaction between the flame and fuel. Forced flows are diverted around the flame and away from the fuel surface, except where the flow might be constrained by a finite duct. The differences may be most clearly felt as the atmospheric conditions, viz. pressure or oxygen content, approach the flammability limit. From a more practical point of view, flame spreading and material flammability behavior have not been studied under the partial gravity conditions that are the natural state in space exploration destinations such as the Moon and Mars. This effort constitutes the beginning of the research needed to engineer fire safety provisions for such future missions. In this program we have performed partial-gravity experiments (from 0.1 to 1 g/g(sub Earth)) considering both upward and downward flame spread over thin solid fuels aboard the NASA KC-135 aircraft. In those tests, the atmospheric pressure and the fuel sample width were varied. Steady flame spread rates and approximate extinction boundaries were determined. Flame images were recorded using video cameras and two-dimensional fuel surface temperature distributions were determined using an IR camera. These results are available, and complement our earlier work in downward spread in partial gravity varying oxygen content. In conjunction with the experiment, three-dimensional models of flame spreading in buoyant flow have been developed. Some of the computed results on upward spreading have been presented. A derivative three-dimensional model of downward spreading has been developed. It is currently being used to evaluate the standard limiting oxygen index (LOI) measuring device and its potential performance in different gravity levels.

Sacksteder, Kurt R.↗

Characterization of Long-Term Service Coal Combustion Power Plant Extreme Environment Materials

The objective of this DOE-sponsored project was to develop a comprehensive database of mechanical properties, alloy microstructures, and to a lesser extent, the oxidation/corrosion behaviors of coal-fired power plant components, such as boiler tubing, steam headers, and steam piping, which had been in service for at least 100,000 operating hours (preferably more than 200,000 operating hours) under the operating conditions of high temperatures and high mechanical stresses where creep, fatigue, steam-side oxidation, and fireside corrosion were life-limiting factors. The components included in this database consisted of ferritic steels, creep strength enhanced ferritic (CSEF) steels, and 300-series H-grade stainless steels, as well as dissimilar metal welds (DMWs) among these types of materials. As a result of extensive metallurgical characterization and mechanical testing performed in this project, a comprehensive database on mechanical properties and detailed quantitative microstructural information was successfully developed for several long-term serviced EEM components. Such a database can be used by material research communities to develop, calibrate, refine, and validate mechanical behaviors, models, and other assessment tools for accurate prediction of remaining life of major components under similar EEM operating conditions.

20 FOSSIL-FUELED POWER PLANTS↗

Nanosecond Laser Drying in Wafer Foundries for Significant Energy Efficiency Improvement

Surface drying is a critical process in microelectronics wafer fabrication. In order to reduce and eliminate watermarks, many surface drying processes have been studied and used. Most of the wafer foundries currently use drying processes based on Isopropyl Alcohol (IPA), which causes serious safety (fire), health, environmental, and energy efficiency issues. The long-term goal of this project is to develop a fast, effective, chemical-free, and extremely energy efficient wafer drying technology that employs nanosecond laser-induced sub-surface evaporation and explosion. The objectives of this project are to 1) experimentally develop and verify the laser surface drying method, explore and identify how and to what extent various physical parameters influence the drying efficiency and effectiveness; and 2) understand and optimize the underlying thermodynamics in the proposed laser surface drying, including micro/nanoscale sub-surface superheating, evaporation, explosion, and photo/thermochemical bond breaking via atomistic modeling and experimental characterization. Toward these objectives, five tasks have been accomplished successfully, including 1) develop in-lab laser surface drying setup and study the effect of varied laser parameters, 2) use multiscale hybrid-modeling to study and understand the physics of water behavior during drying toward process optimization, 3) investigate the effect of drying conditions on the drying effectiveness, 4) develop a large-scale laser drying scanning system with automatic scanning, and 5) conduct large-scale simulation to study the effect of dopant level and develop strategies for system development toward industry deployment.

42 ENGINEERING↗

Hippocampal place-cell firing during movement in three-dimensional space

"Place" cells of the rat hippocampus are coupled to "head direction" cells of the thalamus and limbic cortex. Head direction cells are sensitive to head direction in the horizontal plane only, which leads to the question of whether place cells similarly encode locations in the horizontal plane only, ignoring the z axis, or whether they encode locations in three dimensions. This question was addressed by recording from ensembles of CA1 pyramidal cells while rats traversed a rectangular track that could be tilted and rotated to different three-dimensional orientations. Cells were analyzed to determine whether their firing was bound to the external, three-dimensional cues of the environment, to the two-dimensional rectangular surface, or to some combination of these cues. Tilting the track 45 degrees generally provoked a partial remapping of the rectangular surface in that some cells maintained their place fields, whereas other cells either gained new place fields, lost existing fields, or changed their firing locations arbitrarily. When the tilted track was rotated relative to the distal landmarks, most place fields remapped, but a number of cells maintained the same place field relative to the x-y coordinate frame of the laboratory, ignoring the z axis. No more cells were bound to the local reference frame of the recording apparatus than would be predicted by chance. The partial remapping demonstrated that the place cell system was sensitive to the three-dimensional manipulations of the recording apparatus. Nonetheless the results were not consistent with an explicit three-dimensional tuning of individual hippocampal neurons nor were they consistent with a model in which different sets of cells are tightly coupled to different sets of environmental cues. The results are most consistent with the statement that hippocampal neurons can change their "tuning functions" in arbitrary ways when features of the sensory input or behavioral context are altered. Understanding the rules that govern the remapping phenomenon holds promise for deciphering the neural circuitry underlying hippocampal function.

Non-NASA Center↗

Automated Wildfire Detection Through Artificial Neural Networks

We have tested and deployed Artificial Neural Network (ANN) data mining techniques to analyze remotely sensed multi-channel imaging data from MODIS, GOES, and AVHRR. The goal is to train the ANN to learn the signatures of wildfires in remotely sensed data in order to automate the detection process. We train the ANN using the set of human-detected wildfires in the U.S., which are provided by the Hazard Mapping System (HMS) wildfire detection group at NOAA/NESDIS. The ANN is trained to mimic the behavior of fire detection algorithms and the subjective decision- making by N O M HMS Fire Analysts. We use a local extremum search in order to isolate fire pixels, and then we extract a 7x7 pixel array around that location in 3 spectral channels. The corresponding 147 pixel values are used to populate a 147-dimensional input vector that is fed into the ANN. The ANN accuracy is tested and overfitting is avoided by using a subset of the training data that is set aside as a test data set. We have achieved an automated fire detection accuracy of 80-92%, depending on a variety of ANN parameters and for different instrument channels among the 3 satellites. We believe that this system can be deployed worldwide or for any region to detect wildfires automatically in satellite imagery of those regions. These detections can ultimately be used to provide thermal inputs to climate models.

Miller, Jerry↗

Assessing Heterogeneity of Surface Water Temperature Following Stream Restoration and a High-Intensity Fire from Thermal Imagery

Thermal heterogeneity of rivers is essential to support freshwater biodiversity. Salmon behaviorally thermoregulate by moving from patches of warm water to cold water. When implementing river restoration projects, it is essential to monitor changes in temperature and thermal heterogeneity through time to assess the impacts to a river’s thermal regime. Lightweight sensors that record both thermal infrared (TIR) and multispectral data carried via unoccupied aircraft systems (UASs) present an opportunity to monitor temperature variations at high spatial (<0.5 m) and temporal resolution, facilitating the detection of the small patches of varying temperatures salmon require. Here, we present methods to classify and filter visible wetted area, including a novel procedure to measure canopy cover, and extract and correct radiant surface water temperature to evaluate changes in the variability of stream temperature pre- and post-restoration followed by a high-intensity fire in a section of the river corridor of the South Fork McKenzie River, Oregon. We used a simple linear model to correct the TIR data by imaging a water bath where the temperature increased from 9.5 to 33.4 °C. The resulting model reduced the mean absolute error from 1.62 to 0.35 °C. We applied this correction to TIR-measured temperatures of wetted cells classified using NDWI imagery acquired in the field. We found warmer conditions (+2.6 °C) after restoration (p < 0.001) and median absolute deviation for pre-restoration (0.30) to be less than both that of post-restoration (0.85) and post-fire (0.79) orthomosaics. In addition, there was statistically significant evidence to support the hypothesis of shifts in temperature distributions pre- and post-restoration (KS test 2009 vs. 2019, p < 0.001, D = 0.99; KS test 2019 vs. 2021, p < 0.001, D = 0.10). Moreover, we used a Generalized Additive Model (GAM) that included spatial and environmental predictors (i.e., canopy cover calculated from multispectral NDVI and photogrammetrically derived digital elevation model) to model TIR temperature from a transect along the main river channel. This model explained 89% of the deviance, and the predictor variables showed statistical significance. Collectively, our study underscored the potential of a multispectral/TIR sensor to assess thermal heterogeneity in large and complex river systems.

Barker, Matthew I. (ORCID:0000000252864930)↗

Addressing Critical Knowledge Gaps on Wildland Fires with UAS Technology

To better predict and respond to extreme fire behavior, wind shear, and superheated gases, there is a need for enhanced tactical microclimate wind forecasting. Collecting real-time or near-real-time three-dimensional atmospheric data during wildland fire suppression is vital for both ground firefighters and aviation safety. The use of balloons for soundings is not allowed due to aircraft operations, so new technology must be used. To address this need, the NASA FireSense Project has invested in co-developing and transitioning advanced technologies for atmospheric data collection to operational platforms to support decisions for wildland fire management. One of these technology investments has been with Uninhabited Aerial Systems (UAS) for atmospheric soundings. In collaboration with MITRE Corporation, a technology demonstration of Uninhabited Aerial Systems (UAS) for atmospheric soundings was held in Missoula, MT. This demonstration featured a NASA-designed payload on a Freefly Alta-X UAS, consistent with USFS UAS operations, balloon-borne soundings for data validation, and microscale modeling efforts. Results of this effort will be presented including comparison of forecasted conditions to data collection values as well as the impact on forecasts given real-time mixing heights and dispersion levels.

Jennifer Fowler↗

The Effect of Acoustic Disturbances on the Operation of the Space Shuttle Main Engine Fuel Flowmeter

The Space Shuttle Main Engine (SSME) uses a turbine fuel flowmeter (FFM) in its Low Pressure Fuel Duct (LPFD) to measure liquid hydrogen flowrates during engine operation. The flowmeter is required to provide accurate and robust measurements of flow rates ranging from 10000 to 18000 GPM in an environment contaminated by duct vibration and duct internal acoustic disturbances. Errors exceeding 0.5% can have a significant impact on engine operation and mission completion. The accuracy of each sensor is monitored during hot-fire engine tests on the ground. Flow meters which do not meet requirements are not flown. Among other parameters, the device is screened for a specific behavior in which a small shift in the flow rate reading is registered during a period in which the actual fuel flow as measured by a facility meter does not change. Such behavior has been observed over the years for specific builds of the FFM and must be avoided or limited in magnitude in flight. Various analyses of the recorded data have been made prior to this report in an effort to understand the cause of the phenomenon; however, no conclusive cause for the shift in the instrument behavior has been found. The present report proposes an explanation of the phenomenon based on interactions between acoustic pressure disturbances in the duct and the wakes produced by the FFM flow straightener. Physical insight into the effects of acoustic plane wave disturbances was obtained using a simple analytical model. Based on that model, a series of three-dimensional unsteady viscous flow computational fluid dynamics (CFD) simulations were performed using the MSFC PHANTOM turbomachinery code. The code was customized to allow the FFM rotor speed to change at every time step according to the instantaneous fluid forces on the rotor, that, in turn, are affected by acoustic plane pressure waves propagating through the device. The results of the simulations show the variation in the rotation rate of the flowmeter due to the interaction of the flow straightener wakes and the upstream propagating acoustic waves. A detailed analysis of the acoustic disturbance effects is presented along with an assessment of the impact on measurement accuracy.

Marcu, Bogdan↗

Mixing of Supersonic Streams

The Strutjet approach to Rocket Based Combined Cycle (RBCC) propulsion depends upon fuel-rich flows from the rocket nozzles and turbine exhaust products mixing with the ambient air for successful operation in the ramjet and scramjet modes. A model of the Strutjet device has been built and is undergoing test to investigate the mixing of the streams as a function of distance from the Strutjet exit plane. The modeling basis was centered on using convective Mach Number as the similarity parameter to establish correlation between subscale, cold flow tests and full scale, hot firing modes. This parameter has been used successfully to correlate supersonic shear layer growth rates. The experiment design includes hot (600 R) air as the rocket exhaust simulant and hot (760 R) carbon dioxide as the turbine exhaust gas simulant. The combination of gases and their elevated temperatures was required to achieve a convective Mach Number which matched the fall scale item design conditions. The carbon dioxide is seeded with Acetone to permit tracing of the mixing processes through Laser Induced Fluorescence (LIF) techniques. The experiment and its design will be discussed in detail. Both the rocket and turbine exhaust duct nozzles are of unique (square and rectangular) shape and the turbine exhaust e)dt intersects the rocket nozzle wall upstream of the exit. Cold flow testing with the individual nozzles has been conducted to ascertain their behavior in comparison to conventional flow theory. These data are presented.

Hawk, Clark W.↗

Development of Large-Scale Spacecraft Fire Safety Experiments

The status is presented of a spacecraft fire safety research project that is under development to reduce the uncertainty and risk in the design of spacecraft fire safety systems by testing at nearly full scale in low-gravity. Future crewed missions are expected to be more complex and longer in duration than previous exploration missions outside of low-earth orbit. This will increase the challenge of ensuring a fire-safe environment for the crew throughout the mission. Based on our fundamental uncertainty of the behavior of fires in low-gravity, the need for realistic scale testing at reduced gravity has been demonstrated. To address this gap in knowledge, a project has been established under the NASA Advanced Exploration Systems Program under the Human Exploration and Operations Mission directorate with the goal of substantially advancing our understanding of the spacecraft fire safety risk. Associated with the project is an international topical team of fire experts from other space agencies who conduct research that is integrated into the overall experiment design. The experiments are under development to be conducted in an Orbital Science Corporation Cygnus vehicle after it has undocked from the ISS. Although the experiment will need to meet rigorous safety requirements to ensure the carrier vehicle does not sustain damage, the absence of a crew removes the need for strict containment of combustion products. The tests will be fully automated with the data downlinked at the conclusion of the test before the Cygnus vehicle reenters the atmosphere. A computer modeling effort will complement the experimental effort. The international topical team is collaborating with the NASA team in the definition of the experiment requirements and performing supporting analysis, experimentation and technology development. The status of the overall experiment and the associated international technology development efforts are summarized.

Life Support↗

A Flexible Statechart-to-Model-Checker Translator

Many current-day software design tools offer some variant of statechart notation for system specification. We, like others, have built an automatic translator from (a subset of) statecharts to a model checker, for use to validate behavioral requirements. Our translator is designed to be flexible. This allows us to quickly adjust the translator to variants of statechart semantics, including problem-specific notational conventions that designers employ. Our system demonstration will be of interest to the following two communities: (1) Potential end-users: Our demonstration will show translation from statecharts created in a commercial UML tool (Rational Rose) to Promela, the input language of Holzmann's model checker SPIN. The translation is accomplished automatically. To accommodate the major variants of statechart semantics, our tool offers user-selectable choices among semantic alternatives. Options for customized semantic variants are also made available. The net result is an easy-to-use tool that operates on a wide range of statechart diagrams to automate the pathway to model-checking input. (2) Other researchers: Our translator embodies, in one tool, ideas and approaches drawn from several sources. Solutions to the major challenges of statechart-to-model-checker translation (e.g., determining which transition(s) will fire, handling of concurrent activities) are retired in a uniform, fully mechanized, setting. The way in which the underlying architecture of the translator itself facilitates flexible and customizable translation will also be evident.

Rouquette, Nicolas↗

Exploring thermal runaway propagation in Li-ion batteries through high-speed X-ray imaging and thermal analysis: Impact of cell chemistry and electrical connections

Battery safety design is important to consider from the individual Li-ion cell to the level of the macro-system. On the macro-level, failure in one single cell can lead to propagation of the thermal runaway and rapidly set a whole battery pack on fire. Factors that can impact the propagation outcome, such as cell model/chemistry and electrical connection are here investigated using a combination of measurements. Several abusive tests were conducted, combining two different cell models (Molicel P42A and LG M50, both 21700s) in series and parallel connections (16 tests per configuration). Overall, a propagation outcome of 56% was measured from the 32 conducted tests, a minimum temperature of 150 °C was required to initiate propagation, and the fastest propagation occurred in 123 s. Temperature measurements were higher in series connected cells, initiating the discussion of cell chemistry and internal resistance on this effect. The difference in current-flow during thermal runaway in series and parallel connections, and how this can affect the temperature evolution is further discussed. Spatio-temporal mapping of X-ray radiography allowed us to derive the speed of thermal runaway evolution inside the battery and has shown that series connected cells, in particular P42A, occur faster. It was further observed that deviant sidewall behaviors such as temperature-induced breaches and pressure-induced ruptures occurred in P42As only respective nail-penetrated cells only.

25 ENERGY STORAGE↗