Search NASA⌕ Search

SEARCH · Search NASA

Results for “Verification 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 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
NASA NTRS1992

An intelligent decomposition approach for efficient design of non-hierarchic systems

The design process associated with large engineering systems requires an initial decomposition of the complex systems into subsystem modules which are coupled through transference of output data. The implementation of such a decomposition approach assumes the ability exists to determine what subsystems and interactions exist and what order of execution will be imposed during the analysis process. Unfortunately, this is quite often an extremely complex task which may be beyond human ability to efficiently achieve. Further, in optimizing such a coupled system, it is essential to be able to determine which interactions figure prominently enough to significantly affect the accuracy of the optimal solution. The ability to determine 'weak' versus 'strong' coupling strengths would aid the designer in deciding which couplings could be permanently removed from consideration or which could be temporarily suspended so as to achieve computational savings with minimal loss in solution accuracy. An approach that uses normalized sensitivities to quantify coupling strengths is presented. The approach is applied to a coupled system composed of analysis equations for verification purposes.

Bloebaum, Christina L.↗
NASA NTRS1990

Thermal control system technology discipline

Viewgraphs on thermal control systems technology discipline for Space Station Freedom are presented. Topics covered include: heat rejection; heat acquisition and transport; monitoring and control; passive thermal control; and analysis and test verification.

Ellis, Wilbert E.↗
NASA NTRS1993

The Earth Observing System AM Spacecraft - Thermal Control Subsystem

Mission requirements for the EOS-AM Spacecraft intended to monitor global changes of the entire earth system are considered. The spacecraft is based on an instrument set containing the Advanced Spaceborne Thermal Emission and Reflection radiometer (ASTER), Clouds and Earth's Radiant Energy System (CERES), Multiangle Imaging Spectro-Radiometer (MISR), Moderate-Resolution Imaging Spectrometer (MODIS), and Measurements of Pollution in the Troposphere (MOPITT). Emphasis is placed on the design, analysis, development, and verification plans for the unique EOS-AM Thermal Control Subsystem (TCS) aimed at providing the required environments for all the onboard equipment in a densely packed layout. The TCS design maximizes the use of proven thermal design techniques and materials, in conjunction with a capillary pumped two-phase heat transport system for instrument thermal control.

Chalmers, D.↗
NASA NTRS1993

Streak camera based SLR receiver for two color atmospheric measurements

To realize accurate two-color differential measurements, an image digitizing system with variable spatial resolution was designed, built, and integrated to a photon-counting picosecond streak camera, yielding a temporal scan resolution better than 300 femtosecond/pixel. The streak camera is configured to operate with 3 spatial channels; two of these support green (532 nm) and uv (355 nm) while the third accommodates reference pulses (764 nm) for real-time calibration. Critical parameters affecting differential timing accuracy such as pulse width and shape, number of received photons, streak camera/imaging system nonlinearities, dynamic range, and noise characteristics were investigated to optimize the system for accurate differential delay measurements. The streak camera output image consists of three image fields, each field is 1024 pixels along the time axis and 16 pixels across the spatial axis. Each of the image fields may be independently positioned across the spatial axis. Two of the image fields are used for the two wavelengths used in the experiment; the third window measures the temporal separation of a pair of diode laser pulses which verify the streak camera sweep speed for each data frame. The sum of the 16 pixel intensities across each of the 1024 temporal positions for the three data windows is used to extract the three waveforms. The waveform data is processed using an iterative three-point running average filter (10 to 30 iterations are used) to remove high-frequency structure. The pulse pair separations are determined using the half-max and centroid type analysis. Rigorous experimental verification has demonstrated that this simplified process provides the best measurement accuracy. To calibrate the receiver system sweep, two laser pulses with precisely known temporal separation are scanned along the full length of the sweep axis. The experimental measurements are then modeled using polynomial regression to obtain a best fit to the data. Data aggregation using normal point approach has provided accurate data fitting techniques and is found to be much more convenient than using the full rate single shot data. The systematic errors from this model have been found to be less than 3 ps for normal points.

