Search NASA⌕ Search

SEARCH · Search NASA

Results for “Checking”

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 379 records · Page 21
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Symbolic Analysis of Concurrent Programs with Polymorphism

The current trend of multi-core and multi-processor computing is causing a paradigm shift from inherently sequential to highly concurrent and parallel applications. Certain thread interleavings, data input values, or combinations of both often cause errors in the system. Systematic verification techniques such as explicit state model checking and symbolic execution are extensively used to detect errors in such systems [7, 9]. Explicit state model checking enumerates possible thread schedules and input data values of a program in order to check for errors [3, 9]. To partially mitigate the state space explosion from data input values, symbolic execution techniques substitute data input values with symbolic values [5, 7, 6]. Explicit state model checking and symbolic execution techniques used in conjunction with exhaustive search techniques such as depth-first search are unable to detect errors in medium to large-sized concurrent programs because the number of behaviors caused by data and thread non-determinism is extremely large. We present an overview of abstraction-guided symbolic execution for concurrent programs that detects errors manifested by a combination of thread schedules and data values [8]. The technique generates a set of key program locations relevant in testing the reachability of the target locations. The symbolic execution is then guided along these locations in an attempt to generate a feasible execution path to the error state. This allows the execution to focus in parts of the behavior space more likely to contain an error.

Rungta, Neha Shyam↗
NASA NTRS2016

CryoCart Restoration and Vacuum Pipe Construction

Propulsion systems that utilize hypergolic propellants have been used to power space vehicles since the beginning of the space program. Liquid methane and oxygen propulsion systems have emerged as an alternative and have proven to be more environmentally friendly. The incorporation of liquid methane/liquid oxygen (LOX) into the propulsion system has demonstrated an increase in engine performance, as well as a reduction in the volume, size and complexity of the system. Consequently, reducing the total mass of the vehicle which is a crucial aspect that is considered when planning space missions to both the Moon and Mars [1]. Project Morpheus has made significant advancements in liquid oxygen/liquid methane propulsion system technologies by incorporating a LOX/methane propulsion system to a vertical test bed. The vehicle consisted of a 5,000 lb main engine and four 20 lb remote control system (RCS) engines that utilize liquid methane/LOX as its propellant [1]. The vehicle completed successful flight testing at Kennedy Space Center in 2014 which marked the completion of the Morpheus project. Subsequent projects utilizing Morpheus' vertical test bed have been developed to make further advancements. One of the subsequent projects consisted of the addition of a smaller 2,000 lb main engine and a cold helium heat exchanger which would make it possible for a pressurant tank systems to be send to Mars or the Moon by significantly decreasing the overall mass and volume of the pressurant tank. The hot fire tests of the integrated system with the smaller main engine and cold helium heat exchanger were successful at sea level, but further studies are being conducted to better understand how the vertical test bed will behave under thermal-vacuum conditions. For this reason, the integrated vehicle will be taken to Plum Brook to be tested in a chamber capable of simulating these conditions. To ensure that the vehicle will function properly under vacuum conditions, testing will be first completed at the component level. During this process, the igniter of the main engine and the RCS thrusters will be tested under a vacuum. To complete the testing of the components, the test setup first needed to be finalized. The CryoCart is being used to feed the propellants to the test article. The CryoCart is a movable test set-up that was developed in 2009 to provide a mobile platform for testing oxygen/methane systems with hot-fire capability up to 100 lbf. The CryoCart consists of three different systems: Oxygen, Methane, and liquid Nitrogen. The Oxygen and Methane systems are placed into two different carts while the liquid nitrogen system is mainly located in the methane cart. Over the years, the CryoCart has been utilized for different projects and has undergone deterioration. For this reason, a new phase has been developed to rebuild it to working conditions once again. During my internship, I was aiding in the construction and restoration of the CryoCart. In the initial stages of the process, I updated the fluid and electrical schematics for the oxygen, methane, and test article systems. The original CryoCart consisted of an electrical panel that utilized electromechanical relays and a terminal to drive the igniter power and signal, as well as the main fuel and oxygen valves. This electrical panel connected to the CryoCart through various wire harnesses that could be found exiting from the CryoCart. First, it was determined how these harnesses connected to the electromechanical relays so that they worked correctly. Once the electrical system was understood, an alternative for the electromechanical relays and the Molex connectors used throughout the system was sought since these components can often prove to be unreliable. Solid State relays and MIL connectors were purchased to serve as replacements. Upon arrival of the parts, crimping and wiring was completed to install the new solid state relays and MIL connectors. During the replacement of the relays and connectors, system checks of the electrical system were ran to ensure that the system was working correctly. While completing system checks, the pressure transducers that were not functioning properly were also replaced and any issue with the wiring or signal was addressed. Once the electrical components were replaced, the restoration of the fluid system began. Parts of the tubing in the CryoCart had to be rebuild and often consisted of sizing, cutting, bending, filing, and sanding the tubing to prepare it to be flared. Many components had to be proof-tested to bring their certifications up to date, and several components had to be replaced. Various flex hoses, valves, and fittings were send to the Clean Lab because they were new, dirty, or had gone through proof-testing. Once they arrived from the cleaning lab they had to be put back to the system and leak checks and functional tests were conducted. In the Nitrogen system, the copper tubing located in the Oxygen cart was rebuild and Aerogel insulation was added to this section. A new gaseous nitrogen system was added to the CryoCart to purge the vacuum tube which will serve as the test chamber. Once the CryoCart was completed, construction of parts of the vacuum tube began. A flange was manufactured with welded fittings to hold the line of the vacuum pump as well as some extra fittings which will serve as extra inlets used to introduce fluid lines to the vacuum tube. Stress analysis was ran in this flange to ensure that it would not fail under vacuum conditions. The fluid lines leading from the air side of the vacuum to the test article were also constructed and added to the mount that had already been manufactured. Three different sets of tubing were constructed to accommodate the seven different RCS thruster and the main engine igniter that are going to be tested. Full electrical system checks were completed to ensure that all the wire harnesses and valves were functioning. Upon the completion of the CryoCart and the vacuum tube, hot fire testing for the RCS thrusters and the main engine igniter are going to begin. During this time any issues encountered with the engines or igniter will be addressed to ensure that the components function under vacuum conditions. After successful completion of testing, the vertical test bed, Morpheus, will be rebuilt and prepared to be sent to Plum Brook. In Plum Brook, the vehicle will be tested in the thermal-vacuum chamber to demonstrate that integrated lox-methane propulsion system operation in space-like conditions. This internship has allowed me the opportunity to gain valuable hands on experience and to develop skills that will aid in my education as well as in the workforce, while at the same time helping me determine that I would like to further pursue a career in propulsion engineering.

