Detecting Silent Data Corruptions in Aerospace-Based Computing Using Program Invariants

Soft error caused by single event upset has been a severe challenge to aerospace-based computing. Silent data corruption (SDC) is one of the results incurred by soft error. SDC occurs when a program generates erroneous output with no indications. SDC is the most insidious type of results and very difficult to detect. To address this problem, we design and implement an invariant-based system called Radish. Invariants describe certain properties of a program; for example, the value of a variable equals a constant. Radish first extracts invariants at key program points and converts invariants into assertions. It then hardens the program by inserting the assertions into the source code. When a soft error occurs, assertions will be found to be false at run time and warn the users of soft error. To increase the coverage of SDC, we further propose an extension of Radish, named Radish_D, which applies software-based instruction duplication mechanism to protect the uncovered code sections. Experiments using architectural fault injections show that Radish achieves high SDC coverage with very low overhead. Furthermore, Radish_D provides higher SDC coverage than that of either Radish or pure instruction duplication

Functional Analysis of Maize Silk-Specific ZmbZIP25 Promoter

ZmbZIP25 (Zea mays bZIP (basic leucine zipper) transcription factor 25) is a function-unknown protein that belongs to the D group of the bZIP transcription factor family. RNA-seq data showed that the expression of ZmbZIP25 was tissue-specific in maize silks, and this specificity was confirmed by RT-PCR (reverse transcription-polymerase chain reaction). In situ RNA hybridization showed that ZmbZIP25 was expressed exclusively in the xylem of maize silks. A 5′ RACE (rapid amplification of cDNA ends) assay identified an adenine residue as the transcription start site of the ZmbZIP25 gene. To characterize this silk-specific promoter, we isolated and analyzed a 2450 bp (from −2083 to +367) and a 2600 bp sequence of ZmbZIP25 (from −2083 to +517, the transcription start site was denoted +1). Stable expression assays in Arabidopsis showed that the expression of the reporter gene GUS driven by the 2450 bp ZmbZIP25 5′-flanking fragment occurred exclusively in the papillae of Arabidopsis stigmas. Furthermore, transient expression assays in maize indicated that GUS and GFP expression driven by the 2450 bp ZmbZIP25 5′-flanking sequences occurred only in maize silks and not in other tissues. However, no GUS or GFP expression was driven by the 2600 bp ZmbZIP25 5′-flanking sequences in either stable or transient expression assays. A series of deletion analyses of the 2450 bp ZmbZIP25 5′-flanking sequence was performed in transgenic Arabidopsis plants, and probable elements prediction analysis revealed the possible presence of negative regulatory elements within the 161 bp region from −1117 to −957 that were responsible for the specificity of the ZmbZIP25 5′-flanking sequence

A DREB-Like Transcription Factor From Maize (Zea mays), ZmDREB4.1, Plays a Negative Role in Plant Growth and Development

The DREB (dehydration-responsive element binding)-type transcription factors are classified into six subgroups, named A-1 to A-6. The members of DREB A-1 and A-2 subgroups have been reported to be involved in response to various abiotic stresses. However, there were only a few genes belonging to A-3 to A-6 subgroups to be reported. In this study, we cloned a DREB A-4 subgroup gene from maize (Zea mays), ZmDREB4.1, and analyzed its characteristics and functions. ZmDREB4.1 was expressed in roots, stems, and leaves at very low levels. It was not induced by any biotic or abiotic treatment. ZmDREB4.1 was located in the nucleus, could directly bind to the DRE element and functioned as a transcriptional activator. The constitutive expression of ZmDREB4.1 in tobacco (Nicotiana tabacum L.) repressed leaf extension and hypocotyl, petiole and stem elongation. In maize, overexpression of ZmDREB4.1 repressed calli growth and regeneration. Further analysis showed that the smaller leaves of transgenic tobacco resulted from inhibition of cell division. The contents of cytokinin and auxin in transgenic leaves were severely decreased. The shorter hypocotyls, stems and petioles of transgenic tobacco were caused by inhibition of cell elongation. The transgenic hypocotyls, stems and petioles contained reduced gibberellin levels. Application of exogenous GA3 rescued the shorter hypocotyls, stems and petioles, but not the smaller leaves. These results demonstrated that ZmDREB4.1 plays an important role in the negative regulation of plant growth and development

Carbon dioxide hydrogenation to light olefins over ZnO-Y2O3 and SAPO-34 bifunctional catalysts

Conversion of CO2 using renewable hydrogen to produce valuable chemicals has recently become highly attractive. Light olefins are important basic monomers for the production of various commodities. This work developed a bifunctional catalyst composed of ZnO-Y2O3 oxide and SAPO-34 zeolite, which catalyzes the selective hydrogenation of CO2 to light olefins with a selectivity in hydrocarbons reaching 83.9% at a conversion of 27.6% at 390 degrees C. The obtained results demonstrated that CO2 conversion and product distribution are strongly dependent on the oxide composition and structure. This new bimetallic oxide catalyst appears promising for further development of CO2 conversion to other valuable chemicals