首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   7篇
  免费   0篇
化学   2篇
数学   5篇
  2022年   2篇
  2020年   2篇
  2019年   1篇
  2012年   2篇
排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文研究了范畴Ω-Cat中的等值子和乘积,给出了范畴Ω-Cat中乘积的有点式和无点式刻画,证明了范畴Ω-Cat是完备范畴。  相似文献   
2.
研究了Ω-左R-模范畴中的余积及余等值子的性质,揭示了范畴M_R~l(Ω)与范畴M_R~l中余积之间的关系,刻画了范畴M_R~l(Ω)与范畴M_R~l中余等值子之间的关系,同时证明了范畴M_R~l(Ω)的余完备性.  相似文献   
3.
为有效提高负载型催化剂中贵金属的原子利用效率,贵金属单原子催化剂逐渐成为一个研究热点和前沿课题.我们针对单原子催化剂在催化氧化领域中的应用,综述了几种贵金属单原子催化剂的典型制备方法,包括原子层沉积法、湿法化学法、光化学辅助法、热解法等,并讨论了上述方法的优缺点.此外,对比传统贵金属负载型催化剂,我们重点讨论了贵金属基单原子催化剂在CO催化氧化、挥发性有机化合物(VOCs)催化氧化、催化机理等催化氧化过程中的最新研究进展,尤其是贵金属基单原子催化剂在低温低浓度催化氧化过程中表现出的优异催化活性、抗水性和抗毒性,表明该类催化剂具备极大的工业应用潜力.最后,进一步从大规模工业应用角度探讨了单原子催化剂目前面临的挑战和可能的解决办法,期望可以为应用于催化氧化过程的高效、稳定的单原子催化剂的设计提供思路.  相似文献   
4.
基于连续逻辑值语义,研究了不分明化sp-拓扑空间,讨论了不分明化的sp-开集,sp-邻域,sp-闭包及sp-内部等性质,给出了不分明化sp-连续映射的概念,引入了范畴FSPTop,证明了范畴FSPTop是范畴Set上的拓扑范畴。  相似文献   
5.
在实际工业环境中,废气(包括甲烷、乙烷以及VOCs)中通常会带有一些含硫物种,这些物种在氧化反应过程中会侵占催化剂表面活性位,引起催化剂的短暂物理失活。当有毒物质与主活性物种发生反应可引发永久性失活,从而造成催化剂的中毒失效。本文综述了贵金属、复合金属氧化物以及钙钛矿型催化剂应用于废气催化燃烧反应中的抗无机硫和有机硫性能,讨论分析了催化剂的中毒机理,提出了一些提高催化剂抗毒性的方法和手段,为开发具有高抗硫中毒特性的催化剂提供了一定的思路和方向。  相似文献   
6.
Ω-范畴具有范畴论和序理论的双重意义,可为计算机程序语言的语义提供量化的模型,本文给出了范畴Ω-Cat中极限和余极限的定义,同时研究了范畴Ω-Cat与范畴Set之间极限和余极限的关系。  相似文献   
7.
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号