Partial oxidation of ethane to syngas over nickel-based catalysts modified by alkali metal oxide and rare earth metal oxide

The catalytic activity, thermal stability and carbon deposition of various modified NiO/gamma-Al2O3 and unmodified NiO/gamma-Al2O3 catalysts were investigated with a flow reactor, XRD, TG and UVRRS analysis. The activity and selectivity of the NiO/gamma-Al2O3 catalyst showed little difference from those of the modified nickel-based catalysts. However, modification with alkali metal oxide (Li, Na, K) and rare earth metal oxide (La, Ce, Y, Sm) can improve the thermal stability of the NiO/gamma-Al2O3 and enhance its ability to suppress carbon deposition during the partial oxidation of ethane (POE). The carbon deposition contains graphite-like species that were detected by UVRRS. The nickel-based catalysts modified by alkali metal oxide and rare earth metal oxide have excellent catalytic activities (C2H6 conversion of similar to 100%, CO selectivity of similar to 94%, 7x 10(4) l/(kg h), 1123 K), good thermal stability and carbon-deposition resistance.

Mechanistic studies of methane partial oxidation to syngas over LiNiLaOx/Al2O3 catalyst

Temperature-programmed reduction (TPR) characterization of the LiNiLaOx/Al2O3 catalyst before or after partial oxidation of methane (POM) reaction and a series of O-2, CH4 and CH4/O-2 pulse reaction experiments over the catalyst under different pretreatments were performed. It was found that CH4 dissociatively adsorbs on active center nickel producing H-2 and surface carbon, C(a). The surface carbon reacts with surface lattice oxygen or surface adsorbed oxygen to produce CO. Because the activation barrier for the reaction C(a)+ O(a) =CO(a) is the highest among all the elementary reactions, the rate-determining step of the POM may be the reaction C(a) + O(a) =CO(a).

Compiling Scientific Code Using Partial Evaluation

Scientists are faced with a dilemma: either they can write abstract programs that express their understanding of a problem, but which do not execute efficiently; or they can write programs that computers can execute efficiently, but which are difficult to write and difficult to understand. We have developed a compiler that uses partial evaluation and scheduling techniques to provide a solution to this dilemma.

Exploiting the Parallelism Exposed by Partial Evaluation

We describe an approach to parallel compilation that seeks to harness the vast amount of fine-grain parallelism that is exposed through partial evaluation of numerically-intensive scientific programs. We have constructed a compiler for the Supercomputer Toolkit parallel processor that uses partial evaluation to break down data abstractions and program structure, producing huge basic blocks that contain large amounts of fine-grain parallelism. We show that this fine-grain prarllelism can be effectively utilized even on coarse-grain parallel architectures by selectively grouping operations together so as to adjust the parallelism grain-size to match the inter-processor communication capabilities of the target architecture.