Chaidez, Mariana↗
NASA NTRS2020

Calibration of the 11x11-Foot Transonic Wind Tunnel at NASA Ames Research Center

A static pipe calibration characterizing the streamwise static pressure distribution was conducted at the 11-By 11-Foot Transonic Wind Tunnel at NASA Ames Research Center. This data is used to determine the local Mach number within the test section and evaluate buoyancy corrections to axial force measurements. The 60 foot long, 6 inch diameter pipe contained 444 static pressure taps spanning the test section and nozzle regions of the tunnel. The forward end of the pipe extends into the settling chamber and is held by four cables mounting to the tunnel shell, and the aft end is fixed on the institutional model support system. A hydraulic cylinder at the aft end of the pipe provides tension on the system to reduce vibration and to keep the pipe as level as possible throughout the test section. The previous calibration was improved upon by using pressure scanners with greater accuracy, ensuring a uniform pressure tube length for each tap to control pneumatic lag, optically tracking any streamwise movement of the pipe, and more tightly controlling the tunnel condition set points. Typically this calibration is conducted with the pipe on tunnel centerline and 33 inches below centerline for sting-mounted models and semi-span (i.e. floor-mounted) models respectively, however schedule demands permitted only the centerline calibration. The semi-span calibration is planned to be completed in the summer of 2020. Immediately following the static pipe calibration, a shorter, 9 foot static pipe used as the calibration check standard was installed to obtain its first post-calibration pressure dataset. This short static pipe consists of 148 static pressure taps distributed along the pipe section and one total pressure tap at the end of an ogive nose. Performing the calibration test and its check standard back-to-back allows this dataset to establish a reliable baseline for future calibration check standard testing. Over time the use of a calibration check standard offers the ability to assess the stability of the calibration through statistical process control in an efficient and costeffective manner, thereby potentially increasing the time required between full tunnel calibrations.

White, Bethany↗
NASA NTRS2019

Tests of General Relativity With the Binary Black Hole Signals from the LIGO-Virgo Catalog GWTC-1

