基于WordCloud技术的MBSE发展态势研究

基于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的未来发展态势进行预测。

Repositioning fertilizer manufacturing subsidies for improving food security and reducing greenhouse gas emissions in China

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.

Challenges and opportunities for battery health estimation:Bridging laboratory research and real-world applications

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.

Recent Progress in Reinforcement Learning and Adaptive Dynamic Programming for Advanced Control Applications

Reinforcement learning(RL) has roots in dynamic programming and it is called adaptive/approximate dynamic programming(ADP) within the control community. This paper reviews recent developments in ADP along with RL and its applications to various advanced control fields. First, the background of the development of ADP is described, emphasizing the significance of regulation and tracking control problems. Some effective offline and online algorithms for ADP/adaptive critic control are displayed, where the main results towards discrete-time systems and continuous-time systems are surveyed, respectively.Then, the research progress on adaptive critic control based on the event-triggered framework and under uncertain environment is discussed, respectively, where event-based design, robust stabilization, and game design are reviewed. Moreover, the extensions of ADP for addressing control problems under complex environment attract enormous attention. The ADP architecture is revisited under the perspective of data-driven and RL frameworks,showing how they promote ADP formulation significantly.Finally, several typical control applications with respect to RL and ADP are summarized, particularly in the fields of wastewater treatment processes and power systems, followed by some general prospects for future research. Overall, the comprehensive survey on ADP and RL for advanced control applications has d emonstrated its remarkable potential within the artificial intelligence era. In addition, it also plays a vital role in promoting environmental protection and industrial intelligence.

Bifurcation Analysis of a Nonlinear Vibro-Impact System with an Uncertain Parameter via OPA Method

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.

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.

Noise-tolerate and adaptive coefficient zeroing neural network for solving dynamic matrix square root

The solving of dynamic matrix square root(DMSR)problems is frequently encountered in many scientific and engineering fields.Although the original zeroing neural network is powerful for solving the DMSR,it cannot vanish the influence of the noise perturbations,and its constant-coefficient design scheme cannot accelerate the convergence speed.Therefore,a noise-tolerate and adaptive coefficient zeroing neural network(NTACZNN)is raised to enhance the robust noise immunity performance and accelerate the conver-gence speed simultaneously.Then,the global convergence and robustness of the pro-posed NTACZNN are theoretically analysed under an ideal environment and noise-perturbed circumstances.Furthermore,some illustrative simulation examples are designed and performed in order to substantiate the efficacy and advantage of the NTACZNN for the DMSR problem solution.Compared with some existing ZNNs,the proposed NTACZNN possesses advanced performance in terms of noise tolerance,solution accuracy,and convergence rate.

Numerical simulation for the initial state of avalanche in polydisperse 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.

Analysis and Design of Time-Delay Impulsive Systems Subject to Actuator Saturation

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.

Quantum discord and its dynamics for multipartite systems

Quantum discord, one of the famous quantum correlations, has been recently generalized to multipartite systems by Radhakrishnan et al. Here we give analytical solutions of the quantum discord for a family of N-qubit quantum states. For the bipartite system, we derive a zero quantum discord which will remain unchanged under the phase damping channel. For multiparitite systems, it is found that the quantum discord can be classified into three categories and the quantum discord for odd-partite systems can exhibit freezing under the phase damping channel, while the freezing does not exist in the even-partite systems.

Designing Proportional-Integral Consensus Protocols for Second-Order Multi-Agent Systems Using Delayed and Memorized State Information

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.

Systemic modulation of skeletal mineralization by magnesium implant promoting fracture healing: Radiological exploration enhanced with PCA-based machine learning in a rat femoral model

The clinical application of magnesium(Mg)and its alloys for bone fractures has been well supported by in vitro and in vivo trials.However,there were studies indicating negative effects of high dose Mg intake and sustained local release of Mg ions on bone metabolism or repair,which should not be ignored when developing Mg-based implants.Thus,it remains necessary to assess the biological effects of Mg implants in animal models relevant to clinical treatment modalities.The primary purpose of this study was to validate the beneficial effects of intramedullary Mg implants on the healing outcome of femoral fractures in a modified rat model.In addition,the mineralization parameters at multiple anatomical sites were evaluated,to investigate their association with healing outcome and potential clinical applications.Compared to the control group without Mg implantation,postoperative imaging at week 12 demonstrated better healing outcomes in the Mg group,with more stable unions in 3D analysis and high-mineralized bridging in 2D evaluation.The bone tissue mineral density(TMD)was higher in the Mg group at the non-operated femur and lumbar vertebra,while no differences between groups were identified regarding the bone tissue volume(TV),TMD and bone mineral content(BMC)in humerus.In the surgical femur,the Mg group presented higher TMD,but lower TV and BMC in the distal metaphyseal region,as well as reduced BMC at the osteotomy site.Principal component analysis(PCA)-based machine learning revealed that by selecting clinically relevant parameters,radiological markers could be constructed for differentiation of healing outcomes,with better performance than 2D scoring.The study provides insights and preclinical evidence for the rational investigation of bioactive materials,the identification of potential adverse effects,and the promotion of diagnostic capabilities for fracture healing.

