Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CHECK”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,171 records · Page 65
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

Protograph LDPC Codes with Node Degrees at Least 3

In this paper we present protograph codes with a small number of degree-3 nodes and one high degree node. The iterative decoding threshold for proposed rate 1/2 codes are lower, by about 0.2 dB, than the best known irregular LDPC codes with degree at least 3. The main motivation is to gain linear minimum distance to achieve low error floor. Also to construct rate-compatible protograph-based LDPC codes for fixed block length that simultaneously achieves low iterative decoding threshold and linear minimum distance. We start with a rate 1/2 protograph LDPC code with degree-3 nodes and one high degree node. Higher rate codes are obtained by connecting check nodes with degree-2 non-transmitted nodes. This is equivalent to constraint combining in the protograph. The condition where all constraints are combined corresponds to the highest rate code. This constraint must be connected to nodes of degree at least three for the graph to have linear minimum distance. Thus having node degree at least 3 for rate 1/2 guarantees linear minimum distance property to be preserved for higher rates. Through examples we show that the iterative decoding threshold as low as 0.544 dB can be achieved for small protographs with node degrees at least three. A family of low- to high-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 NTRS2004

Accumulate Repeat Accumulate Coded Modulation

In this paper we propose an innovative coded modulation scheme called 'Accumulate Repeat Accumulate Coded Modulation' (ARA coded modulation). This class of codes can be viewed as serial turbo-like codes, or as a subclass of Low Density Parity Check (LDPC) codes that are combined with high level modulation. Thus at the decoder belief propagation can be used for iterative decoding of ARA coded modulation on a graph, provided a demapper transforms the received in-phase and quadrature samples to reliability of the bits.

coded modulation↗
NASA NTRS2006

Protograph LDPC Codes for the Erasure Channel

This viewgraph presentation reviews the use of protograph Low Density Parity Check (LDPC) codes for erasure channels. A protograph is a Tanner graph with a relatively small number of nodes. A "copy-and-permute" operation can be applied to the protograph to obtain larger derived graphs of various sizes. For very high code rates and short block sizes, a low asymptotic threshold criterion is not the best approach to designing LDPC codes. Simple protographs with much regularity and low maximum node degrees appear to be the best choices Quantized-rateless protograph LDPC codes can be built by careful design of the protograph such that multiple puncturing patterns will still permit message passing decoding to proceed

long erasure codes↗
NASA NTRS2007

Optimizations of a Hardware Decoder for Deep-Space Optical Communications

The National Aeronautics and Space Administration has developed a capacity approaching modulation and coding scheme that comprises a serial concatenation of an inner accumulate pulse-position modulation (PPM) and an outer convolutional code [or serially concatenated PPM (SCPPM)] for deep-space optical communications. Decoding of this code uses the turbo principle. However, due to the nonbinary property of SCPPM, a straightforward application of classical turbo decoding is very inefficient. Here, we present various optimizations applicable in hardware implementation of the SCPPM decoder. More specifically, we feature a Super Gamma computation to efficiently handle parallel trellis edges, a pipeline-friendly 'maxstar top-2' circuit that reduces the max-only approximation penalty, a low-latency cyclic redundancy check circuit for window-based decoders, and a high-speed algorithmic polynomial interleaver that leads to memory savings. Using the featured optimizations, we implement a 6.72 megabits-per-second (Mbps) SCPPM decoder on a single field-programmable gate array (FPGA). Compared to the current data rate of 256 kilobits per second from Mars, the SCPPM coded scheme represents a throughput increase of more than twenty-six fold. Extension to a 50-Mbps decoder on a board with multiple FPGAs follows naturally. We show through hardware simulations that the SCPPM coded system can operate within 1 dB of the Shannon capacity at nominal operating conditions.

quadratic polynomial interleaver↗
NASA NTRS2004

Accumulate-Repeat-Accumulate-Accumulate-Codes

