Search NASA⌕ Search

SEARCH · Search NASA

Results for “consistency 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 307 records · Page 17

Far-field multimodal acoustic radiation directivity

Approximate equations for the far field acoustic radiation patterns in the forward quadrant from a flanged circular duct were compared with exact equations for both single and multimodal excitations. The single mode comparison showed good agreement between the exact and approximate equations for the principal lobes of higher radial order modes. For lower and especially for zero radial order modes, there was some error in the angular location and decibel level of principal lobe peak pressure obtained from the approximate equation. Some agreement of sidelobes was also observed although the approximate equation was not intended to simulate the sidelobes. The multimodal approximate summation equations consisting only of a simple function of directivity angle and an acoustic power biasing function were checked against the exact equations for several distributions of modal power and showed excellent agreement with exact equations for all cases. Although many modes contribute to the final level and shape of the directivity curve, the major contributions appear to come from the higher radial order modes.

Saule, A. V.↗

Reconfigurable modular computer networks for spacecraft on-board processing

The core electronics subsystems on unmanned spacecraft, which have been sent over the last 20 years to investigate the moon, Mars, Venus, and Mercury, have progressed through an evolution from simple fixed controllers and analog computers in the 1960's to general-purpose digital computers in current designs. This evolution is now moving in the direction of distributed computer networks. Current Voyager spacecraft already use three on-board computers. One is used to store commands and provide overall spacecraft management. Another is used for instrument control and telemetry collection, and the third computer is used for attitude control and scientific instrument pointing. An examination of the control logic in the instruments shows that, for many, it is cost-effective to replace the sequencing logic with a microcomputer. The Unified Data System architecture considered consists of a set of standard microcomputers connected by several redundant buses. A typical self-checking computer module will contain 23 RAMs, two microprocessors, one memory interface, three bus interfaces, and one core building block.

Rennels, D. A.↗

Optimal Network-Topology Design

Candidate network designs tested for acceptability and cost. Optimal Network Topology Design computer program developed as part of study on topology design and analysis of performance of Space Station Information System (SSIS) network. Uses efficient algorithm to generate candidate network designs consisting of subsets of set of all network components, in increasing order of total costs and checks each design to see whether it forms acceptable network. Technique gives true cost-optimal network and particularly useful when network has many constraints and not too many components. Program written in PASCAL.

Li, Victor O. K.↗

Original Size and Shape of the Sudbury Structure

This paper presents new evidence bearing on the original size and shape of the Sudbury impact structure. Current opinion is almost unanimous that the structure is a multiring basin with an original diameter of about 200 km and a circular shape that has since been shortened in a northwest-southeast direction by Penokean deformation Evidence for this interpretation, collected chiefly from north of the Sudbury Igneous Complex (SIC), includes supposed outer rings on Landsat imagery, distant occurrences of "Sudbury breccia" (generally defined as pseudotachylite), shatter cone occurrences, and outliers of Huronian sedimentary rock thought to be down-faulted rings. New data from imaging radar and field work north of the SIC, however, contradict this evidence. Radar imagery shows no signs of the supposed outer rings mapped by earlier workers on Landsat images. The most prominent ring has been found to be a chance alignment of two independent fracture sets. Radar imagery from the CCRS Convair 580, with look direction almost normal to the north rim of the SIC, shows no evidence of the rings despite strong look azimuth highlighting. Radar imagery has shown many unmapped diabase dikes north of the SIC. Several exposures of supposed Sudbury breccia are associated with these dikes or with Nipissing diabase intrusions, in some cases actually inside the dikes or directly continuous with them. They appear to be igneous intrusion breccias with no relation to impact. Shock-wave interaction at lithologic contacts cannot be invoked for most of these, because they are part of a northwest trending swarm cutting the SIC in the North Range, and hence too young for an impact origin. Similar diabase-related breccias and pseudotachylite-like veins have been found far outside the Sudbury area between Chapleau and Thessalon. Shatter cones north of the SIC are few and poorly developed, perhaps due to the coarse-grained Footwall rock, and cannot be considered a continuous zone analogous to their occurrence on the South Range in Huronian rocks. Supposed down-faulted outliers of Huronian rocks north of the SIC show no consistent relation to faulting, and the Huronian/Archean contact is locally erosional. Radar imagery and field-checking confirm Rousell's conclusion that the North Range has undergone little or no Penokean deformation. T'his implies that the plan view outline of the crater (floor of the SIC) is original. Extrapolation of the North Range as part of a circular arc leads to an impossibly great diameter. It is concluded that although Penokean deformation largely accounts for the structure's shape, the original crater was not circular and was much smaller than 200 km across.

