Key Issues for Modelling, Operation, Management and Diagnosis of Lithium Batteries: Current States and Prospects

1 Introduction.With the continuous growth of the global population,the energy demand continues to increase.However,due to the dominance of fossil fuels in global energy and fossil fuels are non-renewable,it has led to the global energy crisis[1].Besides,the use of fossil fuels will generate a mass of air pollutants(e.g.,carbon dioxide,sulfur dioxide,etc.),which will cause serious environmental pollution,climate change[2],etc.To resolve the aforementioned issues,countries around the world have implemented a variety of measures hoping to fundamentally adjust the global energy structure and achieve sustainable development.Thereinto,“Paris Agreement”reached in 2015 under the framework of“United Nations Framework Convention on Climate Change”aims to control the increase in the average temperature of the globe to within 2°C below preindustrial levels,and thereafter to peak global greenhouse gas emissions as soon as possible,continuously decreasing thereafter[3].United Kingdom plans to reduce the average exhaust emissions of“new cars”to approximately 50–70 g/km by 20230,which is roughly half of what it is now[4].In addition,China proposed a plan at“United Nations General Assembly”in 2020 to peak carbon dioxide emissions by 2030 and strive to achieve carbon neutrality by 2060.It is a fact that the whole world is committed to changing the current energy structure,protecting the Earth’s ecology,and achieving global sustainable development[5].

Application of a 2 Parameter Weibull Distribution in Modeling of State Holding Time in HIV/AIDS Transition Dynamics

This study investigates the application of the two-parameter Weibull distribution in modeling state holding times within HIV/AIDS progression dynamics. By comparing the performance of the Weibull-based Accelerated Failure Time (AFT) model, Cox Proportional Hazards model, and Survival model, we assess the effectiveness of these models in capturing survival rates across varying gender, age groups, and treatment categories. Simulated data was used to fit the models, with model identification criteria (AIC, BIC, and R2) applied for evaluation. Results indicate that the AFT model is particularly sensitive to interaction terms, showing significant effects for older age groups (50 - 60 years) and treatment interaction, while the Cox model provides a more stable fit across all age groups. The Survival model displayed variability, with its performance diminishing when interaction terms were introduced, particularly in older age groups. Overall, while the AFT model captures the complexities of interactions in the data, the Cox model’s stability suggests it may be better suited for general analyses without strong interaction effects. The findings highlight the importance of model selection in survival analysis, especially in complex disease progression scenarios like HIV/AIDS.

Optimal state and branch sequence based parameter estimation of continuous hidden Markov model

A parameter estimation algorithm of the continuous hidden Markov model isintroduced and the rigorous proof of its convergence is also included. The algorithm uses theViterbi algorithm instead of K-means clustering used in the segmental K-means algorithm to determineoptimal state and branch sequences. Based on the optimal sequence, parameters are estimated withmaximum-likelihood as objective functions. Comparisons with the traditional Baum-Welch and segmentalK-means algorithms on various aspects, such as optimal objectives and fundamentals, are made. Allthree algorithms are applied to face recognition. Results indicate that the proposed algorithm canreduce training time with comparable recognition rate and it is least sensitive to the training set.So its average performance exceeds the other two.

Remaining Useful Life Model and Assessment of Mechanical Products: A Brief Review and a Note on the State Space Model Method

The remaining useful life(RUL) prediction of mechanical products has been widely studied for online system performance reliability, device remanufacturing, and product safety(safety awareness and safety improvement). These studies incorporated many di erent models, algorithms, and techniques for modeling and assessment. In this paper, methods of RUL assessment are summarized and expounded upon using two major methods: physics model based and data driven based methods. The advantages and disadvantages of each of these methods are deliberated and compared as well. Due to the intricacy of failure mechanism in system, and di culty in physics degradation observation, RUL assessment based on observations of performance variables turns into a science in evaluating the degradation. A modeling method from control systems, the state space model(SSM), as a first order hidden Markov, is presented. In the context of non-linear and non-Gaussian systems, the SSM methodology is capable of performing remaining life assessment by using Bayesian estimation(sequential Monte Carlo). Being e ective for non-linear and non-Gaussian dynamics, the methodology can perform the assessment recursively online for applications in CBM(condition based maintenance), PHM(prognostics and health management), remanufacturing, and system performance reliability. Finally, the discussion raises concerns regarding online sensing data for SSM modeling and assessment of RUL.

Coupled dynamic model of state estimation for hypersonic glide vehicle