Inspired by recently proposed Accumulate-Repeat-Accumulate (ARA) codes [15], in this paper we propose a channel coding scheme called Accumulate-Repeat-Accumulate-Accumulate (ARAA) codes. These codes can be seen as serial turbo-like codes or as a subclass of Low Density Parity Check (LDPC) codes, and they have a projected graph or protograph representation; this allows for a high-speed iterative decoder implementation using belief propagation. An ARAA code can be viewed as a precoded Repeat-and-Accumulate (RA) code with puncturing in concatenation with another accumulator, where simply an accumulator is chosen as the precoder; thus ARAA codes have a very fast encoder structure. Using density evolution on their associated protographs, we find examples of rate-lJ2 ARAA codes with maximum variable node degree 4 for which a minimum bit-SNR as low as 0.21 dB from the channel capacity limit can be achieved as the block size goes to infinity. Such a low threshold cannot be achieved by RA or Irregular RA (IRA) or unstructured irregular LDPC codes with the same constraint on the maximum variable node degree. Furthermore by puncturing the accumulators we can construct families of higher rate ARAA codes with thresholds that stay close to their respective channel capacity thresholds uniformly. Iterative decoding simulation results show comparable performance with the best-known LDPC codes but with very low error floor even at moderate block sizes.

density evolution↗
NASA NTRS2012

Replacing the CCSDS Telecommand Protocol with the Next Generation Uplink (NGU)

The current CCSDS Telecommand (TC) Recommendations 1-3 have essentially been in use since the early 1960s. The purpose of this paper is to propose a successor protocol to TC. The current CCSDS recommendations can only accommodate telecommand rates up to approximately 1 mbit/s. However today's spacecraft are storehouses for software including software for Field Programmable Gate Arrays (FPGA) which are rapidly replacing unique hardware systems. Changes to flight software occasionally require uplinks to deliver very large volumes of data. In the opposite direction, high rate downlink missions that use acknowledged CCSDS File Delivery Protocol (CFDP)4 will increase the uplink data rate requirements. It is calculated that a 5 mbits/s downlink could saturate a 4 kbits/s uplink with CFDP downlink responses: negative acknowledgements (NAKs), FINISHs, End-of-File (EOF), Acknowledgements (ACKs). Moreover, it is anticipated that uplink rates of 10 to 20 mbits/s will be required to support manned missions. The current TC recommendations cannot meet these new demands. Specifically, they are very tightly coupled to the Bose-Chaudhuri-Hocquenghem (BCH) code in Ref. 2. This protocol requires that an uncorrectable BCH codeword delimit the TC frame and terminate the randomization process. This method greatly limits telecom performance since only the BCH code can support the protocol. More modern techniques such as the CCSDS Low Density Parity Check (LDPC)5 codes can provide a minimum performance gain of up to 6 times higher command data rates as long as sufficient power is available in the data. This paper will describe the proposed protocol format, trade-offs, and advantages offered, along with a discussion of how reliable communications takes place at higher nominal rates.