Lowman, P. D., Jr.↗

Automata-Based Verification of Temporal Properties on Running Programs

This paper presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to Buchi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

Giannakopoulou, Dimitra↗

Runtime Analysis of Linear Temporal Logic Specifications

This report presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to B chi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

Giannakopoulou, Dimitra↗

Detection, Location, and Classification of Space Shuttle Main Engine Nozzle Leaks by Transient Thermographic Inspection

Leak checking and evaluation of pressure vessels by observing the slight temperature changes resulting from structural anomalies has been made possible through developments in high resolution infrared cameras and advanced image processing. These developments have made thermal nondestructive analysis a very practical and efficient method to determine material consistency and structural quality as well as monitor processes. The Space Shuttle Main Engine Nozzle has regions which can not be inspected with standard leak check methods. The Thermographic methods being developed to nondestructively test the Nozzle for leaks in inaccessible regions are reported. Also, a flash heating Thermographic investigation of the braze line bonding the cooling tubes to the outer structural jacket of the nozzle is reported.

Russell, Samuel S.↗

Temperature and humidity control of simulated human breath

Subsystem was developed for breathing metabolic simulator which adjusts temperature and humidity of air to levels of human exhaled breath. Temperature-humidity subsystem is described, consisting of aluminum enclosure with 400 watt heat sheet glued to bottom, vertical separators, inlet connection, and check valve.

Bartlett, R. G.↗

Static and Wind Tunnel Aero-Performance Tests of NASA AST Separate Flow Nozzle Noise Reduction Configurations

This report presents the results of cold flow model tests to determine the static and wind tunnel performance of several NASA AST separate flow nozzle noise reduction configurations. The tests were conducted by Aero Systems Engineering, Inc., for NASA Glenn Research Center. The tests were performed in the Channels 14 and 6 static thrust stands and the Channel 10 transonic wind tunnel at the FluiDyne Aerodynamics Laboratory in Plymouth, Minnesota. Facility checkout tests were made using standard ASME long-radius metering nozzles. These tests demonstrated facility data accuracy at flow conditions similar to the model tests. Channel 14 static tests reported here consisted of 21 ASME nozzle facility checkout tests and 57 static model performance tests (including 22 at no charge). Fan nozzle pressure ratio varied from 1.4 to 2.0, and fan to core total pressure ratio varied from 1.0 to 1.19. Core to fan total temperature ratio was 1.0. Channel 10 wind tunnel tests consisted of 15 tests at Mach number 0.28 and 31 tests at Mach 0.8. The sting was checked out statically in Channel 6 before the wind tunnel tests. In the Channel 6 facility, 12 ASME nozzle data points were taken and 7 model data points were taken. In the wind tunnel, fan nozzle pressure ratio varied from 1.73 to 2.8, and fan to core total pressure ratio varied from 1.0 to 1.19. Core to fan total temperature ratio was 1.0. Test results include thrust coefficients, thrust vector angle, core and fan nozzle discharge coefficients, total pressure and temperature charging station profiles, and boat-tail static pressure distributions in the wind tunnel.

Mikkelsen, Kevin L.↗

Oscillating-Linear-Drive Vacuum Compressor for CO2