Aiming at handling complicated maneuvers or other unpredicted emergencies for hypersonic glide vehicle tracking,three coupled dynamic models of state estimation based on the priori information between guidance variables and aerodynamics are presented. Firstly, the aerodynamic acceleration acting on the target is analyzed to reveal the essence of the target’s motion.Then three coupled structures for modeling aerodynamic parameters are developed by different ideas: the spiral model with a harmonic oscillator, the bank model with trigonometric functions of the bank angle and the guide model with the changing rule of guidance variables. Meanwhile, the comparison discussion is concluded to show the novelty and advantage of these models.Finally, a performance assessment in different simulation cases is presented and detailed analysis is revealed. The results show that the proposed models perform excellent properties. Moreover, the guide model produces the best tracking performance and the bank model shows the second; however, the spiral model does not outperform the maneuvering reentry vehicle(MaRV) model markedly.

A unified critical state model for geomaterials with an application to tunnelling

This paper is prepared in honour of Professor E.T.Brown for his outstanding contributions to rock mechanics and geotechnical engineering and also for his personal influence on the first author’s research career in geomechanics and geotechnical engineering.As a result,we have picked a topic that reflects two key research areas in which Professor E.T.Brown has made seminal contributions over a long and distinguished career.These two areas are concerned with the application of the critical state concept to modelling geomaterials and the analysis of underground excavation or tunnelling in geomaterials.Partially due to Professor Brown’s influence,the first author has also been conducting research in these two areas over many years.In particular,this paper aims to describe briefly the development of a unified critical state model for geomaterials together with an application to cavity contraction problems and tunnelling in soils.

Thermo-mechanical constitutive modeling of unsaturated clays based on the critical state concepts

A thermo-mechanical constitutive model for unsaturated clays is constructed based on the existingmodel for saturated clays originally proposed by the authors. The saturated clays model was formulatedin the framework of critical state soil mechanics and modified Cam-clay model. The existing model hasbeen generalized to simulate the experimentally observed behavior of unsaturated clays by introducingBishop＇s stress and suction as independent stress parameters and modifying the hardening rule and yieldcriterion to take into account the role of suction. Also, according to previous studies, an increase intemperature causes a reduction in specific volume. A reduction in suction （wetting） for a given confiningstress may induce an irreversible volumetric compression （collapse）. Thus an increase in suction （drying）raises a specific volume i.e. the movement of normal consolidation line （NCL） to higher values of voidratio. However, some experimental data confirm the assumption that this reduction is dependent on thestress level of soil element. A generalized approach considering the effect of stress level on themagnitude of clays thermal dependency in compression plane is proposed in this study. The number ofmodeling parameters is kept to a minimum, and they all have clear physical interpretations, to facilitatethe usefulness of model for practical applications. A step-by-step procedure used for parameter calibrationis also described. The model is finally evaluated using a comprehensive set of experimental datafor the thermo-mechanical behavior of unsaturated soils.2015 Institute of Rock and Soil Mechanics, Chinese Academy of Sciences. Production and hosting byElsevier B.V. All rights reserved.

EQUATION OF STATE BASED HYDRATE MODEL FOR NATURAL GAS SYSTEMS CONTAINING BRINE AND POLAR INHIBITOR

A new thermodynamic model for gas hydrates was established by combining the modified Patel-Teja equation of state proposed for aqueous electrolyte systems and the simplified Holder -John multi -shell hydrate model. The new hydrate model is capable of predicting the hydrate formation/dissociation conditions of natural gas systems containing pure water/formation water (brine) and polar inhibitor without using activity coefficient model. Extensive test results indicate very encouraging results.

Qualitative analysis for state/event fault trees using formal model checking

A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.

Comparative Study of Trajectory Tracking Control for Automated Vehicles via Model Predictive Control and Robust H-infinity State Feedback Control

A comparative study of model predictive control(MPC)schemes and robust Hstate feedback control(RSC)method for trajectory tracking is proposed in this paper.The main objective of this paper is to compare MPC and RSC controllers’performance in tracking predefined trajectory under different scenarios.MPC controller is designed based on the simple longitudinal-yaw-lateral motions of a single-track vehicle with a linear tire,which is an approximation of the more realistic model of a vehicle with double-track motion with a non-linear tire mode.RSC is designed on the basis of the same method as adopted for the MPC controller to achieve a fair comparison.Then,three test cases are built in CarSim-Simulink joint platform.Specifically,the verification test is used to test the tracking accuracy of MPC and RSC controller under well road conditions.Besides,the double lane change test with low road adhesion is designed to find the maximum velocity that both controllers can carry out while guaranteeing stability.Furthermore,an extreme curve test is built where the road adhesion changes suddenly,in order to test the performance of both controllers under extreme conditions.Finally,the advantages and disadvantages of MPC and RSC under different scenarios are also discussed.

