Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Verification of data”

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 1,495 records · Page 83
All sourcesNASA NTRSDOE OSTI
NASA NTRS1972

End-to-end test of the electron-proton spectrometer

A series of end-to-end tests were performed to demonstrate the proper functioning of the complete Electron-Proton Spectrometer (EPS). The purpose of the tests was to provide experimental verification of the design and to provide a complete functional performance check of the instrument from the excitation of the sensors to and including the data processor and equipment test set. Each of the channels of the EPS was exposed to a calibrated beam of energetic particles, and counts were accumulated for a predetermined period of time for each of several energies. The counts were related to the known flux of particles to give a monodirectional response function for each channel. The measured response function of the test unit was compared to the response function determined for the calibration sensors from the data taken from the calibration program.

Cash, B. L.↗
NASA NTRS1973

A photographic processing control method for ERTS imagery

Radiometric accuracy of ERTS photographic image processing is assured by the use of control targets, i.e., sensitometric strips for equipment certification and end-of-roll targets for process verification. These targets are produced by a sensitometer that is calibrated to cover the performance range parameters. Curve fitting techniques are used to collect performance data accurately, and a feedback procedure indicates malfunctioning.

Peavey, B.↗
NASA NTRS1973

Discrete regulation of transfer function of a circuit in experimental data automatic collection and processing systems

A device for discrete control of the circuit transfer function in automatic analog data processing systems is reported that coordinates the dynamic range of the vibration level change with the signal range of the processing device output. Experimental verification of the device demonstrates that its maximum control speed does not exceed 0.5 sec for a frequency nonuniformity of about 10%.

Lyubashevskiy, G. S.↗
NASA NTRS1986

Proven, long-life hydrogen/oxygen thrust chambers for space station propulsion

The development of the manned space station has necessitated the development of technology related to an onboard auxiliary propulsion system (APS) required to provide for various space station attitude control, orbit positioning, and docking maneuvers. A key component of this onboard APS is the thrust chamber design. To develop the required thrust chamber technology to support the Space Station Program, the NASA Lewis Research Center has sponsored development programs under contracts with Aerojet TechSystems Company and with Bell Aerospace Textron Division of Textron, Inc. During the NASA Lewis sponsored program with Aerojet TechSystems, a 25 lb sub f hydrogen/oxygen thruster has been developed and proven as a viable candidate to meet the needs of the Space Station Program. Likewise, during the development program with Bell Aerospace, a 50 lb sub f hydrogen/oxygen Thrust Chamber has been developed and has demonstrated reliable, long-life expectancy at anticipated space station operating conditions. Both these thrust chambers were based on design criteria developed in previous thruster programs and successfully verified in experimental test programs. Extensive thermal analyses and models were used to design the thrusters to achieve total impulse goals of 2 x 10 to the 6th power lb sub f-sec. Test data for each thruster will be compared to the analytical predictions for the performance and heat transfer characteristics. Also, the results of thrust chamber life verification tests will be presented.

Richter, G. P.↗
NASA NTRS1992

Interactive Scene Analysis Module - A sensor-database fusion system for telerobotic environments

Accomplishing a task with telerobotics typically involves a combination of operator control/supervision and a 'script' of preprogrammed commands. These commands usually assume that the location of various objects in the task space conform to some internal representation (database) of that task space. The ability to quickly and accurately verify the task environment against the internal database would improve the robustness of these preprogrammed commands. In addition, the on-line initialization and maintenance of a task space database is difficult for operators using Cartesian coordinates alone. This paper describes the Interactive Scene' Analysis Module (ISAM) developed to provide taskspace database initialization and verification utilizing 3-D graphic overlay modelling, video imaging, and laser radar based range imaging. Through the fusion of taskspace database information and image sensor data, a verifiable taskspace model is generated providing location and orientation data for objects in a task space. This paper also describes applications of the ISAM in the Intelligent Systems Research Laboratory (ISRL) at NASA Langley Research Center, and discusses its performance relative to representation accuracy and operator interface efficiency.

Cooper, Eric G.↗
NASA NTRS1993

Results of Small-scale Solid Rocket Combustion Simulator testing at Marshall Space Flight Center

The Small-scale Solid Rocket Combustion Simulator (SSRCS) program was established at the Marshall Space Flight Center (MSFC), and used a government/industry team consisting of Hercules Aerospace Corporation, Aerotherm Corporation, United Technology Chemical Systems Division, Thiokol Corporation and MSFC personnel to study the feasibility of simulating the combustion species, temperatures and flow fields of a conventional solid rocket motor (SRM) with a versatile simulator system. The SSRCS design is based on hybrid rocket motor principles. The simulator uses a solid fuel and a gaseous oxidizer. Verification of the feasibility of a SSRCS system as a test bed was completed using flow field and system analyses, as well as empirical test data. A total of 27 hot firings of a subscale SSRCS motor were conducted at MSFC. Testing of the Small-scale SSRCS program was completed in October 1992. This paper, a compilation of reports from the above team members and additional analysis of the instrumentation results, will discuss the final results of the analyses and test programs.

