Search NASA⌕ Search

SEARCH · Search NASA

Results for “Requirement analysis”

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 217 records · Page 12

Definition of technology development missions for early Space Station satellite servicing. Volume 2: Technical

Volume 2 contains the Technical Report of the approach and results of the Phase 2 study. The phase 2 servicing study was initiated in June 1983, and is being reported in this document. The scope of the contract was to: (1) define in detail five selected technology development missions (TDM); (2) conduct a design requirement analysis to refine definitions of satellite servicing requirements at the space station; and (3) develop a technology plan that would identify and schedule prerequisite precursor technology development, associated. STS flight experiments and space station experiments needed to provide onorbit validation of the evolving technology.

Cable, D. A.↗

Formalizing New Navigation Requirements for NASA's Space Shuttle

We describe a recent NASA-sponsored pilot project intended to gauge the effectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CRs) were selected as promising targets to demonstrate the utility of formal methods in this demanding application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System (GPS) technology, is the focus of this industrial usage report. Portions of the GPS CR were modeled using the language of SRI's Prototype Verification System (PVS). During a limited analysis conducted on the formal specifications, numerous requirements issues were discovered. We present a summary of these encouraging results and conclusions we have drawn from the pilot project.

DiVito, Ben L.↗

Formalizing and Analyzing Requirements with FRET

Formal verification and simulation are powerful tools to validate requirements against complex systems. Requirements are developed in early stages of the software lifecycle and are typically written in ambiguous natural language. There is a gap between such requirements and formal notations that can be used by verification tools, and lack of support for proper association of requirements with software artifacts for verification. We propose to write requirements in an intuitive, structured natural language with formal semantics, and to support formalization and model/code verification as a smooth, well-integrated process. To this end, we have developed an end-to-end, open source requirements analysis framework that checks Simulink models against requirements written structured natural language.

Mavridou, Anastasia↗

Development of The DOME Shield Model For The NRIC Virtual Test Bed

As several advanced reactor concepts are maturing, test beds are needed to accelerate the demonstration and deployment of these advanced nuclear technologies. The National Reactor Innovation Center (NRIC) is building new or enhancing existing US Department of Energy infrastructure to support testing of components and systems. Demonstration of Microreactor Experiments (DOME) will utilize the Experimental Breeder Reactor-II (EBR-II) dome containment structure to host reactor demonstrations. A reactor supplemental shielding is needed so that DOME dose requirements are met. To accelerate the confirmatory analysis required for the reactor demonstration, the NRIC Virtual Test Bed (VTB) is developing a virtual model of the DOME shield that will be made available on the VTB public repository. This will allow developers to leverage advanced modeling and simulation tools to ensure their reactor demonstration concept will meet dose requirement and the limit concrete temperature in the shield during steady state and transient operation conditions. This paper presents the model developed for the DOME shield using open-source tools: MOOSE heat transfer module, Monte Carlo code OpenMC, and Cardinal to calculate the DOME shield temperature distribution during steady state

22 - GENERAL STUDIES OF NUCLEAR REACTORS↗

Direct SERDS sensing of molecular biomarkers in plants under field conditions

Molecular biomarkers such as microRNAs (miRNAs) play important roles in regulating various developmental processes in plants. Understanding these pathways will help bioengineer designing organisms for efficient biomass accumulation. Current methods for RNA analysis require sample extraction and multi-step sample analysis, hindering work in field studies. Recent work in the incorporation of nanomaterials for plant bioengineering research is leading the way of an agri-tech revolution. As an example, surface-enhanced Raman scattering (SERS)–based sensors can be used to monitor RNA in vivo. However, the use of SERS in the field has been limited due to issues with observing Raman signal over complex background. To this end, shifted-excitation Raman difference spectroscopy (SERDS) offers an effective solution to extract the SERS signal from high background based on a physical approach. In this manuscript, we report the first application of SERDS on SERS sensors. We investigated this technique on SERS sensor developed for the detection of a microRNA biomarker, miR858. We tested the technique on in vitro samples and validated the technique by detecting the presence of exogenous miR858 in plants directly under ambient light in a growth chamber. The possibility of moving the detection of nucleic acid targets outside the constraints of laboratory setting enables numerous important bioengineering applications. Finally, such applications can revolutionize biofuel production and agri-tech through the use of nanotechnology-based monitoring of plant growth, plant health, and exposure to pollution and pathogens.

