Search NASA⌕ Search

Engineering topics

Yin, Xiang

Publications and source records attributed to Yin, Xiang.

Modulating Charge Transfer Efficiency of Hematite Photoanode with Hybrid Dual‐Metal–Organic Frameworks for Boosting Photoelectrochemical Water Oxidation

Abstract The glorious charge transfer efficiency of photoanode is an important factor for efficient photoelectrochemical (PEC) water oxidation. However, it is often limited by slow kinetics of oxygen evolution reaction. Herein, a dual transition metal‐based metal–organic frameworks (MOF) cocatalyst, Fe@Ni–MOF, is introduced into a titanium‐doped hematite (Fe 2 O 3 :Ti) photoanode. The combination of Ni and Fe can optimize the filling of 3d orbitals. Moreover, the introduction of Fe donates electrons to Ni in the MOF structure, thus, suppressing the irreversible (long‐life‐time) oxidation of Ni 2+ into Ni 3+ . The resulting Fe@Ni–MOF/Fe 2 O 3 :Ti photoanode exhibits ∼threefold enhancement in the photocurrent density at 1.23 V versus the reversible hydrogen electrode. Kinetic analysis of the PEC water oxidation processes indicates that this performance improvement is primarily due to modulating the charge transfer efficiency of hematite photoanode. Further results show that a single transition metal‐based MOF cocatalyst, Ni–MOF, exhibits slow charge transfer in spite of a reduction in surface charge recombination, resulting in a smaller charge transfer efficiency. These findings provide new insights for the development of photoelectrodes decorated with MOFs.

36 MATERIALS SCIENCE↗

Formal Verification of Large Software Systems

We introduce a scalable proof structure to facilitate formal verification of large software systems. In our approach, we mechanically synthesize an abstract specification from the software implementation, match its static operational structure to that of the original specification, and organize the proof as the conjunction of a series of lemmas about the specification structure. By setting up a different lemma for each distinct element and proving each lemma independently, we obtain the important benefit that the proof scales easily for large systems. We present details of the approach and an illustration of its application on a challenge problem from the security domain

Yin, Xiang↗