Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Verification study”

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 847 records · Page 47
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Analysis of the Value Added When Deploying a Model-Based Approach for the Validation and Verification of the Medical Database Software

The Medical Database (MD) is a virtual repository consisting of two software components: Medical Item Database (MedID) and the Evidence Library (EL). MedID consists of engineering data and associated information for specific medical resource items (e.g., pharmaceutical, medical devices, and supporting components), while the EL is a tool which provides all of the medical evidence necessary. The MD will 1) serve as the single “source of truth” for the Informing Mission Planning via Analysis of Complex Tradespaces (IMPACT) tool suite for both medical evidence and medical resource engineering data and 2) will be used in conjunction with the IMPACT tool suite to inform research prioritizations and perform systematic trade study evaluations to aid stakeholders in making informed decisions regarding simulated human spaceflight missions. The MD project used a Model-Based Systems Engineering (MBSE) approach to support all life cycles of the software development, while in parallel the human factors engineering team used modeling to support Human Centered Design (HCD) strategies in an effort to improve software usability. HCD is a frequently used approach in design frameworks that develops resolutions to complexities and challenges by involving the human perspective in all steps of the problem-solving process. By integrating the model-based approaches used for systems engineering and human factors activities, the project is able to leverage the model-based artifacts originally created for HCD activities for system level and human factors validation. In this presentation, our team highlights the value added when leveraging these model-based artifacts to support the on-going verification and validation activities.

C. Laing↗
NASA NTRS1979

The 25 kW power module evolution study. Part 3: Conceptual design for power module evolution. Volume 6: WBS and dictionary

Program elements of the power module (PM) system, are identified, structured, and defined according to the planned work breakdown structure. Efforts required to design, develop, manufacture, test, checkout, launch and operate a protoflight assembled 25 kW, 50 kW and 100 kW PM include the preparation and delivery of related software, government furnished equipment, space support equipment, ground support equipment, launch site verification software, orbital verification software, and all related data items.

Source record↗
NASA NTRS1980

Instrumented aircraft verification of clear-air radar detection of low-level wind shear

A technique is described in which the longitudinal wind component at airports, measured by Doppler radar, is put through a Fourier transformation to produce an energy density spectrum. The result is multiplied by the aircraft response characteristics to produce quantitative data on aircraft performance in a wind shear situation. The Doppler radar measurements are made along the intended flight path. Two case studies, along a 3 deg approach path, are described from measurements in two modes: Lagrangian, where predictions were computed one range gate ahead of the plane, and Eulerian, where samples were measured instantaneously along the flight path. Wind data obtained every second were interpolated to fit a numerical model by using a cubic spline. Eulerian data were superior to Lagrangian data in terms of ranging, and nearly equal for wind speeds. Improvements in current 75% accuracy are noted to be possible with shrouded antennas to reduce sidelobes and use of Doppler radar with higher resolution to eliminate effects of small scale disturbances within the pulse volume.

Mccarthy, J.↗
NASA NTRS2021

Concurrent Runtime Verification of Data Rich Events

This paper presents the open source runtime verification tool MESA (MEssage-based System Analysis), implemented in Scala, which supports concurrent monitors using the Actor model. Furthermore, the tool supports indexing (slicing) on the data values occurring in data-carrying events, for each individual monitor. The tool is generic in the sense that any monitoring system can be used for creating monitors. In this paper, we use the internal Scala DSL Daut for programming such in data parameterized state machines and temporal logic. To illustrate MESA/Daut, we present a case study that monitors flights from live U.S. airspace data streams, verifying that they conform to planned routes. With base in the case study, we then perform an extensive empirical study of the potential benefits from monitoring slices of a single property in concurrently executing actors. Due to the overhead of scheduling “small” actors (one for each slice or a small number of slices), it is not obvious that concurrent execution of such is beneficial. However, as a main result, we demonstrate that concurrent monitoring of slices to handle data-carrying events can provide considerable speed gains.

finite state machines↗
NASA NTRS1977

On achieving sufficient dual station range accuracy for deep space navigation at zero declination

Since the Voyager Mission will encounter Saturn at a time when the planet will be nearly in the earth's equatorial plane, earth-based orbit determination will be more difficult than usual because of the so-called zero-declination singularity associated with conventional radiometric observations. Simulation studies show that in order to meet the required delivery accuracy at Saturn, a relative range measurement between the Goldstone and Canberra Deep Space Stations must be accurate to 4.5 times the square root of two meters. Topics discussed include the nature of error sources, the methodology and technology required for calibration, the verification process concerning the nearly simultaneous range capability, a description of the ranging system, and tracking strategy.

Siegel, H. L.↗
NASA NTRS1989

Microwave scattering models and basic experiments

