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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 433 records · Page 24

All sources NASA NTRS DOE OSTI

NASA NTRS2008

Focused Assessment of State-of-the-Art CFD Capabilities for Prediction of Subsonic Fixed Wing Aircraft Aerodynamics

Several recent workshops and studies are used to make an assessment of the current status of CFD for subsonic fixed wing aerodynamics. Uncertainty quantification plays a significant role in the assessment, so terms associated with verification and validation are given and some methodology and research areas are highlighted. For high-subsonic-speed cruise through buffet onset, the series of drag prediction workshops and NASA/Boeing buffet onset studies are described. For low-speed flow control for high lift, a circulation control workshop and a synthetic jet flow control workshop are described. Along with a few specific recommendations, gaps and needs identified through the workshops and studies are used to develop a list of broad recommendations to improve CFD capabilities and processes for this discipline in the future.

Rumsey, Christopher L.↗

NASA NTRSDate not supplied

Formal Verification of the Interaction Between Semi-Algebraic Sets and Real Analytic Functions

Semi-algebraic sets and real analytic functions are fundamental concepts in Real Algebraic Geometry and Real Analysis, respectively. These concepts interact in the study of Differential Equations, where the real analytic solution to a differential equation is known to enter or exit a semi-algebraic set in a predicable way. Motivated to enhance the capability to reason about differential equations in the Prototype Verification System (PVS), a formalization of multivariate polynomials, semi-algebraic sets, and real analytic functions is developed. The favorable way that a real analytic function enters and exits a semi-algebraic set is proven. It is further shown that if the function is assumed to be smooth, a slightly weaker assumption than real analytic, these favorable interactions with semi-algebraic sets may fail.

Real analytic functions↗

NASA NTRS1971

Information management system study results. Volume 1: IMS study results

The information management system (IMS) special emphasis task was performed as an adjunct to the modular space station study, with the objective of providing extended depth of analysis and design in selected key areas of the information management system. Specific objectives included: (1) in-depth studies of IMS requirements and design approaches; (2) design and fabricate breadboard hardware for demonstration and verification of design concepts; (3) provide a technological base to identify potential design problems and influence long range planning (4) develop hardware and techniques to permit long duration, low cost, manned space operations; (5) support SR&T areas where techniques or equipment are considered inadequate; and (6) permit an overall understanding of the IMS as an integrated component of the space station.

Source record↗

NASA NTRS1985

Design evolution of the orbiter reaction control subsystem

The challenges of space shuttle orbiter reaction control subsystem development began with selection of the propellant for the subsystem. Various concepts were evaluated before the current Earth storable, bipropellant combination was selected. Once that task was accomplished, additional challenges of designing the system to satisfy the wide range of requirements dictated by operating environments, reusability, and long life were met. Verification of system adequacy was achieved by means of a combination of analysis and test. The studies, the design efforts, and the test and analysis techniques employed in meeting the challenges are described.

Taeber, R. J.↗

NASA NTRS1990

A device for introducing helical perturbations into a trailing line vortex

A perturbation generator has been designed which can be attached to the centerbody of a matched airfoil type vortex generator. The device was desired to enable the introduction of helical-wave, velocity perturbations into a vortex core to permit experimental verification of theoretical vortex stability predictions. Evaluation of the perturbation generator performance, prior to vortex stability studies, has been reported here. Controlled perturbations with frequencies above 200 hz have been produced, but visual observations were insufficient to confirm their helical character. Hot wire velocity spectrum data have confirmed the device's ability to introduce controlled frequency fluctuations. In addition, other flow oscillations have been discussed which can influence the controllability of vortex perturbations.

Ash, Robert L.↗

NASA NTRS1990

Modelling crystal growth: Convection in an asymmetrically heated ampoule

The objective was to develop and implement a numerical method capable of solving the nonlinear partial differential equations governing heat, mass, and momentum transfer in a 3-D cylindrical geometry in order to examine the character of convection in an asymmetrically heated cylindrical ampoule. The details of the numerical method, including verification tests involving comparison with results obtained from other methods, are presented. The results of the study of 3-D convection in an asymmetrically heated cylinder are described.

