Effects of mesenchymal stem cell on dopaminergic neurons,motor and memory functions in animal models of Parkinson's disease:a systematic review and meta-analysis

Parkinson’s disease is chara cterized by the loss of dopaminergic neurons in the substantia nigra pars com pacta,and although restoring striatal dopamine levels may improve symptoms,no treatment can cure or reve rse the disease itself.Stem cell therapy has a regenerative effect and is being actively studied as a candidate for the treatment of Parkinson’s disease.Mesenchymal stem cells are considered a promising option due to fewer ethical concerns,a lower risk of immune rejection,and a lower risk of teratogenicity.We performed a meta-analysis to evaluate the therapeutic effects of mesenchymal stem cells and their derivatives on motor function,memory,and preservation of dopamine rgic neurons in a Parkinson’s disease animal model.We searched bibliographic databases(PubMed/MEDLINE,Embase,CENTRAL,Scopus,and Web of Science)to identify articles and included only pee r-reviewed in vivo interve ntional animal studies published in any language through J une 28,2023.The study utilized the random-effect model to estimate the 95%confidence intervals(CI)of the standard mean differences(SMD)between the treatment and control groups.We use the systematic review center for laboratory animal expe rimentation’s risk of bias tool and the collaborative approach to meta-analysis and review of animal studies checklist for study quality assessment.A total of 33studies with data from 840 Parkinson’s disease model animals were included in the meta-analysis.Treatment with mesenchymal stem cells significantly improved motor function as assessed by the amphetamine-induced rotational test.Among the stem cell types,the bone marrow MSCs with neurotrophic factor group showed la rgest effect size(SMD[95%CI]=-6.21[-9.50 to-2.93],P=0.0001,I^(2)=0.0%).The stem cell treatment group had significantly more tyrosine hydroxylase positive dopamine rgic neurons in the striatum([95%CI]=1.04[0.59 to 1.49],P=0.0001,I^(2)=65.1%)and substantia nigra(SMD[95%CI]=1.38[0.89 to 1.87],P=0.0001,I^(2)=75.3%),indicating a protective effect on dopaminergic neurons.Subgroup analysis of the amphetamine-induced rotation test showed a significant reduction only in the intracranial-striatum route(SMD[95%CI]=-2.59[-3.25 to-1.94],P=0.0001,I^(2)=74.4%).The memory test showed significant improvement only in the intravenous route(SMD[95%CI]=4.80[1.84 to 7.76],P=0.027,I^(2)=79.6%).Mesenchymal stem cells have been shown to positively impact motor function and memory function and protect dopaminergic neurons in preclinical models of Parkinson’s disease.Further research is required to determine the optimal stem cell types,modifications,transplanted cell numbe rs,and delivery methods for these protocols.

Neurophysiological, histological, and behavioral characterization of animal models of distraction spinal cord injury: a systematic review

Distraction spinal cord injury is caused by some degree of distraction or longitudinal tension on the spinal cord and commonly occurs in patients who undergo corrective operation for severe spinal deformity.With the increased degree and duration of distraction,spinal cord injuries become more serious in terms of their neurophysiology,histology,and behavior.Very few studies have been published on the specific characteristics of distraction spinal cord injury.In this study,we systematically review 22 related studies involving animal models of distraction spinal cord injury,focusing particularly on the neurophysiological,histological,and behavioral characteristics of this disease.In addition,we summarize the mechanisms underlying primary and secondary injuries caused by distraction spinal cord injury and clarify the effects of different degrees and durations of distraction on the primary injuries associated with spinal cord injury.We provide new concepts for the establishment of a model of distraction spinal cord injury and related basic research,and provide reference guidelines for the clinical diagnosis and treatment of this disease.

Use of machine learning models for the prognostication of liver transplantation: A systematic review