The detection of gravitational waves by Advanced LIGO and Advanced Virgo provides an opportunity to test general relativity in a regime that is inaccessible to traditional astronomical observations and laboratory tests. We present four tests of the consistency of the data with binary black hole gravitational waveforms predicted by general relativity. One test subtracts the best-fit waveform from the data and checks the consistency of the residual with detector noise. The second test checks the consistency of the low- and high-frequency parts of the observed signals. The third test checks that phenomenological deviations introduced in the waveform model (including in the post-Newtonian coefficients) are consistent with 0. The fourth test constrains modifications to the propagation of gravitational waves due to a modified dispersion relation, including that from a massive graviton. We present results both for individual events and also results obtained by combining together particularly strong events from the first and second observing runs of Advanced LIGO and Advanced Virgo, as collected in the catalog GWTC-1. We do not find any inconsistency of the data with the predictions of general relativity and improve our previously presented combined constraints by factors of 1.1 to 2.5. In particular, we bound the mass of the graviton to be 𝑚𝑔≤4.7×10 −23 eV/𝑐 2 (90% credible level), an improvement of a factor of 1.6 over our previously presented results. Additionally, we check that the four gravitational-wave events published for the first time in GWTC-1 do not lead to stronger constraints on alternative polarizations than those published previously.

B P Abbott↗
NASA NTRSDate not supplied

Evaluation of the Accuracy of the Load Prediction Equations of Low-Load Balance Calibration Data

Accuracy and reliability of the load prediction equations of a low-load calibration data set of a force balance were investigated. First, independent load prediction equations were generated from the data of a full-load and low-load machine calibration. Then, the low- load data set was processed as a set of precision check loads for the load prediction equations that were obtained from the full-load and low-load calibrations. Finally, the load prediction equations of the two calibrations were applied to four manual check load data sets that were recorded between 2009 and 2022. The residuals of the predicted calibration and check loads were compared in all cases. No systematic improvement of the load prediction accuracy was observed when the load prediction equations of the low-load calibration were applied to the check load data sets. Therefore, it is recommended to apply a full-load calibration to a six-component balance even if the balance is not used across its entire design envelope. This approach has the advantage that the resulting load prediction equations are less likely to be applied outside of the calibration load ranges. In addition, it is expected that the numerical estimates of the gage sensitivities are more reliable assuming that the uncertainties of the applied loads and measured outputs of the calibration data are more or less constant across the load range of the balance.

strain-gage balance↗
NASA NTRSDate not supplied

Evaluation of the Accuracy of the Load Prediction Equations of Low-Load Balance Calibration Data

Accuracy and reliability of the load prediction equations of a low-load calibration data set of a force balance were investigated. First, independent load prediction equations were generated from the data of a full-load and low-load machine calibration. Then, the low-load data set was processed as a set of precision check loads for the load prediction equations that were obtained from the full-load and low-load calibrations. Finally, the load prediction equations of the two calibrations were applied to four manual check load data sets that were recorded between 2009 and 2022. The residuals of the predicted calibration and check loads were compared in all cases. No systematic improvement of the load prediction accuracy was observed when the load prediction equations of the low-load calibration were applied to the check load data sets. Therefore, it is recommended to apply a full-load calibration to a six-component balance even if the balance is not used across its entire design envelope. This approach has the advantage that the resulting load prediction equations are less likely to be applied outside of the calibration load ranges. In addition, it is expected that the numerical estimates of the bridge sensitivities are more reliable assuming that the uncertainties of the applied loads and measured outputs of the calibration data are more or less constant across the load range of the balance.

strain-gage balance↗
NASA NTRS2006

Construction of Protograph LDPC Codes with Linear Minimum Distance

A construction method for protograph-based LDPC codes that simultaneously achieve low iterative decoding threshold and linear minimum distance is proposed. We start with a high-rate protograph LDPC code with variable node degrees of at least 3. Lower rate codes are obtained by splitting check nodes and connecting them by degree-2 nodes. This guarantees the linear minimum distance property for the lower-rate codes. Excluding checks connected to degree-1 nodes, we show that the number of degree-2 nodes should be at most one less than the number of checks for the protograph LDPC code to have linear minimum distance. Iterative decoding thresholds are obtained by using the reciprocal channel approximation. Thresholds are lowered by using either precoding or at least one very high-degree node in the base protograph. A family of high- to low-rate codes with minimum distance linearly increasing in block size and with capacity-approaching performance thresholds is presented. FPGA simulation results for a few example codes show that the proposed codes perform as predicted.

Low-density parity-check (LDPC)↗
NASA NTRS2015

Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites

Structural coverage metrics have traditionally categorized code as either covered or uncovered. Recent work presents a stronger notion of coverage, checked coverage, which counts only statements whose execution contributes to an outcome checked by an oracle. While this notion of coverage addresses the adequacy of the oracle, for Model-Based Development of safety critical systems, it is still not enough; we are also interested in how much of the oracle is covered, and whether the values of program variables are masked when the oracle is evaluated. Such information can help system engineers identify missing requirements as well as missing test cases. In this work, we add to the idea of checked coverage an analysis of requirements coverage to help provide insight to engineers as to whether the requirements or the test suite need to be improved. We implement our approach based on a dynamic backward slicing technique and evaluate it on several systems developed in Simulink. The results of our preliminary study show that even for systems with comprehensive test suites and good sets of requirements, our approach can identify cases where more tests or more requirements are needed to improve coverage numbers.