Varghese, Thomas K.↗
NASA NTRS1993

Effects of rotation on coolant passage heat transfer. Volume 2: Coolant passages with trips normal and skewed to the flow

An experimental program was conducted to investigate heat transfer and pressure loss characteristics of rotating multipass passages, for configurations and dimensions typical of modem turbine blades. This experimental program is one part of the NASA Hot Section Technology (HOST) Initiative, which has as its overall objective the development and verification of improved analysis methods that will form the basis for a design system that will produce turbine components with improved durability. The objective of this program was the generation of a data base of heat transfer and pressure loss data required to develop heat transfer correlations and to assess computational fluid dynamic techniques for rotating coolant passages. The experimental work was broken down into two phases. Phase 1 consists of experiments conducted in a smooth wall large scale heat transfer model. A detailed discussion of these results was presented in volume 1 of a NASA Report. In Phase 2 the large scale model was modified to investigate the effects of skewed and normal passage turbulators. The results of Phase 2 along with comparison to Phase 1 is the subject of this Volume 2 NASA Report.

Johnson, B. V.↗
NASA NTRS1993

Multi-band reflector antenna with double-ring element frequency selective subreflector

Frequency selective subreflectors (FSS) are often employed in the reflector antenna system of a communication satellite or a deep space exploration vehicle for multi-frequency operations. In the past, FSS's have been designed for diplexing two frequency bands. For example, the Voyager FSS was designed to diplex S and X bands and the TDRSS FSS was designed to diplex S and Ku bands. Recently, NASA's CASSINI project requires an FSS to multiplex four frequency (S/X/Ku/Ka) bands. Theoretical analysis and experimental verifications are presented for a multi-band flat pannel FSS with double-ring elements. Both the exact formulation and the thin-ring approximation are described for analyzing and designing this multi-ring patch element FSS. It is found that the thin-ring approximation fails to predict the electrically wide ring element FSS's performance. A single screen double-ring element FSS is demonstrated for the tri-band system that reflects the X-band signal while transmitting through the S- and Ku-band signals. In addition, a double screen FSS with non-similar double-ring elements is presented for the Cassini's four-band system which reflects the X- and Ka-band signals while passing the S- and Ku-band signals. To accurately predict the FSS effects on a dual reflector antenna's radiation pattern, the FSS subreflector's transmitted/reflected field variation as functions of the polarization and incident angles with respect to the local coordinates was taken into account. An FSS transmission/reflection coefficient table is computed for TE and TM polarizations at various incident angles based on the planar FSS model. Next, the hybrid Geometric Optics (GO) and Physical Optics (PO) technique is implemented with linearly interpolating the FSS table to efficiently determine the FSS effects in a dual reflector antenna.

Wu, Te-Kao↗
NASA NTRS2000

An Overview of SAL

To become practical for assurance, automated formal methods must be made more scalable, automatic, and cost-effective. Such an increase in scope, scale, automation, and utility can be derived from an emphasis on a systematic separation of concerns during verification. SAL (Symbolic Analysis Laboratory) attempts to address these issues. It is a framework for combining different tools to calculate properties of concurrent systems. The heart of SAL is a language, developed in collaboration with Stanford, Berkeley, and Verimag for specifying concurrent systems in a compositional way. Our instantiation of the SAL framework augments PVS with tools for abstraction, invariant generation, program analysis (such as slicing), theorem proving, and model checking to separate concerns as well as calculate properties (i.e., perform, symbolic analysis) of concurrent systems. We. describe the motivation, the language, the tools, their integration in SAL/PAS, and some preliminary experience of their use.

Bensalem, Saddek↗
NASA NTRS2004

Requirements Formulation and Dynamic Jitter Analysis for Fourier-Kelvin Stellar Interferometer