A vacuum compressor has been designed to compress CO2 from approximately equal to 1 psia (approximately equal to 6.9 kPa absolute pressure) to approximately equal to 75 psia (approximately equal to 0.52 MPa), to be insensitive to moisture, to have a long operational life, and to be lightweight, compact, and efficient. The compressor consists mainly of (1) a compression head that includes hydraulic diaphragms, a gas-compression diaphragm, and check valves; and (2) oscillating linear drive that includes a linear motor and a drive spring, through which compression force is applied to the hydraulic diaphragms. The motor is driven at the resonance vibrational frequency of the motor/spring/compression-head system, the compression head acting as a damper that takes energy out of the oscillation. The net effect of the oscillation is to cause cyclic expansion and contraction of the gas-compression diaphragm, and, hence, of the volume bounded by this diaphragm. One-way check valves admit gas into this volume from the low-pressure side during expansion and allow the gas to flow out to the high-pressure side during contraction. Fatigue data and the results of diaphragm stress calculations have been interpreted as signifying that the compressor can be expected to have an operational life of greater than 30 years with a confidence level of 99.9 percent.

Izenson, Michael G.↗

Investigation of U content in J-swipe/PIC samples

This final report documents the results of an evaluation of the U content in J-swipes for the International Atomic Energy Agency (IAEA). J-swipes are manufactured with inked numbers (1–30) and U backgrounds that are considered consistent across different lots and manufacturing times. These characteristics make them ideal for use by IAEA inspectors for pre-inspection check samples to ensure inspectors are not cross-contaminating sites. However, recent work has found elevated U concentrations in the inked numbers compared with the J-swipe material. To determine whether the inked numbers correlate with the U backgrounds, triplicate U content measurements were made on Swipes 1, 2, 11, 22, and 28. Triplicates of each swipe were processed through the standard chemistry used by the Oak Ridge National Laboratory Network of Analytical Laboratories team and analyzed for U content by isotope dilution via multicollector inductively coupled plasma mass spectrometry. Finally, samples were made by mass consisting of only ink areas and only cotton swipe material to determine the trace element differences between the cotton and the ink.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

Space station resistojet system requirements and interface definition study

A conceptual design study of the resistojet orbital replacement unit (ORU) was conducted. The ORU consists of four 500-W multipropellant resistojets, fluid components downstream of the waste fluid storage subsystem, a power controller, structure, and micrometeorite shielding. The fluid components include latch valves, a water vaporizer, two pressure regulators or flow control valves, filters, check valves, fluid tubing, and interface couplings. Separate fluid components are provided for oxidizing fluids, reducing fluids and water. Different flow and power control methods were studied. The most promising methods consist of a constant pressure/on-off power control and a constant power/variable pressure control. The closed-loop power control incorporates a feedback signal which is proportional to resistojet heater temperature.

Finden, L. E.↗

The Atacama Cosmology Telescope: Cosmology from Cross-correlations of unWISE Galaxies and ACT DR6 CMB Lensing

We present tomographic measurements of structure growth using cross-correlations of Atacama Cosmology Telescope (ACT) DR6 and Planck cosmic microwave background (CMB) lensing maps with the unWISE Blue and Green galaxy samples, which span the redshift ranges 0.2 ≲ z ≲ 1.1 and 0.3 ≲ z ≲ 1.8, respectively. We improve on prior unWISE cross-correlations not just by making use of the new, high-precision ACT DR6 lensing maps, but also by including additional spectroscopic data for redshift calibration and by analyzing our measurements with a more flexible theoretical model. We determine the amplitude of matter fluctuations at low redshifts (z ≃ 0.2–1.6), finding S 8 ≡ σ 8 (Ω m /0.3) 0.5 = 0.813 ± 0.021 using the ACT cross-correlation alone and S 8 = 0.810 ± 0.015 with a combination of Planck and ACT cross-correlations; these measurements are fully consistent with the predictions from primary CMB measurements assuming standard structure growth. The addition of baryon acoustic oscillation data breaks the degeneracy between σ 8 and Ω m , allowing us to measure σ 8 = 0.813 ± 0.020 from the cross-correlation of unWISE with ACT and σ 8 = 0.813 ± 0.015 from the combination of cross-correlations with ACT and Planck. These results also agree with the expectations from primary CMB extrapolations in ΛCDM cosmology; the consistency of σ 8 derived from our two redshift samples at z ∼ 0.6 and 1.1 provides a further check of our cosmological model. Our results suggest that structure formation on linear scales is well described by ΛCDM even down to low redshifts z ≲ 1.