Progress is summarized which has been made in four areas of study: (1) scattering model development for sparsely populated media, such as a forested area; (2) scattering model development for dense media, such as a sea ice medium or a snow covered terrain; (3) model development for randomly rough surfaces; and (4) design and conduct of basic scattering and attenuation experiments suitable for the verification of theoretical models.

Fung, Adrian K.↗
NASA NTRS1990

Aerodynamics support of research instrument development

A new velocimetry system is currently being developed at NASA LaRC. The device, known as a Doppler global velocimeter (DGV), can record three velocity components within a plane simultaneously and in near real time. To make measurements the DGV, like many other velocimetry systems, relies on the scattering of light from numerous small particles in a flow field. The particles or seeds are illuminated by a sheet of laser light and viewed by two CCD cameras. The scattered light from the particles will have a frequency which is a function of the source laser light frequency, the viewing angle, and most importantly the seed velocities. By determining the scattered light intensity the velocity can be measured at all points within the light sheet simultaneously. Upon completion of DGV component construction and initial check out a series of tests in the Basic Aerodynamic Research (wind) Tunnel (BART) are scheduled to verify instrument operation and accuracy. If the results are satisfactory, application of the DGV to flight measurements on the F-18 High Alpha Research Vehicle (HARV) are planned. The DGV verification test in the BART facility will utilize a 75 degree swept delta wing model. A major task undertaken this summer included evaluation of previous results for this model. A specific series of tests matching exactly the previous tests and exploring new DGV capabilities were developed and suggested. Another task undertaken was to study DGV system installation possibilities in the F-18 HARV aircraft. In addition, a simple seeding system modification was developed and utilized to make Particle Imaging Velocimetry (PIV) measurements in the BART facility.

Miller, L. Scott↗
NASA NTRS1992

Ramgarh Crater, Rajasthan, India - Study of multispectral images obtained by Indian remote sensing satellite (IRS-IA)

Ramgarh Crater, Rajasthan, India is a potential impact crater that has not been studied so far. The proximity of Ramgarh Crater to the Deccan flood basalt terrain makes it important to examine the spatial and temporal relationship of this crater to Deccan Volcanism because recent studies propose a strong link between impact cratering and major flood basalt eruptions. A detailed multidisciplinary study is necessary to evaluate the structure and lithology of Ramgarh Crater and its temporal relationship to the emplacement of Deccan eruptions in India. Application of the IRS-IA data to study the lithologic/surface characteristics of Ramgarh Crater (attempted for the first time) indicates the potential application of remote sensing data in these studies. The IRS-IA data are of good quality and resolution. Our preliminary assessment has shown that these data are helpful in generating lithology soil vegetation profiles of Ramgarh Crater region. These 'profile maps' would be useful for targeting the specific areas in the region for a closer look and ground truth verification during the field work and sample collection in the region.

Murali, A. V.↗
NASA NTRS1993

Space Station Facility government estimating

This new, unique Cost Engineering Report introduces the 800-page, C-100 government estimate for the Space Station Processing Facility (SSPF) and Volume IV Aerospace Construction Price Book. At the January 23, 1991, bid opening for the SSPF, the government cost estimate was right on target. Metric, Inc., Prime Contractor, low bid was 1.2 percent below the government estimate. This project contains many different and complex systems. Volume IV is a summary of the cost associated with construction, activation and Ground Support Equipment (GSE) design, estimating, fabrication, installation, testing, termination, and verification of this project. Included are 13 reasons the government estimate was so accurate; abstract of bids, for 8 bidders and government estimate with additive alternates, special labor and materials, budget comparison and system summaries; and comments on the energy credit from local electrical utility. This report adds another project to our continuing study of 'How Does the Low Bidder Get Low and Make Money?' which was started in 1967, and first published in the 1973 AACE Transaction with 18 ways the low bidders get low. The accuracy of this estimate proves the benefits of our Kennedy Space Center (KSC) teamwork efforts and KSC Cost Engineer Tools which are contributing toward our goals of the Space Station.

Brown, Joseph A.↗
NASA NTRS1993

Estimating and bidding for the Space Station Processing Facility

This new, unique Cost Engineering Report introduces the 800-page, C-100 government estimate for the Space Station Processing Facility (SSPF) and Volume IV Aerospace Construction Price Book. At the January 23, 1991, bid opening for the SSPF, the government cost estimate was right on target. Metric, Inc., Prime Contractor, low bid was 1.2 percent below the government estimate. This project contains many different and complex systems. Volume IV is a summary of the cost associated with construction, activation and Ground Support Equipment (GSE) design, estimating, fabrication, installation, testing, termination, and verification of this project. Included are 13 reasons the government estimate was so accurate; abstract of bids, for 8 bidders and government estimate with additive alternates, special labor and materials, budget comparison and system summaries; and comments on the energy credit from local electrical utility. This report adds another project to our continuing study of 'How Does the Low Bidder Get Low and Make Money?' which was started in 1967, and first published in the 1973 AACE Transaction with 10 more ways the low bidder got low. The accuracy of this estimate proves the benefits of our Kennedy Space Center (KSC) teamwork efforts and KSC Cost Engineer Tools which are contributing toward our goals of the Space Station.

