Lithium-sulfur(Li-S) batteries have attracted considerable attention as one of the most appealing energy storage systems.Strenuous efforts have been devoted to tackling the tremendous challenges,mainly pertaining to t...Lithium-sulfur(Li-S) batteries have attracted considerable attention as one of the most appealing energy storage systems.Strenuous efforts have been devoted to tackling the tremendous challenges,mainly pertaining to the severe shuttle effect,sluggish redox kinetics and lithium dendritic growth.Single-atomic mediators as promising candidates exhibit impressive performance in addressing these intractable issues.Related research often utilizes a trial-and-error approach,proposing solutions to fabricate single-atomic materials with diversified features.However,comprehensive review articles especially targeting demand-driven preparation are still in a nascent stage.Inspired by these considerations,this review summarizes the design of single-atomic mediators based on the application case-studies in LiS batteries and other metal-sulfur systems.Emerging preparation routes represented by chemical vapor deposition technology are introduced in a demand-oriented classification.Finally,future research directions are proposed to foster the advancement of single-atomic mediators in Li-S realm.展开更多
We present a demand-driven approach to memory leak detection algorithm based on flow- and context-sensitive pointer analysis. The detection algorithm firstly assumes the presence of a memory leak at some program point...We present a demand-driven approach to memory leak detection algorithm based on flow- and context-sensitive pointer analysis. The detection algorithm firstly assumes the presence of a memory leak at some program point and then runs a backward analysis to see if this assumption can be disproved. Our algorithm computes the memory abstraction of programs based on points-to graph resulting from flow- and context-sensitive pointer analysis. We have implemented the algorithm in the SUIF2 compiler infrastructure and used the implementation to analyze a set of C benchmark programs. The experimental results show that the approach has better precision with satisfied scalability as expected.展开更多
随着可再生能源渗透率的提升,其不确定性给综合能源系统(integrated energy system,IES)的经济性和鲁棒性带来了极大挑战。为了促进可再生能源消纳以及降低碳排放量,提出了一种基于数据驱动的分布鲁棒优化(distributionally robust opti...随着可再生能源渗透率的提升,其不确定性给综合能源系统(integrated energy system,IES)的经济性和鲁棒性带来了极大挑战。为了促进可再生能源消纳以及降低碳排放量,提出了一种基于数据驱动的分布鲁棒优化(distributionally robust optimization,DRO)调度策略。首先,构建了由有机朗肯循环(organic Rankine cycle,ORC)、氢燃料电池和电动汽车等构成的供需灵活响应模型,并引入阶梯碳交易机制来约束系统碳排放量。其次,为了能获取最恶劣情况下的场景概率分布,采用综合范数对风电输出场景的概率分布置信集合进行约束。然后,以在最恶劣场景概率分布下综合能源系统运行总成本最低为目标建立两阶段鲁棒优化模型,并通过列和约束生成(column and constraint generation,CCG)算法对模型进行迭代求解。最后,算例仿真结果表明了所提模型和求解方法的有效性,并分析了阶梯碳交易机制和供需灵活响应模型对提高系统灵活性和低碳经济性的影响。展开更多
基金supported by the National Natural Science Foundation of China(22179089)the Postgraduate Research&Practice Innovation Program of Jiangsu Province(KYCX23_3245)support from Suzhou Key Laboratory for Advanced Carbon Materials and Wearable Energy Technologies,Suzhou,China。
文摘Lithium-sulfur(Li-S) batteries have attracted considerable attention as one of the most appealing energy storage systems.Strenuous efforts have been devoted to tackling the tremendous challenges,mainly pertaining to the severe shuttle effect,sluggish redox kinetics and lithium dendritic growth.Single-atomic mediators as promising candidates exhibit impressive performance in addressing these intractable issues.Related research often utilizes a trial-and-error approach,proposing solutions to fabricate single-atomic materials with diversified features.However,comprehensive review articles especially targeting demand-driven preparation are still in a nascent stage.Inspired by these considerations,this review summarizes the design of single-atomic mediators based on the application case-studies in LiS batteries and other metal-sulfur systems.Emerging preparation routes represented by chemical vapor deposition technology are introduced in a demand-oriented classification.Finally,future research directions are proposed to foster the advancement of single-atomic mediators in Li-S realm.
基金supported by the National Natural Science Foundation of China under Grant Nos. 60725206, 60673118, and 90612009the National High-Tech Research and Development 863 Program of China under Grant No. 2006AA01Z429+2 种基金the National Basic Research 973 Program of China under Grant No. 2005CB321802the Program for New Century Excellent Talents in University under Grant No.NCET-04-0996the Hunan Natural Science Foundation under Grant No. 07JJ1011
文摘We present a demand-driven approach to memory leak detection algorithm based on flow- and context-sensitive pointer analysis. The detection algorithm firstly assumes the presence of a memory leak at some program point and then runs a backward analysis to see if this assumption can be disproved. Our algorithm computes the memory abstraction of programs based on points-to graph resulting from flow- and context-sensitive pointer analysis. We have implemented the algorithm in the SUIF2 compiler infrastructure and used the implementation to analyze a set of C benchmark programs. The experimental results show that the approach has better precision with satisfied scalability as expected.
文摘随着可再生能源渗透率的提升,其不确定性给综合能源系统(integrated energy system,IES)的经济性和鲁棒性带来了极大挑战。为了促进可再生能源消纳以及降低碳排放量,提出了一种基于数据驱动的分布鲁棒优化(distributionally robust optimization,DRO)调度策略。首先,构建了由有机朗肯循环(organic Rankine cycle,ORC)、氢燃料电池和电动汽车等构成的供需灵活响应模型,并引入阶梯碳交易机制来约束系统碳排放量。其次,为了能获取最恶劣情况下的场景概率分布,采用综合范数对风电输出场景的概率分布置信集合进行约束。然后,以在最恶劣场景概率分布下综合能源系统运行总成本最低为目标建立两阶段鲁棒优化模型,并通过列和约束生成(column and constraint generation,CCG)算法对模型进行迭代求解。最后,算例仿真结果表明了所提模型和求解方法的有效性,并分析了阶梯碳交易机制和供需灵活响应模型对提高系统灵活性和低碳经济性的影响。