BACKGROUND Liver transplantation(LT)is a life-saving intervention for patients with end-stage liver disease.However,the equitable allocation of scarce donor organs remains a formidable challenge.Prognostic tools are pivotal in identifying the most suitable transplant candidates.Traditionally,scoring systems like the model for end-stage liver disease have been instrumental in this process.Nevertheless,the landscape of prognostication is undergoing a transformation with the integration of machine learning(ML)and artificial intelligence models.AIM To assess the utility of ML models in prognostication for LT,comparing their performance and reliability to established traditional scoring systems.METHODS Following the Preferred Reporting Items for Systematic Reviews and Meta-Analysis guidelines,we conducted a thorough and standardized literature search using the PubMed/MEDLINE database.Our search imposed no restrictions on publication year,age,or gender.Exclusion criteria encompassed non-English studies,review articles,case reports,conference papers,studies with missing data,or those exhibiting evident methodological flaws.RESULTS Our search yielded a total of 64 articles,with 23 meeting the inclusion criteria.Among the selected studies,60.8%originated from the United States and China combined.Only one pediatric study met the criteria.Notably,91%of the studies were published within the past five years.ML models consistently demonstrated satisfactory to excellent area under the receiver operating characteristic curve values(ranging from 0.6 to 1)across all studies,surpassing the performance of traditional scoring systems.Random forest exhibited superior predictive capabilities for 90-d mortality following LT,sepsis,and acute kidney injury(AKI).In contrast,gradient boosting excelled in predicting the risk of graft-versus-host disease,pneumonia,and AKI.CONCLUSION This study underscores the potential of ML models in guiding decisions related to allograft allocation and LT,marking a significant evolution in the field of prognostication.

Development of a new cerebral ischemia reperfusion model of Mongolian gerbils and standardized evaluation system

Background:The Mongolian gerbil is an excellent laboratory animal for preparing the cerebral ischemia model due to its inherent deficiency in the circle of Willis.However,the low incidence and unpredictability of symptoms are caused by numerous complex variant types of the circle.Additionally,the lack of an evaluation system for the cer-ebral ischemia/reperfusion(I/R)model of gerbils has shackled the application of this model.Methods:We created a symptom-oriented principle and detailed neurobehavioral scoring criteria.At different time points of reperfusion,we analyzed the alteration in locomotion by rotarod test and grip force score,infarct volume by triphenyltetrazo-lium chloride(TTC)staining,neuron loss using Nissl staining,and histological charac-teristics using hematoxylin-eosin(H&E)straining.Results:With a successful model rate of 56%,32 of the 57 gerbils operated by our method harbored typical features of cerebral I/R injury,and the mortality rate in the male gerbils was significantly higher than that in the female gerbils.The suc-cessfully prepared I/R gerbils demonstrated a significant reduction in motility and grip strength at 1 day after reperfusion;formed obvious infarction;exhibited typi-cal pathological features,such as tissue edema,neuronal atrophy and death,and vacuolated structures;and were partially recovered with the extension of reperfu-sion time.Conclusion:This study developed a new method for the unilateral common carotid artery ligation I/R model of gerbil and established a standardized evaluation system for this model,which could provide a new cerebral I/R model of gerbils with more practical applications.

Implication of community-level ecophysiological parameterization to modelling ecosystem productivity:a case study across nine contrasting forest sites in eastern China

Parameterization is a critical step in modelling ecosystem dynamics.However,assigning parameter values can be a technical challenge for structurally complex natural plant communities;uncertainties in model simulations often arise from inappropriate model parameterization.Here we compared five methods for defining community-level specific leaf area(SLA)and leaf C:N across nine contrasting forest sites along the North-South Transect of Eastern China,including biomass-weighted average for the entire plant community(AP_BW)and four simplified selective sampling(biomass-weighted average over five dominant tree species[5DT_BW],basal area weighted average over five dominant tree species[5DT_AW],biomass-weighted average over all tree species[AT_BW]and basal area weighted average over all tree species[AT_AW]).We found that the default values for SLA and leaf C:N embedded in the Biome-BGC v4.2 were higher than the five computational methods produced across the nine sites,with deviations ranging from 28.0 to 73.3%.In addition,there were only slight deviations(<10%)between the whole plant community sampling(AP_BW)predicted NPP and the four simplified selective sampling methods,and no significant difference between the predictions of AT_BW and AP_BW except the Shennongjia site.The findings in this study highlights the critical importance of computational strategies for community-level parameterization in ecosystem process modelling,and will support the choice of parameterization methods.