The Fourier-Kelvin Stellar Interferometer (FKSI) has been proposed to detect and characterize extra solar giant planets. The baseline configuration for FKSI is a two- aperture, structurally connected nulling interferometer, capable of providing null depth less than lo4 in the infrared. The objective of this paper is to summarize the process for setting the top level requirements and the jitter analysis performed on FKSI to date. The first part of the paper discusses the derivation of dynamic stability requirements, necessary for meeting the FKSI nulling demands. An integrated model including structures, optics, and control systems has been developed to support dynamic jitter analysis and requirements verification. The second part of the paper describes how the integrated model is used to investigate the effects of reaction wheel disturbances on pointing and optical path difference stabilities.

Liu, Kuo-Chia↗
NASA NTRS2010

NASA Tech Briefs, October 2010

Topics covered include: Hybrid Architecture Active Wavefront Sensing and Control; Carbon-Nanotube-Based Chemical Gas Sensor; Aerogel-Positronium Technology for the Detection of Small Quantities of Organic and/or Toxic Materials; Graphene-Based Reversible Nano-Switch/Sensor Schottky Diode; Inductive Non-Contact Position Sensor; High-Temperature Surface-Acoustic-Wave Transducer; Grid-Sphere Electrodes for Contact with Ionospheric Plasma; Enabling IP Header Compression in COTS Routers via Frame Relay on a Simplex Link; Ka-Band SiGe Receiver Front-End MMIC for Transponder Applications; Robust Optimization Design Algorithm for High-Frequency TWTs; Optimal and Local Connectivity Between Neuron and Synapse Array in the Quantum Dot/Silicon Brain; Method and Circuit for In-Situ Health Monitoring of Solar Cells in Space; BGen: A UML Behavior Network Generator Tool; Platform for Post-Processing Waveform-Based NDE; Electrochemical Hydrogen Peroxide Generator; Fabrication of Single, Vertically Aligned Carbon Nanotubes in 3D Nanoscale Architectures; Process to Create High-Fidelity Lunar Dust Simulants; Lithium-Ion Electrolytes Containing Phosphorous-Based, Flame-Retardant Additives; InGaP Heterojunction Barrier Solar Cells; Straight-Pore Microfilter with Efficient Regeneration; Determining Shear Stress Distribution in a Laminate; Self-Adjusting Liquid Injectors for Combustors; Handling Qualities Prediction of an F-16XL-Based Reduced Sonic Boom Aircraft; Tele-Robotic ATHLETE Controller for Kinematics - TRACK; Three-Wheel Brush-Wheel Sampler; Heterodyne Interferometer Angle Metrology; Aligning Astronomical Telescopes via Identification of Stars; Generation of Optical Combs in a WGM Resonator from a Bichromatic Pump; Large-Format AlGaN PIN Photodiode Arrays for UV Images; Fiber-Coupled Planar Light-Wave Circuit for Seed Laser Control in High Spectral Resolution Lidar Systems; On Calculating the Zero-Gravity Surface Figure of a Mirror; Optical Modification of Casimir Forces for Improved Function of Micro- and Nano-Scale Devices; Analysis, Simulation, and Verification of Knowledge-Based, Rule-Based, and Expert Systems; Core and Off-Core Processes in Systems Engineering; Digital Reconstruction Supporting Investigation of Mishaps; and Template Matching Approach to Signal Prediction.

Source record↗
NASA NTRS2004

A Meso-Climatology Study of the High-Resolution Tower Network Over the Florida Spaceport

