Search NASA⌕ Search

SEARCH · Search NASA

Results for “Requirements Verification”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS2019

Bridging the Gap Between Requirements and Model Analysis: Evaluation on Cyber-Physical Challenge Problems

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.

Simulink↗
NASA NTRS2000

Category V Compliant Container for Mars Sample Return Missions

A novel containerization technique that satisfies Planetary Protection (PP) Category V requirements has been developed and demonstrated on the mock-up of the Mars Sample Return Container. The proposed approach uses explosive welding with a sacrificial layer and cut-through-the-seam techniques. The technology produces a container that is free from Martian contaminants on an atomic level. The containerization technique can be used on any celestial body that may support life. A major advantage of the proposed technology is the possibility of very fast (less than an hour) verification of both containment and cleanliness with typical metallurgical laboratory equipment. No separate biological verification is required. In addition to Category V requirements, the proposed container presents a surface that is clean from any, even nonviable organisms, and any molecular fragments of biological origin that are unique to Mars or any other celestial body other than Earth.

Containers↗
DOE OSTI2025

Verification of the PERSENT Software

Ongoing commercial design activities require a thorough verification of the Argonne Reactor Computation codes be performed. DIF3D is central to this system and substantial work has been done to verify its accuracy on several identified commercial needs. This manuscript details the verification work done on PERSENT which relies upon the DIF3D code for its forward and adjoint flux solution. Previous work identified the PERSENT features required to be verified to support commercial design activities, features of which are generally applicable to hexagonal-Z fast reactor designs. The scope of this verification effort includes verifying PERSENT’s ability to correctly calculate four key quantities: perturbation worth distributions, kinetics parameters, sensitivity coefficients, and cross section uncertainty quantification. This manuscript provides the verification tasks and their results with respect to these quantities needed for commercial design activities. For the perturbation worth distributions, hand calculations are deployed to verify the PERSENT calculated results. Similarly, hand calculation of the PERSENT computed kinetics parameters is also used to verify the PERSENT results. In both of these, the input to PERSENT is manipulated to ensure the hand calculation exactly matches the equations PERSENT is calculating. The sensitivity coefficients involve calculating the derivatives of a parameter (such as reactivity worth), with respect to the cross section data. Direct finite difference calculations with DIF3D are used to verify the PERSENT calculated results. For the uncertainty quantification, manufactured input to PERSENT is used to allow an exact hand calculation to reproduce the PERSENT calculated results. The work detailed in this report verified that significant issues were identified for earlier versions of PERSENT for sensitivity coefficients which were corrected in this work and thus version 12.1.0 of PERSENT must be used to reproduce all of the verified work in this report.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
DOE OSTI2025

Developing a Prototype Methodology to Rank CO2-EOR Wells and Assess Their Reuse Potential for Geologic Carbon Sequestration

This study presents a prototype methodology for evaluating the reuse potential of Class II CO₂-enhanced oil recovery (CO₂-EOR) wells as Class VI wells for geologic carbon sequestration. The approach focuses on assessing wellbore construction materials—casing, cement, tubing, and packers—based on U.S. Environmental Protection Agency (EPA) Class VI well conversion guidelines. Utilizing Python scripts and JSON representations, the methodology automates checks on digitized Texas Railroad Commission (TRRC) data to rank wells based on regulatory and integrity criteria. Key factors include casing integrity, cementing techniques, tubing compatibility, and packer selection. Due to limitations in digitized data, manual verification is required for certain sections. Future enhancements include incorporating non-digitized data via web scraping and machine learning. This research provides a practical framework for well owners and regulators, supporting informed decision-making for sustainable CO₂ storage.

carbon sequestration↗
NASA NTRS1962

Linearized Theory of Wind-tunnel Jet-boundary Corrections and Ground Effect for VTOL-STOL Aircraft

A linearized theory is developed to obtain interference factors for wind tunnels and ground effect. The calculated results, presented in tabular form in NASA Technical Notes D-933, D-934, D-935, and D-936, indicate that the degree to which the wake is deflected downward has a primary effect on the magnitude of the interference. When the wake is undeflected the corrections are essentially the same as those of classical theory. When the wake is deflected severely downward, the corrections are primarily determined by the floor of the wind tunnel. Under these conditions, the corrections are, in general, much larger than those given by previously available results. Because of deformations at the lower boundary of the jet, the corrections for an open wind tunnel are uncertain. Testing at low speeds and high lift coefficients in open wind tunnels, therefore, is not recommended. Although the theory is developed expressly for single-element, vanishingly small models, methods, with sample calculations, are given for extending the results to multielement and finite span models. The theory is at least partially verified by available test data; however, complete verification would require a substantially more detailed experimental study.

V/STOL aircraft↗
NASA NTRS1971

Preliminary criteria for the fracture control of space shuttle structures