Alexander, J. Iwan D.↗

NASA NTRS1997

ASCA Observation of the Dipping X-Ray Source X1916-053

We present the results of timing and spectral studies of the dipping X-ray source X1916-053, observed by ASCA during its Performance Verification phase. The detected dipping activity is consistent with previous observations, with a period of 3008s and an intermittent secondary dip observed roughly 0.4 out of phase with the primary dip. The energy spectra of different intensity states are fitted with a power law with partial covering fraction absorption and interstellar absorption. The increase in the hardness ratio during the primary and secondary dips, and the increase in the covering fraction and column density with decreasing X-ray intensity, all imply that the dipping is caused by the photo-absorbing materials which have been suggested to be where the accreted flow hits the outer edge of the disk materials. The spectra at all intensity levels show no apparent evidence for Fe or Ne emission lines. This may be due to the low metal abundance in the accretion flow. Alternatively, the X-ray luminosity of the central source may be too weak to excite emission lines, which are assumed to be produced by X-ray photoionization of the disk materials.

Ko, Yuan-Kuen↗

NASA NTRS2002

Use of Satellite Data Assimilation to Infer Land Surface Thermal Inertia

There are two important but observationally uncertain parameters in the grid averaged surface energy budgets of mesoscale models - surface moisture availability and thermal heat capacity. A technique has been successfully developed for assimilating Geostationary Operational Environmental Satellite (GOES) skin temperature tendencies during the mid-morning time frame to improve specification of surface moisture. In a new application of the technique, the use of satellite skin temperature tendencies in early evening is explored to improve specification of the surface thermal heat capacity. Together, these two satellite assimilation constraints have been shown to significantly improve the characterization of the surface energy budget of a mesoscale model on fine spatial scales. The GOES assimilation without the adjusted heat capacity was run operationally during the International H2O Project on a 12-km grid. This paper presents the results obtained when using both the moisture availability and heat capacity retrievals in concert. Preliminary results indicate that retrieved moisture availability alone improved the verification statistics of 2-meter temperature and dew point forecasts. Results from the 1.5 month long study period using the bulk heat capacity will be presented at the meeting.

Lapenta, William↗

NASA NTRS2006

The 2004 NASA Aerospace Battery Workshop

Topics covered include: Super NiCd(TradeMark) Energy Storage for Gravity Probe-B Relativity Mission; Hubble Space Telescope 2004 Battery Update; The Development of Hermetically Sealed Aerospace Nickel-Metal Hydride Cell; Serial Charging Test on High Capacity Li-Ion Cells for the Orbiter Advanced Hydraulic Power System; Cell Equalization of Lithium-Ion Cells; The Long-Term Performance of Small-Cell Batteries Without Cell-Balancing Electronics; Identification and Treatment of Lithium Battery Cell Imbalance under Flight Conditions; Battery Control Boards for Li-Ion Batteries on Mars Exploration Rovers; Cell Over Voltage Protection and Balancing Circuit of the Lithium-Ion Battery; Lithium-Ion Battery Electronics for Aerospace Applications; Lithium-Ion Cell Charge Control Unit; Lithium Ion Battery Cell Bypass Circuit Test Results at the U.S. Naval Research Laboratory; High Capacity Battery Cell By-Pass Switches: High Current Pulse Testing of Lithium-Ion; Battery By-Pass Switches to Verify Their Ability to Withstand Short-Circuits; Incorporation of Physics-Based, Spatially-Resolved Battery Models into System Simulations; A Monte Carlo Model for Li-Ion Battery Life Projections; Thermal Behavior of Large Lithium-Ion Cells; Thermal Imaging of Aerospace Battery Cells; High Rate Designed 50 Ah Li-Ion Cell for LEO Applications; Evaluation of Corrosion Behavior in Aerospace Lithium-Ion Cells; Performance of AEA 80 Ah Battery Under GEO Profile; LEO Li-Ion Battery Testing; A Review of the Feasibility Investigation of Commercial Laminated Lithium-Ion Polymer Cells for Space Applications; Lithium-Ion Verification Test Program; Panasonic Small Cell Testing for AHPS; Lithium-Ion Small Cell Battery Shorting Study; Low-Earth-Orbit and Geosynchronous-Earth-Orbit Testing of 80 Ah Batteries under Real-Time Profiles; Update on Development of Lithium-Ion Cells for Space Applications at JAXA; Foreign Comparative Technology: Launch Vehicle Battery Cell Testing; 20V, 40 Ah Lithium Ion Polymer Battery for the Spacesuit; Low Temperature Life-Cycle Testing of a Lithium-Ion Battery for Low-Earth-Orbiting Spacecraft; and Evaluation of the Effects of DoD and Charge Rate on a LEO Optimized 50 Ah Li-Ion Aerospace Cell.