Dynamic Slicing↗
DOE OSTI2025

Dynamical logical qubits in the Bacon-Shor code

The Bacon-Shor code is a quantum error correcting subsystem code composed of weight-2 check operators that admits a single logical qubit, and has distance 𝑑 on a 𝑑×𝑑 square lattice. We show that when viewed as a Floquet code, by choosing an appropriate measurement schedule of the check operators, it can additionally host several dynamical logical qubits. Specifically, we identify a period-4 measurement schedule of the check operators that preserves logical information between the instantaneous stabilizer groups. Such a schedule not only measures the usual stabilizers of the Bacon-Shor code, but also measures and promotes gauge operators of the parent subsystem code to additional temporary stabilizers that protect the dynamical logical qubits against errors. We show that the code distance of these Floquet-Bacon-Shor codes scales as Θ⁢(𝑑/√𝑘) on an 𝑛=𝑑×𝑑 lattice with 𝑘 dynamical logical qubits, along with the logical qubit of the parent subsystem code. Unlike the usual Bacon-Shor code, the Floquet-Bacon-Shor code family introduced here can therefore saturate the subsystem bound 𝑘⁢𝑑=𝑂⁡(𝑛). Moreover, several errors are shown to be self-corrected purely by the measurement schedule itself. This work provides insights into the design space for dynamical codes and expands the known approaches for constructing Floquet codes.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2024

HELIUM LEAK TEST MODELING OF A SPENT NUCLEAR FUEL CANISTER

The U.S. Department of Energy (DOE) is considering the development of one or more federal consolidated interim storage facilities (CISFs) to be used to store commercial spent nuclear fuel (SNF) at locations in the U.S. One of the first technical challenges of a CISF is performing an inspection of SNF canisters upon their receipt to confirm they can be placed into the CISF’s licensed storage configuration. The canister receipt inspection is critical to CISF site operations. The test is conceived as being a helium (He) leak check, intended to confirm that the confinement boundary of a SNF canister is intact. SNF canisters are filled with He when they are sealed, so detection of a He leak indicates that a through-wall flaw has occurred in the canister confinement boundary. Other measurements are planned to occur upon canister receipt in addition to the He leak check such as krypton-85 measurements, which would indicate confinement breaches of one or more fuel rods in addition to a breach of the SNF canister. However, the He leak check has been identified as one of such high importance and has such significant technical challenges that a full-scale demonstration is needed to confirm the He leak test’s viability and to assist in planning relative to its operational requirements. A modeling methodology for simulating the He detection test was developed to help inform the test plan and the design of the test vessels. To develop the modeling methodology a detailed computational fluid dynamics (CFD) benchmark model was constructed to compare against leak rate test data from a transportation package for radioactive material. This report is focused on modeling efforts to simulate the benchmark leak test.

Suffield, Sarah R.↗
DOE OSTI2024

In Silico Human Mobility Data Science: Leveraging Massive Simulated Mobility Data (Vision Paper)

Human mobility data science using trajectories or check-ins of individuals has many applications. Recently, we have seen a plethora of research efforts that tackle these applications. However, research progress in this field is limited by a lack of large and representative datasets. The largest and most commonly used dataset of individual human trajectories captures fewer than 200 individuals, while datasets of individual human check-ins capture fewer than 100 check-ins per city per day. Thus, it is not clear if findings from the human mobility data science community would generalize to large populations. Since obtaining massive, representative, and individual-level human mobility data is hard to come by due to privacy considerations, the vision of this work is to embrace the use of data generated by large-scale socially realistic microsimulations. Informed by both real data and leveraging social and behavioral theories, massive spatially explicit microsimulations may allow us to simulate entire megacities at the person level. The simulated worlds, which do not capture any identifiable personal information, allow us to perform “in silico” experiments using the simulated world as a sandbox in which we have perfect information and perfect control without jeopardizing the privacy of any actual individual. In silico experiments have become commonplace in other scientific domains such as chemistry and biology, permitting experiments that foster the understanding of concepts without any harm to individuals. This work describes challenges and opportunities for leveraging massive and realistic simulated alternate worlds for in silico human mobility data science.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2026

Database Performance Monitoring for DUNE