The complex and multidisciplinary factors are presented which relate to the prevention of structural failure due to the initiation or propagation of cracks or crack-like defects. The fracture control criteria are applicable to space shuttle components which are: (1) susceptible to cracking or fracture on the basis of anticipated loads and environment, and (2) critical to either crew safety or system performance. The criteria define the design, fabrication, environmental control, inspection, maintenance, repair, and verification procedures required for adequate fracture control.

Source record↗
NASA NTRS1973

The theory of charged particle temperatures in the upper atmosphere.

The thermal structure of the earth's upper atmosphere is examined in detail, with emphasis on the physical processes that govern the behavior of charged-particle temperatures. The characteristic features of and competition between the heating, cooling, and thermal conduction processes that govern electron and ion temperatures in the mid-latitude and auroral ionospheric regions are theoretically analyzed, and appropriate comparisons are made with experimental data. The proposed elaborate theory is considered qualitatively successful in accounting for the thermal structure of the ionosphere, and points requiring quantitative verification are delineated.

Schunk, R. W.↗
NASA NTRS1974

In flight ground control of high drag satellites utilizing on-board accelerometer data and rapid orbit prediction techniques

High drag satellites frequently require precise verification of orbital maneuvers and the accurate prediction of perigee height. An in-flight ground support system designed to monitor and compute orbital state and maneuvers is described. The use of on-board three-axis accelerometer data in a flight support software system to perform on-line maneuver analysis and atmospheric model updating is discussed. In addition, automated analytic techniques to rapidly and accurately predict perigee height following a maneuver are described, as well as semianalytic averaging techniques designed to predict a decaying orbital state for mission control.

Fuchs, A. J.↗
NASA NTRS1975

Strainrange Partitioning - A tool for characterizing high-temperature low-cycle fatigue

The basic concepts of Strainrange Partitioning are reviewed, with particular reference to the areas requiring expanded verification. A cooperative program is proposed for achieving this broader verification through the additional experience provided by the participants in this program. The suggested program includes verification of the four basic life relationships (for PP, CC, PC, and CP type inelastic strainranges) for a variety of materials chosen by the participating organizations. The four relationships are then used in conjunction with the Interaction Damage Rule to predict the cyclic lives of tests involving various combinations of the basic strainrange components. The testing program also includes evaluation of the degree of insensitivity of these relationships to temperature as well as their utility in representing bounds on life.

Hirschberg, M. H.↗
NASA NTRS1978

Satellite power systems (SPS) concept definition study. Volume 7: SPS program plan and economic analysis, appendixes

Three appendixes in support of Volume 7 are contained in this document. The three appendixes are: (1) Satellite Power System Work Breakdown Structure Dictionary; (2) SPS cost Estimating Relationships; and (3) Financial and Operational Concept. Other volumes of the final report that provide additional detail are: Executive Summary; SPS Systems Requirements; SPS Concept Evolution; SPS Point Design Definition; Transportation and Operations Analysis; and SPS Technology Requirements and Verification.

Hanley, G.↗
NASA NTRS1979

Hg ion thruster component testing

Electron bombardment thrusters, under development to provide both auxiliary and primary propulsion functions for a large variety of space missions are tested. Thruster design verification which requires life tests of durations of the order of the time anticipated in space applications, are discussed. The life time and reliability of an electron bombardment thruster is dependent upon the performance of several critical components including cathodes, vaporizers, and isolators. The performances of the cathode, vaporizer, and propellant isolaters during fatigue analyses are examined.

Mantenieks, M. A.↗
NASA NTRS1980

An effective combined environment test facility

A critical missile component required operational verification while subjected to combined environments within and beyond flight parameters. The testing schedule necessitated the design and fabrication of a test facility in order to provide the specified temperatures combined with humidity, altitude and vibration.

Deitch, A.↗
NASA NTRS1982

Results of the mission profile life test

Seven J series 30-cm diameter thrusters have been tested in segments of up to 5,070 hr, for 14,541 hr in the Mission Profile Life Test facility. Test results have indicated the basic thruster design to be consistent with the lifetime goal of 15,000 hr at 2-A beam. The only areas of concern identified which appear to require additional verification testing involve contamination of mercury propellant isolators, which may be due to facility constituents, and the ability of specially covered surfaces to contain sputtered material and prevent flake formation. The ability of the SCR, series resonant inverter power processor to operate the J series thruster and autonomous computer control of the thruster/processor system were demonstrated.

Bechtel, R. T.↗
NASA NTRS1988

Constrained structural dynamic model verification using free vehicle suspension testing methods

Verification of the validity of a spacecraft's structural dynamic math model used in computing ascent (or in the case of the STS, ascent and landing) loads is mandatory. This verification process requires that tests be carried out on both the payload and the math model such that the ensuing correlation may validate the flight loads calculations. To properly achieve this goal, the tests should be performed with the payload in the launch constraint (i.e., held fixed at only the payload-booster interface DOFs). The practical achievement of this set of boundary conditions is quite difficult, especially with larger payloads, such as the 12-ton Hubble Space Telescope. The development of equations in the paper will show that by exciting the payload at its booster interface while it is suspended in the 'free-free' state, a set of transfer functions can be produced that will have minima that are directly related to the fundamental modes of the payload when it is constrained in its launch configuration.

