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.展开更多
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.展开更多
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.展开更多
基金This work was supported by the Chinese Academy of Sciences (Hundred Talents Fund), the National Natural Science Foundation of China (No.20703048 and No.20803083), and the Center of Molecular Science Foundation of Institute of Chemistry, Chinese Academy of Sciences (No.CMS-LX200902).
文摘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.
文摘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.
文摘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.