Consultative Committee for Space Data Systems (CCS↗
NASA NTRS2015

The SeaHorn Verification Framework

In this paper, we present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise inter-procedural technique, (b) provides flexibility in the verification semantics to allow different levels of precision, (c) leverages the state-of-the-art in software model checking and abstract interpretation for verification, and (d) uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based on Horn-clauses. SeaHorn provides users with a powerful verification tool and researchers with an extensible and customizable framework for experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP 2015 and real avionics code.

Model Checking↗
NASA NTRSDate not supplied

Trustworthy Autonomy for Gateway Vehicle System Manager

This webinar will present techniques for achieving trusted autonomous operations that are being pioneered on the NASA Lunar Gateway Vehicle System Manager (VSM). The challenges of achieving trusted autonomy faced by the VSM project are similar to challenges in underwater autonomous systems. The webinar will describe the overall approach to verification and present in detail the use of design-time (development) assume-guarantee contracts using model checking and runtime (operational) assume-guarantee contracts. The webinar will conclude with a summary of lessons learned to date and future challenges.

Assume-guarantee contracts↗
NASA NTRSDate not supplied

Two-Phase Flow in Filters and Orifices: In preparation for Measurements on ISS Packed Bed Reactor Experiment-Water Recovery Series (PBRE-WRS)

Understanding the hydrodynamics of adiabatic two-phase flows in packed bed reactors offers numerous benefits. It enables the optimization of chemical reactions rates and products, crucial for pharmaceuticals and energy production industries. Additionally, this understanding aids in designing more efficient and compact reactors, reducing space and resource requirements. Insights gained from studying such flows in microgravity contribute to advancements of space technologies and the enhancement of our capabilities for undertaking future long duration safe, and sustainable space exploration missions. The Packed Bed Reactor Experiment-Water Recovery Series (PBRE-WRS) is a flight experiment planned for operation on the Microgravity Science Glove box (MSG) facility of the International Space Station (ISS). The objective of the experiment is to validate hydrodynamic models at a range of gas and liquid flow rates. The microgravity environment allows for measurement and observation of aspects of fluid dynamics that are unique when compared to observations made in full or partial gravity environments. The experiment consists of testing two-phase flow hydrodynamics in three different filters, four (4) orifices and one check valve test articles. The experiment utilizes the hardware of the previously flown PBRE and PBRE-2 with packed beds of different packings materials and sizes. The fluid system of the PBRE-WRS consists of a nitrogen gas delivery and water delivery subsystems. The gas delivery subsystem can accommodate two ranges of gas flow rates, just as for the water delivery system. The nitrogen gas loop is open whereas the water loop is closed. Gas is separated from the water using a gas-liquid phase separator which is located in the water delivery module. Preliminary results from ground testing show the pressure drop increasing at different rates with the liquid and gas flow rates in the Brine filter. In this work, a detailed system description is presented along with a summary of results from ground performance testing of different test sections in an end-to-end preflight testing campaign.

Packed Bed Reactor Experiment↗
DOE OSTI2014

How do A-train Sensors Intercompare in the Retrieval of Above-Cloud Aerosol Optical Depth? A Case Study-based Assessment

We inter-compare the above-cloud aerosol optical depth (ACAOD) of biomass burning plumes retrieved from different A-train sensors, i.e., MODIS, CALIOP, POLDER, and OMI. These sensors have shown independent capabilities to detect and retrieve aerosol loading above marine boundary layer clouds--a kind of situation often found over the Southeast Atlantic Ocean during dry burning season. A systematic one-to-one comparison reveals that, in general, all passive sensors and CALIOP-based research methods derive comparable ACAOD with differences mostly within 0.2 over homogeneous cloud fields. The 532-nm ACAOD retrieved by CALIOP operational algorithm is largely underestimated; however, it’s 1064-nm AOD when converted to 500 nm shows closer agreement to the passive sensors. Given the different types of sensor measurements processed with different algorithms, the close agreement between them is encouraging. Due to lack of adequate direct measurements above cloud, the validation of satellite-based ACAOD retrievals remains an open challenge. The inter-satellite comparison, however, can be useful for the relative evaluation and consistency check.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2015

On the validation of seismic imaging methods: Finite frequency or ray theory?

Abstract We investigate the merits of the more recently developed finite‐frequency approach to tomography against the more traditional and approximate ray theoretical approach for state of the art seismic models developed for western North America. To this end, we employ the spectral element method to assess the agreement between observations on real data and measurements made on synthetic seismograms predicted by the models under consideration. We check for phase delay agreement as well as waveform cross‐correlation values. Based on statistical analyses on S wave phase delay measurements, finite frequency shows an improvement over ray theory. Random sampling using cross‐correlation values identifies regions where synthetic seismograms computed with ray theory and finite‐frequency models differ the most. Our study suggests that finite‐frequency approaches to seismic imaging exhibit measurable improvement for pronounced low‐velocity anomalies such as mantle plumes.

58 GEOSCIENCES↗
DOE OSTI2023

Chiral Recognition: A Spin-Driven Process in Chiral Oligothiophene. A Chiral-Induced Spin Selectivity (CISS) Effect Manifestation

In this paper it is experimentally demonstrated that the electron-spin/molecular-handedness interaction plays a fundamental role in the chiral recognition process. This conclusion is inferred comparing current versus potential (I-V) curves recorded using chiral electrode surfaces, which are obtained via chemisorption of an enantiopure thiophene derivative: 3,3'-bibenzothiophene core functionalized with 2,2'-bithiophene wings (BT 2 T 4 ). The chiral recognition capability of these chiral-electrodes is probed via cyclic voltammetry measurements, where, Ag nanoparticles (AgNPs) capped with enantiopure (BT 2 T 4 ) (BT 2 T 4 )@AgNP) are used as the chiral redox probe. Then, the interface handedness is explored by recording spin-polarized (I-V) curves in spin-dependent electrochemistry (SDE) and magnetic-conductive atomic force microscopy (mc-AFM) experiments. The quality of the interfaces is thoroughly cross-checked using X-ray photoemission spectroscopy, Raman, electrodesorption measurements, which further substantiate the metal(electrode)-sulfur(thiophene) central role in the chemisorption process. Spin-polarization values of about 15% and 30% are obtained in the case of SDE and mc-AFM experiments, respectively.