Description of martensitic transformation kinetics in Fe-C-X(X = Ni,Cr,Mn,Si) system by a modified model

Controlling the content of athermal martensite and retained austenite is important to improving the mechanical properties of high-strength steels,but a mechanism for the accurate description of martensitic transformation during the cooling process must be addressed.At present,frequently used semi-empirical kinetics models suffer from huge errors at the beginning of transformation,and most of them fail to exhibit the sigmoidal shape characteristic of transformation curves.To describe the martensitic transformation process accurately,based on the Magee model,we introduced the changes in the nucleation activation energy of martensite with temperature,which led to the varying nucleation rates of this model during martensitic transformation.According to the calculation results,the relative error of the modified model for the martensitic transformation kinetics curves of Fe-C-X(X = Ni,Cr,Mn,Si) alloys reached 9.5% compared with those measured via the thermal expansion method.The relative error was approximately reduced by two-thirds compared with that of the Magee model.The incorporation of nucleation activation energy into the kinetics model contributes to the improvement of its precision.

Role of cancer stem cell ecosystem on breast cancer metastasis and related mouse models

Breast cancer metastasis is responsible for most breast cancer-related deaths and is influenced by many factors within the tumor ecosystem,including tumor cells and microenvironment.Breast cancer stem cells(BCSCs)constitute a small population of cancer cells with unique characteristics,including their capacity for self-renewal and differentiation.Studies have shown that BCSCs not only drive tumorigenesis but also play a crucial role in promoting metastasis in breast cancer.The tumor microenvironment(TME),composed of stromal cells,immune cells,blood vessel cells,fibroblasts,and microbes in proximity to cancer cells,is increasingly recognized for its crosstalk with BCSCs and role in BCSC survival,growth,and dissemination,thereby influencing metastatic ability.Hence,a thorough understanding of BCSCs and the TME is critical for unraveling the mechanisms underlying breast cancer metastasis.In this review,we summarize current knowledge on the roles of BCSCs and the TME in breast cancer metastasis,as well as the underlying regulatory mechanisms.Furthermore,we provide an overview of relevant mouse models used to study breast cancer metastasis,as well as treatment strategies and clinical trials addressing BCSC-TME interactions during metastasis.Overall,this study provides valuable insights for the development of effective therapeutic strategies to reduce breast cancer metastasis.

Uncertainty and disturbance estimator-based model predictive control for wet flue gas desulphurization system

Wet flue gas desulphurization technology is widely used in the industrial process for its capability of efficient pollution removal.The desulphurization control system,however,is subjected to complex reaction mechanisms and severe disturbances,which make for it difficult to achieve certain practically relevant control goals including emission and economic performances as well as system robustness.To address these challenges,a new robust control scheme based on uncertainty and disturbance estimator(UDE)and model predictive control(MPC)is proposed in this paper.The UDE is used to estimate and dynamically compensate acting disturbances,whereas MPC is deployed for optimal feedback regulation of the resultant dynamics.By viewing the system nonlinearities and unknown dynamics as disturbances,the proposed control framework allows to locally treat the considered nonlinear plant as a linear one.The obtained simulation results confirm that the utilization of UDE makes the tracking error negligibly small,even in the presence of unmodeled dynamics.In the conducted comparison study,the introduced control scheme outperforms both the standard MPC and PID(proportional-integral-derivative)control strategies in terms of transient performance and robustness.Furthermore,the results reveal that a lowpass-filter time constant has a significant effect on the robustness and the convergence range of the tracking error.

A Novel Framework to Construct S-Box Quantum Circuits Using System Modeling: Application to 4-Bit S-Boxes