09 BIOMASS FUELS↗

CHARGE-MAP: An integrated framework to study the multicriteria EV charging infrastructure expansion problem

The widespread adoption of electric vehicles (EVs) in recent years has necessitated the development of effective charging infrastructures. However, charging infrastructure expansion is a multifaceted problem that requires careful consideration of the existing infrastructure, spatiotemporal distribution of charging demands, power-grid capacity, and budget constraints. Here, to approach this complex problem, we present CHARGE-MAP, a data-driven simulation-optimization framework, focused on ensuring meaningful charging experience for individual EV owners. CHARGE-MAP integrates three modules: an agent-based simulation module that estimates spatiotemporal distribution of charging demands by modeling EV adopter mobility and charging behavior; an optimization module that determines optimal new charging station/charger locations and capacities, while minimizing expected detour distances and wait-times with a limited number of new stations; and a power module that determines how to connect the stations to the power grid while maintaining its stability. Using the state of Virginia (consisting of 95 counties and 38 independent cities) as a case study, our results show that CHARGE-MAP can meet the demand of ~198,600 predicted EVs with 1,305 new public charging stations and 2,164 new chargers. It reduces average detour distances for charging by 66% and wait-times at stations by 72% compared to the existing infrastructure. Furthermore, transformer capacity requirement analysis reveals that only 1.8% of residential transformers require upgrades, while over 80% of commercial charging locations can be supported with modest transformer infrastructure (25 to 50 kVA). This indicates that targeted investments can facilitate cost-effective EV integration. Consequently, CHARGE-MAP provides policymakers and urban planners with crucial data-driven insights for effective EV charging infrastructure expansion. Sign up for PNAS alerts.

charging infrastructure↗

NASA Manned Launch Vehicle Lightning Protection Development

Historically, the National Aeronautics and Space Administration (NASA) relied heavily on lightning avoidance to protect launch vehicles and crew from lightning effects. As NASA transitions from the Space Shuttle to the new Constellation family of launch vehicles and spacecraft, NASA engineers are imposing design and construction standards on the spacecraft and launch vehicles to withstand both the direct and indirect effects of lightning. A review of current Space Shuttle lightning constraints and protection methodology will be presented, as well as a historical review of Space Shuttle lightning requirements and design. The Space Shuttle lightning requirements document, NSTS 07636, Lightning Protection, Test and Analysis Requirements, (originally published as document number JSC 07636, Lightning Protection Criteria Document) was developed in response to the Apollo 12 lightning event and other experiences with NASA and the Department of Defense launch vehicles. This document defined the lightning environment, vehicle protection requirements, and design guidelines for meeting the requirements. The criteria developed in JSC 07636 were a precursor to the Society of Automotive Engineers (SAE) lightning standards. These SAE standards, along with Radio Technical Commission for Aeronautics (RTCA) DO-160, Environmental Conditions and Test Procedures for Airborne Equipment, are the basis for the current Constellation lightning design requirements. The development and derivation of these requirements will be presented. As budget and schedule constraints hampered lightning protection design and verification efforts, the Space Shuttle elements waived the design requirements and relied on lightning avoidance in the form of launch commit criteria (LCC) constraints and a catenary wire system for lightning protection at the launch pads. A better understanding of the lightning environment has highlighted the vulnerability of the protection schemes and associated risk to the vehicle, which has resulted in lost launch opportunities and increased expenditures in manpower to assess Space Shuttle vehicle health and safety after lightning events at the launch pad. Because of high-percentage launch availability and long-term on-pad requirements, LCC constraints are no longer considered feasible. The Constellation vehicles must be designed to withstand direct and indirect effects of lightning. A review of the vehicle design and potential concerns will be presented as well as the new catenary lightning protection system for the launch pad. This system is required to protect the Constellation vehicles during launch processing when vehicle lightning effects protection might be compromised by such items as umbilical connections and open access hatches.

McCollum, Matthew B.↗

NASA Conjunction Assessment Risk Analysis (CARA) Updated Requirements Architecture

