分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone...分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.展开更多
The current research of state of charge(SoC) online estimation of lithium-ion battery(LiB) in electric vehicles(EVs)mainly focuses on adopting or improving of battery models and estimation filters. However, little att...The current research of state of charge(SoC) online estimation of lithium-ion battery(LiB) in electric vehicles(EVs)mainly focuses on adopting or improving of battery models and estimation filters. However, little attention has been paid to the accuracy of various open circuit voltage(OCV) models for correcting the SoC with aid of the ampere-hour counting method. This paper presents a comprehensive comparison study on eighteen OCV models which cover the majority of models used in literature. The low-current OCV tests are conducted on the typical commercial LiFePO/graphite(LFP) and LiNiMnCoO/graphite(NMC) cells to obtain the experimental OCV-SoC curves at different ambient temperature and aging stages. With selected OCV and SoC points from experimental OCV-SoC curves, the parameters of each OCV model are determined by curve fitting toolbox of MATLAB 2013. Then the fitting OCV-SoC curves based on diversified OCV models are also obtained. The indicator of root-mean-square error(RMSE) between the experimental data and fitted data is selected to evaluate the adaptabilities of these OCV models for their main features, advantages,and limitations. The sensitivities of OCV models to ambient temperatures, aging stages, numbers of data points,and SoC regions are studied for both NMC and LFP cells. Furthermore, the influences of these models on SoC estimation are discussed. Through a comprehensive comparison and analysis on OCV models, some recommendations in selecting OCV models for both NMC and LFP cells are given.展开更多
文摘分析了带循环定义的描述逻辑系统ALCN的研究现状和存在的问题,研究了循环ALCN-Tbox具有模型的条件,指出了Baader文中命题2.9(LetTbe a terminology such that each cycle inGTcontains an even number ofnegative arcs.ThenTis monotone)的错误,并对该命题进行了修改,给出了循环ALCN-Tbox具有不动点模型(最小不动点模型和最大不动点模型)的条件.
基金Supported by National Natural Science Foundation of China(Grant No.51507012)Beijing Municipal Natural Science Foundation of China(Grant No.3182035)
文摘The current research of state of charge(SoC) online estimation of lithium-ion battery(LiB) in electric vehicles(EVs)mainly focuses on adopting or improving of battery models and estimation filters. However, little attention has been paid to the accuracy of various open circuit voltage(OCV) models for correcting the SoC with aid of the ampere-hour counting method. This paper presents a comprehensive comparison study on eighteen OCV models which cover the majority of models used in literature. The low-current OCV tests are conducted on the typical commercial LiFePO/graphite(LFP) and LiNiMnCoO/graphite(NMC) cells to obtain the experimental OCV-SoC curves at different ambient temperature and aging stages. With selected OCV and SoC points from experimental OCV-SoC curves, the parameters of each OCV model are determined by curve fitting toolbox of MATLAB 2013. Then the fitting OCV-SoC curves based on diversified OCV models are also obtained. The indicator of root-mean-square error(RMSE) between the experimental data and fitted data is selected to evaluate the adaptabilities of these OCV models for their main features, advantages,and limitations. The sensitivities of OCV models to ambient temperatures, aging stages, numbers of data points,and SoC regions are studied for both NMC and LFP cells. Furthermore, the influences of these models on SoC estimation are discussed. Through a comprehensive comparison and analysis on OCV models, some recommendations in selecting OCV models for both NMC and LFP cells are given.