Quantum computers accelerate many algorithms based on the superposition principle of quantum mechanics.The Grover algorithm provides significant performance to malicious users attacking symmetric key systems.Since the performance of attacks using quantum computers depends on the efficiency of the quantum circuit of the encryption algorithms,research research on the implementation of quantum circuits is essential.This paper presents a new framework to construct quantum circuits of substitution boxes(S-boxes)using system modeling.We model the quantum circuits of S-boxes using two layers:Toffoli and linear layers.We generate vector spaces based on the values of qubits used in the linear layers and apply them to find quantum circuits.The framework finds the circuit bymatching elements of vector spaces generated fromthe input and output of a given S-box,using the forward search or themeet-in-the-middle strategy.We developed a tool to apply this framework to 4-bit S-boxes.While the 4-bit S-box quantum circuit construction tool LIGHTER-R only finds circuits that can be implemented with four qubits,the proposed tool achieves the circuits with five qubits.The proposed tool can find quantum circuits of 4-bit odd permutations based on the controlled NOT,NOT,and Toffoli gates,whereas LIGHTER-R is unable to perform this task in the same environment.We expect this technique to become a critical step toward optimizing S-box quantum circuits.

Research on the Relationship Between Environmental and Economic Coupling Systems in Bohai Bay Area Based on a Vector Autoregression(VAR)Model

This study analyzed the impact of land-based contaminants and tertiary industrial structure on economic development in the selected Bohai Bay area,China.Based on panel data spanning 2011-2020,a vector autoregressive(VAR)model is used to analyze and forecast the short-run and long-run relationships between three industrial structures,pollutant discharge,and economic development.The results showed that the environmental index had a long-term cointegration relationship with the industrial structure economic index.Per capital chemical oxygen demand(PCOD)and per capita ammonia nitrogen(PNH_(3)N)had a positive impact on delta per capita GDP(dPGDP),while per capita solid waste(PSW),the secondary industry rate(SIR)and delta tertiary industry(dTIR)had a negative impact on dPGDP.The VAR model under this coupling system had stability and credibility.The impulse response results showed that the short-term effect of the coupling system on dPGDP was basically consistent with the Granger causality test results.In addition,variance decomposition was used in this study to predict the long-term impact of the coupling system in the next ten periods(i.e.,ten years).It was found that dTIR had a great impact on dPGDP,with a contribution rate as high as 74.35%in the tenth period,followed by the contribution rate of PCOD up to 3.94%,while the long-term contribution rates of PSW,SIR and PNH3N were all less than 1%.The results show that the government should support the development of the tertiary industry to maintain the vitality of economic development and prevent environmental deterioration.

Optimization of tracheoesophageal fistula model established with Tshaped magnet system based on magnetic compression technique

BACKGROUND The magnetic compression technique has been used to establish an animal model of tracheoesophageal fistula(TEF),but the commonly shaped magnets present limitations of poor homogeneity of TEF and poor model control.We designed a Tshaped magnet system to overcome these problems and verified its effectiveness via animal experiments.AIM To investigate the effectiveness of a T-shaped magnet system for establishing a TEF model in beagle dogs.METHODS Twelve beagles were randomly assigned to groups in which magnets of the Tshaped scheme(study group,n=6)or normal magnets(control group,n=6)were implanted into the trachea and esophagus separately under gastroscopy.Operation time,operation success rate,and accidental injury were recorded.After operation,the presence and timing of cough and the time of magnet shedding were observed.Dogs in the control group were euthanized after X-ray and gastroscopy to confirm establishment of TEFs after coughing,and gross specimens of TEFs were obtained.Dogs in the study group were euthanized after X-ray and gastroscopy 2 wk after surgery,and gross specimens were obtained.Fistula size was measured in all animals,and then harvested fistula specimens were examined by hematoxylin and eosin(HE)and Masson trichrome staining.RESULTS The operation success rate was 100%for both groups.Operation time did not differ between the study group(5.25 min±1.29 min)and the control group(4.75 min±1.70 min;P=0.331).No bleeding,perforation,or unplanned magnet attraction occurred in any animal during the operation.In the early postoperative period,all dogs ate freely and were generally in good condition.Dogs in the control group had severe cough after drinking water at 6-9 d after surgery.X-ray indicated that the magnets had entered the stomach,and gastroscopy showed TEF formation.Gross specimens of TEFs from the control group showed the formation of fistulas with a diameter of 4.94 mm±1.29 mm(range,3.52-6.56 mm).HE and Masson trichrome staining showed scar tissue formation and hierarchical structural disorder at the fistulas.Dogs in the study group did not exhibit obvious coughing after surgery.X-ray examination 2 wk after surgery indicated fixed magnet positioning,and gastroscopy showed no change in magnet positioning.The magnets were removed using a snare under endoscopy,and TEF was observed.Gross specimens showed well-formed fistulas with a diameter of 6.11 mm±0.16 mm(range,5.92-6.36 mm),which exceeded that in the control group(P<0.001).Scar formation was observed on the internal surface of fistulas by HE and Masson trichrome staining,and the structure was more regular than that in the control group.CONCLUSION Use of the modified T-shaped magnet scheme is safe and feasible for establishing TEF and can achieve a more stable and uniform fistula size compared with ordinary magnets.Most importantly,this model offers better controllability,which improves the flexibility of follow-up studies.