The NASA Conjunction Assessment Risk Analysis (CARA) program has been performing routine on-orbit satellite conjunction risk analysis for unmanned NASA spacecraft since 2005, and has developed a robust operations procedure and set of recommended best practices for operational conjunction assessment. However, a number of recent developments in Space Situational Awareness and commercial space operations conduct, such as the immanent deployment of much more sensitive space sensing systems and the launching of much larger satellite constellations, have begun to challenge these standard collision risk parameters and calculations. In response CARA has pursued a multi-year evaluation initiative to re-examine risk assessment algorithms and techniques, to develop needed improvements, and to assemble analysis-based operational requirements. This paper gives an overview of the principal parts of the Conjunction Assessment (CA) risk assessment process used at CARA, outlines the technical challenges that each part presents, surveys the possible solutions, and then indicates which particular solution is being recommended for NASA.

Newman, L. K.↗

Use of ERTS-1 data for regional planning in the Metropolitan Washington Council of Governments: A short brief

Land use and land use activity changes over discrete intervals of time represent basic data requirements in regional planning studies. Two examples of land use analysis required by the Council of Governments' transportation planning staff are described. Both were undertaken utilizing remote sensing imagery analysis. One study using large scale aircraft imagery developed a high degree of analytical detail and functional identification. The other, to support further detailed data base evaluation, utilizing ERTS-1 and small scale aircraft imagery, developed data identifying in more general detail major activity changes within the metropolitan region.

Mallon, H. J.↗

Systems Engineering Applied to the Development of a Wave Energy Farm.

A motivation for undertaking this stakeholder requirements analysis and Systems Engineering exercise is to document the requirements for successful wave energy farms to facilitate better design and better design assessments. A difficulty in wave energy technology development is the absence to date of a verifiable minimum viable product against which the merits of new products might be measured. A consequence of this absence is that technology development progress, technology value, and technology funding have largely been measured, associated with, and driven by technology readiness, measured in technology readiness levels (TRLs). Originating primarily from the space and defense industries, TRLs focus on procedural implementation of technology developments of large and complex engineering projects, where cost is neither mission critical nor a key design driver. The key deficiency with the TRL approach in the context of wave energy conversion is that WEC technology development has been too focused on commercial readiness and not enough on the stakeholder requirements and particularly economic viability required for market entry.

16 TIDAL AND WAVE POWER↗

Structural Analysis Results of Thermal, Operating and Seismic Analysis for Hanford Single-Shell Tank Integrity - 12261

Since Hanford's 149 Single-Shell Tanks (SSTs) are well beyond their design life, the U.S. Department of Energy has commissioned a state of the art engineering analysis to assess the structural integrity of the tanks to ensure that they are fit for service during the cleanup and closure phase. The structural integrity analysis has several challenging factors. There are four different tank sizes in various configurations that require analysis. Within each tank type there are different waste level and temperature histories, soil overburden depths, tank floor arrangements, riser sizes and locations, and other on-tank structures that need to be addressed. Furthermore, soil properties vary throughout the tank farms. This paper describes the structural integrity analysis that was performed for the SSTs using finite element models that incorporate the detailed design features of each tank type. The analysis was performed with two different models: an ANSYS static model for the Thermal and Operating Loads Analysis, and an ANSYS dynamic model for the seismic analysis. The TOLA analyses simulate the waste level and thermal history and it included a matrix of analysis cases that bounded the material property uncertainties. The TOLA also predicts the occurrence of concrete thermal degradations and cracking, reinforcement yielding, and soil plasticity. The seismic analysis matrix included uncertainty in waste properties, waste height and the soil modulus. In seismic analysis the tank concrete was modeled as a linear elastic material that was adjusted for the present day degraded conditions. Also, the soil was treated as a linear elastic material while special modeling techniques were used to avoid soil arching and achieve proper soil pressure on the tank walls. Seismic time histories in both the horizontal and vertical directions were applied to the seismic model. Structural demands from both Thermal and Operating Loads Analysis and seismic models were extracted in the form of section forces and moments for sections throughout the tank under the appropriate load combinations. These demands were evaluated against the American Concrete Institute (ACI) code requirements for nuclear safety-related concrete structures as defined in ACI-349-06. Structural integrity analysis of Hanford's Type II and Type III Single-Shell Tanks (SSTs) was performed using finite element models (ANSYS software) that incorporate the detailed design features of each tank type. The analysis was performed with two different models: a static model for the Thermal and Operating Loads Analysis, and a dynamic model for the seismic analysis. Structural demands from both Thermal and Operating Loads Analysis and seismic models were evaluated against the American Concrete Institute (ACI) code requirements for nuclear safety-related concrete structures as defined in ACI-349-06. The ratio of demand to capacity (D/C) was reported as a measure of structural integrity for the applicable ACI-349-06 load combinations. Although the Type II and Type III analysis matrix showed varying demands depending on the material combinations, all of the tank regions that are critical to structural stability passed the ACI 349-06 acceptance criteria. This was true for the conservative combination of maximum recorded thermal loads and maximum soil overburden depth combined with the analysis matrix of bounding material property combinations. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Strategic Analysis of the Development of High-Technology Manufacturing Facilities