36 MATERIALS SCIENCE↗
DOE OSTI2015

Oxygen disorder, a way to accommodate large epitaxial strains in oxides

Density-functional calculations (total-energy comparisons) and checks for negative-frequency phonon modes are employed as a stability indicator to show that, in rutile- and fluorite-structure oxides, e.g., zirconia strained by a strontium titanate substrate, oxygen-sublattice disorder can be the energetically preferred way to accommodate strain.

36 MATERIALS SCIENCE↗
DOE OSTI2022

Determination and analysis of sex ratios in heme oxygenase 1 gene targeted mouse embryos

Abstract Heme oxygenase 1 or Hmox1 enzyme is involved in catalyzing the first and rate‐limiting step in heme breakdown reactions. Many studies have reported a partial lethality of Hmox1 knockout mice obtained from heterozygous breeding pairs. Similar results were obtained in our transgenic mice colony and a sex specific bias was observed in the favor of males in the adult mice. Hmox1 independent factors which could have caused this bias were initially analyzed and it was found that those factors were not a reason behind this anomaly. Certain studies involving gene knockout hinted toward a prenatal or neonatal lethality of female knockout mice embryos or pups, respectively. In order to check if this bias was occurring in embryonic stages, that is, either if mutant female embryos were dying or if heterozygous mothers were not carrying embryos to term, we analyzed the sex‐ratios in mid‐ and late‐gestational ages (9.5–13.5 dpc and 14.5–18.5 dpc, respectively). Our results did not indicate any significant difference in the sex ratios in embryonic stages; hence, it was concluded that females are not dying in embryonic stages. It can be speculated that these deaths were probably occurring at neonatal age. More studies are required to confirm that the lack of Hmox1 gene products is the sole reason for this female lethality.

Jain, Sidhant↗
DOE OSTI2017

Web-based visual data exploration for improved radiological source detection

Radiation detection can provide a reliable means of detecting radiological material. Such capabilities can help to prevent nuclear and/or radiological attacks, but reliable detection in uncontrolled surroundings requires algorithms that account for environmental background radiation. The Berkeley Data Cloud (BDC) facilitates the development of such methods by providing a framework to capture, store, analyze, and share data sets. In the era of big data, both the size and variety of data make it difficult to explore and find data sets of interest and manage the data. Thus, in the context of big data, visualization is critical for checking data consistency and validity, identifying gaps in data coverage, searching for data relevant to an analyst's use cases, and choosing input parameters for analysis. Downloading the data and exploring it on an analyst's desktop using traditional tools are no longer feasible due to the size of the data. This study describes the design and implementation of a visualization system that addresses the problems associated with data exploration within the context of the BDC. Finally, the visualization system is based on a JavaScript front end communicating via REST with a back end web server.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗
DOE OSTI2019

Enhancement factor of nuclear reactions in partially ionized plasmas and asymmetric mixtures