Construction Activity Analysis of Workers Based on Human Posture Estimation Information

Identifying workers’construction activities or behaviors can enable managers to better monitor labor efficiency and construction progress.However,current activity analysis methods for construction workers rely solely on manual observations and recordings,which consumes considerable time and has high labor costs.Researchers have focused on monitoring on-site construction activities of workers.However,when multiple workers are working together,current research cannot accu rately and automatically identify the construction activity.This research proposes a deep learning framework for the automated analysis of the construction activities of multiple workers.In this framework,multiple deep neural network models are designed and used to complete worker key point extraction,worker tracking,and worker construction activity analysis.The designed framework was tested at an actual construction site,and activity recognition for multiple workers was performed,indicating the feasibility of the framework for the automated monitoring of work efficiency.

Anomalous time-reversal symmetric non-Hermitian systems

The conditions for the emergence of the non-Hermitian skin effect, as a unique physical response of non-Hermitian systems, have now become one of the hot research topics. In this paper, we study the novel physical responses of nonHermitian systems with anomalous time-reversal symmetry, in both one dimension and two dimensions. Specifically, we focus on whether the systems will exhibit a non-Hermitian skin effect. We employ the theory of generalized Brillouin zone and also numerical methods to show that the anomalous time-reversal symmetry can prevent the skin effect in onedimensional non-Hermitian systems, but is unable to exert the same effectiveness in two-dimensional cases.

Observer-based dynamic event-triggered control for distributed parameter systems over mobile sensor-plus-actuator networks

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.

A multilayer network diffusion-based model for reviewer recommendation

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.

Advances in Wireless,Batteryless,Implantable Electronics for Real‑Time,Continuous Physiological Monitoring

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.

Present and future of new systemic therapies for early and intermediate stages of hepatocellular carcinoma

Hepatocellular carcinoma(HCC)is a high mortality neoplasm which usually appears on a cirrhotic liver.The therapeutic arsenal and subsequent prognostic outlook are intrinsically linked to the HCC stage at diagnosis.Notwithstanding the current deployment of treatments with curative intent(liver resection/local ablation and liver transplantation)in early and intermediate stages,a high rate of HCC recurrence persists,underscoring a pivotal clinical challenge.Emergent systemic therapies(ST),particularly immunotherapy,have demonstrate promising outcomes in terms of increase overall survival,but they are currently bound to the advanced stage of HCC.This review provides a comprehensive analysis of the literature,encompassing studies up to March 10,2024,evaluating the impact of novel ST in the early and intermediate HCC stages,specially focusing on the findings of neoadjuvant and adjuvant regimens,aimed at increasing significantly overall survival and recurrence-free survival after a treatment with curative intent.We also investigate the potential role of ST in enhancing the downstaging rate for the intermediate-stage HCC initially deemed ineligible for treatment with curative intent.Finally,we critically discuss about the current relevance of the results of these studies and the encouraging future implications of ST in the treatment schedules of early and intermediate HCC stages.

Computing large deviation prefactors of stochastic dynamical systems based on machine learning

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.

Corrosion behavior of pure metals(Ni and Ti)and alloys(316H SS and GH3535)in liquid GaInSn

In this study,the interactions between a Ga-based liquid metal,GaInSn,and several metal materials,including pure metals(Ni and Ti)and alloys(316H stainless steel(SS)and GH3535),at 650℃were investigated.The aim was to evaluate the corrosion performance and select a suitable candidate material for use as a molten salt manometer diaphragm in thermal energy storage systems.The results indicated that the alloys(316H SS and GH3535)exhibited less corrosion than pure metals(Ni and Ti)in liquid GaInSn.Ga-rich binary intermetallic compounds were found to form on the surfaces of all the tested metal materials exposed to liquid GaInSn,as a result of the decomposition of liquid GaInSn and its reaction with the constituent elements of the metal materials.The corrosion mechanism for all the tested materials exposed to liquid GaInSn was also investigated and proposed,which may aid in selecting the optimal candidate material when liquid GaInSn is used as the pressure-sensing medium.