Finite-Time Stabilization for Constrained Discrete-time Systems by Using Model Predictive Control

In this paper, a model predictive control(MPC)framework is proposed for finite-time stabilization of linear and nonlinear discrete-time systems subject to state and control constraints. The proposed MPC framework guarantees the finite-time convergence property by assigning the control horizon equal to the dimension of the overall system, and only penalizing the terminal cost in the optimization, where the stage costs are not penalized explicitly. A terminal inequality constraint is added to guarantee the feasibility and stability of the closed-loop system.Initial feasibility can be improved via augmentation. The finite-time convergence of the proposed MPC is proved theoretically,and is supported by simulation examples.

Dynamics of Land Use/Land Cover Considering Ecosystem Services for a Dense-Population Watershed Based on a Hybrid Dual-Subject Agent and Cellular Automaton Modeling Approach

Land use/land cover represents the interactive and comprehensive influences between human activities and natural conditions,leading to potential conflicts among natural and human-related issues as well as among stakeholders.This study introduced economic standards for farmers.A hybrid approach(CA-ABM)of cellular automaton(CA)and an agent-based model(ABM)was developed to effectively deal with social and land-use synergic issues to examine human–environment interactions and projections of land-use conversions for a humid basin in south China.Natural attributes and socioeconomic data were used to analyze land use/land cover and its drivers of change.The major modules of the CA-ABM are initialization,migration,assets,land suitability,and land-use change decisions.Empirical estimates of the factors influencing the urban land-use conversion probability were captured using parameters based on a spatial logistic regression(SLR)model.Simultaneously,multicriteria evaluation(MCE)and Markov models were introduced to obtain empirical estimates of the factors affecting the probability of ecological land conversion.An agent-based CA-SLR-MCE-Markov(ABCSMM)land-use conversion model was proposed to explore the impacts of policies on land-use conversion.This model can reproduce observed land-use patterns and provide links for forest transition and urban expansion to land-use decisions and ecosystem services.The results demonstrated land-use simulations under multi-policy scenarios,revealing the usefulness of the model for normative research on land-use management.

Dynamic optimal allocation of energy storage systems integrated within photovoltaic based on a dual timescale dynamics model

Energy storage systems(ESSs)operate as independent market participants and collaborate with photovoltaic(PV)generation units to enhance the flexible power supply capabilities of PV units.However,the dynamic variations in the profitability of ESSs in the electricity market are yet to be fully understood.This study introduces a dual-timescale dynamics model that integrates a spot market clearing(SMC)model into a system dynamics(SD)model to investigate the profit-aware capacity growth of ESSs and compares the profitability of independent energy storage systems(IESSs)with that of an ESS integrated within a PV(PV-ESS).Furthermore,this study aims to ascertain the optimal allocation of the PV-ESS.First,SD and SMC models were set up.Second,the SMC model simulated on an hourly timescale was incorporated into the SD model as a subsystem,a dual-timescale model was constructed.Finally,a development simulation and profitability analysis was conducted from 2022 to 2040 to reveal the dynamic optimal range of PV-ESS allocation.Additionally,negative electricity prices were considered during clearing processes.The simulation results revealed differences in profitability and capacity growth between IESS and PV-ESS,helping grid investors and policymakers to determine the boundaries of ESSs and dynamic optimal allocation of PV-ESSs.