A PREDICTION OF THE VORTEX-RING STATE BOUNDARY BASED ON MODEL TESTS

To understand the vortex-ring state and to develop an approach for predicting its boundary, a series of model rotor tests of vertical descent and oblique descent have been conducted on a newly-built test apparatus - the Whirling Beam. The test results showed some unsteady aerodynamic behavior of the model rotor operating in the vortex-ring state. A very irregular variation of the rotortorque at low rate-of-descent was observed here for the first time. We considered it to be the start of the 'power settling' and determined the critical descent velocity according to this observation. A previous criterion for the vortex-ring state was modified to give a semi-empirical method for predicting the entire vortex-ring state boundary. The computed boundary shows a good correlation with the model test results and the flight experiences.

Co-Estimation of State of Charge and Capacity for Lithium-Ion Batteries with Multi-Stage Model Fusion Method

Lithium-ion batteries(LIBs)have emerged as the preferred energy storage systems for various types of electric transports,including electric vehicles,electric boats,electric trains,and electric airplanes.The energy management of LIBs in electric transports for all-climate and long-life operation requires the accurate estimation of state of charge(SOC)and capacity in real-time.This study proposes a multistage model fusion algorithm to co-estimate SOC and capacity.Firstly,based on the assumption of a normal distribution,the mean and variance of the residual error from the model at different ageing levels are used to calculate the weight for the establishment of a fusion model with stable parameters.Secondly,a differential error gain with forward-looking ability is introduced into a proportional–integral observer(PIO)to accelerate convergence speed.Thirdly,a fusion algorithm is developed by combining a multistage model and proportional–integral–differential observer(PIDO)to co-estimate SOC and capacity under a complex application environment.Fourthly,the convergence and anti-noise performance of the fusion algorithm are discussed.Finally,the hardware-in-the-loop platform is set up to verify the performance of the fusion algorithm.The validation results of different aged LIBs over a wide range of temperature show that the presented fusion algorithm can realize a high-accuracy estimation of SOC and capacity with the relative errors within 2%and 3.3%,respectively.

Existence for positive steady states of an eco-epidemiological model

An eco-epidemiological model with an epidemic in the predator and with a Holling type Ⅱ function is considered.A system with diffusion under the homogeneous Neumann boundary condition is studied.The existence for a positive solution of the corresponding steady state problem is mainly discussed.First,a prior estimates（positive upper and lower bounds） of the positive steady states of the reaction-diffusion system is given by the maximum principle and the Harnack inequation.Then,the non-existence of non-constant positive steady states by using the energy method is given.Finally,the existence of non-constant positive steady states is obtained by using the topological degree.

A Comparative Study of Fractional Order Models on State of Charge Estimation for Lithium Ion Batteries

State of charge(SOC)estimation for lithium ion batteries plays a critical role in battery management systems for electric vehicles.Battery fractional order models(FOMs)which come from frequency-domain modelling have provided a distinct insight into SOC estimation.In this article,we compare five state-of-the-art FOMs in terms of SOC estimation.To this end,firstly,characterisation tests on lithium ion batteries are conducted,and the experimental results are used to identify FOM parameters.Parameter identification results show that increasing the complexity of FOMs cannot always improve accuracy.The model R(RQ)W shows superior identification accuracy than the other four FOMs.Secondly,the SOC estimation based on a fractional order unscented Kalman filter is conducted to compare model accuracy and computational burden under different profiles,memory lengths,ambient temperatures,cells and voltage/current drifts.The evaluation results reveal that the SOC estimation accuracy does not necessarily positively correlate to the complexity of FOMs.Although more complex models can have better robustness against temperature variation,R(RQ),the simplest FOM,can overall provide satisfactory accuracy.Validation results on different cells demonstrate the generalisation ability of FOMs,and R(RQ)outperforms other models.Moreover,R(RQ)shows better robustness against truncation error and can maintain high accuracy even under the occurrence of current or voltage sensor drift.

Establishing formal state space models via quantization forquantum control systems