Goldberg, Benjamin E.↗
NASA NTRS1994

Experimental study of solar simulator mirror cryocontamination

The background and tasks formulation of the study of Solar Simulator collimation mirror cryocontamination in Large Thermal Vacuum Facility are outlined, research methods and experiment procedures are described, experimental relationships obtained are analyzed and practical recommendations are given. The accepted procedure of thermal vacuum tests as a rule defines the sequence of operations for verifying the spacecraft under test without taking into account measures for preventing Solar Simulator collimation mirror contamination and degradation. On the other hand, evacuation procedures is defined for conditions of achieving the required vacuum in the shortest possible time with using the available evacuation equipment at a regime close to the optimum one. Similarly, cryopanel cooling down cyclogram and test object preparation process are not analyzed from the viewpoint of ways of reducing environmental detrimental effects on thermal vacuum facility contamination-sensitive systems. Solar Simulator mirror contamination and its reflective characteristics change results in degradation of solar flux parameters and reduction of simulator continuous operation time. Methods of consideration of optical effects due to mirror surface contamination are actually missing. The effects themselves are not quite understood and data cited in literature as a rule, were obtained under conditions different from real thermal vacuum facility and therefore should be subjected to additional experimental verification. Only in the last few years contamination effect on optical surfaces degradation has been considered with using empirical relations. Mirror reflective properties degradation leads to the increase of Solar Simulator errors. This ultimately has an adverse effect on S/C ground development, schedule and cost of thermal vacuum tests. Besides, the mirror maintenance in operable state becomes more expensive. The present paper is dedicated to the study of Solar Simulator collimation mirror contamination and to the search of ways for improving the mirror design and thermal vacuum test procedure. On the basis of tests performed, recommendations are devised on reducing chamber inner-optical surfaces cryocontamination and degradation.

Galjaev, V. L.↗
NASA NTRS2002

Statistical Sampling of Tide Heights Study

The goal of the study was to determine if it was possible to reduce the cost of verifying computational models of tidal waves and currents. Statistical techniques were used to determine the least number of samples required, in a given situation, to remain statistically significant, and thereby reduce overall project costs. Commercial, academic, and Federal agencies could benefit by applying these techniques, without the need to 'touch' every item in the population. For example, the requirement of this project was to measure the heights and times of high and low tides at 8,000 locations for verification of computational models of tidal waves and currents. The application of the statistical techniques began with observations to determine the correctness of submitted measurement data, followed by some assumptions based on the observations. Among the assumptions were that the data were representative of data-collection techniques used at the measurement locations, that time measurements could be ignored (that is, height measurements alone would suffice), and that the height measurements were from a statistically normal distribution. Sample means and standard deviations were determined for all locations. Interval limits were determined for confidence levels of 95, 98, and 99 percent. It was found that the numbers of measurement locations needed to attain these confidence levels were 55, 78, and 96, respectively.

Source record↗
NASA NTRS2002

Measurement Sets and Sites Commonly used for Characterizations

Scientists with NASA's Earth Science Applications Directorate are creating a well-characterized Verification & Validation (V&V) site at the Stennis Space Center (SSC). This site enables the in-flight characterization of remote sensing systems and the data that they require. The data are predominantly acquired by commercial, high-spatial resolution satellite systems, such as IKONOS and QuickBird 2, and airborne systems. The smaller scale of these newer high-resolution remote sensing systems allows scientists to characterize the geometric, spatial, and radiometric data properties using a single V&V site. The targets and techniques used to characterize data from these newer systems can differ significantly from the earlier, coarser spatial resolution systems. Scientists are also using the SSC V&V site to characterize thermal infrared systems and active Light Detection and Ranging (LIDAR) systems. SSC employs geodetic targets, edge targets, radiometric tarps, and thermal calibration ponds to characterize remote sensing data products. This paper presents a proposed set of required measurements for visible-through-longwave infrared remote sensing systems, and a description of the Stennis characterization. Other topics discussed inslude: 1) use of ancillary atmospheric and solar measurements taken at SSC that support various characterizations, 2) other sites used for radiometric, geometric, and spatial characterization in the continental United States,a nd 3) the need for a standardized technique to be adopted by the Committee on Earth Observation Satellites (CEOS) and other organizations.

Pagnutti, Mary↗
NASA NTRS2003

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