The strategic analysis required in the development of manufacturing enterprises is considered. Such analysis takes account of the functioning of high-technology manufacturing facilities and changing paradigms of strategic management. The stages of strategic analysis are outlined, along with its place in the development of the enterprise’s management strategy. A standard technological model of comprehensive strategic analysis is formulated. The methodology for its systematic implementation in practice is outlined. This model will prove useful for senior management, managers responsible for developing the enterprise’s strategy, and marketing specialists.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

The computation of mesh configurations for three-dimensional flow analysis

A geometry modeling method was developed to define three-dimensional mesh configurations, which were expressed by the set of surface intersections with a coordinate mesh. These configurations define bodies for transonic potential-flow computation in simple physical coordinates. Various configurations were prepared for 3-D potential flow analysis, including many bare inlet models in cylindrical coordinates. Trimmed surface models were used to prepare nacelle installation configurations. A variety of ducts and mixers were represented. Analytically defined mesh/surface intersections were compared with similar data obtained from the corresponding surface model. Parameters for an analytic surface definition from mesh-surface intersections obtained from a model of the surface were produced. In both studies the modeling accuracy was shown to be compatible with the flow analysis requirements. This technique fulfills the requirements of the associated three-dimensional potential-flow analysis. It preserves the flow analysis method's superior flexibility for adapting to unusual geometries. The geometry modeling technique is supported by a sufficient set of tools for effective use by general users, and sufficient accuracy was demonstrated.

Gibson, S. G.↗

Ground Systems Development Environment (GSDE) interface requirements and prototyping plan

This report describes the data collection and requirements analysis effort of the Ground System Development Environment (GSDE) Interface Requirements study. It identifies potential problems in the interfaces among applications and processors in the heterogeneous systems that comprises the GSDE. It describes possible strategies for addressing those problems. It also identifies areas for further research and prototyping to demonstrate the capabilities and feasibility of those strategies and defines a plan for building the necessary software prototypes.

Church, Victor E.↗

LV software support for supersonic flow analysis

The software for configuring a Laser Velocimeter (LV) counter processor system was developed using structured design. The LV system includes up to three counter processors and a rotary encoder. The software for configuring and testing the LV system was developed, tested, and included in an overall software package for data acquisition, analysis, and reduction. Error handling routines respond to both operator and instrument errors which often arise in the course of measuring complex, high-speed flows. The use of networking capabilities greatly facilitates the software development process by allowing software development and testing from a remote site. In addition, high-speed transfers allow graphics files or commands to provide viewing of the data from a remote site. Further advances in data analysis require corresponding advances in procedures for statistical and time series analysis of nonuniformly sampled data.

Bell, William A.↗

LV software support for supersonic flow analysis

The software for configuring an LV counter processor system has been developed using structured design. The LV system includes up to three counter processors and a rotary encoder. The software for configuring and testing the LV system has been developed, tested, and included in an overall software package for data acquisition, analysis, and reduction. Error handling routines respond to both operator and instrument errors which often arise in the course of measuring complex, high-speed flows. The use of networking capabilities greatly facilitates the software development process by allowing software development and testing from a remote site. In addition, high-speed transfers allow graphics files or commands to provide viewing of the data from a remote site. Further advances in data analysis require corresponding advances in procedures for statistical and time series analysis of nonuniformly sampled data.

Bell, W. A.↗