79 ASTRONOMY AND ASTROPHYSICS↗

Topology design and performance analysis of an integrated communication network

A research study on the topology design and performance analysis for the Space Station Information System (SSIS) network is conducted. It is begun with a survey of existing research efforts in network topology design. Then a new approach for topology design is presented. It uses an efficient algorithm to generate candidate network designs (consisting of subsets of the set of all network components) in increasing order of their total costs, and checks each design to see if it forms an acceptable network. This technique gives the true cost-optimal network, and is particularly useful when the network has many constraints and not too many components. The algorithm for generating subsets is described in detail, and various aspects of the overall design procedure are discussed. Two more efficient versions of this algorithm (applicable in specific situations) are also given. Next, two important aspects of network performance analysis: network reliability and message delays are discussed. A new model is introduced to study the reliability of a network with dependent failures. For message delays, a collection of formulas from existing research results is given to compute or estimate the delays of messages in a communication network without making the independence assumption. The design algorithm coded in PASCAL is included as an appendix.

Li, V. O. K.↗

Airfoil Vibration Dampers program

The Airfoil Vibration Damper program has consisted of an analysis phase and a testing phase. During the analysis phase, a state-of-the-art computer code was developed, which can be used to guide designers in the placement and sizing of friction dampers. The use of this computer code was demonstrated by performing representative analyses on turbine blades from the High Pressure Oxidizer Turbopump (HPOTP) and High Pressure Fuel Turbopump (HPFTP) of the Space Shuttle Main Engine (SSME). The testing phase of the program consisted of performing friction damping tests on two different cantilever beams. Data from these tests provided an empirical check on the accuracy of the computer code developed in the analysis phase. Results of the analysis and testing showed that the computer code can accurately predict the performance of friction dampers. In addition, a valuable set of friction damping data was generated, which can be used to aid in the design of friction dampers, as well as provide benchmark test cases for future code developers.

Cook, Robert M.↗

Real-Time System Verification by Kappa-Induction

We report the first formal verification of a reintegration protocol for a safety-critical, fault-tolerant, real-time distributed embedded system. A reintegration protocol increases system survivability by allowing a node that has suffered a fault to regain state consistent with the operational nodes. The protocol is verified in the Symbolic Analysis Laboratory (SAL), where bounded model checking and decision procedures are used to verify infinite-state systems by k-induction. The protocol and its environment are modeled as synchronizing timeout automata. Because k-induction is exponential with respect to k, we optimize the formal model to reduce the size of k. Also, the reintegrator's event-triggered behavior is conservatively modeled as time-triggered behavior to further reduce the size of k and to make it invariant to the number of nodes modeled. A corollary is that a clique avoidance property is satisfied.

Pike, Lee S.↗

XTCE GOVSAT Tool Suite 1.0

The XTCE GOVSAT software suite contains three tools: validation, search, and reporting. The Extensible Markup Language (XML) Telemetric and Command Exchange (XTCE) GOVSAT Tool Suite is written in Java for manipulating XTCE XML files. XTCE is a Consultative Committee for Space Data Systems (CCSDS) and Object Management Group (OMG) specification for describing the format and information in telemetry and command packet streams. These descriptions are files that are used to configure real-time telemetry and command systems for mission operations. XTCE s purpose is to exchange database information between different systems. XTCE GOVSAT consists of rules for narrowing the use of XTCE for missions. The Validation Tool is used to syntax check GOVSAT XML files. The Search Tool is used to search (i.e. command and telemetry mnemonics) the GOVSAT XML files and view the results. Finally, the Reporting Tool is used to create command and telemetry reports. These reports can be displayed or printed for use by the operations team.

Rice, J. Kevin↗