To achieve its science objectives in deep space exploration, NASA has a need for science platform vehicles to autonomously make control decisions in a time frame that excludes intervention from Earth-based controllers. Round-trip light-time is one significant factor motivating autonomy capability, another factor is the need to reduce ground support operations cost. An unsolved problem potentially impeding the adoption of autonomy capability is the verification and validation of such software systems, which exhibit far more behaviors (and hence distinct execution paths in the software) than is typical in current deepspace platforms. Hence the need for a study to benchmark advanced Verification and Validation (V&V) tools on representative autonomy software. The objective of the study was to access the maturity of different technologies, to provide data indicative of potential synergies between them, and to identify gaps in the technologies with respect to the challenge of autonomy V&V. The study consisted of two parts: first, a set of relatively independent case studies of different tools on the same autonomy code, second a carefully controlled experiment with human participants on a subset of these technologies. This paper describes the second part of the study. Overall, nearly four hundred hours of data on human use of three different advanced V&V tools were accumulated, with a control group that used conventional testing methods. The experiment simulated four independent V&V teams debugging three successive versions of an executive controller for a Martian Rover. Defects were carefully seeded into the three versions based on a profile of defects from CVS logs that occurred in the actual development of the executive controller. The rest of the document is structured a s follows. In section 2 and 3, we respectively describe the tools used in the study and the rover software that was analyzed. In section 4 the methodology for the experiment is described; this includes the code preparation, seeding of defects, participant training and experimental setup. Next we give a qualitative overview of how the experiment went from the point of view of each technology; model checking (section 5), static analysis (section 6), runtime analysis (section 7) and testing (section 8). The find section gives some preliminary quantitative results on how the tools compared.

Brat, Guillaume↗
NASA NTRS2002

Computational modeling of cardiovascular response to orthostatic stress

The objective of this study is to develop a model of the cardiovascular system capable of simulating the short-term (< or = 5 min) transient and steady-state hemodynamic responses to head-up tilt and lower body negative pressure. The model consists of a closed-loop lumped-parameter representation of the circulation connected to set-point models of the arterial and cardiopulmonary baroreflexes. Model parameters are largely based on literature values. Model verification was performed by comparing the simulation output under baseline conditions and at different levels of orthostatic stress to sets of population-averaged hemodynamic data reported in the literature. On the basis of experimental evidence, we adjusted some model parameters to simulate experimental data. Orthostatic stress simulations are not statistically different from experimental data (two-sided test of significance with Bonferroni adjustment for multiple comparisons). Transient response characteristics of heart rate to tilt also compare well with reported data. A case study is presented on how the model is intended to be used in the future to investigate the effects of post-spaceflight orthostatic intolerance.

Flight Experiment↗
NASA NTRS2006

Inspection and Verification of Domain Models with PlanWorks and Aver

When developing a domain model, it seems natural to bring the traditional informal tools of inspection and verification, debuggers and automated test suites, to bear upon the problems that will inevitably arise. Debuggers that allow inspection of registers and memory and stepwise execution have been a staple of software development of all sorts from the very beginning. Automated testing has repeatedly proven its considerable worth, to the extent that an entire design philosophy (Test Driven Development) has been developed around the writing of tests. Unfortunately, while not entirely without their uses, the limitations of these tools and the nature of the complexity of models and the underlying planning systems make the diagnosis of certain classes of problems and the verification of their solutions difficult or impossible. Debuggers provide a good local view of executing code, allowing a fine-grained look at algorithms and data. This view is, however, usually only at the level of the current scope in the implementation language, and the data-inspection capabilities of most debuggers usually consist of on-line print statements. More modem graphical debuggers offer a sort of tree view of data structures, but even this is too low-level and is often inappropriate for the kinds of structures created by planning systems. For instance, god or constraint networks are at best awkward when visualized as trees. Any any non-structural link between data structures, as through a lookup table, isn't captured at all. Further, while debuggers have powerful breakpointing facilities that are suitable for finding specific algorithmic errors, they have little use in the diagnosis of modeling errors.

Bedrax-Weiss, Tania↗
NASA NTRS2009

An Approach to Assess Observation Impact Based on Observation-Minus-Forecast Residuals

Langland and Baker (2004) introduced an approach to assess the impact of observations on the forecasts. In that, a state-space aspect of the forecast is defined and a procedure is derived that relates changes in the aspect with changes in the initial conditions associated with the assimilation of observations) ultimately providing information about the impact of individual observations on the forecast. Some features of the approach are to be noted. The typical choice of forecast aspect employed in related works is rather arbitrary and leads to an incomplete assessment of the observing system. Furthermore, the state-space forecast aspect requires availability of a verification state that should ideally be uncorrelated with the forecast but in practice is not. Lastly, the approach involves the adjoint operator of the entire data assimilation system and as such it is constrained by the validity of this operator. In this presentation, an observation-space metric is used that, for a relatively time-homogeneous observing system, allows inferring observation impact on the forecast without some of the limitations above. Specifically, using observation-minus-forecast residuals leads to an approach with the following features: (i) it suggests a rather natural choice of forecast aspect, directly linked to the analysis system and providing full assessment of the observations; (ii) it naturally avoids introducing undesirable correlations in the forecast aspect by verifying against the observations; and (iii) it does not involve linearization and use of adjoints; therefore being applicable to any length of forecast. The state and observation-space approaches might be complementary to some degree, and involve different limitations and complexities. Illustrations are given using the NASA GEOS-5 data.