Brown, Joseph A.↗
NASA NTRS1994

Assessment of velocity/trajectory measurement technologies during a particle capture event

Since the early 1960s, the means to measure the time of flight (TOF) of dust grain within a mechanical detection array has existed, first in the laboratory and then in space experiments. Laboratory hypervelocity dust particle accelerators have used electrostatic detection of charge on accelerated particles for TOF and particle mass detections. These laboratory studies have led to the development of ultra-thin-film sensors that have been used for TOF measurements in dust particle space experiments. The prototypes for such devices were ultra-thin-film capacitors that were used in the OGO series of satellites. The main goal of the experimental work to be described is the development of the capability to determine the velocity vector or trajectory of a dust grain traversing an integrated dust detection array. The results of these studies have shown that the capability of detecting the charge liberated by hypervelocity dust grains with diameters in the micrometer range can be detected. Based on these results, detection systems have been designed to provide a precise analysis of the physical and dynamic properties of micrometer and submicrometer dust grains, namely the design verification unit (DVU). Through unique combinations of in situ detection systems, direct measurements of particle surface charge, velocity, momentum, kinetic energy, and trajectory have been achieved. From these measurements, the remaining physical parameters of mass, size, and density can be determined.

Tanner, William G.↗
NASA NTRS2004

High Speed Operation and Testing of a Fault Tolerant Magnetic Bearing

Research activities undertaken to upgrade the fault-tolerant facility, continue testing high-speed fault-tolerant operation, and assist in the commission of the high temperature (1000 degrees F) thrust magnetic bearing as described. The fault-tolerant magnetic bearing test facility was upgraded to operate to 40,000 RPM. The necessary upgrades included new state-of-the art position sensors with high frequency modulation and new power edge filtering of amplifier outputs. A comparison study of the new sensors and the previous system was done as well as a noise assessment of the sensor-to-controller signals. Also a comparison study of power edge filtering for amplifier-to-actuator signals was done; this information is valuable for all position sensing and motor actuation applications. After these facility upgrades were completed, the rig is believed to have capabilities for 40,000 RPM operation, though this has yet to be demonstrated. Other upgrades included verification and upgrading of safety shielding, and upgrading control algorithms. The rig will now also be used to demonstrate motoring capabilities and control algorithms are in the process of being created. Recently an extreme temperature thrust magnetic bearing was designed from the ground up. The thrust bearing was designed to fit within the existing high temperature facility. The retrofit began near the end of the summer, 04, and continues currently. Contract staff authored a NASA-TM entitled "An Overview of Magnetic Bearing Technology for Gas Turbine Engines", containing a compilation of bearing data as it pertains to operation in the regime of the gas turbine engine and a presentation of how magnetic bearings can become a viable candidate for use in future engine technology.

DeWitt, Kenneth↗
NASA NTRS2009

Simulation of Attitude and Trajectory Dynamics and Control of Multiple Spacecraft

Agora software is a simulation of spacecraft attitude and orbit dynamics. It supports spacecraft models composed of multiple rigid bodies or flexible structural models. Agora simulates multiple spacecraft simultaneously, supporting rendezvous, proximity operations, and precision formation flying studies. The Agora environment includes ephemerides for all planets and major moons in the solar system, supporting design studies for deep space as well as geocentric missions. The environment also contains standard models for gravity, atmospheric density, and magnetic fields. Disturbance force and torque models include aerodynamic, gravity-gradient, solar radiation pressure, and third-body gravitation. In addition to the dynamic and environmental models, Agora supports geometrical visualization through an OpenGL interface. Prototype models are provided for common sensors, actuators, and control laws. A clean interface accommodates linking in actual flight code in place of the prototype control laws. The same simulation may be used for rapid feasibility studies, and then used for flight software validation as the design matures. Agora is open-source and portable across computing platforms, making it customizable and extensible. It is written to support the entire GNC (guidance, navigation, and control) design cycle, from rapid prototyping and design analysis, to high-fidelity flight code verification. As a top-down design, Agora is intended to accommodate a large range of missions, anywhere in the solar system. Both two-body and three-body flight regimes are supported, as well as seamless transition between them. Multiple spacecraft may be simultaneously simulated, enabling simulation of rendezvous scenarios, as well as formation flying. Built-in reference frames and orbit perturbation dynamics provide accurate modeling of precision formation control.

