Automatic Generation of Guard-Stable Floating-Point Code
Explore the source record for details and available documents.
SEARCH · Engineering Papers
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.
Explore the source record for details and available documents.
The evolvable avionics systems such as the X2000 at NASA/JPL are able to have software upgrades during a long-life mission for dependability, performance and functionality improvement.
This report summarizes updates on the ongoing development of the new American Society of Mechanical Engineers Section III, Division 5, Class B rules to address the potential failure modes of Class B components. An initial design-by-analysis approach and supporting design rules are presented. The elastic-perfectly plastic (EPP) analysis approach has been adopted for primary stress limit and ratcheting check to prevent the component failure against the structural failure mode against primary load and strain accumulation due to cyclic loads. The creep-fatigue damage assessment uses explicitly defined elastic follow-up calculated from the stress concentration region of given component. Damage fraction calculation uses a novel coupled approach to capture the influence of the elastic follow-up and provide adequate conservatism for Class B components. The proposed Class B rules does not use the stress classification approach and uses the combined loads to assess component.
This report summarizes the design and pilot demonstration of a framework called Grid Guard that was created to provide increased data and device trustworthiness to electric grid devices by leveraging distributed ledger technology (DLT), specifically blockchain. Grid Guard contains a combination of core cryptographic methods such as the secure hash algorithm (SHA), and asymmetric cryptography, private permissioned blockchain, baselining configuration data, consensus algorithm (Raft) and the Hyperledger Fabric (HLF) framework. The system implements a low energy, fast, and robust enhancement to system trustworthiness within and across electric grid systems such as substations, control centers and metering infrastructures. Blockchain is a distributed database structured that provides a practically unalterable (immutable) timeline of stored transactions. By relying on hashing and the Raft consensus algorithm, if an entity tries to illegitimately alter a record at one instance of the database the other ledger nodes are not altered. They work to cross-reference each other and easily locate any incorrectly added data and remove it. The bulk raw data is stored in an off-chain storage (outside of the blockchain ledger) and a hash of this baseline data is stored in the Blockchain ledger via hashing windows of time-series and configuration data, after aggregation and filtering. The bulk off-chain data repository is then considered to be trust-anchored using the hashes stored in the blockchain. To secure the electric grid testbed devices and data, device configuration baselines were compared to those baselines that had been previously stored in the ledger. Statistical baselines for device configurations, network communication patterns, and high-speed sensor data are calculated and then stored off-chain and hashes stored in the ledger. Measurements such as three-phase voltage and current, frequency, breaker status, protection scheme settings, network configuration settings (and other device configuration artifacts) and network traffic features (packet interarrival times) are compared every minute or other selected time windows. During phase 1 of the Grid Guard DLT project different DLT technologies were studies, and an assessment was performed on DLT technology vulnerabilities, uses, and key characteristics. DLT consensus protocols were studies (e.g., RAFT, named after Reliable, Replicated, Redundant, And Fault-Tolerant). Also, cryptography, public, private and permissioned or permissionless systems were assessed. Grid Guard implements a permissioned private DLT. Consensus algorithm selection and choice of DLT implementation depended heavily on the use-case. For this use-case, parameters were selected to measure performance and existing tools for assessment. Benchmarking was performed theoretically and practically. During phase 2 hashed transactions/blocks were inserted into the ledger every second. During phase 2 of the Grid Guard DLT project, a prototype framework was developed and demonstrated for attestation of critical substation devices and data using precision timing systems that use PTP and IRIG-B protocols) on a testbed of operational devices that emulated a distribution substation, control center, and power metering infrastructure using real Operational Technology (OT). The testbed includes OT devices such as protective relays, human machine interfaces (HMI), and power meters. To determine when to collect and compare system and network baselines, an initial examination of an anomaly detection capability to identify malicious manipulation of data streams was conducted. The resulting anomaly detection was demonstrated in a set of experiments and leveraged to trigger device artifact attestation checks. Attestation checks occur against device configuration baselines when compared with the immutable blockchain-stored baselines, which provided a cryptographically supported means by which to store baselines. The electrical substation-grid testbed was created to test the Grid Guard framework. The testbed emulates the operations of a portion of a power grid and SCADA systems as closely as possible. The testbed integrates real protocols, mainly IEC 61850 standard protocols, such as the Sampled Value (SV) and the GOOSE protocols. The testbed also supports DNP3 and other layer 2 and layer 3 protocols such as Telnet, SSH, SFTP/FTP and other proprietary protocols needed to connect to industrial control system equipment. The testbed emulates real power conditions using the OpalRT hardware-in-the-loop (HIL) device which can create fault situations that cannot be easily tested on real systems. The electrical substation-grid testbed was created using real measurement, communication, and protection devices that electrical utilities commonly use.
In support of the WTP project, off-gas system and regulatory testing has been conducted previously on the DM1200 pilot melter equipped with a prototypical off-gas system installed at The Catholic University of America’s Vitreous State Laboratory (VSL). During the regulatory tests, an AC-S test bed filled with Kombisorb BAT 37 was included in the prototypical off-gas system and evaluated for response to HLW and LAW exhaust streams. Offline testing and small-scale testing of that media were also conducted. Testing demonstrated that a temperature rise occurred in the activated carbon media when water vapor was first introduced to virgin Kombisorb BAT 37, in response to high nitrogen oxide concentrations, and in response to the presence of organic compounds. Conditioning of the test bed by gradually increasing the NOx concentration prior to the introduction of organics was found to be an important operational strategy for preventing larger temperature excursions. However, no mercury was present in the exhaust stream during DM1200 testing and therefore comparable test data for mercury removal efficiency or temperature response of the carbon media in the presence of mercury were not collected in the DM1200 tests. In view of the need for data on mercury removal performance, BNI contracted with Atkins and the VSL to install and operate a suitable test system at VSL to collect the required data. That testing was designed to assess the performance of Kombisorb BAT-37 and the guard bed material, Sofnolime RG, for simulated melter exhaust streams that contain the highest concentrations of mercury, nitrogen oxides, acid gases, and organic compounds expected in WTP LAW melter exhaust. During shakedown testing with the new system, however, it became evident that a number of issues with Sofnolime RG as the guard bed material would render it unsuitable for this application. BNI subsequently determined that the guard bed was redundant for removal of acid gases since they could be adequately removed by the SBS and WESP. However, since the guard bed material was also credited with significant iodine removal , there was a need for a replacement material that would adequately perform that role. BNI identified several candidate media but performance data in gas compositions that are representative of the WTP LAW off-gas were not available. Accordingly, there was a need to test and evaluate the performance of these candidate media prior to performing the originally-planned tests. To that end, small scale tests were conducted to assess the performance of various adsorbents in simulated melter exhaust streams that contain mercury, iodine, nitrogen oxides, acid gases, and acetonitrile, which are expected to be present in WTP LAW melter exhaust.
The system and method for testing thermal insulation uses a cryostatic insulation tester having a vacuum chamber and a cold mass including a test chamber and upper and lower guard chambers adjacent thereto. The thermal insulation is positioned within the vacuum chamber and adjacent the cold mass. Cryogenic liquid is supplied to the test chamber, upper guard and lower guard to create a first gas layer in an upper portion of the lower guard chamber and a second gas layer in an upper portion of the test chamber. Temperature are sensed within the vacuum chamber to test the thermal insulation.
The Security Management and Safeguards Office at NASA is here to keep the people working in a safe environment. They also are here to protect the buildings and documents from sabotage, espionage, and theft. During the summer of 2004, I worked with Richard Soppet in Physical Security. While I was working here I helped out with updating the map that we currently use at NASA Glenn Research Center, attended meetings for homeland security, worked with the security guards and the locksmith. The meetings that I attended for homeland security talked about how to protect ourselves before something happened, they told us to always be on the guard and look for anything suspicious, and the different ways that terrorist groups operate. When I was with the security guards I was taught how to check someone into the base, showed how to use a radar gun, observed a security guard make a traffic stop for training and was with them while they patrolled NASA Glenn Research Center to make sure things were running smooth and no one was in danger. When I was with the lock smith I was taught how to make keys and locks for the employees here at NASA. The lock smith also showed me that he had inventory cabinets of files that show how many keys were out to people and who currently has access to the rooms that they keys were made for. I also helped out the open house at NASA Glenn Research Center. I helped out by showing the Army Reserves, and Brook Park's SWAT team where all the main events were going to take place a week before the open house was going to begin. Then during the open house I helped out by making sure people had there IDS, checked through there bags, and handed out a map to them that showed where the different activities were going to take place. So the main job here at NASA Glenn Research Center for the Security Management and Safeguards Office is to make sure that nothing is stolen, sabotaged, and espionaged. Also most importantly make sure all the employees here at NASA are in a safe environment.
An apparatus and method have been developed for measuring the rates of leakage of heat into pipes carrying liquids, the purpose of the measurements being to quantify the thermal performance of the insulation system. The apparatus is designed primarily for testing pipes used to carry cryogenic liquids, but can also be used for measuring the thermal performance of other insulated pipes or piping systems. The basic measurement principle is straightforward: The outer surface of the pipe insulation is maintained at a fixed warmer temperature. The interior of the pipe is maintained in a narrow fixed lower-temperature range by means of a regular liquid (e.g., water) that is pumped through the pipe at a known flow rate or a cryogenic liquid (e.g., nitrogen) that is saturated at atmospheric pressure and replenished until steady-state conditions are achieved. In the case of water or another liquid pumped through, the inlet and outlet temperatures are measured and heat-leak power is calculated as the mass flow rate of the liquid multiplied by the specific heat of the liquid multiplied by the inlet-to-outlet temperature rise of the liquid. In the case of liquid nitrogen or another low-temperature boiling liquid, the heat-leak power is calculated as the rate of boil-off multiplied by the latent heat of vaporization of the liquid. Then the thermal-insulation performance of the pipe system can be calculated as a function of the measured heat-leak power, the inner and outer boundary temperatures, and the dimensions of the pipe. The apparatus can test as many as three pipes simultaneously. The pipes can have inner diameters up to .15 cm and outer diameters up to .20 cm. The lengths of the pipes may vary; typical lengths are of the order of 18 m. Two thermal guard boxes . one for each end of the pipe(s) under test . are used to make the inlet and outlet fluid connections to the pipe(s) (see figure). The connections include bellows that accommodate thermal expansion and contraction of the pipes. The guard boxes and pipe(s) are positioned so that the pipe(s) slope upward from the upstream to the downstream end at an angle of at least 2 . The upward slope allows vapor bubbles to accumulate at the downstream end. The thermal guard boxes keep the ends of the pipes at the lower interior temperature to prevent spurious lengthwise leakage of heat into the pipes. It is important to prevent this spurious heat leakage because, if it were allowed to occur, it could contribute a large error in the measured heat-leak power. The upstream thermal guard box includes a heat exchanger through which liquid flowing into the pipe(s) is subcooled to the saturation temperature corresponding to the ambient pressure. Conversely, this heat exchanger can also be used to warm the flowing liquid to a desired fixed temperature. The apparatus includes a temperature control device that is placed around each pipe under test. Each device is operated under thermostatic control to maintain the outer surface of the pipe insulation at the specified test temperature. All measurements are recorded on a portable data-acquisition system.
The present invention is a space vehicle valve system which controls the internal pressure of a space vehicle and the flow rate of purged gases at a given internal pressure and aperture site. A plurality of quasi-unique variable dimension peaked valve structures cover the purge apertures on a space vehicle. Interchangeable sheet guards configured to cover valve apertures on the peaked valve structure contain a pressure-activated surface on the inner surface. Sheet guards move outwardly from the peaked valve structure when in structural contact with a purge gas stream flowing through the apertures on the space vehicle. Changing the properties of the sheet guards changes the response of the sheet guards at a given internal pressure, providing control of the flow rate at a given aperture site.
The state-of-the-art in long mission duration spacecraft trace contaminant control processes relies on physical and chemical adsorption for contaminant removal. Target species for adsorption include low and semivolatile organic compounds while chemisorption is utilized for metabolic ammonia control. When adsorption is employed in conjunction with a high temperature oxidation process, a complementary impact on cabin air quality may be realized. The adsorption bed also serves to guard the downstream oxidation catalyst from foulants and potential poisons which may decrease its lifetime and activity. To this end, a packed adsorption guard-bed was sized to control a statistical contaminant load model over a simulated Mars transit mission duration. The updated load model incorporates flight air-quality data and contemporary metabolic source emission literature. The guard-bed was operated in tandem with an exploration prototype thermal catalytic oxidizer. The exploration guard-bed prototype included design considerations from recent flight technology demonstrations and changes intended to improve compatibility with enriched oxygen exploration cabin environments as compared to the prior-art of contaminant control system design.
This paper presents results of experimental flight test vibration measurements and structural inspections performed by the Federal Aviation Administration's Airworthiness Assurance NDI Validation Center (AANC) at Sandia National Laboratories and the US Coast Guard Aircraft Repair and Supply Center (ARSC). Structural and aerodynamic changes induced by mounting a Forward Looking Infrared (FLIR) system on a USCG HC-130H aircraft are described. The FLIR adversely affected the air flow characteristics and structural vibration on the external skin of the aircraft's right main wheel well fairing. Upon initial discovery of skin cracking and visual observation of skin vibration in flight by the FLIR, a baseline flight without the FLIR was conducted and compared to other measurements with the FLIR installed. Nondestructive inspection procedures were developed to detect cracks in the skin and supporting structural elements and document the initial structural condition of the aircraft. Inspection results and flight test vibration data revealed that the FLIR created higher than expected flight loading and was the possible source of the skin cracking. The Coast Guard performed significant structural repair and enhancement on this aircraft, and additional in-flight vibration measurements were collected on the strengthened area both with and without the FLIR installed. After three months of further operational FLIR usage, the new aircraft skin with the enhanced structural modification was reinspected and found to be free of flaws. Additional US Coast Guard HC-130H aircraft are now being similarly modified to accommodate this FLIR system. Measurements of in- flight vibration levels with and without the FLIR installed, and both before and after the structural enhancement and repair were conducted on the skin and supporting structure in the aircraft's right main wheel fairing. Inspection results and techniques developed to verify the aircraft's structural integrity are discussed.
Hot spots are a serious challenge limiting long pulse operation with lower hybrid current drive (LHCD) in tokamaks. Here, in order to mitigate hot spots in the guard limiter and improve LHCD capability, the effect of edge plasma density on inducing hot spots and current drive has been studied in EAST. The temperature in the guard limiter of the LH antenna, inducing hot spot directly, increases with edge density and LH power. Studies show that the hot spot is mainly ascribed to the heat flux in front of LH antenna. Further simulation indicates that such spots correspond to the peak position of edge density due to local LH electric field. In addition, due to the stronger parametric instability (PI) behavior in the case of higher edge density, the current drive capability decreases with edge density. Strike-point splitting behaviour appears as density increase, in agreement with current profiles in the edge region and the reduction of total driven current, suggesting that more power is deposited in the edge region, which then contributes more to hot spot formation. These studies offer one possible idea to optimize the edge density so as to satisfy the coupling, mitigate the heat flux in the guard limiter, and improve current drive capability in fusion devices.
Abstract Background and Aims Crassulacean acid metabolism (CAM) is a specialized type of photosynthesis characterized by a diel pattern of stomatal opening at night and closure during the day, which increases water-use efficiency. Starch degradation is a key regulator of CAM, providing phosphoenolpyruvate as a substrate in the mesophyll for nocturnal assimilation of CO2. Growing recognition of a key role for starch degradation in C3 photosynthesis guard cells for mediating daytime stomatal opening presents the possibility that starch degradation might also impact CAM by regulating the provision of energy and osmolytes to increase guard cell turgor and drive stomatal opening at night. In this study, we tested the hypothesis that the timing of diel starch turnover in CAM guard cells has been reprogrammed during evolution to enable nocturnal stomatal opening and daytime closure. Methods Biochemical and genetic characterization of wild-type and starch-deficient RNAi lines of Kalanchoë fedtschenkoi with reduced activity of plastidic phosphoglucomutase (PGM) constituted a preliminary approach for the understanding of starch metabolism and its implications for stomatal regulation in CAM plants. Key Results Starch deficiency reduced nocturnal net CO2 uptake but had negligible impact on nocturnal stomatal opening. In contrast, daytime stomatal closure was reduced in magnitude and duration in the starch-deficient rPGM RNAi lines, and their stomata were unable to remain closed in response to elevated concentrations of atmospheric CO2 administered during the day. Curtailed daytime stomatal closure was linked to higher soluble sugar contents in the epidermis and mesophyll. Conclusions Nocturnal stomatal opening is not reliant upon starch degradation, but starch biosynthesis is an important sink for carbohydrates, ensuring daytime stomatal closure in this CAM species.
This project demonstrates the success of the PDRD program in bringing a concept from the R&D phase to direct plant funding. Although Mini-TCAP technology is overall at a TRL of ~6.5, the specific questions addressed in this project were brought from a low (2-3 TRL) to a TRL 5 over the course of the project. This project successfully completed all initial goals ahead of schedule (inventory control, guard bed, ammonia impact, and cycle time) and furthermore addressed additional scope (continued TCAP evaluation, ion chamber) in FY20. First, this project resolved minor inventory control issues by introducing a new parameter tracking and correcting for inventory changes over multiple cycles. This project also involved modification of the previously constructed plant-configured Mini-TCAP in order to allow ammonia impurity studies. TCAP was tested with ammonia in the feed stream both with and without a guard bed present to determine guard bed efficacy and the effect of ammonia if it enters TCAP. The TCAP columns were then replaced with brazed columns, where the LN2 cooling coil is brazed to the column and the column is self-brazed along the coils. This drastically improved heat transfer and consequently reduced cycle time compared to the previous columns, in which the coils were mechanically held in place. Finally, additional scopes were taken on in FY20, including evaluation of TCAP with faster cycle time and procurement of ion chambers for future TCAP integration.
A system is described which utilizes an X-band Side-Looking-Airborne-Radar (SLAR) for determining type, location, and aerial distribution of the ice cover in the Great Lakes and an airborne, S-band, short pulse radar for obtaining ice thickness. The SLAR system is currently mounted aboard a U.S. Coast Guard C-130B aircraft. Digitized SLAR data are relayed in real-time via the NOAA-GOES-1 satellite in geosynchronous orbit to the U.S. Coast Guard Ice Center in Cleveland, Ohio. SLAR images along with hand-drawn interpretative ice charts for various winter shipping areas in the Great Lakes are broadcast to facsimile recorders aboard Great Lakes vessels. The operational aspects of this ice information system are being demonstrated by NASA, U.S. Coast Guard, and NOAA/National Weather Service. Results from the 1974-75 winter season demonstrated the ability of this system to provide all-weather ice information to shippers in a timely manner.