When hydrogen is mixed with heavy (high‐ Z ) elements, even as traces, such as iron in the sun, the plasma mixture transits from a weakly coupled state to the intermediate coupling regime of simultaneous weak and strong couplings due to charge asymmetry. In those circumstances, partial ionization is an important aspect to consider. We present a global approach for evaluating enhancement factors for thermonuclear reactions in such mixtures. We grounded our approach on extensive orbital free molecular dynamics (OFMD) simulations of hydrogen‐silver mixtures, chosen as a prototype of hydrogen—high‐ Z mixtures, in a large range of temperature (100 < T < 1600 eV). By comparing a series of OFMD simulations to hyper‐netted chain calculations of effective binary ionic mixtures (eBIM), we set a general procedure for computing enhancement factors. The electron screening contribution is also included implicitly in the definition of the effective ionizations within the average atom framework. The agreement between the pair distribution functions of OFMD and eBIM validates a prescription in which each average atom representing a given species shares the same external electron density with the others (iso‐ n e rule). We checked that an interpolation formula between weak and strong couplings in BIM, due to Chugunov and DeWitt, is accurate enough to address the limit of extreme dilution of a heavy element.

Arnault, Philippe↗
DOE OSTI2018

Estimating mortality rates among passerines caught for ringing with mist nets using data from previously ringed birds

Abstract Mist netting is the most commonly used method for catching birds for scientific ringing, but despite decades of use, there have been few attempts to quantify the associated potential risks to the individuals caught. Any incidence of mortality through capture and handling, however low, is of potential ethical concern and may also introduce biases into the data. We estimate the mortality rate associated with capture of previously ringed (recaptured) passerines from the British and Irish Ringing Scheme (c. 1.5 million records) caught using mist nets. The importance of species, age, mass, month, time, previous captures, and an index of predator occurrence was tested using generalized linear mixed‐effects models. The average mortality rate was 0.0011, most of which was reported to occur before the individuals had been extracted from the nets (c. 70% of incidents). Juveniles appeared to be at higher risk and the incidence of predation from mist nets was seasonal, with increased risk during the winter. Species differed in their reported mortality rates with the apparent risk being greatest for Chiffchaff Phylloscopus collybita (0.0029) and Bullfinch Pyrrhula pyrrhula (0.0027). To improve our understanding (and hence minimize risk in future), we recommend collecting more complete data on incidences of mortality, and also injuries; exercising increased care when the species we have identified as being at greater risk are likely to be captured, and ensuring there are robust procedures for the checking of nets (as most reported incidents of mortality occur before handling). We also recommend that all Ringing Schemes should collate and make available data on capture‐related mortality. Overall rates of mortality associated with capture, although, were low and support the use of mist netting as a safe capture technique, without undue bias from mortality, when used by appropriately trained individuals.

Clewley, Gary D.↗
DOE OSTI2019

Vegetation and location of water inflow affect evaporation in a subtropical wetland as indicated by the deuterium excess method: Evaporation Effects Indicated by Deuterium Excess Method

Evaporation represents a principal form of water loss from water bodies, but quantifying evaporation with transpiring vegetation is challenging, owing to the difficulties in disentangling evaporation from transpiration. As the two processes have different effects on water isotope signatures (i.e., oxygen and hydrogen stable isotope ratios expressed by δ 18 O and δ 2 H), we used both the δ 18 O and δ 2 H values of water samples to calculate their deuterium excess (d) values, which are proportionate to fraction of evaporation loss (E f ) of water being sampled. Comparing with a single isotope method, the d method holds the advantage that it does not require knowledge of the initial isotope ratios of source water. Limitations of the d method, for example, effects of prior-evaporation of water before entering water bodies, can be checked and corrected. The sampling locations throughout our study site differed in vegetation coverage, water depth, and distance to water inflow (or discharge gate of water inflow), which are three important factors in water management. This sampling design offered us a unique opportunity to quantify the influences of the above three factors on E f . We found the following: (1) There was a spatiotemporal pattern in δ 18 O distribution. (2) The E f was negatively related to the vegetation coverage, positively related to distance to the water source inflow but nonsignificantly related to water depth. Therefore, vegetation and distance to the water inflow are two important considerations for the control of evaporative water loss, and evaporation calculated by the d method can lead to more informed water management.

54 ENVIRONMENTAL SCIENCES↗