Q: A Sound Verification Framework for Statecharts and Their Implementations.
Abstract not provided.
SEARCH · Search NASA
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.
Abstract not provided.
This project aimed to demonstrate a new molten salt electrodeposition process to go straight from low-cost silica at $200/tonne ($40¢/kg Si basis) to polysilicon in a single step using less than 30 kWh/kg. This would eliminate the carbothermic reduction step and all direct greenhouse emissions, along with 90% of the energy. It would also eliminate the chemical hazards of chlorosilane handling which have resulted in multiple fatalities in the polysilicon industry – in Japan, the US and China. This project had the following major accomplishments: Stakeholder engagement indicated that the solar silicon market is very sensitive to price, provided quality is sufficient. The most important measure of silicon quality is not purity but carrier lifetime, as many impurities can reduce performance at concentrations too small to measure; Experiments set a baseline of current efficiency which is too low for commercial application (~3%), with electronic current ruled out as a mechanism for reduced current efficiency; A scale-up plant narrative narrative described a potential plant and formed the basis for the TEA components; TEA showed that current efficiency, large cell size, and zirconia membrane lifetime are key factors which determine capital and operating costs for the process.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
This project extends the state of the art in formal verification modeling with modules and automatically checkable data-sharing patterns such that component modules can retain their assurance case when composed within a larger system. For users, smaller models make reasoning easier and help to ensure they accurately reflect text specifications. For automated methods, smaller models give exponential benefits for verification algorithm execution time.
Explore the source record for details and available documents.
This dataset contains twice or four times daily radiosonde observations of the atmosphere from the quarterly LTER ship transects. Variables include atmospheric pressure, temperature, relative humidity, wind speed, wind direction, north wind speed, and east wind speed. Note that variables are a function of height.
This dataset contains twice or four times daily radiosonde observations of the atmosphere at the Woods Hole weather station. Variables include atmospheric pressure, temperature, relative humidity, wind speed, wind direction, north wind speed, and east wind speed. Note that variables are a function of height.
Here, this research study employed an immersion-based micro-resolution ultrasonic velocity measurement technique (MUVT) to evaluate Grade 91 (9Cr-1Mo-V) steel welds. This process utilized a 20 MHz focused ultrasonic beam with a spot size of 250 µm, a 6 µm laser vibrometer spot size for detection, and an automated 3-axis raster scanner to accurately collect ultrasonic velocity data from two Grade 91 steel welds fabricated using cold metal transfer (CMT) and flux-cored arc welding (FCAW) processes. By analyzing the MUVT data, the Poisson’s ratio (υ) and modulus of elasticity (E), which are important mechanical properties for weldments, were calculated. The correlation between mechanical properties and ultrasonic velocity was examined. The results indicated that longitudinal ultrasonic velocity could effectively identify base metal, heat-affected zone (HAZ), and weld metal areas, showing a strong correlation with hardness. In particular, the distinctive V-shaped dip in velocity and hardness data across the HAZ areas of both samples highlighted changes in the microstructure of creep strength–enhanced ferritic steel welds. Importantly, the immersion-based MUVT demonstrated high accuracy in small sections of the weld, surpassing the conventional contact ultrasonic testing method in spatial resolution detection.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Numerical difficulties, notably the non-monotonic behavior of the Wood speed of sound and the volume fraction positivity, associated with the reduced five-equation two-phase flow model of Kapila et al. (2001) [A.K. Kapila, R. Menikoff, J.B. Bdzil, S.F. Son, D.S. Stewart, 2001. Two-phase modeling of deflagration-to-detonation transition in granular materials: reduced equations, Physics of Fluids 13(10), 3002–3024] have been resolved in the past through the introduction of a frozen speed of sound and an algebraic approach for mechanical relaxation afforded by a pressure non-equilibrium six-equation model proposed by [R. Saurel, F. Petitpas, R.A. Berry, 2009. Simple and efficient relaxation methods for interfaces separating compressible fluids, cavitating flows and shocks in multiphase mixture, J. Comput. Phys. 228, 1678–1712]. By contrast, it is explored and demonstrated in this work that these difficulties can in fact still be resolved within the numerical scheme for solving the reduced five-equation model by numerically replacing the Wood speed of sound for the estimates of wave speeds in the approximate Riemann solver HLLC with the monotonic mixture speed of sound for a transport five-equation model. For shock interface (artificial mixture separating pure or nearly pure fluids) interaction problems, with the apparent advantage of monotonic behavior of the speed of sound in the interface, the effect of the numerical replacement is also confined to the interface. Differences other than the behavior of the speed of sound within the interface in the solutions due to the replacement diminish with increasing resolution when reasonable solution can be obtained with Wood speed of sound. For cavitating/expansion problems in physical fluid mixture, it is pointed out and explained why acoustics in the numerical solutions still propagate at the Wood speed of sound (therefore consistent with the reduced five-equation model) even though in some cases a much higher speed of sound like the numerical replacement above for solving the reduced five-equation model or the frozen speed of sound for solving a six-equation model is used for the estimates of wave speeds in the HLLC scheme. A variant of the five-equation two-phase flow model by Saurel et al. (2008) [R. Saurel, F. Petitpas, R. Abgrall, 2008. Modelling phase transition in metastable liquids: application to cavitating and flashing flows, J. Fluid Mech. 607, 313–350] is then constructed for liquid-vapor phase transition in cavitating flows. The relaxation toward thermo-chemical equilibrium during phase transition is achieved by solving a simple system of algebraic equations for the equilibrium state variables for better efficiency, following Pelanti and Shyue (2014) [M. Pelanti, K.-M. Shyue, 2014. A mixture-energy-consistent six-equation two-phase numerical model for fluid with interfaces, cavitation and evaporation waves. J. Comput. Phys. 259, 331–357]. Therefore, the current model retains both the simplicity afforded by the five-equation model and the efficiency of the algebraic relaxation solver. An alternative algebraic approach for handling the non-conservative term (the so-called K∇ · u term) in the reduced five-equation model for mechanical equilibrium of a liquid-vapor mixture is also explored by enforcing the thermal equilibrium at the same time. Finally, numerical results of sample tests in both one and two dimensions in the literature as well as that in three dimensions demonstrate the effectiveness and ability of the proposed model to simulate cavitating flows. An interesting mechanism of shock generation by acoustics in water due to phase transition is then found by the numerical simulations.
Although most binaural organisms locate sound sources using neurological structures to amplify the sounds they hear, some animals use mechanically coupled hearing organs instead. One of these animals, the parasitoid fly Ormia ochracea (O. ochracea), has astoundingly accurate sound localization abilities. It can locate objects in the azimuthal plane with a precision of 2°, equal to that of humans, despite an intertympanal distance of only 0.5 mm, which is less than 1/100th of the wavelength of the sound emitted by the crickets that it parasitizes. O. ochracea accomplishes this feat via mechanically coupled tympana that interact with incoming acoustic pressure waves to amplify differences in the signals received at the two ears. In 1995, Miles et al developed a model of hearing mechanics in O. ochracea that represents the tympana as flat, front-facing prosternal membranes, though they lie on a convex surface at an angle from the flies' frontal and transverse planes. The model works well for incoming sound angles less than ±30° but suffers from reduced accuracy (up to 60% error) at higher angles compared to response data acquired from O. ochracea specimens. Despite this limitation, it has been the basis for bio-inspired microphone designs for decades. Here, we present critical improvements to this classic hearing model based on information from three-dimensional reconstructions of O. ochracea's tympanal organ. We identified the orientation of the tympana with respect to a frontal plane and the azimuthal angle segment between the tympana as morphological features essential to the flies' auditory acuity, and hypothesized a differentiated mechanical response to incoming sound on the ipsi- and contralateral sides that depend on these features. We incorporated spatially-varying model coefficients representing this asymmetric response, making a new quasi-two-dimensional (q2D) model. The q2D model has high accuracy (average errors of under 10%) for all incoming sound angles. This improved biomechanical model may inform the design of new microscale directional microphones and other small-scale acoustic sensor systems.