Stoneking, Eric T.↗
NASA NTRS2013

Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems

The on-going transformation from the current US Air Traffic System (ATS) to the Next Generation Air Traffic System (NextGen) will force the introduction of new automated systems and most likely will cause automation to migrate from ground to air. This will yield new function allocations between humans and automation and therefore change the roles and responsibilities in the ATS. Yet, safety in NextGen is required to be at least as good as in the current system. We therefore need techniques to evaluate the safety of the interactions between humans and automation. We think that current human factor studies and simulation-based techniques will fall short in front of the ATS complexity, and that we need to add more automated techniques to simulations, such as model checking, which offers exhaustive coverage of the non-deterministic behaviors in nominal and off-nominal scenarios. In this work, we present a verification approach based both on simulations and on model checking for evaluating the roles and responsibilities of humans and automation. Models are created using Brahms (a multi-agent framework) and we show that the traditional Brahms simulations can be integrated with automated exploration techniques based on model checking, thus offering a complete exploration of the behavioral space of the scenario. Our formal analysis supports the notion of beliefs and probabilities to reason about human behavior. We demonstrate the technique with the Ueberligen accident since it exemplifies authority problems when receiving conflicting advices from human and automated systems.

Muti-agent System↗
NASA NTRS2016

Numerical Simulation of Bolide Entry with Ground Footprint Prediction

As they decelerate through the atmosphere, meteors deposit mass, momentum and energy into the surrounding air at tremendous rates. Trauma from the entry of such bolides produces strong blast waves that can propagate hundreds of kilometers and cause substantial terrestrial damage even when no ground impact occurs. We present a new simulation technique for airburst blast prediction using a fully-conservative, Cartesian mesh, finite-volume solver and investigate the ability of this method to model far- field propagation over hundreds of kilometers. The work develops mathematical models for the deposition of mass, momentum and energy into the atmosphere and presents verification and validation through canonical problems and the comparison of surface overpressures, and blast arrival times with actual results in the literature for known bolides. The discussion also examines the effects of various approximations to the physics of bolide entry that can substantially decrease the computational expense of these simulations. We present parametric studies to quantify the influence of entry-angle, burst-height and other parameters on the ground footprint of the airburst, and these values are related to predictions from analytic and handbook-methods.

Simulation↗
NASA NTRS2026

Development and Experimental Validation of a Path-Dependent Spin Forming Finite Element Model

Spin forming is an advanced manufacturing process widely used in the aerospace and defense sectors to produce lightweight, high-strength cylindrical components with tight dimensional tolerances. This study explores the applicability of the path-dependent Mechanical Threshold Stress (MTS) constitutive model by simulating the evolution of geometry, machining forces, and plastic deformation during the spin forming of a 10-mm thick 6061-O aluminum cylinder. While numerical modeling of spin forming has advanced substantially over the past decade, systematic verification and experimental validation of material models remain limited, particularly in predicting through-thickness process evolution. The MTS model, incorporating a Voce hardening rule, is employed for its ability to represent cyclic loading, rapidly varying temperature fields, and strain rates characteristic of spin forming. Numerical convergence analysis indicates discretization uncertainties between 0.3% and 9.2% for key quantities of interest. Experimental validation demonstrates that the MTS model, when implemented with a verified mesh, accurately reproduces both elastic and plastic behavior of 6061-O aluminum, predicting peak roller loads within 11–18% of measurements, geometric tolerances within 3%, and plastic strain distributions within 10% of experimental values. Collectively, these results establish a validated computational framework for predictive spin-forming simulations with quantified confidence, providing a foundation for extension to other alloys, geometries, and forming conditions.

Spin forming↗
NASA NTRS1984

Holographic aids for internal combustion engine flow studies

Worldwide interest in improving the fuel efficiency of internal combustion (I.C.) engines has sparked research efforts designed to learn more about the flow processes of these engines. The flow fields must be understood prior to fuel injection in order to design efficient valves, piston geometries, and fuel injectors. Knowledge of the flow field is also necessary to determine the heat transfer to combustion chamber surfaces. Computational codes can predict velocity and turbulence patterns, but experimental verification is mandatory to justify their basic assumptions. Due to their nonintrusive nature, optical methods are ideally suited to provide the necessary velocity verification data. Optical sytems such as Schlieren photography, laser velocimetry, and illuminated particle visualization are used in I.C. engines, and now their versatility is improved by employing holography. These holographically enhanced optical techniques are described with emphasis on their applications in I.C. engines.

Regan, C.↗
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.↗