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.展开更多
基金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.