基于IEEE及国际系统工程协会(International Council on Systems Engineering,INCOSE)社区会刊,提取与基于模型的系统工程(model based systems engineering,MBSE)领域相关的167篇顶刊的关键词和摘要。采用Python及其第三方库WordCloud...基于IEEE及国际系统工程协会(International Council on Systems Engineering,INCOSE)社区会刊,提取与基于模型的系统工程(model based systems engineering,MBSE)领域相关的167篇顶刊的关键词和摘要。采用Python及其第三方库WordCloud技术,以可视化形式展示MBSE领域研究内容并对MBSE发展态势进行研究。研究结果表明,MBSE在产品研发全生命周期,应用建模技术来支持系统需求、设计、分析、验证与确认等活动,在系统架构设计方面具有重要作用,将MBSE与安全性分析、可靠性分析方法结合也是MBSE的重要研究内容;系统建模语言(system modeling language,SysML)和对象过程方法(object process method,OPM)分别是目前MBSE研究领域中最受欢迎的建模语言和建模方法;将MBSE方法与本体进行结合是规范MBSE模型表达的重要手段,将MBSE与信息物理系统、数字孪生、并行工程领域进行融合研究是MBSE的重要发展方向。所提研究为使用WordCloud文本分析技术来探索当前的MBSE研究提供了技术路线参考,有助于对MBSE的未来发展态势进行预测。展开更多
China removed fertilizer manufacturing subsidies from 2015 to 2018 to bolster market-oriented reforms and foster environmentally sustainable practices.However,the impact of this policy reform on food security and the ...China removed fertilizer manufacturing subsidies from 2015 to 2018 to bolster market-oriented reforms and foster environmentally sustainable practices.However,the impact of this policy reform on food security and the environment remains inadequately evaluated.Moreover,although green and low-carbon technologies offer environmental advantages,their widespread adoption is hindered by prohibitively high costs.This study analyzes the impact of removing fertilizer manufacturing subsidies and explores the potential feasibility of redirecting fertilizer manufacturing subsidies to invest in the diffusion of these technologies.Utilizing the China Agricultural University Agri-food Systems model,we analyzed the potential for achieving mutually beneficial outcomes regarding food security and environmental sustainability.The findings indicate that removing fertilizer manufacturing subsidies has reduced greenhouse gas(GHG)emissions from agricultural activities by 3.88 million metric tons,with minimal impact on food production.Redirecting fertilizer manufacturing subsidies to invest in green and low-carbon technologies,including slow and controlled-release fertilizer,organic-inorganic compound fertilizers,and machine deep placement of fertilizer,emerges as a strategy to concurrently curtail GHG emissions,ensure food security,and secure robust economic returns.Finally,we propose a comprehensive set of government interventions,including subsidies,field guidance,and improved extension systems,to promote the widespread adoption of these technologies.展开更多
In this paper,the bifurcation properties of the vibro-impact systems with an uncertain parameter under the impulse and harmonic excitations are investigated.Firstly,by means of the orthogonal polynomial approximation(...In this paper,the bifurcation properties of the vibro-impact systems with an uncertain parameter under the impulse and harmonic excitations are investigated.Firstly,by means of the orthogonal polynomial approximation(OPA)method,the nonlinear damping and stiffness are expanded into the linear combination of the state variable.The condition for the appearance of the vibro-impact phenomenon is to be transformed based on the calculation of themean value.Afterwards,the stochastic vibro-impact systemcan be turned into an equivalent high-dimensional deterministic non-smooth system.Two different Poincarésections are chosen to analyze the bifurcation properties and the impact numbers are identified for the periodic response.Consequently,the numerical results verify the effectiveness of the approximation method for analyzing the considered nonlinear system.Furthermore,the bifurcation properties of the system with an uncertain parameter are explored through the high-dimensional deterministic system.It can be found that the excitation frequency can induce period-doubling bifurcation and grazing bifurcation.Increasing the randomintensitymay result in a diffusion-based trajectory and the impact with the constraint plane,which induces the topological behavior of the non-smooth system to change drastically.It is also found that grazing bifurcation appears in advance with increasing of the random intensity.The stronger impulse force can result in the appearance of the diffusion phenomenon.展开更多
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 s...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.展开更多
This paper investigates the exponential stability and performance analysis of nonlinear time-delay impulsive systems subject to actuator saturation. When continuous dynamics is unstable, under some conditions, it is s...This paper investigates the exponential stability and performance analysis of nonlinear time-delay impulsive systems subject to actuator saturation. When continuous dynamics is unstable, under some conditions, it is shown that the system can be stabilized by a class of saturated delayed-impulses regardless of the length of input delays. Conversely, when the system is originally stable, it is shown that under some conditions, the system is robust with respect to sufficient small delayed-impulses. Moreover, the design problem of the controller with the goal of obtaining a maximized estimate of the domain of attraction is formulated via a convex optimization problem. Three examples are provided to demonstrate the validity of the main results.展开更多
Numerical simulation is employed to investigate the initial state of avalanche in polydisperse particle systems.Nucleation and propagation processes are illustrated for pentadisperse and triadisperse particle systems,...Numerical simulation is employed to investigate the initial state of avalanche in polydisperse particle systems.Nucleation and propagation processes are illustrated for pentadisperse and triadisperse particle systems,respectively.In these processes,particles involved in the avalanche grow slowly in the early stage and explosively in the later stage,which is clearly different from the continuous and steady growth trend in the monodisperse system.By examining the avalanche propagation,the number growth of particles involved in the avalanche and the slope of the number growth,the initial state can be divided into three stages:T1(nucleation stage),T2(propagation stage),T3(overall avalanche stage).We focus on the characteristics of the avalanche in the T2 stage,and find that propagation distances increase almost linearly in both axial and radial directions in polydisperse systems.We also consider the distribution characteristics of the average coordination number and average velocity for the moving particles.The results support that the polydisperse particle systems are more stable in the T2 stage.展开更多
This paper is concerned with consensus of a secondorder linear time-invariant multi-agent system in the situation that there exists a communication delay among the agents in the network.A proportional-integral consens...This paper is concerned with consensus of a secondorder linear time-invariant multi-agent system in the situation that there exists a communication delay among the agents in the network.A proportional-integral consensus protocol is designed by using delayed and memorized state information.Under the proportional-integral consensus protocol,the consensus problem of the multi-agent system is transformed into the problem of asymptotic stability of the corresponding linear time-invariant time-delay system.Note that the location of the eigenvalues of the corresponding characteristic function of the linear time-invariant time-delay system not only determines the stability of the system,but also plays a critical role in the dynamic performance of the system.In this paper,based on recent results on the distribution of roots of quasi-polynomials,several necessary conditions for Hurwitz stability for a class of quasi-polynomials are first derived.Then allowable regions of consensus protocol parameters are estimated.Some necessary and sufficient conditions for determining effective protocol parameters are provided.The designed protocol can achieve consensus and improve the dynamic performance of the second-order multi-agent system.Moreover,the effects of delays on consensus of systems of harmonic oscillators/double integrators under proportional-integral consensus protocols are investigated.Furthermore,some results on proportional-integral consensus are derived for a class of high-order linear time-invariant multi-agent systems.展开更多
We develop a policy of observer-based dynamic event-triggered state feedback control for distributed parameter systems over a mobile sensor-plus-actuator network.It is assumed that the mobile sensing devices that prov...We develop a policy of observer-based dynamic event-triggered state feedback control for distributed parameter systems over a mobile sensor-plus-actuator network.It is assumed that the mobile sensing devices that provide spatially averaged state measurements can be used to improve state estimation in the network.For the purpose of decreasing the update frequency of controller and unnecessary sampled data transmission, an efficient dynamic event-triggered control policy is constructed.In an event-triggered system, when an error signal exceeds a specified time-varying threshold, it indicates the occurrence of a typical event.The global asymptotic stability of the event-triggered closed-loop system and the boundedness of the minimum inter-event time can be guaranteed.Based on the linear quadratic optimal regulator, the actuator selects the optimal displacement only when an event occurs.A simulation example is finally used to verify that the effectiveness of such a control strategy can enhance the system performance.展开更多
With the rapid growth of manuscript submissions,finding eligible reviewers for every submission has become a heavy task.Recommender systems are powerful tools developed in computer science and information science to d...With the rapid growth of manuscript submissions,finding eligible reviewers for every submission has become a heavy task.Recommender systems are powerful tools developed in computer science and information science to deal with this problem.However,most existing approaches resort to text mining techniques to match manuscripts with potential reviewers,which require high-quality textual information to perform well.In this paper,we propose a reviewer recommendation algorithm based on a network diffusion process on a scholar-paper multilayer network,with no requirement for textual information.The network incorporates the relationship of scholar-paper pairs,the collaboration among scholars,and the bibliographic coupling among papers.Experimental results show that our proposed algorithm outperforms other state-of-the-art recommendation methods that use graph random walk and matrix factorization and methods that use machine learning and natural language processing,with improvements of over 7.62%in recall,5.66%in hit rate,and 47.53%in ranking score.Our work sheds light on the effectiveness of multilayer network diffusion-based methods in the reviewer recommendation problem,which will help to facilitate the peer-review process and promote information retrieval research in other practical scenes.展开更多
This review summarizes recent progress in developing wireless,batteryless,fully implantable biomedical devices for real-time continuous physiological signal monitoring,focusing on advancing human health care.Design co...This review summarizes recent progress in developing wireless,batteryless,fully implantable biomedical devices for real-time continuous physiological signal monitoring,focusing on advancing human health care.Design considerations,such as biological constraints,energy sourcing,and wireless communication,are discussed in achieving the desired performance of the devices and enhanced interface with human tissues.In addition,we review the recent achievements in materials used for developing implantable systems,emphasizing their importance in achieving multi-functionalities,biocompatibility,and hemocompatibility.The wireless,batteryless devices offer minimally invasive device insertion to the body,enabling portable health monitoring and advanced disease diagnosis.Lastly,we summarize the most recent practical applications of advanced implantable devices for human health care,highlighting their potential for immediate commercialization and clinical uses.展开更多
We present a large deviation theory that characterizes the exponential estimate for rare events in stochastic dynamical systems in the limit of weak noise.We aim to consider a next-to-leading-order approximation for m...We present a large deviation theory that characterizes the exponential estimate for rare events in stochastic dynamical systems in the limit of weak noise.We aim to consider a next-to-leading-order approximation for more accurate calculation of the mean exit time by computing large deviation prefactors with the aid of machine learning.More specifically,we design a neural network framework to compute quasipotential,most probable paths and prefactors based on the orthogonal decomposition of a vector field.We corroborate the higher effectiveness and accuracy of our algorithm with two toy models.Numerical experiments demonstrate its powerful functionality in exploring the internal mechanism of rare events triggered by weak random fluctuations.展开更多
As the second of Earth's Trojan asteroids, 2020 XL_(5) is worthy of rendezvous and even sample return missions in many aspects. In this paper, a rendezvous mission to Earth's second Trojan asteroid 2020 XL_(5)...As the second of Earth's Trojan asteroids, 2020 XL_(5) is worthy of rendezvous and even sample return missions in many aspects. In this paper, a rendezvous mission to Earth's second Trojan asteroid 2020 XL_(5) is proposed.However, due to its high inclination and large eccentricity, direct impulsive transfer requires large amounts of fuel consumption. To address this challenge, we explore the benefits of electric propulsion and multi-gravity assist techniques for interplanetary missions. These two techniques are integrated in this mission design. The design of a low-thrust gravity-assist(LTGA) trajectory in multi-body dynamics is thoroughly investigated,which is a complex process. A comprehensive framework including three steps is presented here for optimization of LTGA trajectories in multi-body dynamics. The rendezvous mission to 2020 XL_(5) is designed with this three-step approach. The most effective transfer sequence among the outcomes involves Earth–Venus–Earth–Venus-2020 XL_(5). Numerical results indicate that the combination of electric propulsion and multi-gravity assists can greatly reduce the fuel consumption, with fuel consumption of 9.03%, making it a highly favorable choice for this rendezvous mission.展开更多
Addressing climate change demands a significant shift away from fossil fuels,with sectors like electricity and transportation relying heavily on renewable energy.Integral to this transition are energy storage systems,...Addressing climate change demands a significant shift away from fossil fuels,with sectors like electricity and transportation relying heavily on renewable energy.Integral to this transition are energy storage systems,notably lithium-ion batteries.Over time,these batteries degrade,affecting their efficiency and posing safety risks.Monitoring and predicting battery aging is essential,especially estimating its state of health(SOH).Various SOH estimation methods exist,from traditional model-based approaches to machine learning approaches.展开更多
Parasitic plants and their hosts communicate through haustorial connections.Nutrient deficiency is a common stress for plants,yet little is known about whether and how host plants and parasites communicate during adap...Parasitic plants and their hosts communicate through haustorial connections.Nutrient deficiency is a common stress for plants,yet little is known about whether and how host plants and parasites communicate during adaptation to such nutrient stresses.In this study,we used transcriptomics and proteomics to analyze how soybean(Glycine max)and its parasitizing dodder(Cuscuta australis)respond to nitrate and phosphate deficiency(-N and-P).After-N and-P treatment,the soybean and dodder plants exhibited substantial changes of transcriptome and proteome,although soybean plants showed very few transcriptional responses to-P and dodder did not show any transcriptional changes to either-N or-P.Importantly,large-scale interplant transport of mRNAs and proteins was detected.Although the mobile mRNAs only comprised at most 0.2%of the transcriptomes,the foreign mobile proteins could reach 6.8%of the total proteins,suggesting that proteins may be the major forms of interplant communications.Furthermore,the interplant mobility of macromolecules was specifically affected by the nutrient regimes and the transport of these macromolecules was very likely independently regulated.This study provides new insight into the communication between host plants and parasites under stress conditions.展开更多
This paper studies the problem of time-varying formation control with finite-time prescribed performance for nonstrict feedback second-order multi-agent systems with unmeasured states and unknown nonlinearities.To eli...This paper studies the problem of time-varying formation control with finite-time prescribed performance for nonstrict feedback second-order multi-agent systems with unmeasured states and unknown nonlinearities.To eliminate nonlinearities,neural networks are applied to approximate the inherent dynamics of the system.In addition,due to the limitations of the actual working conditions,each follower agent can only obtain the locally measurable partial state information of the leader agent.To address this problem,a neural network state observer based on the leader state information is designed.Then,a finite-time prescribed performance adaptive output feedback control strategy is proposed by restricting the sliding mode surface to a prescribed region,which ensures that the closed-loop system has practical finite-time stability and that formation errors of the multi-agent systems converge to the prescribed performance bound in finite time.Finally,a numerical simulation is provided to demonstrate the practicality and effectiveness of the developed algorithm.展开更多
This paper proposes a novel event-driven encrypted control framework for linear networked control systems(NCSs),which relies on two modified uniform quantization policies,the Paillier cryptosystem,and an event-trigger...This paper proposes a novel event-driven encrypted control framework for linear networked control systems(NCSs),which relies on two modified uniform quantization policies,the Paillier cryptosystem,and an event-triggered strategy.Due to the fact that only integers can work in the Pailler cryptosystem,both the real-valued control gain and system state need to be first quantized before encryption.This is dramatically different from the existing quantized control methods,where only the quantization of a single value,e.g.,the control input or the system state,is considered.To handle this issue,static and dynamic quantization policies are presented,which achieve the desired integer conversions and guarantee asymptotic convergence of the quantized system state to the equilibrium.Then,the quantized system state is encrypted and sent to the controller when the triggering condition,specified by a state-based event-triggered strategy,is satisfied.By doing so,not only the security and confidentiality of data transmitted over the communication network are protected,but also the ciphertext expansion phenomenon can be relieved.Additionally,by tactfully designing the quantization sensitivities and triggering error,the proposed event-driven encrypted control framework ensures the asymptotic stability of the overall closedloop system.Finally,a simulation example of the secure motion control for an inverted pendulum cart system is presented to evaluate the effectiveness of the theoretical results.展开更多
Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems...Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems across various fields.An increasing number of users are participating in application systems that use blockchain as their underlying architecture.As the number of transactions and the capital involved in blockchain grow,ensuring information security becomes imperative.Addressing the verification of transactional information security and privacy has emerged as a critical challenge.Blockchain-based verification methods can effectively eliminate the need for centralized third-party organizations.However,the efficiency of nodes in storing and verifying blockchain data faces unprecedented challenges.To address this issue,this paper introduces an efficient verification scheme for transaction security.Initially,it presents a node evaluation module to estimate the activity level of user nodes participating in transactions,accompanied by a probabilistic analysis for all transactions.Subsequently,this paper optimizes the conventional transaction organization form,introduces a heterogeneous Merkle tree storage structure,and designs algorithms for constructing these heterogeneous trees.Theoretical analyses and simulation experiments conclusively demonstrate the superior performance of this scheme.When verifying the same number of transactions,the heterogeneous Merkle tree transmits less data and is more efficient than traditional methods.The findings indicate that the heterogeneous Merkle tree structure is suitable for various blockchain applications,including the Internet of Things.This scheme can markedly enhance the efficiency of information verification and bolster the security of distributed systems.展开更多
The healthcare data requires accurate disease detection analysis,real-timemonitoring,and advancements to ensure proper treatment for patients.Consequently,Machine Learning methods are widely utilized in Smart Healthca...The healthcare data requires accurate disease detection analysis,real-timemonitoring,and advancements to ensure proper treatment for patients.Consequently,Machine Learning methods are widely utilized in Smart Healthcare Systems(SHS)to extract valuable features fromheterogeneous and high-dimensional healthcare data for predicting various diseases and monitoring patient activities.These methods are employed across different domains that are susceptible to adversarial attacks,necessitating careful consideration.Hence,this paper proposes a crossover-based Multilayer Perceptron(CMLP)model.The collected samples are pre-processed and fed into the crossover-based multilayer perceptron neural network to detect adversarial attacks on themedical records of patients.Once an attack is detected,healthcare professionals are promptly alerted to prevent data leakage.The paper utilizes two datasets,namely the synthetic dataset and the University of Queensland Vital Signs(UQVS)dataset,from which numerous samples are collected.Experimental results are conducted to evaluate the performance of the proposed CMLP model,utilizing various performancemeasures such as Recall,Precision,Accuracy,and F1-score to predict patient activities.Comparing the proposed method with existing approaches,it achieves the highest accuracy,precision,recall,and F1-score.Specifically,the proposedmethod achieves a precision of 93%,an accuracy of 97%,an F1-score of 92%,and a recall of 92%.展开更多
This survey paper provides a review and perspective on intermediate and advanced reinforcement learning(RL)techniques in process industries. It offers a holistic approach by covering all levels of the process control ...This survey paper provides a review and perspective on intermediate and advanced reinforcement learning(RL)techniques in process industries. It offers a holistic approach by covering all levels of the process control hierarchy. The survey paper presents a comprehensive overview of RL algorithms,including fundamental concepts like Markov decision processes and different approaches to RL, such as value-based, policy-based, and actor-critic methods, while also discussing the relationship between classical control and RL. It further reviews the wide-ranging applications of RL in process industries, such as soft sensors, low-level control, high-level control, distributed process control, fault detection and fault tolerant control, optimization,planning, scheduling, and supply chain. The survey paper discusses the limitations and advantages, trends and new applications, and opportunities and future prospects for RL in process industries. Moreover, it highlights the need for a holistic approach in complex systems due to the growing importance of digitalization in the process industries.展开更多
Quantum Fisher information(QFI)associated with local metrology has been used to parameter estimation in open quantum systems.In this work,we calculated the QFI for a moving Unruh-DeWitt detector coupled with massless ...Quantum Fisher information(QFI)associated with local metrology has been used to parameter estimation in open quantum systems.In this work,we calculated the QFI for a moving Unruh-DeWitt detector coupled with massless scalar fields in n-dimensional spacetime,and analyzed the behavior of QFI with various parameters,such as the dimension of spacetime,evolution time,and Unruh temperature.We discovered that the QFI of state parameter decreases monotonically from 1 to 0 over time.Additionally,we noted that the QFI for small evolution times is several orders of magnitude higher than the QFI for long evolution times.We also found that the value of QFI decreases at first and then stabilizes as the Unruh temperature increases.It was observed that the QFI depends on initial state parameterθ,and Fθis the maximum forθ=0 orθ=π,Fφis the maximum forθ=π/2.We also obtain that the maximum value of QFI for state parameters varies for different spacetime dimensions with the same evolution time.展开更多
文摘基于IEEE及国际系统工程协会(International Council on Systems Engineering,INCOSE)社区会刊,提取与基于模型的系统工程(model based systems engineering,MBSE)领域相关的167篇顶刊的关键词和摘要。采用Python及其第三方库WordCloud技术,以可视化形式展示MBSE领域研究内容并对MBSE发展态势进行研究。研究结果表明,MBSE在产品研发全生命周期,应用建模技术来支持系统需求、设计、分析、验证与确认等活动,在系统架构设计方面具有重要作用,将MBSE与安全性分析、可靠性分析方法结合也是MBSE的重要研究内容;系统建模语言(system modeling language,SysML)和对象过程方法(object process method,OPM)分别是目前MBSE研究领域中最受欢迎的建模语言和建模方法;将MBSE方法与本体进行结合是规范MBSE模型表达的重要手段,将MBSE与信息物理系统、数字孪生、并行工程领域进行融合研究是MBSE的重要发展方向。所提研究为使用WordCloud文本分析技术来探索当前的MBSE研究提供了技术路线参考,有助于对MBSE的未来发展态势进行预测。
基金The authors acknowledge the financial support received from the National Natural Science Foundation of China(72061147002).
文摘China removed fertilizer manufacturing subsidies from 2015 to 2018 to bolster market-oriented reforms and foster environmentally sustainable practices.However,the impact of this policy reform on food security and the environment remains inadequately evaluated.Moreover,although green and low-carbon technologies offer environmental advantages,their widespread adoption is hindered by prohibitively high costs.This study analyzes the impact of removing fertilizer manufacturing subsidies and explores the potential feasibility of redirecting fertilizer manufacturing subsidies to invest in the diffusion of these technologies.Utilizing the China Agricultural University Agri-food Systems model,we analyzed the potential for achieving mutually beneficial outcomes regarding food security and environmental sustainability.The findings indicate that removing fertilizer manufacturing subsidies has reduced greenhouse gas(GHG)emissions from agricultural activities by 3.88 million metric tons,with minimal impact on food production.Redirecting fertilizer manufacturing subsidies to invest in green and low-carbon technologies,including slow and controlled-release fertilizer,organic-inorganic compound fertilizers,and machine deep placement of fertilizer,emerges as a strategy to concurrently curtail GHG emissions,ensure food security,and secure robust economic returns.Finally,we propose a comprehensive set of government interventions,including subsidies,field guidance,and improved extension systems,to promote the widespread adoption of these technologies.
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.12172266,12272283)the Bilateral Governmental Personnel Exchange Project between China and Slovenia for the Years 2021-2023(Grant No.12)+2 种基金Slovenian Research Agency ARRS in Frame of Bilateral Project(Grant No.P2-0137)the Fundamental Research Funds for the Central Universities(Grant No.QTZX23004)Joint University Education Project between China and East European(Grant No.2021122).
文摘In this paper,the bifurcation properties of the vibro-impact systems with an uncertain parameter under the impulse and harmonic excitations are investigated.Firstly,by means of the orthogonal polynomial approximation(OPA)method,the nonlinear damping and stiffness are expanded into the linear combination of the state variable.The condition for the appearance of the vibro-impact phenomenon is to be transformed based on the calculation of themean value.Afterwards,the stochastic vibro-impact systemcan be turned into an equivalent high-dimensional deterministic non-smooth system.Two different Poincarésections are chosen to analyze the bifurcation properties and the impact numbers are identified for the periodic response.Consequently,the numerical results verify the effectiveness of the approximation method for analyzing the considered nonlinear system.Furthermore,the bifurcation properties of the system with an uncertain parameter are explored through the high-dimensional deterministic system.It can be found that the excitation frequency can induce period-doubling bifurcation and grazing bifurcation.Increasing the randomintensitymay result in a diffusion-based trajectory and the impact with the constraint plane,which induces the topological behavior of the non-smooth system to change drastically.It is also found that grazing bifurcation appears in advance with increasing of the random intensity.The stronger impulse force can result in the appearance of the diffusion phenomenon.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘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.
基金supported by National Natural Science Foundation of China (62173215)Major Basic Research Program of the Natural Science Foundation of Shandong Province in China(ZR2021ZD04, ZR2020ZD24)the Support Plan for Outstanding Youth Innovation Team in Shandong Higher Education Institutions (2019KJI008)。
文摘This paper investigates the exponential stability and performance analysis of nonlinear time-delay impulsive systems subject to actuator saturation. When continuous dynamics is unstable, under some conditions, it is shown that the system can be stabilized by a class of saturated delayed-impulses regardless of the length of input delays. Conversely, when the system is originally stable, it is shown that under some conditions, the system is robust with respect to sufficient small delayed-impulses. Moreover, the design problem of the controller with the goal of obtaining a maximized estimate of the domain of attraction is formulated via a convex optimization problem. Three examples are provided to demonstrate the validity of the main results.
基金Project supported by the Qingdao National Laboratory for Marine Science and Technology(Grant No.2015ASKJ01)the National Natural Science Foundation of China(Grant Nos.11972212,12072200,and 12002213).
文摘Numerical simulation is employed to investigate the initial state of avalanche in polydisperse particle systems.Nucleation and propagation processes are illustrated for pentadisperse and triadisperse particle systems,respectively.In these processes,particles involved in the avalanche grow slowly in the early stage and explosively in the later stage,which is clearly different from the continuous and steady growth trend in the monodisperse system.By examining the avalanche propagation,the number growth of particles involved in the avalanche and the slope of the number growth,the initial state can be divided into three stages:T1(nucleation stage),T2(propagation stage),T3(overall avalanche stage).We focus on the characteristics of the avalanche in the T2 stage,and find that propagation distances increase almost linearly in both axial and radial directions in polydisperse systems.We also consider the distribution characteristics of the average coordination number and average velocity for the moving particles.The results support that the polydisperse particle systems are more stable in the T2 stage.
基金supported in part by the National Natural Science Foundation of China (NSFC)(61703086, 61773106)the IAPI Fundamental Research Funds (2018ZCX27)
文摘This paper is concerned with consensus of a secondorder linear time-invariant multi-agent system in the situation that there exists a communication delay among the agents in the network.A proportional-integral consensus protocol is designed by using delayed and memorized state information.Under the proportional-integral consensus protocol,the consensus problem of the multi-agent system is transformed into the problem of asymptotic stability of the corresponding linear time-invariant time-delay system.Note that the location of the eigenvalues of the corresponding characteristic function of the linear time-invariant time-delay system not only determines the stability of the system,but also plays a critical role in the dynamic performance of the system.In this paper,based on recent results on the distribution of roots of quasi-polynomials,several necessary conditions for Hurwitz stability for a class of quasi-polynomials are first derived.Then allowable regions of consensus protocol parameters are estimated.Some necessary and sufficient conditions for determining effective protocol parameters are provided.The designed protocol can achieve consensus and improve the dynamic performance of the second-order multi-agent system.Moreover,the effects of delays on consensus of systems of harmonic oscillators/double integrators under proportional-integral consensus protocols are investigated.Furthermore,some results on proportional-integral consensus are derived for a class of high-order linear time-invariant multi-agent systems.
基金Project supported by the National Natural Science Foundation of China (Grant No.62073045)。
文摘We develop a policy of observer-based dynamic event-triggered state feedback control for distributed parameter systems over a mobile sensor-plus-actuator network.It is assumed that the mobile sensing devices that provide spatially averaged state measurements can be used to improve state estimation in the network.For the purpose of decreasing the update frequency of controller and unnecessary sampled data transmission, an efficient dynamic event-triggered control policy is constructed.In an event-triggered system, when an error signal exceeds a specified time-varying threshold, it indicates the occurrence of a typical event.The global asymptotic stability of the event-triggered closed-loop system and the boundedness of the minimum inter-event time can be guaranteed.Based on the linear quadratic optimal regulator, the actuator selects the optimal displacement only when an event occurs.A simulation example is finally used to verify that the effectiveness of such a control strategy can enhance the system performance.
基金Project supported by the National Natural Science Foundation of China(Grant No.T2293771)the New Cornerstone Science Foundation through the XPLORER PRIZE.
文摘With the rapid growth of manuscript submissions,finding eligible reviewers for every submission has become a heavy task.Recommender systems are powerful tools developed in computer science and information science to deal with this problem.However,most existing approaches resort to text mining techniques to match manuscripts with potential reviewers,which require high-quality textual information to perform well.In this paper,we propose a reviewer recommendation algorithm based on a network diffusion process on a scholar-paper multilayer network,with no requirement for textual information.The network incorporates the relationship of scholar-paper pairs,the collaboration among scholars,and the bibliographic coupling among papers.Experimental results show that our proposed algorithm outperforms other state-of-the-art recommendation methods that use graph random walk and matrix factorization and methods that use machine learning and natural language processing,with improvements of over 7.62%in recall,5.66%in hit rate,and 47.53%in ranking score.Our work sheds light on the effectiveness of multilayer network diffusion-based methods in the reviewer recommendation problem,which will help to facilitate the peer-review process and promote information retrieval research in other practical scenes.
基金the NSF CCSS-2152638 and the IEN Center Grant from the Institute for Electronics and Nanotechnology at Georgia Tech.
文摘This review summarizes recent progress in developing wireless,batteryless,fully implantable biomedical devices for real-time continuous physiological signal monitoring,focusing on advancing human health care.Design considerations,such as biological constraints,energy sourcing,and wireless communication,are discussed in achieving the desired performance of the devices and enhanced interface with human tissues.In addition,we review the recent achievements in materials used for developing implantable systems,emphasizing their importance in achieving multi-functionalities,biocompatibility,and hemocompatibility.The wireless,batteryless devices offer minimally invasive device insertion to the body,enabling portable health monitoring and advanced disease diagnosis.Lastly,we summarize the most recent practical applications of advanced implantable devices for human health care,highlighting their potential for immediate commercialization and clinical uses.
基金Project supported by the Natural Science Foundation of Jiangsu Province (Grant No.BK20220917)the National Natural Science Foundation of China (Grant Nos.12001213 and 12302035)。
文摘We present a large deviation theory that characterizes the exponential estimate for rare events in stochastic dynamical systems in the limit of weak noise.We aim to consider a next-to-leading-order approximation for more accurate calculation of the mean exit time by computing large deviation prefactors with the aid of machine learning.More specifically,we design a neural network framework to compute quasipotential,most probable paths and prefactors based on the orthogonal decomposition of a vector field.We corroborate the higher effectiveness and accuracy of our algorithm with two toy models.Numerical experiments demonstrate its powerful functionality in exploring the internal mechanism of rare events triggered by weak random fluctuations.
基金supported by Basic Research Project of China(grant No:JCKY2020110C096)the National Key R&D Program of China (grant No:2020YFC2201202)。
文摘As the second of Earth's Trojan asteroids, 2020 XL_(5) is worthy of rendezvous and even sample return missions in many aspects. In this paper, a rendezvous mission to Earth's second Trojan asteroid 2020 XL_(5) is proposed.However, due to its high inclination and large eccentricity, direct impulsive transfer requires large amounts of fuel consumption. To address this challenge, we explore the benefits of electric propulsion and multi-gravity assist techniques for interplanetary missions. These two techniques are integrated in this mission design. The design of a low-thrust gravity-assist(LTGA) trajectory in multi-body dynamics is thoroughly investigated,which is a complex process. A comprehensive framework including three steps is presented here for optimization of LTGA trajectories in multi-body dynamics. The rendezvous mission to 2020 XL_(5) is designed with this three-step approach. The most effective transfer sequence among the outcomes involves Earth–Venus–Earth–Venus-2020 XL_(5). Numerical results indicate that the combination of electric propulsion and multi-gravity assists can greatly reduce the fuel consumption, with fuel consumption of 9.03%, making it a highly favorable choice for this rendezvous mission.
基金supported by the National Natural Science Foundation of China(72201152 and 52207229)。
文摘Addressing climate change demands a significant shift away from fossil fuels,with sectors like electricity and transportation relying heavily on renewable energy.Integral to this transition are energy storage systems,notably lithium-ion batteries.Over time,these batteries degrade,affecting their efficiency and posing safety risks.Monitoring and predicting battery aging is essential,especially estimating its state of health(SOH).Various SOH estimation methods exist,from traditional model-based approaches to machine learning approaches.
基金supported by the National Natural Science Foundation of China (31970274 (J.W.), 32170272 (X.W.), 32100251 (J.Z.), 32000179 (Y.X.))the Special Research Assistant of Chinese Academy of Sciences (J.Z. and Y.X.), China Postdoctoral Science Foundation (2022M713224 (J.Z.))+6 种基金the Strategic Priority Research Program of Chinese Academy of Sciences (XDPB16 (J.W.))the Yunnan Innovation Team Project (202105AE160013 (J.W.))CAS “Light of West China” Program (G.S.)Yunnan Revitalization Talent Support Program “Young Talents” Project (XDYC-QNRC-2022-0301 (J.Z.), XDYC-QNRC-2022-0001 (G.S.))the General and Key Project of the Applied Basic Research Program of Yunnan (202001AS070021(J.W.))Yunnan Fundamental Research Projects-General Project (202101AT070457 (S.L.))Yunnan Fundamental Research Projects-Youth Talent Project (202101AU070021(S.L.))
文摘Parasitic plants and their hosts communicate through haustorial connections.Nutrient deficiency is a common stress for plants,yet little is known about whether and how host plants and parasites communicate during adaptation to such nutrient stresses.In this study,we used transcriptomics and proteomics to analyze how soybean(Glycine max)and its parasitizing dodder(Cuscuta australis)respond to nitrate and phosphate deficiency(-N and-P).After-N and-P treatment,the soybean and dodder plants exhibited substantial changes of transcriptome and proteome,although soybean plants showed very few transcriptional responses to-P and dodder did not show any transcriptional changes to either-N or-P.Importantly,large-scale interplant transport of mRNAs and proteins was detected.Although the mobile mRNAs only comprised at most 0.2%of the transcriptomes,the foreign mobile proteins could reach 6.8%of the total proteins,suggesting that proteins may be the major forms of interplant communications.Furthermore,the interplant mobility of macromolecules was specifically affected by the nutrient regimes and the transport of these macromolecules was very likely independently regulated.This study provides new insight into the communication between host plants and parasites under stress conditions.
基金the National Natural Science Foundation of China(62203356)Fundamental Research Funds for the Central Universities of China(31020210502002)。
文摘This paper studies the problem of time-varying formation control with finite-time prescribed performance for nonstrict feedback second-order multi-agent systems with unmeasured states and unknown nonlinearities.To eliminate nonlinearities,neural networks are applied to approximate the inherent dynamics of the system.In addition,due to the limitations of the actual working conditions,each follower agent can only obtain the locally measurable partial state information of the leader agent.To address this problem,a neural network state observer based on the leader state information is designed.Then,a finite-time prescribed performance adaptive output feedback control strategy is proposed by restricting the sliding mode surface to a prescribed region,which ensures that the closed-loop system has practical finite-time stability and that formation errors of the multi-agent systems converge to the prescribed performance bound in finite time.Finally,a numerical simulation is provided to demonstrate the practicality and effectiveness of the developed algorithm.
基金the Research Grants Council of Hong Kong(CityU 21208921)the Chow Sang Sang Group Research Fund Sponsored by Chow Sang Sang Holdings International Ltd.
文摘This paper proposes a novel event-driven encrypted control framework for linear networked control systems(NCSs),which relies on two modified uniform quantization policies,the Paillier cryptosystem,and an event-triggered strategy.Due to the fact that only integers can work in the Pailler cryptosystem,both the real-valued control gain and system state need to be first quantized before encryption.This is dramatically different from the existing quantized control methods,where only the quantization of a single value,e.g.,the control input or the system state,is considered.To handle this issue,static and dynamic quantization policies are presented,which achieve the desired integer conversions and guarantee asymptotic convergence of the quantized system state to the equilibrium.Then,the quantized system state is encrypted and sent to the controller when the triggering condition,specified by a state-based event-triggered strategy,is satisfied.By doing so,not only the security and confidentiality of data transmitted over the communication network are protected,but also the ciphertext expansion phenomenon can be relieved.Additionally,by tactfully designing the quantization sensitivities and triggering error,the proposed event-driven encrypted control framework ensures the asymptotic stability of the overall closedloop system.Finally,a simulation example of the secure motion control for an inverted pendulum cart system is presented to evaluate the effectiveness of the theoretical results.
基金funded by the National Natural Science Foundation of China(62072056,62172058)the Researchers Supporting Project Number(RSP2023R102)King Saud University,Riyadh,Saudi Arabia+4 种基金funded by the Hunan Provincial Key Research and Development Program(2022SK2107,2022GK2019)the Natural Science Foundation of Hunan Province(2023JJ30054)the Foundation of State Key Laboratory of Public Big Data(PBD2021-15)the Young Doctor Innovation Program of Zhejiang Shuren University(2019QC30)Postgraduate Scientific Research Innovation Project of Hunan Province(CX20220940,CX20220941).
文摘Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems across various fields.An increasing number of users are participating in application systems that use blockchain as their underlying architecture.As the number of transactions and the capital involved in blockchain grow,ensuring information security becomes imperative.Addressing the verification of transactional information security and privacy has emerged as a critical challenge.Blockchain-based verification methods can effectively eliminate the need for centralized third-party organizations.However,the efficiency of nodes in storing and verifying blockchain data faces unprecedented challenges.To address this issue,this paper introduces an efficient verification scheme for transaction security.Initially,it presents a node evaluation module to estimate the activity level of user nodes participating in transactions,accompanied by a probabilistic analysis for all transactions.Subsequently,this paper optimizes the conventional transaction organization form,introduces a heterogeneous Merkle tree storage structure,and designs algorithms for constructing these heterogeneous trees.Theoretical analyses and simulation experiments conclusively demonstrate the superior performance of this scheme.When verifying the same number of transactions,the heterogeneous Merkle tree transmits less data and is more efficient than traditional methods.The findings indicate that the heterogeneous Merkle tree structure is suitable for various blockchain applications,including the Internet of Things.This scheme can markedly enhance the efficiency of information verification and bolster the security of distributed systems.
基金funded by King Saud University through Researchers Supporting Program Number (RSP2024R499).
文摘The healthcare data requires accurate disease detection analysis,real-timemonitoring,and advancements to ensure proper treatment for patients.Consequently,Machine Learning methods are widely utilized in Smart Healthcare Systems(SHS)to extract valuable features fromheterogeneous and high-dimensional healthcare data for predicting various diseases and monitoring patient activities.These methods are employed across different domains that are susceptible to adversarial attacks,necessitating careful consideration.Hence,this paper proposes a crossover-based Multilayer Perceptron(CMLP)model.The collected samples are pre-processed and fed into the crossover-based multilayer perceptron neural network to detect adversarial attacks on themedical records of patients.Once an attack is detected,healthcare professionals are promptly alerted to prevent data leakage.The paper utilizes two datasets,namely the synthetic dataset and the University of Queensland Vital Signs(UQVS)dataset,from which numerous samples are collected.Experimental results are conducted to evaluate the performance of the proposed CMLP model,utilizing various performancemeasures such as Recall,Precision,Accuracy,and F1-score to predict patient activities.Comparing the proposed method with existing approaches,it achieves the highest accuracy,precision,recall,and F1-score.Specifically,the proposedmethod achieves a precision of 93%,an accuracy of 97%,an F1-score of 92%,and a recall of 92%.
基金supported in part by the Natural Sciences Engineering Research Council of Canada (NSERC)。
文摘This survey paper provides a review and perspective on intermediate and advanced reinforcement learning(RL)techniques in process industries. It offers a holistic approach by covering all levels of the process control hierarchy. The survey paper presents a comprehensive overview of RL algorithms,including fundamental concepts like Markov decision processes and different approaches to RL, such as value-based, policy-based, and actor-critic methods, while also discussing the relationship between classical control and RL. It further reviews the wide-ranging applications of RL in process industries, such as soft sensors, low-level control, high-level control, distributed process control, fault detection and fault tolerant control, optimization,planning, scheduling, and supply chain. The survey paper discusses the limitations and advantages, trends and new applications, and opportunities and future prospects for RL in process industries. Moreover, it highlights the need for a holistic approach in complex systems due to the growing importance of digitalization in the process industries.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.12105097 and 12035005)the Science Research Fund of the Education Department of Hunan Province,China(Grant No.23B0480).
文摘Quantum Fisher information(QFI)associated with local metrology has been used to parameter estimation in open quantum systems.In this work,we calculated the QFI for a moving Unruh-DeWitt detector coupled with massless scalar fields in n-dimensional spacetime,and analyzed the behavior of QFI with various parameters,such as the dimension of spacetime,evolution time,and Unruh temperature.We discovered that the QFI of state parameter decreases monotonically from 1 to 0 over time.Additionally,we noted that the QFI for small evolution times is several orders of magnitude higher than the QFI for long evolution times.We also found that the value of QFI decreases at first and then stabilizes as the Unruh temperature increases.It was observed that the QFI depends on initial state parameterθ,and Fθis the maximum forθ=0 orθ=π,Fφis the maximum forθ=π/2.We also obtain that the maximum value of QFI for state parameters varies for different spacetime dimensions with the same evolution time.