期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
Experimental and Theoretical Study of Hydrogen Atom Abstraction from C2H6 and C4H10 by Zirconium Oxide Clusters Anions 被引量:1
1
作者 马嘉璧 吴晓楠 +2 位作者 赵艳霞 丁迅雷 何圣贵 《Chinese Journal of Chemical Physics》 SCIE CAS CSCD 2010年第2期133-137,I0001,共6页
The reactions of anionic zirconium oxide clusters ZrxOy- with C2H6 and C4H10 are investi-gated by a time of flight mass spectrometer coupled with a laser vaporization cluster source.Hydrogen containing products Zr2O5H... The reactions of anionic zirconium oxide clusters ZrxOy- with C2H6 and C4H10 are investi-gated by a time of flight mass spectrometer coupled with a laser vaporization cluster source.Hydrogen containing products Zr2O5H- and Zr3O7H- are observed after the reaction. Den-sity functional theory calculations indicate that the hydrogen abstraction is favorable in the reaction of Zr2O5- with C2H6, which supports that the observed Zr2O5H- and Zr3O7H- are due to hydrogen atom abstraction from the alkane molecules. This work shows a newpossible pathway in the reaction of zirconium oxide cluster anions with alkane molecules. 展开更多
关键词 Time of flight mass spectrometry Zirconium oxide cluster anion Reactivity Density functional theory Hydrogen atom abstraction
下载PDF
Putting Consistent Theories Together in Institutions
2
作者 应明生 《Journal of Computer Science & Technology》 SCIE EI CSCD 1995年第3期260-266,共7页
The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diag... The problem of putting consistent theories together in institutions is dis-cussed. A general necessary condition for consistency of the resulting theory iscarried out, and some sufficient conditions are given for diagrams of theories inwhich shapes are tree bundles or directed graphs. Moreover, some transforma-tions from complicated cases to simple ones are established. 展开更多
关键词 Methodology of software engineering abstract model theory consistent theory
原文传递
Institutions of Variable Truth Values:An Approach in the Ordered Style 被引量:1
3
作者 应明生 《Journal of Computer Science & Technology》 SCIE EI CSCD 1995年第3期267-273,共7页
The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of t... The concept of institution of variable truth values is introduced and somemain results about institutions are generalized. In particular, some propertiesof institutions of variable truth vaues preserved by change of truth values areestablished. 展开更多
关键词 Methodology of software engineering abstract model theory many-valued logic
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部