Complex adaptive system theory,agent-based modeling,and simulation in dominant technology formation

Dominant technology formation is the key for the hightech industry to“cross the chasm”and gain an established foothold in the market(and hence disrupt the regime).Therefore,a stimulus-response model is proposed to investigate the dominant technology by exploring its formation process and mechanism.Specifically,based on complex adaptive system theory and the basic stimulus-response model,we use a combination of agent-based modeling and system dynamics modeling to capture the interactions between dominant technology and the socio-technical landscape.The results indicate the following:(i)The dynamic interaction is“stimulus-reaction-selection”,which promotes the dominant technology’s formation.(ii)The dominant technology’s formation can be described as a dynamic process in which the adaptation intensity of technology standards increases continuously until it becomes the leading technology under the dual action of internal and external mechanisms.(iii)The dominant technology’s formation in the high-tech industry is influenced by learning ability,the number of adopting users and adaptability.Therein,a“critical scale”of learning ability exists to promote the formation of leading technology:a large number of adopting users can promote the dominant technology’s formation by influencing the adaptive response of technology standards to the socio-technical landscape and the choice of technology standards by the socio-technical landscape.There is a minimum threshold and a maximum threshold for the role of adaptability in the dominant technology’s formation.(iv)The socio-technical landscape can promote the leading technology’s shaping in the high-tech industry,and different elements have different effects.This study promotes research on the formation mechanism of dominant technology in the high-tech industry,presents new perspectives and methods for researchers,and provides essential enlightenment for managers to formulate technology strategies.

Bayesian network-based survival prediction model for patients having undergone post-transjugular intrahepatic portosystemic shunt for portal hypertension

BACKGROUND Portal hypertension(PHT),primarily induced by cirrhosis,manifests severe symptoms impacting patient survival.Although transjugular intrahepatic portosystemic shunt(TIPS)is a critical intervention for managing PHT,it carries risks like hepatic encephalopathy,thus affecting patient survival prognosis.To our knowledge,existing prognostic models for post-TIPS survival in patients with PHT fail to account for the interplay among and collective impact of various prognostic factors on outcomes.Consequently,the development of an innovative modeling approach is essential to address this limitation.AIM To develop and validate a Bayesian network(BN)-based survival prediction model for patients with cirrhosis-induced PHT having undergone TIPS.METHODS The clinical data of 393 patients with cirrhosis-induced PHT who underwent TIPS surgery at the Second Affiliated Hospital of Chongqing Medical University between January 2015 and May 2022 were retrospectively analyzed.Variables were selected using Cox and least absolute shrinkage and selection operator regression methods,and a BN-based model was established and evaluated to predict survival in patients having undergone TIPS surgery for PHT.RESULTS Variable selection revealed the following as key factors impacting survival:age,ascites,hypertension,indications for TIPS,postoperative portal vein pressure(post-PVP),aspartate aminotransferase,alkaline phosphatase,total bilirubin,prealbumin,the Child-Pugh grade,and the model for end-stage liver disease(MELD)score.Based on the above-mentioned variables,a BN-based 2-year survival prognostic prediction model was constructed,which identified the following factors to be directly linked to the survival time:age,ascites,indications for TIPS,concurrent hypertension,post-PVP,the Child-Pugh grade,and the MELD score.The Bayesian information criterion was 3589.04,and 10-fold cross-validation indicated an average log-likelihood loss of 5.55 with a standard deviation of 0.16.The model’s accuracy,precision,recall,and F1 score were 0.90,0.92,0.97,and 0.95 respectively,with the area under the receiver operating characteristic curve being 0.72.CONCLUSION This study successfully developed a BN-based survival prediction model with good predictive capabilities.It offers valuable insights for treatment strategies and prognostic evaluations in patients having undergone TIPS surgery for PHT.

A framework for dynamic modelling of railway track switches considering the switch blades,actuators and control systems