Blair, Mark A.↗
NASA NTRS1989

Experience with advanced instrumentation in a hot section cascade

The Lewis Research Center gas turbine Hot Section Test Facility was developed to provide a real engine environment with known boundary conditions for the aerothermal performance evaluation and verification of computer design codes. This verification process requires experimental measurements in a hostile environment. The research instruments used in this facility are presented, and their characteristics and how they perform in this environment are discussed. The research instrumentation consisted of conventional pressure and temperature sensors, as well as thin-film thermocouples and heat flux gages. The hot gas temperature was measured by an aspirated temperature probe and by a dual-element, fast-response temperature probe. The data acquisition mode was both steady state and time dependent. These experiments were conducted over a wide range of gas Reynolds numbers, exit gas Mach numbers, and heat flux levels. This facility was capable of testing at temperatures up to 1600 K, and at pressures up to 18 atm. These corresponded to an airfoil exit Reynolds number range of 0.5 x 10(6) to 2.5 x 10(6) based on the airfoil chord of 5.55 cm. The results characterize the performance capability and the durability of the instrumentation. The challenge of making measurements in hostile environments is also discussed. The instruments exhibited more than adequate durability to achieve the measurement profile. About 70 percent of the thin-film thermocouples and the dual-element temperature probe survived several hundred thermal cycles and more than 35 hr at gas temperatures up to 1600 K. Within the experimental uncertainty, the steady-state and transient heat flux measurements were comparable and consistent over the range of Reynolds numbers tested.

Yeh, Frederick C.↗
NASA NTRS1989

Frame synchronization methods based on channel symbol measurements

The current DSN frame synchronization procedure is based on monitoring the decoded bit stream for the appearance of a sync marker sequence that is transmitted once every data frame. The possibility of obtaining frame synchronization by processing the raw received channel symbols rather than the decoded bits is explored. Performance results are derived for three channel symbol sync methods, and these are compared with results for decoded bit sync methods reported elsewhere. It is shown that each class of methods has advantages or disadvantages under different assumptions on the frame length, the global acquisition strategy, and the desired measure of acquisition timeliness. It is shown that the sync statistics based on decoded bits are superior to the statistics based on channel symbols, if the desired operating region utilizes a probability of miss many orders of magnitude higher than the probability of false alarm. This operating point is applicable for very large frame lengths and minimal frame-to-frame verification strategy. On the other hand, the statistics based on channel symbols are superior if the desired operating point has a miss probability only a few orders of magnitude greater than the false alarm probability. This happens for small frames or when frame-to-frame verifications are required.

Dolinar, S.↗
NASA NTRS1991

Experiments for locating damaged truss members in a truss structure

Locating damaged truss members in large space structures will involve a combination of sensing and diagnostic techniques. Methods developed for damage location require experimental verification prior to on-orbit applications. To this end, a series of experiments for locating damaged members using a generic, ten bay truss structure were conducted. A 'damaged' member is a member which has been removed entirely. Previously developed identification methods are used in conjunction with the experimental data to locate damage. Preliminary results to date are included, and indicate that mode selection and sensor location are important issues for location performance. A number of experimental data sets representing various damage configurations were compiled using the ten bay truss. The experimental data and the corresponding finite element analysis models are available to researchers for verification of various methods of structure identification and damage location.

Mcgowan, Paul E.↗
NASA NTRS1992

Solidification in immiscible systems: The influence of processing conditions on resulting microstructures

Research carried out over the past two decades in which attempts have been made to produce desirable microstructures in immiscible alloys is reviewed. Factors affecting the formation of desirable microstructures in immiscible alloys are addressed and some of the techniques that have been successful in controlling these factors in order to produce useful structures are discussed. Some of the intended applications of these alloys require a dispersion of one phase in the other, while other applications favor the use of aligned, fibrous microstructures with continuity of both phases. The microstructures obtained in immiscible alloys are often strongly influenced by processing conditions. Perhaps the most well known effect is gravity induced sedimentation of the denser immiscible phase during solidification. This difficulty with sedimentation led to low gravity processing in attempts to produce dispersed microstructures. However, experimentation under low gravity conditions soon revealed that many other factors, including wetting of the crucible walls and surface tension driven flows, often resulted in complete separation and coalescence of the two immiscible phases. The production of aligned fibrous microstructures in hypermonotectic alloys appears to be even more difficult than the formation of a dispersion. Here, in addition to sedimentation and crucible wetting, convective and interfacial instabilities must be considered as well. Calculation of the limits of stability during directional solidification were carried out but require experimental verification.

Andrews, J. Barry↗