Forecasters at the US Air Force 45th Weather Squadron (45 WS) use wind and temperature data from the tower network over the Kennedy Space Center (KSC) and Cape Canaveral Air Force Station (CCAFS) to evaluate Launch Commit Criteria and to issue and verify temperature and wind advisories, watches, and warnings for ground operations. The Spaceflight Meteorology Group at the Johnson Space Center in Houston, TX also uses these data when issuing forecasts for shuttle landings at the KSC Shuttle Landing Facility. Systematic biases in these parameters at any of the towers could adversely affect an analysis, forecast, or verification for all of these operations. In addition, substantial geographical variations in temperature and wind speed can occur under specific wind directions. Therefore, the Applied Meteorology Unit (AMU), operated by ENSCO Inc., was tasked to develop a monthly and hourly climatology of temperatures and winds from the tower network, and identify the geographical variation, tower biases, and the magnitude of those biases. This paper presents a sub-set of results from a nine-year climatology of the KSC/CCAFS tower network, highlighting the geographical variations based on location, month, times of day, and specific wind direction regime. Section 2 provides a description of the tower mesonetwork and instrumentation characteristics. Section 3 presents the methodology used to construct the tower climatology including QC methods and data processing. The results of the tower climatology are presented in Section 4 and Section 5 summarizes the paper.

Case, Jonathan L.↗
NASA NTRS2011

Land Surface Verification Toolkit (LVT) - A Generalized Framework for Land Surface Model Evaluation

Model evaluation and verification are key in improving the usage and applicability of simulation models for real-world applications. In this article, the development and capabilities of a formal system for land surface model evaluation called the Land surface Verification Toolkit (LVT) is described. LVT is designed to provide an integrated environment for systematic land model evaluation and facilitates a range of verification approaches and analysis capabilities. LVT operates across multiple temporal and spatial scales and employs a large suite of in-situ, remotely sensed and other model and reanalysis datasets in their native formats. In addition to the traditional accuracy-based measures, LVT also includes uncertainty and ensemble diagnostics, information theory measures, spatial similarity metrics and scale decomposition techniques that provide novel ways for performing diagnostic model evaluations. Though LVT was originally designed to support the land surface modeling and data assimilation framework known as the Land Information System (LIS), it also supports hydrological data products from other, non-LIS environments. In addition, the analysis of diagnostics from various computational subsystems of LIS including data assimilation, optimization and uncertainty estimation are supported within LVT. Together, LIS and LVT provide a robust end-to-end environment for enabling the concepts of model data fusion for hydrological applications. The evolving capabilities of LVT framework are expected to facilitate rapid model evaluation efforts and aid the definition and refinement of formal evaluation procedures for the land surface modeling community.

Kumar, Sujay V.↗
NASA NTRS2012

Structural Element Testing in Support of the Design of the NASA Composite Crew Module

In January 2007, the NASA Administrator and Associate Administrator for the Exploration Systems Mission Directorate chartered the NASA Engineering and Safety Center (NESC) to design, build, and test a full-scale Composite Crew Module (CCM). For the design and manufacturing of the CCM, the team adopted the building block approach where design and manufacturing risks were mitigated through manufacturing trials and structural testing at various levels of complexity. Following NASA's Structural Design Verification Requirements, a further objective was the verification of design analysis methods and the provision of design data for critical structural features. Test articles increasing in complexity from basic material characterization coupons through structural feature elements and large structural components, to full-scale structures were evaluated. This paper discusses only four elements tests three of which include joints and one that includes a tapering honeycomb core detail. For each test series included are specimen details, instrumentation, test results, a brief analysis description, test analysis correlation and conclusions.

Kellas, Sotiris↗
NASA NTRS2012

Assessment of Damage Containment Features of a Full-Scale PRSEUS Fuselage Panel Through Test and Teardown