The main contribution of this paper is the development and demonstration of a novel methodology that can be followed to develop a simulation twin of a railway track switch system to test the functionality in a digital environment.This is important because,globally,railway track switches are used to allow trains to change routes;they are a key part of all railway networks.However,because track switches are single points of failure and safety-critical,their inability to operate correctly can cause significant delays and concomitant costs.In order to better understand the dynamic behaviour of switches during operation,this paper has developed a full simulation twin of a complete track switch system.The approach fuses finite element for the rail bending and motion,with physics-based models of the electromechanical actuator system and the control system.Hence,it provides researchers and engineers the opportunity to explore and understand the design space around the dynamic operation of new switches and switch machines before they are built.This is useful for looking at the modification or monitoring of existing switches,and it becomes even more important when new switch concepts are being considered and evaluated.The simulation is capable of running in real time or faster meaning designs can be iterated and checked interactively.The paper describes the modelling approach,demonstrates the methodology by developing the system model for a novel“REPOINT”switch system,and evaluates the system level performance against the dynamic performance requirements for the switch.In the context of that case study,it is found that the proposed new actuation system as designed can meet(and exceed)the system performance requirements,and that the fault tolerance built into the actuation ensures continued operation after a single actuator failure.

A Loss-model-based Efficiency Optimization Control Method for Induction Traction System of High-speed Train under Emergency Self-propelled Mode

Increasing attention has been paid to the efficiency improvement of the induction traction system of high-speed trains due to the high demand for energy saving. In emergency self-propelled mode, however, the dc-link voltage and the traction power of the motor are significantly reduced, resulting in decreased traction efficiency due to the low load and low speed operations. Aiming to tackle this problem, a novel efficiency improved control method is introduced to the emergency mode of high-speed train traction system in this paper. In the proposed method, a total loss model of induction motor considering the behaviors of both iron and copper loss is established. An improved iterative algorithm with decreased computational burden is then introduced, resulting in a fast solving of the optimal flux reference for loss minimization at each control period. In addition, considering the parameter variation problem due to the low load and low speed operations, a parameter estimation method is integrated to improve the controller's robustness. The effectiveness of the proposed method on efficiency improvement at low voltage and low load conditions is demonstrated by simulated and experimental results.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

Modeling of Large-Scale Hydrogen Storage System Considering Capacity Attenuation and Analysis of Its Efficiency Characteristics

In the existing power system with a large-scale hydrogen storage system,there are problems such as low efficiency of electric-hydrogen-electricity conversion and single modeling of the hydrogen storage system.In order to improve the hydrogen utilization rate of hydrogen storage system in the process of participating in the power grid operation,and speed up the process of electric-hydrogen-electricity conversion.This article provides a detailed introduction to the mathematical and electrical models of various components of the hydrogen storage unit,and also establishes a charging and discharging efficiency model that considers the temperature and internal gas partial pressure of the hydrogen storage unit.These models are of great significance for studying and optimizing gas storage technology.Through these models,the performance of gas storage units can be better understood and improved.These studies are very helpful for improving energy storage efficiency and sustainable development.The factors affecting the charge-discharge efficiency of hydrogen storage units are analyzed.By integrating the models of each unit and considering the capacity degradation of the hydrogen storage system,we can construct an efficiency model for a large hydrogen storage system and power conversion system.In addition,the simulation models of the hydrogen production system and hydrogen consumption system were established in MATLAB/Simulink.The accuracy and effectiveness of the simulation model were proved by comparing the output voltage variation curve of the simulation with the polarization curve of the typical hydrogen production system and hydrogen consumption system.The results show that the charge-discharge efficiency of the hydrogen storage unit increases with the increase of operating temperature,and H2 and O2 partial voltage have little influence on the charge-discharge efficiency.In the process of power conversion system converter rectification operation,its efficiency decreases with the increase of temperature,while in the process of inverter operation,power conversion system efficiency increases with the increase of temperature.Combined with the efficiency of each hydrogen storage unit and power conversion system converter,the upper limit of the capacity loss of different hydrogen storage units was set.The optimal charge-discharge efficiency of the hydrogen storage system was obtained by using the Cplex solver at 36.46%and 66.34%.