Todling, Ricardo↗
NASA NTRS2010

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗
NASA NTRS2011

Lightning-Generated Whistler Waves Observed by Probes On The Communication/Navigation Outage Forecast System Satellite at Low Latitudes

Direct evidence is presented for a causal relationship between lightning and strong electric field transients inside equatorial ionospheric density depletions. In fact, these whistler mode plasma waves may be the dominant electric field signal within such depletions. Optical lightning data from the Communication/Navigation Outage Forecast System (C/NOFS) satellite and global lightning location information from the World Wide Lightning Location Network are presented as independent verification that these electric field transients are caused by lightning. The electric field instrument on C/NOFS routinely measures lightning ]related electric field wave packets or sferics, associated with simultaneous measurements of optical flashes at all altitudes encountered by the satellite (401.867 km). Lightning ]generated whistler waves have abundant access to the topside ionosphere, even close to the magnetic equator.

Holzworth, R. H.↗
DOE OSTI2020

Lessons Learned from the First Year of Property Remediation - 20475

The Port Hope Area Initiative (PHAI) is a federal environmental clean-up program. Its mandate is the remediation and local, long-term, safe management of approximately 1.7 million cubic metres of historic low-level radioactive waste (LLRW) in the adjacent communities of Port Hope and Port Granby in Southern Ontario, Canada. The PHAI is being undertaken by Canadian Nuclear Laboratories (CNL) on behalf of Atomic Energy of Canada Limited, a federal Crown corporation. It is currently one of the largest environmental remediation projects in Canada. The safety of workers, the public and the environment while delivering the PHAI compliantly, on time and within budget is CNL's number one priority. The PHAI is being carried out as two projects - the Port Hope Project and the Port Granby Project. The larger of the two PHAI scopes of work - the Port Hope Project - involves the cleanup of approximately 1.2 million cubic metres of historic LLRW from 18 major sites in Port Hope, the construction of an engineered aboveground mound where the waste will be safely contained and the long-term maintenance and monitoring of the facility. Construction of the waste water treatment plant, the first three of four cells in the mound and supporting infrastructure is complete, with construction of the fourth cell in progress. In 2017 with the movement of on-site waste at this facility began and is now complete. Waste excavation and transportation from off-site locations within the community began in 2018; the cleanup of four temporary storage sites is now complete and remediation at several other major sites is underway. The Port Hope Project also includes a survey of the interior and exterior investigation of approximately 4,800 properties, primarily residential, in the urban area of Port Hope for the presence or absence of historic LLRW. The current projection is that approximately 1,250 privately owned residential and commercial properties known as Small-Scale Sites (SSS) will be identified as having waste exceeding the PHAI clean-up criteria. This paper will outline some of the challenges and lessons learned from the first year of SSS remediation including contractual, data and design issues; interaction with and managing expectations of stakeholders; weather, site and structure conditions as well as municipal permitting, resourcing, transportation and remediation verification. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗
DOE OSTI2024

Experimental verification of integrability in a Danilov-Nagaitsev lattice using machine learning

In non-linear optics, achieving integrability can enhance the dynamic aperture in storage rings. We analyze turn-by-turn phase-space data from our Danilov-Nagaitsev lattice implementation at Fermilab's Integrable Optics Test Accelerator using machine learning. AI Poincaré estimates conserved quantities from experimental data without prior knowledge of the invariant structure, showing qualitative agreement with theoretical predictions. Additionally, one of the two learned invariants exhibits comparable or better conservation compared to known theoretical expressions.

43 PARTICLE ACCELERATORS↗
DOE OSTI2024

Experimental Verification of Integrability in a Danilov-Nagaitsev Lattice using Machine Learning

In non-linear optics, achieving integrability can enhance the dynamic aperture in storage rings. We analyze turn-by-turn phase-space data from our Danilov-Nagaitsev lattice implementation at Fermilab's Integrable Optics Test Accelerator using machine learning. \textit{AI Poincar\'e} estimates conserved quantities from experimental data without prior knowledge of the invariant structure, showing qualitative agreement with theoretical predictions. Additionally, one of the two learned invariants exhibits comparable or better conservation compared to known theoretical expressions.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