Malaria is a significant global health challenge.This devastating disease continues to affect millions,especially in tropical regions.It is caused by Plasmodium parasites transmitted by female Anopheles mosquitoes.Thi...Malaria is a significant global health challenge.This devastating disease continues to affect millions,especially in tropical regions.It is caused by Plasmodium parasites transmitted by female Anopheles mosquitoes.This study introduces a nonlinear mathematical model for examining the transmission dynamics of malaria,incorporating both human and mosquito populations.We aim to identify the key factors driving the endemic spread of malaria,determine feasible solutions,and provide insights that lead to the development of effective prevention and management strategies.We derive the basic reproductive number employing the next-generation matrix approach and identify the disease-free and endemic equilibrium points.Stability analyses indicate that the disease-free equilibrium is locally and globally stable when the reproductive number is below one,whereas an endemic equilibrium persists when this threshold is exceeded.Sensitivity analysis identifies the most influential mosquito-related parameters,particularly the bite rate and mosquito mortality,in controlling the spread of malaria.Furthermore,we extend our model to include a treatment compartment and three disease-preventive control variables such as antimalaria drug treatments,use of larvicides,and the use of insecticide-treated mosquito nets for optimal control analysis.The results show that optimal use of mosquito nets,use of larvicides for mosquito population control,and treatment can lower the basic reproduction number and control malaria transmission with minimal intervention costs.The analysis of disease control strategies and findings offers valuable information for policymakers in designing cost-effective strategies to combat malaria.展开更多
Global Navigation Satellite System(GNSS)-based continuous and accurate train positioning is one of the key technologies for advanced train operations such as train virtual coupling.However,GNSS-based train positioning...Global Navigation Satellite System(GNSS)-based continuous and accurate train positioning is one of the key technologies for advanced train operations such as train virtual coupling.However,GNSS-based train positioning faces significant challenges in real-world scenarios due to environmental complexities and signal interferences.Considering this issue,this paper presents an approach for modeling and performance analysis of GNSS-based train positioning systems using Colored Petri Nets(CPNs).By systematically modeling the GNSS signal reception and processing process,the performance of the positioning system under various environment scenarios is evaluated.The system model integrates three types of interference signals(i.e.,Amplitude Modulation(AM)signals,Frequency Modulation(FM)signals,and pulse signals)while incorporating environmental factors such as terrain obstructions and tunnel shielding.Additionally,the Extended Kalman Filter(EKF)algorithm is employed to process GNSS observation data,providing accurate train position estimations.The simulation results demonstrate that signal interferences and complex environmental conditions significantly affect the GNSS-based positioning accuracy.This study offers a comprehensive framework for evaluating the performance of GNSS-based train positioning systems in different scenarios,highlighting critical factors that influence positioning accuracy and stability.展开更多
基金supported by the Deanship of Scientific Research,Vice Presidency for Graduate Studies and Scientific Research,King Faisal University,Saudi Arabia[Grant No.KFU252959].
文摘Malaria is a significant global health challenge.This devastating disease continues to affect millions,especially in tropical regions.It is caused by Plasmodium parasites transmitted by female Anopheles mosquitoes.This study introduces a nonlinear mathematical model for examining the transmission dynamics of malaria,incorporating both human and mosquito populations.We aim to identify the key factors driving the endemic spread of malaria,determine feasible solutions,and provide insights that lead to the development of effective prevention and management strategies.We derive the basic reproductive number employing the next-generation matrix approach and identify the disease-free and endemic equilibrium points.Stability analyses indicate that the disease-free equilibrium is locally and globally stable when the reproductive number is below one,whereas an endemic equilibrium persists when this threshold is exceeded.Sensitivity analysis identifies the most influential mosquito-related parameters,particularly the bite rate and mosquito mortality,in controlling the spread of malaria.Furthermore,we extend our model to include a treatment compartment and three disease-preventive control variables such as antimalaria drug treatments,use of larvicides,and the use of insecticide-treated mosquito nets for optimal control analysis.The results show that optimal use of mosquito nets,use of larvicides for mosquito population control,and treatment can lower the basic reproduction number and control malaria transmission with minimal intervention costs.The analysis of disease control strategies and findings offers valuable information for policymakers in designing cost-effective strategies to combat malaria.
基金supported by the National Key Research and Development Program of China(2023YFB3907300)the Fundamental Research Funds for the Central Universities(2024JBMC002)the National Natural Science Foundation of China(T2222015,U2268206).
文摘Global Navigation Satellite System(GNSS)-based continuous and accurate train positioning is one of the key technologies for advanced train operations such as train virtual coupling.However,GNSS-based train positioning faces significant challenges in real-world scenarios due to environmental complexities and signal interferences.Considering this issue,this paper presents an approach for modeling and performance analysis of GNSS-based train positioning systems using Colored Petri Nets(CPNs).By systematically modeling the GNSS signal reception and processing process,the performance of the positioning system under various environment scenarios is evaluated.The system model integrates three types of interference signals(i.e.,Amplitude Modulation(AM)signals,Frequency Modulation(FM)signals,and pulse signals)while incorporating environmental factors such as terrain obstructions and tunnel shielding.Additionally,the Extended Kalman Filter(EKF)algorithm is employed to process GNSS observation data,providing accurate train position estimations.The simulation results demonstrate that signal interferences and complex environmental conditions significantly affect the GNSS-based positioning accuracy.This study offers a comprehensive framework for evaluating the performance of GNSS-based train positioning systems in different scenarios,highlighting critical factors that influence positioning accuracy and stability.
