SEARCH · Engineering Papers
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.
More and more companies and organizations are recognizing the benefits to be gained by achieving ISO 9000 registration.
We present a framework for introducing high-level requirement specifications in the automated analysis of dataflow models. By integrating the FRET requirements elicitation tool with the CoCoSim analyzer, our framework enables the analysis of hierarchical Simulink models against requirements written in a restricted English language. More precisely, we support: automatic extraction of Simulink model information and association of high-level requirements with target model signals and components; translation of temporal logic formulas into synchronous dataflow CoCoSpec specifications as well as Simulink monitors; and interpretation of counterexamples produced by the analysis both at the requirement and model level. The features provided by our framework are generic and can be used to integrate other requirements elicitation and Simulink/Lustre analysis tools. We report on the lessons learned from the application of our approach to the Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems. For the analysis, we used the Kind2, Zustre, and Simulink Design Verifier (SLDV) tools.
NASA’s Artemis program plans to have a sustainable lunar base deployed on the Moon by 2028. The base calls for a foundation surface habitat that can support a crew of four members for a minimum mission duration of 28-days. The lack of a magnetic field and significant lunar atmosphere extends the lifetime of secondary radiation emitted from metallic structures, which is a health hazard for exposed astronauts. Integration of non-metallic structural materials into surface habitat design may alleviate some of these concerns. Additionally, it is favorable for the structure to be collapsible for transportation to optimize payload volume, mass efficiency, and monetary constraints. As a result, inflatable structures are being investigated due to their improved packing efficiency at launch, optimal mass-to-volume ratio, and large surface area that can efficiently disperse structural loads and heat. Currently, only two inflatable airlocks have been deployed in space. Thus, there is a significant need to advance technologies associated with inflatable structures to provide greater options for future missions, i.e., Artemis and beyond. This study focused on the inflatable lunar habitat applications of emerging NASA Langley Research Center (LaRC) technologies and their required development steps to become space qualified. The Bowling Habitat architecture was generated from 13 of these NASA LaRC technologies, five of which were deemed critical, five determined as enhancing technologies, and three were classified as transformational technologies for the Artemis program. To address the payload constraints, the study also considered a tentative timeline that aligned with the current Artemis schedule for transporting the Bowling Habitat to the Moon. Ultimately, the Bowling Habitat mainly addressed the structural needs of an inflatable lunar habitat, meaning that major areas pertaining to the life-style aspects of the habitat must be improved. Areas include, but are not limited to, hard connection points, the monitoring of human health, and extra radiation protection for solar proton events.
A typical aircraft certification process consists of obtaining a type, production, airworthiness, and continued airworthiness certificates. During this process, a type certification plan is created that includes the intended regulatory operating environment, the proposed certification basis, means of compliance, and a list of documentation to show compliance. Earlier work by the authors demonstrated a model-based framework for the management of these certification artifacts for normal category airplanes. Presently, it is expanded and adapted to consider certification for transport category airplanes regulated under 14 CFR Part 25, providing clear transparency and traceability between the text of the regulations and imposed requirements, contextual information, and specified test activities. In particular, a capability to identify potential gaps in the applicability of regulations for novel architectures such as electrified aircraft is proposed. This capability, based on mismatches between the functional intent and the corresponding prescribed physical implementation, is developed. A sample implementation of the proposed capability is presented for a notional electrified powertrain aircraft architecture.
We present an experimental analysis of the change in the electric field enhancement factor with varying gap size and penetration depth (P.D) of cathode into anode for a coaxial vacuum gap, diagnosed using Fowler–Nordheim analysis and optical imaging via scanning electron microscope (SEM) and time integrated Digital single lens reflex camera (DSLR). Data were collected on the Coaxial Gap Breakdown Machine (240 A, 25 kV, 150 ns, 0.1 Hz). Experiments using five different gap sizes at nine different P.Ds are compared over runs comprising 50 shots for each case. The results show a strong link between enhancement factor and gap size, with P.D and surface topology. For large gap sizes, 150, 330, and 700 μm, the average enhancement factor value increases with increasing P.D. For smaller gap sizes, 50 and 100 μm, the average enhancement factor decreases with P.D. SEM imaging before and after plasma formation for each gap size allows for quantifying surface finish, microprotrusion growth, average blast diameter, and an estimation of the surface area breakdowns occupy. Time integrated DSLR imaging analysis of the gap at each shot allows for a determination of the distribution of breakdowns about the circumference of the gap for each case tested. Here, the Fowler–Nordheim analysis allows for a quantitative analysis of the surface roughness of all gap sizes tested. Results show that for large gap sizes, the gap geometry and increasing area of breakdown is the main cause for increasing average enhancement factor. For small gap sizes, the dominant driving factor for small average enhancement factors—that subsequently decrease with P.D—is significant changes in surface topology due to an increased number of breakdowns.
Formal verification and simulation are powerful tools for the verification of requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically expressed in natural language. There is a gap between such requirements and their software implementations.We present a framework that bridges this gap by supporting a tight integration and feedback loop between high-level requirements and their analysis against software artifacts. Our framework implements an analysis portal within the fret requirements elicitation tool, thus forming an end-to-end, open-source environment where requirements are written in an intuitive, structured natural language, and are verified automatically against Simulink models.
Formal veri fication and simulation are powerful tools for the veri fication of requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically expressed in natural language. There is a gap between such requirements and their software implementations. We present a framework that bridges this gap by supporting a tight integration and feedback loop between high-level requirements and their analysis against software artifacts. Our framework implements an analysis portal within the fret requirements elicitation tool, thus forming an end-to-end, open-source environment where requirements are written in an intuitive, structured natural language, and are veri fied automatically against Simulink models.
Here, the nature of the superconducting order parameter in Sr 2 RuO 4 has generated intense interest in recent years. Since the superconducting gap is very small, high-resolution methods such as scanning tunneling spectroscopy might be the best chance to directly resolve the gap symmetry. Recently, a Bogoliubov quasiparticle interference imaging (BQPI) experiment has suggested that the d x 2 –y 2 gap symmetry is appropriate for Sr 2 RuO 4 . In this work, we use a material-specific theoretical approach based onWannier functions of the surface of Sr 2 RuO 4 to calculate the continuum density of states as detected in scanning tunneling microscopy experiments. We examine several different proposed gap order parameters and calculate the expected BQPI pattern for each case. Comparing to the available experimental data, our results suggest that a s' + id xy gap order parameter is the most probable state, but the measured BQPI patterns still display features unaccounted for by the theory for any of the states currently under discussion.
As part of a United States Department of Energy (DOE) supported retrospective analysis of DOE's Play Fairway Analysis (PFA) projects, the National Renewable Energy Laboratory (NREL) compiled and analyzed publicly available geothermal exploration datasets to identify and highlight data gaps in areas prospective for hosting geothermal resources. The analysis was intended to understand the existing geographic coverage of selected datasets commonly utilized both by the PFA projects and geothermal developers during resource assessments including geologic mapping, temperature gradient drilling, and aeromagnetic, gravimetric, and lidar surveys. Results indicate that broad areas of the western United States estimated to have geothermal potential lack sufficient geologic and geophysical coverage necessary for even regional resource exploration. The study directly informed the recent Geoscience Data Acquisition for Western Nevada, or GeoDAWN - which united DOE's Geothermal Technologies Office (GTO) with the U.S. Geological Survey (USGS) of the U.S. Department of the Interior to assist U.S. needs for energy and critical minerals. The study also has the potential to inform public investment in further data acquisition for characterization of the Earth both for geothermal and other natural resource assessments.
An optical measurement system (OMS) has been designed and tested for a large gap magnetic suspension system (LGMSS). The LGMSS will be used to study control laws for magnetic suspension systems for vibration isolation and pointing applications. The LGMSS features six degrees of freedom and consists of a planar array of electromagnets that levitate and position a cylindrical element containing a permanent magnet core. The OMS provides information on the location and orientation of the element to the LGMSS control system to stabilize suspension. The hardware design of this optical sensing system and the tracking algorithms are presented. The results of analyses and experiments are presented that define the accuracy limits of the optical sensing system and that quantify the errors in position estimation.
This report represents an assessment of the gaps in Mechanistic Source Term (MST) and consequence assessment modeling for Molten Salt Reactors (MSRs). The current capabilities for MELCOR and the MELCOR Accident Code System (MACCS) are discussed, along with updates needed in order to address specific needs for MSRs. A test plan developed by Argonne National Laboratories is discussed as addressing some of these gaps, while some will require additional attention. Further recommendations are made on addressing these gaps. This report satisfies the DOE NE Milestone M2RD-21SN0601061 to leverage MELCOR and MACCS to identify parameters of importance for source term assessments for salt spill experiments.
The mission of VAERA (VTOL Analysis for Emergency Response Applications) is to enable the design, development, and analysis of emergency response rotorcraft for different disaster scenarios. The project’s current focus is on improving crewed and uncrewed rotorcraft for wildfire relief efforts. This paper presents background information on the current state of the art for wildfire-fighting crewed and uncrewed rotorcraft, current wildfire operations, handling and flying qualities considerations of similar vehicles, and the limitations of uncrewed sub-1000 lb commercial off the shelf (COTS) rotorcraft that could be (and sometimes are) used for different wildfire missions. Technology gaps that are currently limiting rotorcraft firefighting capabilities are identified using the background information, and a plan of how to address each of the identified technology gaps is presented. In this paper, the key technology gaps identified for rotorcraft in the wildfire environment include: poor performance and handling/flying qualities, inadequate or nonexistent categorization of handling qualities, unvalidated flight dynamics turbulence modeling approaches, and inadequate subsystems for wildfire missions. While numerous concerns for rotorcraft operating in the wildfire environment exist, this paper focuses on those issues that are either not being addressed by others, or that require more attention. The goals of this paper are to both educate the public on critical technology gaps for wildfire-fighting rotorcraft that have not gained significant traction in the public domain, and to explain the work required to address those technology gaps.
The interplay between electron–electron interactions and weak localization (or anti-localization) phenomena in two-dimensional systems can significantly enhance the superconducting transition temperature. For this work, we develop the theory of quantum fluctuations within such multifractally enhanced superconducting states in thin films. In conditions of weak disorder, we employ the Finkel’stein nonlinear sigma model to derive an effective action for the superconducting order parameter and the quasiclassical Green’s function, meticulously accounting for the influence of quantum fluctuations. This effective action, applicable for interactions of any strength, reveals the critical role of well-known collective modes in a dirty superconductor, and its saddle-point analysis leads to modified Usadel and gap equations. These equations comprehensively incorporate the renormalizations stemming from the interplay between interactions and disorder, resulting in the non-trivial energy dependence of the gap function. Notably, our analysis establishes a direct relation between the self-consistent gap equation at the superconducting transition temperature and the known renormalization group equations for interaction parameters in the normal state.
This dataset contains a collection of machine learning assisted gap-filled discharge data created for all discharge stations across the East River Watershed, Colorado. This data was generated by using raw discharge data collected by Rosemary Carroll, and conducting a random forest machine learning analysis to gap-fill discharge data across all years at the hourly time level. Discharge data with gaps creates problems for analysis of measured and modeled fluxes of carbon and nitrogen exported out of each sub-watershed. Gap-filled data is also required as an input to surface water models, which helps to address our main research question related to how snowmelt timing impacts the timing and magnitude of nitrogen exports. Data is provided in one csv file.
This work discusses the propagation of errors for the recovery of the shear rate from wide-gap concentric cylinder viscometric measurements of non-Newtonian fluids. A least-square regression of stress on angular velocity data to a system of arbitrary functions is used to propagate the errors for the series solution to the viscometric flow developed by Krieger and Elrod (1953) and Pawlowski (1953) ('power-law' approximation) and for the first term of the series developed by Krieger (1968). A numerical experiment shows that, for measurements affected by significant errors, the first term of the Krieger-Elrod-Pawlowski series ('infinite radius' approximation) and the power-law approximation may recover the shear rate with equal accuracy as the full Krieger-Elrod-Pawlowski solution. An experiment on a clay slurry indicates that the clay has a larger yield stress at rest than during shearing, and that, for the range of shear rates investigated, a four-parameter constitutive equation approximates reasonably well its rheology. The error analysis presented is useful for studying the rheology of fluids such as particle suspensions, slurries, foams, and magma.
Abstract not provided.
Abstract not provided.
The goal of the current study is to identify scenarios for which thermal and moisture effects become significant in the loading of a composite structure. In the current work, a simple configuration was defined, and material properties were selected. A Fortran routine was created to automate the mesh generation process. The routine was used to create the models for the initial mesh refinement study. A combination of element length and width suitable for further studies was identified. Also, the effect of the overlap length and gap length on computed shear and through-thickness stresses along the bondline of the joints was studied for the mechanical load case. Further, the influence of neighboring gaps and overlaps on these joint stresses was studied and was found to be negligible. The results suggest that for an initial study it is sufficient to focus on one configuration with fixed overlap and gap lengths to study the effects of mechanical, thermal and moisture loading and combinations thereof on computed joint stresses