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).

记忆年老化与焦虑

It is well established that memory functioning deteriorates with advancing age. However, research indicates that the magnitude of age-related memory deficits varies across different types of memory, and broad individual differences can be observed in the rate and timing of memory aging. The general aim of this study was to investigate the selectivity and variability of memory functioning in relation to anxiety. Firstly, memory effectiveness was assessed in episodic memory tasks with reality monitoring and external source monitoring paradigms, semantic memory tasks referred to general knowledge and word fluency, and perceptual priming task reflected in word completion. According to the scores on trait version of STAI, the high-trait and low-trait anxious subjects were screened respectively from young and old participants matched for educational level. Secondly, based on the results of the first part, concurrent primary and secondary tasks with probe technique assessing spare processing capacity were used to explore the relation between memory efficiency and anxiety. The first main findings were that: (a) there were no age-related differences in semantic memory assessed by general knowledge and PRS, whereas age effects were observed in episodic memory and semantic memory assessed by word fluency with stringent time restraints. (b) Furthermore, comparison of age-related deficits in source and item was not related to the presentation ways and encoding effort for source, but was affected by types of source. Specifically, memory was more sensitive to aging than item memory in external source monitoring processes involved in discriminating two external sources (i.e., female vs. male voices), but not in reality monitoring processes in discriminating between internal and external sources (i.e., acting vs. listening). The second main findings were that: (a) Anxiety had no effects on the effectiveness and efficiency of semantic memory in recall of general knowledge and PRS, but impaired those of semantic memory in word fluency. (b) The effects of anxiety on episodic memory were different between the old and the young. Both the effectiveness and the efficiency of episodic memory of the old were affected adversely by anxiety. More importantly, source recall in external source monitoring processes was observed to be more vulnerable to anxiety than item memory. The effectiveness of episodic memory of the young was relatively unrelated to anxiety, while anxiety might have adverse effect on their memory efficiency. These results indicated that: First, the selectivity of age-related memory deficits existed not only between memory systems, but also within episodic memory system. The tendency to forget the source even when the fact was retained in external source monitoring was suggested to be a specific feature of cognitive aging. Second, anxiety had adverse impact on the individual differences in memory aging, and mediated partial age-related differences in episodic memory performance.

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.

Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience

We describe the key role played by partial evaluation in the Supercomputer Toolkit, a parallel computing system for scientific applications that effectively exploits the vast amount of parallelism exposed by partial evaluation. The Supercomputer Toolkit parallel processor and its associated partial evaluation-based compiler have been used extensively by scientists at M.I.T., and have made possible recent results in astrophysics showing that the motion of the planets in our solar system is chaotically unstable.