Formal state space models of quantum control systems are deduced and a scheme to establish formal state space models via quantization could been obtained for quantum control systems is proposed. State evolution of quantum control systems must accord with Schrdinger equations, so it is foremost to obtain Hamiltonian operators of systems. There are corresponding relations between operators of quantum systems and corresponding physical quantities of classical systems, such as momentum, energy and Hamiltonian, so Schrdinger equation models of corresponding quantum control systems via quantization could been obtained from classical control systems, and then establish formal state space models through the suitable transformation from Schrdinger equations for these quantum control systems. This method provides a new kind of path for modeling in quantum control.

The Structure of Essential Spectra and Discrete Spectrum of Three-Electron Systems in the Impurity Hubbard Model—Quartet State

We consider a three-electron system in the Impurity Hubbard model with a coupling between nearest-neighbors. Our research aim consists of studying the structure of essential spectrum and discrete spectra of the energy operator of three-electron systems in the impurity Hubbard model in the quartet state of the system in a v-dimensional lattice. We have reduced the study of the spectrum of the three-electron quartet state operator in the impurity Hubbard model to the study of the spectrum of a simpler operator. We proved the essential spectra of the three-electron systems in the Impurity Hubbard model in the quartet state is the union of no more than six segments, and the discrete spectrum of the system is consists of no more than four eigenvalues.

Artificial emotional model based on finite state machine

According to the basic emotional theory, the artificial emotional model based on the finite state machine（FSM） was presented. In finite state machine model of emotion, the emotional space included the basic emotional space and the multiple emotional spaces. The emotion-switching diagram was defined and transition fimction was developed using Markov chain and linear interpolation algorithm. The simulation model was built using Stateflow toolbox and Simulink toolbox based on the Matlab platform. And the model included three subsystems： the input one, the emotion one and the behavior one. In the emotional subsystem, the responses of different personalities to the external stimuli were described by defining personal space. This model takes states from an emotional space and updates its state depending on its current state and a state of its input （also a state-emotion）. The simulation model realizes the process of switching the emotion from the neutral state to other basic emotions. The simulation result is proved to correspond to emotion-switching law of human beings.

Ground-State Phase Diagram of Transverse Spin-2 Ising Model with Longitudinal Crystal-Field

The transverse spin-2 Ising ferromagnetic model with a longitudinal crystal-field is studied within the mean-field theory based on Bogoliubov inequality for the Gibbs free energy. The ground-state phase diagram and the tricritical point are obtained in the transverse field Ω/ zJ-longitudinal crystal D / zJ field plane. We find that there are the first order-order phase transitions in a very small range of D /zJ besides the usual first order-disorder phase transitions and the second order-disorder phase transitions,

Mesoscopic analysis of the utilization of hardening model for a description of softening behavior based on disturbed state concept theory

Mesoscopic characteristics of a clayey soil specimen subjected to macroscopic loading are examined using a medi- cal-use computerized tomography (CT) instrument. Disturbed state concept (DSC) theory is based on the utilization of the hard- ening model. DSC indirectly describes material behavior by claiming that the actual response of the material is expressed in terms of the relative intact (RI) response and the fully adjusted (FA) response. The occurrence of mesoscopic structural changes of material has similarities with the occurrence of a macroscopic response of the material under loadings. In general, the relative changing value of a softening material is three to five times more than that of a hardening material. Whether special zones exist or not in a specimen cross section does not affect the following conclusion: hardening material and softening material show me- chanical differences with CT statistical indices values prominently changing, and the change is related to the superposing of a disturbance factor. A new disturbance factor evolution function is proposed. Thus, mesoscopic statistical indices are introduced to describe macroscopic behavior through the new evolution function. An application of the new evolution function proves the effectiveness of the amalgamation of a macroscopic and a mesoscopic experimental phenomenon measurement methods.

QQqq Four-Quark Bound States in Chiral SU(3) Quark Model

Abstract The possibility of QQqq heavy-light four-quark bound states has been analyzed by means of the chiral SU（3） quark model, where Q is the heavy quark （c or b） and q is the light quark （u, d, or s）. We obtain a bound state for the bbnn configuration with quantum number JR=1^＋, I = 0 and for the ccnn （JR=1^＋, I=O） configuration, which is not bound but slightly above the D^＊ D^＊ threshold （n is u or d quark）. Meanwhile, we also conclude that a weakly bound state in bbnn system can also be found without considering the ehiral quark interactions between the two light quarks, yet its binding energy is weaker than that with the chiral quark interactions.