An area that shows promise in enhancing structural integrity of aircraft and aerospace structures is the integrally stitched composite technology. The most recent generation of this technology is the Pultruded Rod Stitched Efficient Unitized Structure (PRSEUS) concept developed by Boeing Research and Technology and the National Aeronautics and Space Administration. A joint test program on the assessment of damage containment capabilities of the PRSEUS concept for curved fuselage structures was conducted recently at the Federal Aviation Administration William J. Hughes Technical Center. The panel was subjected to axial tension, internal pressure, and combined axial tension and internal pressure load conditions up to fracture, with a through-the-thickness, two-bay notch severing the central stiffener. For the purpose of future progressive failure analysis development and verification, extensive post failure nondestructive and teardown inspections were conducted. Detailed inspections were performed directly ahead of the notch tip where stable damage progression was observed. These examinations showed: 1) extensive delaminations developed ahead of the notch tip, 2) the extent and location of damage, 3) the typical damage mechanisms observed in composites, and 4) the role of stitching and warp-knitting in the failure mechanisms. The objective of this paper is to provide a summary of results from these posttest inspections.

Bergan, Andrew C.↗
NASA NTRS2004

Tower Mesonetwork Climatology and Interactive Display Tool

Forecasters at the 45th Weather Squadron and Spaceflight Meteorology Group use data from the tower network over the Kennedy Space Center (KSC) and Cape Canaveral Air Force Station (CCAFS) to evaluate Launch Commit Criteria, and issue and verify forecasts for ground operations. Systematic biases in these parameters could adversely affect an analysis, forecast, or verification. Also, substantial geographical variations in temperature and wind speed can occur under specific wind directions. To address these concerns, the Applied Meteorology Unit (AMU) developed a climatology of temperatures and winds from the tower network, and identified the geographical variation and significant tower biases. The mesoclimate is largely driven by the complex land-water interfaces across KSC/CCAFS. Towers with close proximity to water typically had much warmer nocturnal temperatures and higher wind speeds throughout the year. The strongest nocturnal wind speeds occurred from October to March whereas the strongest mean daytime wind speeds occurred from February to May. These results of this project can be viewed by forecasters through an interactive graphical user interface developed by the AMU. The web-based interface includes graphical and map displays of mean, standard deviation, bias, and data availability for any combination of towers, variables, months, hours, and wind directions.

Case, Jonathan L.↗
NASA NTRS2015

Formal Foundations for Hierarchical Safety Cases

Safety cases are increasingly being required in many safety-critical domains to assure, using structured argumentation and evidence, that a system is acceptably safe. However, comprehensive system-wide safety arguments present appreciable challenges to develop, understand, evaluate, and manage, partly due to the volume of information that they aggregate, such as the results of hazard analysis, requirements analysis, testing, formal verification, and other engineering activities. Previously, we have proposed hierarchical safety cases, hicases, to aid the comprehension of safety case argument structures. In this paper, we build on a formal notion of safety case to formalise the use of hierarchy as a structuring technique, and show that hicases satisfy several desirable properties. Our aim is to provide a formal, theoretical foundation for safety cases. In particular, we believe that tools for high assurance systems should be granted similar assurance to the systems to which they are applied. To this end, we formally specify and prove the correctness of key operations for constructing and managing hicases, which gives the specification for implementing hicases in AdvoCATE, our toolset for safety case automation. We motivate and explain the theory with the help of a simple running example, extracted from a real safety case and developed using AdvoCATE.

Hierarchy↗
NASA NTRS2016

High-pressure sensor using piezoelectric bending resonators

A novel design of pressure sensor based on piezoelectric bending resonator is described in this paper. The resonator is isolated from and mechanically coupled to the surrounding fluid using a sealed enclosure. The pressure applied to the enclosure induces a compressive stress to the resonator and reduces its resonance frequency. In principle the mechanism allows for achieving large resonance frequency shifts close to 100% of the resonance frequency. A high-pressure sensor based on the mechanism was designed for down-hole pressure monitoring in oil wells. The sensor is potentially remotely-readable via the transmission of an electromagnetic signal down a waveguide formed by the pipes in the oil well. The details of the pressure sensor design and verification by FE analysis and initial test results of a preliminary prototype are presented in this paper.

Takano, Nobuyuki↗