由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对...由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.展开更多
Solid-state Li-metal batteries with solid-state electrolytes have attracted increasing attention due to their high energy density and intrinsically high safety.Among diverse available solid-state electrolytes,cellulos...Solid-state Li-metal batteries with solid-state electrolytes have attracted increasing attention due to their high energy density and intrinsically high safety.Among diverse available solid-state electrolytes,cellulosebased solid polymer electrolytes(CSPEs)are particularly attractive and have showcased great promise because of their multiple merits including abundant reserves,abundant polar groups,chemical stability and high flexibility.This review surveys currently-developed solid electrolytes based on modified cellulose and its composites with diverse organic and inorganic fillers.Common preparation methods for solid electrolyte membranes are discussed in detail,followed by a sequential overview of various modification and compositing strategies for improving Li-ion transport in CSPEs,and a summary of the current existing challenges and future prospects of CSPEs to achieve high-performance solid batteries.展开更多
文摘由于执行的不确定性,并发程序的测试需要验证程序执行的事件序列.定义事件之间的约束是验证事件序列合法性的前提.本文提出了一种事件约束的形式化描述方法,扩充了E-CSPE(extended constraints on succeeding and preceding events)对事件排斥约束和后决约束的定义,更全面地描述了前后事件的依赖关系,并给出了基于此方法的确定性测试和非确定性测试规则.
基金support from Guangdong Basic and Applied Basic Research Foundation(No.2020B1515420001 and 2023B1515040027)Fundamental Research Funds for the Central Universities,Sun Yat-sen University(No.23yxqntd002).
文摘Solid-state Li-metal batteries with solid-state electrolytes have attracted increasing attention due to their high energy density and intrinsically high safety.Among diverse available solid-state electrolytes,cellulosebased solid polymer electrolytes(CSPEs)are particularly attractive and have showcased great promise because of their multiple merits including abundant reserves,abundant polar groups,chemical stability and high flexibility.This review surveys currently-developed solid electrolytes based on modified cellulose and its composites with diverse organic and inorganic fillers.Common preparation methods for solid electrolyte membranes are discussed in detail,followed by a sequential overview of various modification and compositing strategies for improving Li-ion transport in CSPEs,and a summary of the current existing challenges and future prospects of CSPEs to achieve high-performance solid batteries.