Source record↗

NASA NTRS2016

Reference Solutions for Benchmark Turbulent Flows in Three Dimensions

A grid convergence study is performed to establish benchmark solutions for turbulent flows in three dimensions (3D) in support of turbulence-model verification campaign at the Turbulence Modeling Resource (TMR) website. The three benchmark cases are subsonic flows around a 3D bump and a hemisphere-cylinder configuration and a supersonic internal flow through a square duct. Reference solutions are computed for Reynolds Averaged Navier Stokes equations with the Spalart-Allmaras turbulence model using a linear eddy-viscosity model for the external flows and a nonlinear eddy-viscosity model based on a quadratic constitutive relation for the internal flow. The study involves three widely-used practical computational fluid dynamics codes developed and supported at NASA Langley Research Center: FUN3D, USM3D, and CFL3D. Reference steady-state solutions computed with these three codes on families of consistently refined grids are presented. Grid-to-grid and code-to-code variations are described in detail.

Diskin, Boris↗

NASA NTRSDate not supplied

MESA: Scalable Runtime Verification Tool Using Actors

This work presents our runtime verification approach implemented by the tool MESA (MEssage-based System Analysis) which allows for using concurrent monitors to check for properties specified in linear temporal logic and finite state machines.We employ the actor programing model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper also presents a case study where MESA is used to monitor flights in National Airspace System of United States using live air traffic data stream. The case study which motivated this work in the first place shows that our approach is effective.We also perform empirical study by conducting experiments using monitoring systems with different numbers of concurrent monitors and different layers of indexing.This paper describes our experiments, evaluates our results,and discusses challenges faced during the study. The evaluation shows our approach is scalable.

runtime verification, concurrency, actor programin↗

NASA NTRS1987

Optimal placement of excitations and sensors for verification of large dynamical systems

The computationally difficult problem of the optimal placement of excitations and sensors to maximize the observed measurements is studied within the framework of combinatorial optimization, and is solved numerically using a variation of the simulated annealing heuristic algorithm. Results of numerical experiments including a square plate and a 960 degrees-of-freedom Control of Flexible Structure (COFS) truss structure, are presented. Though the algorithm produces suboptimal solutions, its generality and simplicity allow the treatment of complex dynamical systems which would otherwise be difficult to handle.

Salama, M.↗

NASA NTRS1992

TOPEX/POSEIDON joint verification plan

TOPEX/POSEIDON is a satellite mission that will use altimetry to make precise measurements of sea level with the primary goal of studying global ocean circulation. The mission is jointly conducted by the United States' National Aeronautics and Space Administration (NASA) and the French space agency, Centre National d'Etudes Spatiales (CNES). The current plans call for a launch of the satellite in August 1992. The primary mission will last 3 years, and provisions were made to extend the mission for an additional 2 years. The mission was coordinated with a number of international oceanographic and meteorological programs, including the World Ocean Circulation Experiment and the Tropical Ocean and Global Atmosphere Program, both of which are sponsored by the World Climate Research Program. The observations of TOPEX/POSEIDON are timed to provide a global perspective for interpreting the in situ measurements collected by these programs and in turn will be combined with observations of other satellites to achieve a global, four-dimensional description of the circulation of the world's oceans. In the autumn of 1987, an international team of 38 Principal Investigators was selected to participate in the mission. These scientists have been working closely with the TOPEX/POSEIDON Project to refine the mission design and science plans. During the first 6 months after launch, a number of these investigators will join with the project to conduct a wide range of oceanographic and geophysical investigations using the TOPEX/POSEIDON data. The purpose of these investigations is to demonstrate the scientific utility of the mission to the international scientific community.

