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 361 records · Page 20
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↗
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.↗
NASA NTRS1985

Automatic oscillator frequency control system

A frequency control system makes an initial correction of the frequency of its own timing circuit after comparison against a frequency of known accuracy and then sequentially checks and corrects the frequencies of several voltage controlled local oscillator circuits. The timing circuit initiates the machine cycles of a central processing unit which applies a frequency index to an input register in a modulo-sum frequency divider stage and enables a multiplexer to clock an accumulator register in the divider stage with a cyclical signal derived from the oscillator circuit being checked. Upon expiration of the interval, the processing unit compares the remainder held as the contents of the accumulator against a stored zero error constant and applies an appropriate correction word to a correction stage to shift the frequency of the oscillator being checked. A signal from the accumulator register may be used to drive a phase plane ROM and, with periodic shifts in the applied frequency index, to provide frequency shift keying of the resultant output signal. Interposition of a phase adder between the accumulator register and phase plane ROM permits phase shift keying of the output signal by periodic variation in the value of a phase index applied to one input of the phase adder.

Smith, S. F.↗
NASA NTRS1987

Second generation experiments in fault tolerant software

The purpose of the Multi-Version Software (MVS) experiment is to obtain empirical measurements of the performance of multi-version systems. Twenty version of a program were prepared under reasonably realistic development conditions from the same specifications. The overall structure of the testing environment for the MVS experiment and its status are described. A preliminary version of the control system is described that was implemented for the MVS experiment to allow the experimenter to have control over the details of the testing. The results of an empirical study of error detection using self checks are also presented. The analysis of the checks revealed that there are great differences in the ability of individual programmers to design effective checks.

Knight, J. C.↗
NASA NTRS1987

Development of the helium signature test for orbiter main propulsion system revalidation between flights

This paper presents the development of a test technique for revalidation of the Space Shuttle Orbiter Main Propulsion System during ground turnaround operations between flights of the Space Transportation System (STS). The Main Propulsion System consists of the three Space Shuttle Main Engines (SSME's) and the Main Propulsion System (MPS) connecting the SSME's to the orbiter/ground and orbiter/External Tank (ET) interfaces. The Helium Signature Test (HST) performs an end-to-end leak check of the MPS/SSME subsystems that serves as a final validation of those systems for reuse. The test was initially developed during the ground processing flow prior to the STS-6 launch of orbiter Challenger. The test was developed to fulfill a requirement for an overall subsystem leak check as a result of experience gained during the STS-6 Challenger Flight Readiness Firing (FRF) series, during which leaks were encountered in the SSME's that were not detected by routine fluid joint leak checks. The HST technique is described in detail, including orbiter and test equipment configuration, and compared to other leak detection methods used to revalidate MPS/SSME systems for reuse. The HST data base accumulated since STS-6 is summarized and future test applications are described.

Bilardo, Vincent J., Jr.↗
NASA NTRS1986

A study of the use of abstract types for the representation of engineering units in integration and test applications

Physical quantities using various units of measurement can be well represented in Ada by the use of abstract types. Computation involving these quantities (electric potential, mass, volume) can also automatically invoke the computation and checking of some of the implicitly associable attributes of measurements. Quantities can be held internally in SI units, transparently to the user, with automatic conversion. Through dimensional analysis, the type of the derived quantity resulting from a computation is known, thereby allowing dynamic checks of the equations used. The impact of the possible implementation of these techniques in integration and test applications is discussed. The overhead of computing and transporting measurement attributes is weighed against the advantages gained by their use. The construction of a run time interpreter using physical quantities in equations can be aided by the dynamic equation checks provided by dimensional analysis. The effects of high levels of abstraction on the generation and maintenance of software used in integration and test applications are also discussed.

Johnson, Charles S.↗