Li_(6)PS_(5)Cl is a highly wanted sulfide-solid-electrolyte(SSE)for developing all-solid-state lithium batteries,due to its high ionic conductivity,good processability and abundant compositional elements.However,its c...Li_(6)PS_(5)Cl is a highly wanted sulfide-solid-electrolyte(SSE)for developing all-solid-state lithium batteries,due to its high ionic conductivity,good processability and abundant compositional elements.However,its cyclability is poor because of harmful side reactions at the Li_(6)PS_(5)Cl/Li interface and growth of lithium dendrites inside Li_(6)PS_(5)Cl phase.Herein,we report a simple interface-engineering remedy to boost the electrochemical performance of Li_(6)PS_(5)Cl,by coating its surface with a Li-compatible electrolyte Li3OCl having low electronic conductivity.The obtainedLi_(6)PS_(5)Cl@Li_(3)OCl core@shell structure exhibits a synergistic effect.Consequently,compared with the bare Li_(6)PS_(5)Cl,this composite electrolyte exhibits great performance improvements:1)In Li|electrolyte|Li symmetric cells,the critical current density at 30℃gets increased from 0.6 mA cm^(-2)to 1.6 mA cm^(-2),and the lifetime gets prolonged from 320 h to 1400 h at the cycling current of 0.2 mA cm^(-2)or from 10 h to 900 h at the cycling current of 0.5 mA cm^(-2);2)In Li|electrolyte|NCM721 full cells running at 30℃,the cycling capacity at 0.2 C(or 0.5 C)gets enhanced by 20%(or from unfeasible to be feasible)for 100 cycles and the rate capability reaches up to 2 C from 0.2 C;and in full cells running at 60℃,the cycling capacity is increased by 7%at 0.2 C and the rate capability is enhanced to 3.0 C from 0.5 C.The experimental studies and theoretical computations show that the performance enhancements are due to the confined electron penetration and suppressed lithium dendrites growth at theLi_(6)PS_(5)Cl@Li_(3)OCl interface.展开更多
Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group projects.Although OCL provides a simple ...Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group projects.Although OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation approaches.To demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named OCLPairs.The experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural language.It can be further developed as a CASE tool for the software industry.展开更多
面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加O...面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.展开更多
以硝酸铋和氯化钾为原料,乙二醇为溶剂制备了BiOCl光催化剂。通过XRD,SEM和DRS对其结构、形貌和光吸收性能进行了表征。结果表明所得BiOCl为纯相四方晶系晶体,呈花球状,且带隙能为3.26 e V。以苯酚为目标物考察了BiOCl的光催化活性。在3...以硝酸铋和氯化钾为原料,乙二醇为溶剂制备了BiOCl光催化剂。通过XRD,SEM和DRS对其结构、形貌和光吸收性能进行了表征。结果表明所得BiOCl为纯相四方晶系晶体,呈花球状,且带隙能为3.26 e V。以苯酚为目标物考察了BiOCl的光催化活性。在365 nm单波长光照射600 min后,苯酚的降解率达到了75%,但其矿化率只达到14.8%。这表明苯酚特征衍射峰强度的消失并不表明其被完全矿化。通过质谱分析,对苯酚的光催化反应机理进行了初步探究。展开更多
为了满足电力系统仿真软件中的Oracle数据库对数据快速存取的要求,提出了一种基于OCL(Oracle Class Library)技术访问Oracle数据库的方法。详细介绍了OCL技术的特点。和普遍使用的ADO数据库访问技术相比,OCL技术在大批量数据的存储和读...为了满足电力系统仿真软件中的Oracle数据库对数据快速存取的要求,提出了一种基于OCL(Oracle Class Library)技术访问Oracle数据库的方法。详细介绍了OCL技术的特点。和普遍使用的ADO数据库访问技术相比,OCL技术在大批量数据的存储和读取方面具有优越性,数据库开销小,数据的读取和写入速度快。通过分析OCL的数据加载机制,对传统的OCL直接路径加载方法进行改进。当将大批量的数据频繁地导入到数据库时,改进的直接路径加载方法减少了冗余操作,数据的加载速度更快,较好地满足了电力系统仿真的实时性要求。最后给出仿真算例和部分程序代码。展开更多
基金supported by the National Key Research and Development Program of China (2018YFE0111600)Haihe Laboratory of Sustainable Chemical Transformations for financial supportpartially supported by the Graduate Top-notch Innovation Award Plan in Liberal Arts and Science of Tianjin University for the Year of 2023 (B2-2023-012)
文摘Li_(6)PS_(5)Cl is a highly wanted sulfide-solid-electrolyte(SSE)for developing all-solid-state lithium batteries,due to its high ionic conductivity,good processability and abundant compositional elements.However,its cyclability is poor because of harmful side reactions at the Li_(6)PS_(5)Cl/Li interface and growth of lithium dendrites inside Li_(6)PS_(5)Cl phase.Herein,we report a simple interface-engineering remedy to boost the electrochemical performance of Li_(6)PS_(5)Cl,by coating its surface with a Li-compatible electrolyte Li3OCl having low electronic conductivity.The obtainedLi_(6)PS_(5)Cl@Li_(3)OCl core@shell structure exhibits a synergistic effect.Consequently,compared with the bare Li_(6)PS_(5)Cl,this composite electrolyte exhibits great performance improvements:1)In Li|electrolyte|Li symmetric cells,the critical current density at 30℃gets increased from 0.6 mA cm^(-2)to 1.6 mA cm^(-2),and the lifetime gets prolonged from 320 h to 1400 h at the cycling current of 0.2 mA cm^(-2)or from 10 h to 900 h at the cycling current of 0.5 mA cm^(-2);2)In Li|electrolyte|NCM721 full cells running at 30℃,the cycling capacity at 0.2 C(or 0.5 C)gets enhanced by 20%(or from unfeasible to be feasible)for 100 cycles and the rate capability reaches up to 2 C from 0.2 C;and in full cells running at 60℃,the cycling capacity is increased by 7%at 0.2 C and the rate capability is enhanced to 3.0 C from 0.5 C.The experimental studies and theoretical computations show that the performance enhancements are due to the confined electron penetration and suppressed lithium dendrites growth at theLi_(6)PS_(5)Cl@Li_(3)OCl interface.
基金The National Key Research and Development Program of China,Grant/Award Number:2021YFB2501301。
文摘Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group projects.Although OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation approaches.To demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named OCLPairs.The experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural language.It can be further developed as a CASE tool for the software industry.
文摘面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.
文摘以硝酸铋和氯化钾为原料,乙二醇为溶剂制备了BiOCl光催化剂。通过XRD,SEM和DRS对其结构、形貌和光吸收性能进行了表征。结果表明所得BiOCl为纯相四方晶系晶体,呈花球状,且带隙能为3.26 e V。以苯酚为目标物考察了BiOCl的光催化活性。在365 nm单波长光照射600 min后,苯酚的降解率达到了75%,但其矿化率只达到14.8%。这表明苯酚特征衍射峰强度的消失并不表明其被完全矿化。通过质谱分析,对苯酚的光催化反应机理进行了初步探究。
文摘为了满足电力系统仿真软件中的Oracle数据库对数据快速存取的要求,提出了一种基于OCL(Oracle Class Library)技术访问Oracle数据库的方法。详细介绍了OCL技术的特点。和普遍使用的ADO数据库访问技术相比,OCL技术在大批量数据的存储和读取方面具有优越性,数据库开销小,数据的读取和写入速度快。通过分析OCL的数据加载机制,对传统的OCL直接路径加载方法进行改进。当将大批量的数据频繁地导入到数据库时,改进的直接路径加载方法减少了冗余操作,数据的加载速度更快,较好地满足了电力系统仿真的实时性要求。最后给出仿真算例和部分程序代码。