Source record↗

NASA NTRS2009

A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing

The complexity of constraints is a major obstacle for constraint-based software verification. Automatic constraint solvers are fundamentally incomplete: input constraints often build on some undecidable theory or some theory the solver does not support. This paper proposes and evaluates several randomized solvers to address this issue. We compare the effectiveness of a symbolic solver (CVC3), a random solver, three hybrid solvers (i.e., mix of random and symbolic), and two heuristic search solvers. We evaluate the solvers on two benchmarks: one consisting of manually generated constraints and another generated with a concolic execution of 8 subjects. In addition to fully decidable constraints, the benchmarks include constraints with non-linear integer arithmetic, integer modulo and division, bitwise arithmetic, and floating-point arithmetic. As expected symbolic solving (in particular, CVC3) subsumes the other solvers for the concolic execution of subjects that only generate decidable constraints. For the remaining subjects the solvers are complementary.

Takaki, Mitsuo↗

NASA NTRS1994

SIR-C Modal Survey: A Case Study in Free-Free Testing

There has been an increased interest recently in developing alternatives to fixed-base modal testing for verification of large Space Shuttle payloads. A promising approach is free-free modal testing, augmented with residual flexibility measurements obtained from interface verification testing. This paper presents summary results from the recent free-free test performed on the Shuttle Imaging Radar-C payload.

SIR-C↗

NASA NTRS2016

Fuselage Versus Subcomponent Panel Response Correlation Based on ABAQUS Explicit Progressive Damage Analysis Tools

Analysis performed in this study substantiates the need for high fidelity vehicle level progressive damage analyses (PDA) structural models for use in the verification and validation of proposed sub-scale structural models and to support required full-scale vehicle level testing. PDA results are presented that capture and correlate the responses of sub-scale 3-stringer and 7-stringer panel models and an idealized 8-ft diameter fuselage model, which provides a vehicle level environment for the 7-stringer sub-scale panel model. Two unique skin-stringer attachment assumptions are considered and correlated in the models analyzed: the TIE constraint interface versus the cohesive element (COH3D8) interface. Evaluating different interfaces allows for assessing a range of predicted damage modes, including delamination and crack propagation responses. Damage models considered in this study are the ABAQUS built-in Hashin procedure and the COmplete STress Reduction (COSTR) damage procedure implemented through a VUMAT user subroutine using the ABAQUS/Explicit code.

Gould, Kevin E.↗

NASA NTRS2007

Middleware Trade Study for NASA Domain

This presentation presents preliminary results of a trade study designed to assess three distributed simulation middleware technologies for support of the NASA Constellation Distributed Space Exploration Simulation (DSES) project and Test and Verification Distributed System Integration Laboratory (DSIL). The technologies are: the High Level Architecture (HLA), the Test and Training Enabling Architecture (TENA), and an XML-based variant of Distributed Interactive Simulation (DIS-XML) coupled with the Extensible Messaging and Presence Protocol (XMPP). According to the criteria and weights determined in this study, HLA scores better than the other two for DSES as well as the DSIL

Bowman, Dan↗

NASA NTRS2008

NASA Constellation Distributed Simulation Middleware Trade Study

This paper presents the results of a trade study designed to assess three distributed simulation middleware technologies for support of the NASA Constellation Distributed Space Exploration Simulation (DSES) project and Test and Verification Distributed System Integration Laboratory (DSIL). The technologies are the High Level Architecture (HLA), the Test and Training Enabling Architecture (TENA), and an XML-based variant of Distributed Interactive Simulation (DIS-XML) coupled with the Extensible Messaging and Presence Protocol (XMPP). According to the criteria and weights determined in this study, HLA scores better than the other two for DSES as well as the DSIL.

Hasan, David↗