This project improves Checkmk monitoring for DUNE Rucio PostgreSQL database services by adding clearer dashboard visibility for connection and lock behavior. The work began with a request to monitor database performance metrics such as connection usage, configured limits, lock activity, wait behavior, query performance, storage trends, and saturation alerts. Existing Checkmk PostgreSQL checks were reviewed, and gaps were identified in how connection states and lock modes were displayed. To address these gaps, two DSG-specific local checks were added for dune_rucio_prod: one for connection-state monitoring and one for lock-state monitoring. These checks report active, idle, idle-in-transaction, total, usage-percent, lock-mode, waiting-lock, and wait-age metrics. The added metrics supplement built-in Checkmk monitoring and provide DUNE application developers with clearer service states, history graphs, dashboard widgets, and alerts.

Bowers, Elliot [Cabrillo Coll.]↗
NASA NTRS1975

Launch vehicle attitude control

The minor loop and minor loop support modules which maintain correct vehicle attitude control by generating vehicle attitude error signals were verified. The logic is checked during boost and orbit (unusual timing situations necessitate the additional orbit checks) and the constants used by these modules checked at every point during the flight. Since the same logic instructions are used throughout the flight with only the constants changing, verification of the logic at two points and the constants at all points verify the logic throughout the flight.

Source record↗
NASA NTRS1974

Alternant codes

A class of codes defined by the parity check matrix of a linear code of minimum distance at least t + 1 is examined and the number of parity check symbols is discussed. Determinants of this type are known as alternants (Muir and Metzler, 1930); codes corresponding to such a matrix are termed alternant codes. The parity check matrix is obtained by restricting some of its elements to subfields of GF(q to the m-th power). Minimum distance and redundancy bounds are established for these codes, and some interesting equivalence and invariance properties are derived.

Helgert, H. J.↗
NASA NTRS1977

Evaluation Program for Secondary Spacecraft Cells: Synchronous Orbit Testing of Sealed Nickel Cadmium Cells

Performance data concerning sealed nickel-cadmium cells operating under a synchronous orbit regime are presented. A space satellite maintaining a position over a fixed point on earth as the earth rotates on its axis and revolves about the sun was simulated. Results include: (1) exposure to synchronous orbit testing at a temperature of 40 C yields less than 6 years of life; (2) performance at -20 C presents a low capacity problem; (3) the capacity check, performed at the middle of each show period, provides a temporary red reconditioning effect on the cells in that the end-of-discharge voltages are higher, for approximately 7 to 10 days, following the capacity check than they were 7 to 10 days prior to the capacity check; (4) all the test packs at -20 C and 40 C have either failed or were discontinued because of low capacity; and (5) test packs at temperatures of 0 C and 10 C have delivered the best capacity during life and packs tested at 20 C showed better life capability than packs tested at -20 C and 40 C.

Harkness, J. D.↗
NASA NTRS1980

Tube-shape verifier

Inexpensive apparatus checks accuracy of bent tubes. Assortment of slotted angles and clamps is bolted down to flat aluminum plate outlining shape of standard tube bent to desired configuration. Newly bent tubes are then checked against this outline. Because parts are bolted down, tubes can be checked very rapidly without disturbing outline. One verifier per tube-bending machine can really speed up production in tube-bending shop.

Anderson, A. N.↗
NASA NTRS1978

Quasi-optimal decoding of linear block codes using soft decision detection

A simple but effective decoding procedure, applicable to any (n,k) linear block code with symbols from GF(q), is described. The technique involves a transformation of the parity check equations which focuses the code's correction power on the soft symbol set while still retaining the capability to correct one symbol error from outside this set. The soft symbol set is defined to be the n-k least reliably detected code symbol positions whose parity check row-spaces are linearly independent. The process generates a number of error vector screening candidates, each a solution to the parity check equations, and the maximum-likelihood candidate is accepted.

Greene, E. P.↗
NASA NTRS1983

Experiments with optical instruments

Photography was used to document known defects of the periscopic instrument used to check spacecrews in the descent module of the Soyuz T-4. The screen of the altitude control unit was also photographed and revealed glare in the central field of vision. A light filter was installed in the peripheral window to observe the Sun and horizon of the Earth. Checking attitude control by means of polaroids enabled a 5 further advance (500 km) into the zone of shadow. The attitude control unit was used to check the orbital orientation with respect to the vertical during the night segment of flight. A lens screen was used for the emission glow of the atmosphere at an altitude of about 100 km. Docking of the Soyuz T-4 was observed by means of an onboard display, a television camera, and a sighting device. From a distance of about 5 km, the space station could be seen as a bright dot in the sighting device. Docking occurred in shadow.

Savinykh, V.↗