Control signaling is mandatory for the operation and management of all types of communication networks,including the Third Generation Partnership Project(3GPP)mobile broadband networks.However,they consume important a...Control signaling is mandatory for the operation and management of all types of communication networks,including the Third Generation Partnership Project(3GPP)mobile broadband networks.However,they consume important and scarce network resources such as bandwidth and processing power.There have been several reports of these control signaling turning into signaling storms halting network operations and causing the respective Telecom companies big financial losses.This paper draws its motivation from such real network disaster incidents attributed to signaling storms.In this paper,we present a thorough survey of the causes,of the signaling storm problems in 3GPP-based mobile broadband networks and discuss in detail their possible solutions and countermeasures.We provide relevant analytical models to help quantify the effect of the potential causes and benefits of their corresponding solutions.Another important contribution of this paper is the comparison of the possible causes and solutions/countermeasures,concerning their effect on several important network aspects such as architecture,additional signaling,fidelity,etc.,in the form of a table.This paper presents an update and an extension of our earlier conference publication.To our knowledge,no similar survey study exists on the subject.展开更多
To investigate the mechanisms underlying the onset and progression of ischemic stroke,some methods have been proposed that can simultaneously monitor and create embolisms in the animal cerebral cortex.However,these me...To investigate the mechanisms underlying the onset and progression of ischemic stroke,some methods have been proposed that can simultaneously monitor and create embolisms in the animal cerebral cortex.However,these methods often require complex systems and the effect of age on cerebral embolism has not been adequately studied,although ischemic stroke is strongly age-related.In this study,we propose an optical-resolution photoacoustic microscopy-based visualized photothrombosis methodology to create and monitor ischemic stroke in mice simultaneously using a 532 nm pulsed laser.We observed the molding process in mice of different ages and presented age-dependent vascular embolism differentiation.Moreover,we integrated optical coherence tomography angiography to investigate age-associated trends in cerebrovascular variability following a stroke.Our imaging data and quantitative analyses underscore the differential cerebrovascular responses to stroke in mice of different ages,thereby highlighting the technique's potential for evaluating cerebrovascular health and unraveling age-related mechanisms involved in ischemic strokes.展开更多
This study aims to develop a system dynamic(SD)forecasting model based on the STIRPAT model to forecast the effect of an IDR 30 per kg CO_(2)e carbon tax on carbon emissions,estimate future carbon emissions under ten ...This study aims to develop a system dynamic(SD)forecasting model based on the STIRPAT model to forecast the effect of an IDR 30 per kg CO_(2)e carbon tax on carbon emissions,estimate future carbon emissions under ten scenarios,without and with the carbon tax,and estimate the environmental Kuznets curve(EKC)to predict Indonesia’s carbon emission peak.Carbon emission drivers in this study are decomposed into several factors,namely energy structure,energy intensity,industrial structure,GDP per capita,population,and fixed-asset investment.This study included nuclear power utilization starting in 2038.The research gaps addressed by this study compared to previous research are(1)use of the ex-ante approach,(2)inclusion of nuclear power plants,(3)testing the EKC hypothesis,and(4)contribution to government policy.The simulation results show that under the carbon tax,carbon emissions can be reduced by improving renewable energy structures,adjusting industrial structures to green businesses,and emphasizing fixed asset investment more environmentally friendly.Moreover,the result approved the EKC hypothesis.It shows an inverse U-shaped curve between GDP per capita and CO_(2)emissions in Indonesia.Indonesia’s fastest carbon emission peak is under scenario seven and is expected in 2040.Although an IDR 30 per kg CO_(2)e carbon tax and nuclear power will take decades to reduce carbon emissions,the carbon tax can still be a reference and has advantages to implement.This result can be a good beginning step for Indonesia,which has yet to gain experience with a carbon tax that can be implemented immediately and is helpful to decision-makers in putting into practice sensible measures to attain Indonesia’s carbon emission peaking.This research provides actionable insights internationally on carbon tax policies,nuclear energy adoption,EKC dynamics,global policy implications,and fostering international cooperation for carbon emission reductions.展开更多
As an innovative,low-power consuming,and low-stiffness suspension approach,the diamagnetic levitation technique has attracted considerable interest because of its potential applicability in miniaturized mechanical sys...As an innovative,low-power consuming,and low-stiffness suspension approach,the diamagnetic levitation technique has attracted considerable interest because of its potential applicability in miniaturized mechanical systems.The foundation of a diamagnetic levitation system is mathematical modeling,which is essential for operating performance optimization and stability prediction.However,few studies on systematic mathematical modeling have been reported.In this study,a systematic mathematical model for a disc-shaped diamagnetically levitated rotor on a permanent magnet array is proposed.Based on the proposed model,the magnetic field distribution characteristics,diamagnetic levitation force characteristics(i.e.,levitation height and stiffness),and optimized theoretical conditions for realizing stable levitation are determined.Experiments are conducted to verify the feasibility of the proposed mathematical model.Theoretical predictions and experimental results indicate that increasing the levitation height enlarges the stable region.Moreover,with a further increase in the rotor radius,the stable regions of the rotor gradually diminish and even vanish.Thus,when the levitation height is fixed,a moderate rotor radius permits stable levitation.This study proposes a mathematical modeling method for a diamagnetic levitation system that has potential applications in miniaturized mechanical systems.展开更多
We apply stochastic seismic inversion and Bayesian facies classification for porosity modeling and igneous rock identification in the presalt interval of the Santos Basin. This integration of seismic and well-derived ...We apply stochastic seismic inversion and Bayesian facies classification for porosity modeling and igneous rock identification in the presalt interval of the Santos Basin. This integration of seismic and well-derived information enhances reservoir characterization. Stochastic inversion and Bayesian classification are powerful tools because they permit addressing the uncertainties in the model. We used the ES-MDA algorithm to achieve the realizations equivalent to the percentiles P10, P50, and P90 of acoustic impedance, a novel method for acoustic inversion in presalt. The facies were divided into five: reservoir 1,reservoir 2, tight carbonates, clayey rocks, and igneous rocks. To deal with the overlaps in acoustic impedance values of facies, we included geological information using a priori probability, indicating that structural highs are reservoir-dominated. To illustrate our approach, we conducted porosity modeling using facies-related rock-physics models for rock-physics inversion in an area with a well drilled in a coquina bank and evaluated the thickness and extension of an igneous intrusion near the carbonate-salt interface. The modeled porosity and the classified seismic facies are in good agreement with the ones observed in the wells. Notably, the coquinas bank presents an improvement in the porosity towards the top. The a priori probability model was crucial for limiting the clayey rocks to the structural lows. In Well B, the hit rate of the igneous rock in the three scenarios is higher than 60%, showing an excellent thickness-prediction capability.展开更多
A dual-arm nursing robot can gently lift patients and transfer them between a bed and a wheelchair.With its lightweight design,high load-bearing capacity,and smooth surface,the coupled-drive joint is particularly well...A dual-arm nursing robot can gently lift patients and transfer them between a bed and a wheelchair.With its lightweight design,high load-bearing capacity,and smooth surface,the coupled-drive joint is particularly well suited for these robots.However,the coupled nature of the joint disrupts the direct linear relationship between the input and output torques,posing challenges for dynamic modeling and practical applications.This study investigated the transmission mechanism of this joint and employed the Lagrangian method to construct a dynamic model of its internal dynamics.Building on this foundation,the Newton-Euler method was used to develop a dynamic model for the entire robotic arm.A continuously differentiable friction model was incorporated to reduce the vibrations caused by speed transitions to zero.An experimental method was designed to compensate for gravity,inertia,and modeling errors to identify the parameters of the friction model.This method establishes a mapping relationship between the friction force and motor current.In addition,a Fourier series-based excitation trajectory was developed to facilitate the identification of the dynamic model parameters of the robotic arm.Trajectory tracking experiments were conducted during the experimental validation phase,demonstrating the high accuracy of the dynamic model and the parameter identification method for the robotic arm.This study presents a dynamic modeling and parameter identification method for coupled-drive joint robotic arms,thereby establishing a foundation for motion control in humanoid nursing robots.展开更多
Textured surfaces with certain micro/nano structures have been proven to possess some advanced functions,such as reducing friction,improving wear and increasing wettability.Accurate prediction of micro/nano surface te...Textured surfaces with certain micro/nano structures have been proven to possess some advanced functions,such as reducing friction,improving wear and increasing wettability.Accurate prediction of micro/nano surface textures is of great significance for the design,fabrication and application of functional textured surfaces.In this paper,based on the kinematic analysis of cutter teeth,the discretization of ultrasonic machining process,transformation method of coordinate systems and the cubic spline data interpolation,an integrated theoretical model was established to characterize the distribution and geometric features of micro textures on the surfaces machined by different types of ultrasonic vibration-assisted milling(UVAM).Based on the theoretical model,the effect of key process parameters(vibration directions,vibration dimensions,cutting parameters and vibration parameters)on tool trajectories and microtextured surface morphology in UVAM is investigated.Besides,the effect of phase difference on the elliptical shape in 2D/3D ultrasonic elliptical vibration-assisted milling(UEVAM)was analyzed.Compared to conventional numerical models,the method of the cubic spline data interpolation is applied to the simulation of microtextured surface morphology in UVAM,which is more suitable for characterizing the morphological features of microtextured surfaces than traditional methods due to the presence of numerous micro textures.The prediction of surface roughness indicates that the magnitude of ultrasonic amplitude in z-direction should be strictly limited in 1D rotary UVAM,2D and 3D UEVAM due to the unfavorable effect of axial ultrasonic vibration on the surface quality.This study can provide theoretical guidance for the design and fabrication of microtextured surfaces in UVAM.展开更多
The development process of complex equipment involves multi-stage business processes,multi-level product architecture,and multi-disciplinary physical processes.The relationship between its system model and various dis...The development process of complex equipment involves multi-stage business processes,multi-level product architecture,and multi-disciplinary physical processes.The relationship between its system model and various disciplinary models is extremely complicated.In the modeling and integration process,extensive customized development is needed to realize model integration and interoperability in different business scenarios.Meanwhile,the differences in modeling and interaction between different modeling tools make it difficult to support the consistent representation of models in complex scenarios.To improve the efficiency of system modeling and integration in complex business scenarios,a system modeling and integration method was proposed.This method took the Sys ML language kernel as the core and system model function integration as the main line.Through the technical means of model view separation,abstract operation interface,and model view configuration,the model modeling and integration of multi-user,multi-model,multi-view,and different business logic in complex business scenarios were realized.展开更多
To facilitate rapid analysis of the oscillation stability mechanism in modular multilevel converter-based high voltage direct current(MMC-HVDC)systems and streamline the simulation process for determining MMC impedanc...To facilitate rapid analysis of the oscillation stability mechanism in modular multilevel converter-based high voltage direct current(MMC-HVDC)systems and streamline the simulation process for determining MMC impedance characteristics,a simplified mathematical simulation model for MMC closed-loop impedance is developed using the harmonic state space method.This model considers various control strategies and includes both AC-side and DC-side impedance models.By applying a Nyquist criterion-based impedance analysis method,the stability mechanisms on the AC and DC sides of the MMC are examined.In addition,a data-driven oscillation stability analysis method is also proposed,leveraging a global sensitivity algorithm based on fast model results to identify key parameters influencing MMC oscillation stability.Based on sensitivity analysis results,a parameter adjustment strategy for oscillation suppression is proposed.The simulation results from the MATLAB/Simulinkbased MMC model validate the effectiveness of the proposed method.展开更多
The propagation of seismic waves in viscous media,such as the loess plateau and shallow gas regions,alters their amplitude,frequency,and phase due to absorption attenuation,resulting in reductions in the resolution an...The propagation of seismic waves in viscous media,such as the loess plateau and shallow gas regions,alters their amplitude,frequency,and phase due to absorption attenuation,resulting in reductions in the resolution and fi delity of seismic profi les and the inaccurate identifi cation of subtle structure and lithology.Q modeling and Q migration techniques proposed in this paper are used to compensate for the energy and frequency attenuation of seismic waves,obtain high-quality depth imaging results,and further enhance structural imaging to address the aforementioned problem.First,various prior information is utilized to construct an initial Q model.Q tomography techniques are employed to further optimize the precision of the initial Q model and build a high-precision Q model.Subsequently,Q prestack depth migration technology is employed to compensate for absorption and attenuation in the three-dimensional space along the seismic wave propagation path and correct the travel times,realizing the purposes of amplitude compensation,frequency recovery,and phase correction,which can help improve the wave group characteristics while enhancing the resolution.Model data and practical application results demonstrate that high-precision Q modeling and Q migration techniques can substantially improve the imaging quality of underground structures and formations in the loess plateau region with extremely complex surface and near-surface conditions.The resolution and fi delity of seismic data,as well as the capability to identify reservoirs,can be improved using these techniques.展开更多
In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the d...In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely correct.Formal verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented correctly.In this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly instructions.The verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.展开更多
As an ingenious convergence between the Internet of Things and social networks,the Social Internet of Things(SIoT)can provide effective and intelligent information services and has become one of the main platforms for...As an ingenious convergence between the Internet of Things and social networks,the Social Internet of Things(SIoT)can provide effective and intelligent information services and has become one of the main platforms for people to spread and share information.Nevertheless,SIoT is characterized by high openness and autonomy,multiple kinds of information can spread rapidly,freely and cooperatively in SIoT,which makes it challenging to accurately reveal the characteristics of the information diffusion process and effectively control its diffusion.To this end,with the aim of exploring multi-information cooperative diffusion processes in SIoT,we first develop a dynamics model for multi-information cooperative diffusion based on the system dynamics theory in this paper.Subsequently,the characteristics and laws of the dynamical evolution process of multi-information cooperative diffusion are theoretically investigated,and the diffusion trend is predicted.On this basis,to further control the multi-information cooperative diffusion process efficiently,we propose two control strategies for information diffusion with control objectives,develop an optimal control system for the multi-information cooperative diffusion process,and propose the corresponding optimal control method.The optimal solution distribution of the control strategy satisfying the control system constraints and the control budget constraints is solved using the optimal control theory.Finally,extensive simulation experiments based on real dataset from Twitter validate the correctness and effectiveness of the proposed model,strategy and method.展开更多
To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from ...To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic.展开更多
Thermal conductivity is one of the most significant criterion of three-dimensional carbon fiber-reinforced SiC matrix composites(3D C/SiC).Represent volume element(RVE)models of microscale,void/matrix and mesoscale pr...Thermal conductivity is one of the most significant criterion of three-dimensional carbon fiber-reinforced SiC matrix composites(3D C/SiC).Represent volume element(RVE)models of microscale,void/matrix and mesoscale proposed in this work are used to simulate the thermal conductivity behaviors of the 3D C/SiC composites.An entirely new process is introduced to weave the preform with three-dimensional orthogonal architecture.The 3D steady-state analysis step is created for assessing the thermal conductivity behaviors of the composites by applying periodic temperature boundary conditions.Three RVE models of cuboid,hexagonal and fiber random distribution are respectively developed to comparatively study the influence of fiber package pattern on the thermal conductivities at the microscale.Besides,the effect of void morphology on the thermal conductivity of the matrix is analyzed by the void/matrix models.The prediction results at the mesoscale correspond closely to the experimental values.The effect of the porosities and fiber volume fractions on the thermal conductivities is also taken into consideration.The multi-scale models mentioned in this paper can be used to predict the thermal conductivity behaviors of other composites with complex structures.展开更多
The advantages of a flat-panel X-ray source(FPXS)make it a promising candidate for imaging applications.Accurate imaging-system modeling and projection simulation are critical for analyzing imaging performance and res...The advantages of a flat-panel X-ray source(FPXS)make it a promising candidate for imaging applications.Accurate imaging-system modeling and projection simulation are critical for analyzing imaging performance and resolving overlapping projection issues in FPXS.The conventional analytical ray-tracing approach is limited by the number of patterns and is not applicable to FPXS-projection calculations.However,the computation time of Monte Carlo(MC)simulation is independent of the size of the patterned arrays in FPXS.This study proposes two high-efficiency MC projection simulators for FPXS:a graphics processing unit(GPU)-based phase-space sampling MC(gPSMC)simulator and GPU-based fluence sampling MC(gFSMC)simulator.The two simulators comprise three components:imaging-system modeling,photon initialization,and physical-interaction simulations in the phantom.Imaging-system modeling was performed by modeling the FPXS,imaging geometry,and detector.The gPSMC simulator samples the initial photons from the phase space,whereas the gFSMC simulator performs photon initialization from the calculated energy spectrum and fluence map.The entire process of photon interaction with the geometry and arrival at the detector was simulated in parallel using multiple GPU kernels,and projections based on the two simulators were calculated.The accuracies of the two simulators were evaluated by comparing them with the conventional analytical ray-tracing approach and acquired projections,and the efficiencies were evaluated by comparing the computation time.The results of simulated and realistic experiments illustrate the accuracy and efficiency of the proposed gPSMC and gFSMC simulators in the projection calculation of various phantoms.展开更多
Continuum robots with high flexibility and compliance have the capability to operate in confined and cluttered environments. To enhance the load capacity while maintaining robot dexterity, we propose a novel non-const...Continuum robots with high flexibility and compliance have the capability to operate in confined and cluttered environments. To enhance the load capacity while maintaining robot dexterity, we propose a novel non-constant subsegment stiffness structure for tendon-driven quasi continuum robots(TDQCRs) comprising rigid-flexible coupling subsegments.Aiming at real-time control applications, we present a novel static-to-kinematic modeling approach to gain a comprehensive understanding of the TDQCR model. The analytical subsegment-based kinematics for the multisection manipulator is derived based on screw theory and product of exponentials formula, and the static model considering gravity loading,actuation loading, and robot constitutive laws is established. Additionally, the effect of tension attenuation caused by routing channel friction is considered in the robot statics, resulting in improved model accuracy. The root-mean-square error between the outputs of the static model and the experimental system is less than 1.63% of the arm length(0.5 m). By employing the proposed static model, a mapping of bending angles between the configuration space and the subsegment space is established. Furthermore, motion control experiments are conducted on our TDQCR system, and the results demonstrate the effectiveness of the static-to-kinematic model.展开更多
Dielectric elastomers(DEs)require balanced electric actuation performance and mechanical integrity under applied voltages.Incorporating high dielectric particles as fillers provides extensive design space to optimize ...Dielectric elastomers(DEs)require balanced electric actuation performance and mechanical integrity under applied voltages.Incorporating high dielectric particles as fillers provides extensive design space to optimize concentration,morphology,and distribution for improved actuation performance and material modulus.This study presents an integrated framework combining finite element modeling(FEM)and deep learning to optimize the microstructure of DE composites.FEM first calculates actuation performance and the effective modulus across varied filler combinations,with these data used to train a convolutional neural network(CNN).Integrating the CNN into a multi-objective genetic algorithm generates designs with enhanced actuation performance and material modulus compared to the conventional optimization approach based on FEM approach within the same time.This framework harnesses artificial intelligence to navigate vast design possibilities,enabling optimized microstructures for high-performance DE composites.展开更多
For permanent magnet synchronous machine(PMSM),the machine model is critical to predict the operating states for motor control,which,however,can be greatly affected by system nonlinearities.Hence,this paper investigat...For permanent magnet synchronous machine(PMSM),the machine model is critical to predict the operating states for motor control,which,however,can be greatly affected by system nonlinearities.Hence,this paper investigates accurate machine modeling for control and parameter estimation.In the proposed approach,the PMSM model with saturated inductances is used as the base model,and this paper investigates modeling and compensation of the offsets to the base model due to system nonlinearities such as saturation and core loss effects for accurate machine modeling and voltage prediction.Specifically,the offsets to the base model are modeled using nonlinear functions with variable coefficients to compensate saturation and core loss effect,which can achieve better accuracy without changing the model structure.A differential estimation model is derived to estimate the model coefficients from a small amount of measurements with simplified procedure.Moreover,the model offset calculation is both computation and memory efficient with simplified implementation.The contribution is to improve the machine model accuracy and achieve precise voltage prediction for practical applications.Experiments,comparisons and the application to temperature estimation are conducted on a test interior PMSM to validate the proposed approach.展开更多
Light olefins is the incredibly important materials in chemical industry.Methanol to olefins(MTO),which provides a non-oil route for light olefins production,received considerable attention in the past decades.However...Light olefins is the incredibly important materials in chemical industry.Methanol to olefins(MTO),which provides a non-oil route for light olefins production,received considerable attention in the past decades.However,the catalyst deactivation is an inevitable feature in MTO processes,and regeneration,therefore,is one of the key steps in industrial MTO processes.Traditionally the MTO catalyst is regenerated by removing the deposited coke via air combustion,which unavoidably transforms coke into carbon dioxide and reduces the carbon utilization efficiency.Recent study shows that the coke species over MTO catalyst can be regenerated via steam,which can promote the light olefins yield as the deactivated coke species can be essentially transferred to industrially useful synthesis gas,is a promising pathway for further MTO processes development.In this work,we modelled and analyzed these two MTO regeneration methods in terms of carbon utilization efficiency and technology economics.As shown,the steam regeneration could achieve a carbon utilization efficiency of 84.31%,compared to 74.74%for air combustion regeneration.The MTO processes using steam regeneration can essentially achieve the near-zero carbon emission.In addition,light olefins production of the MTO processes using steam regeneration is 12.81%higher than that using air combustion regeneration.In this regard,steam regeneration could be considered as a potential yet promising regeneration method for further MTO processes,showing not only great environmental benefits but also competitive economic performance.展开更多
Drug resistance is one of the most intractable issues in targeted therapy for cancer diseases.It has also been demonstrated to be related to cancer heterogeneity,which promotes the emergence of treatment-refractory ca...Drug resistance is one of the most intractable issues in targeted therapy for cancer diseases.It has also been demonstrated to be related to cancer heterogeneity,which promotes the emergence of treatment-refractory cancer cell populations.Focusing on how cancer cells develop resistance during the encounter with targeted drugs and the immune system,we propose a mathematical model for studying the dynamics of drug resistance in a conjoint heterogeneous tumor-immune setting.We analyze the local geometric properties of the equilibria of the model.Numerical simulations show that the selectively targeted removal of sensitive cancer cells may cause the initially heterogeneous population to become a more resistant population.Moreover,the decline of immune recruitment is a stronger determinant of cancer escape from immune surveillance or targeted therapy than the decay in immune predation strength.Sensitivity analysis of model parameters provides insight into the roles of the immune system combined with targeted therapy in determining treatment outcomes.展开更多
基金the Deanship of Graduate Studies and Scientific Research at Qassim University for financial support(QU-APC-2024-9/1).
文摘Control signaling is mandatory for the operation and management of all types of communication networks,including the Third Generation Partnership Project(3GPP)mobile broadband networks.However,they consume important and scarce network resources such as bandwidth and processing power.There have been several reports of these control signaling turning into signaling storms halting network operations and causing the respective Telecom companies big financial losses.This paper draws its motivation from such real network disaster incidents attributed to signaling storms.In this paper,we present a thorough survey of the causes,of the signaling storm problems in 3GPP-based mobile broadband networks and discuss in detail their possible solutions and countermeasures.We provide relevant analytical models to help quantify the effect of the potential causes and benefits of their corresponding solutions.Another important contribution of this paper is the comparison of the possible causes and solutions/countermeasures,concerning their effect on several important network aspects such as architecture,additional signaling,fidelity,etc.,in the form of a table.This paper presents an update and an extension of our earlier conference publication.To our knowledge,no similar survey study exists on the subject.
基金supported by University of Macao,China,Nos.MYRG2022-00054-FHS and MYRG-GRG2023-00038-FHS-UMDF(to ZY)the Macao Science and Technology Development Fund,China,Nos.FDCT0048/2021/AGJ and FDCT0020/2019/AMJ and FDCT 0011/2018/A1(to ZY)Natural Science Foundation of Guangdong Province of China,No.EF017/FHS-YZ/2021/GDSTC(to ZY)。
文摘To investigate the mechanisms underlying the onset and progression of ischemic stroke,some methods have been proposed that can simultaneously monitor and create embolisms in the animal cerebral cortex.However,these methods often require complex systems and the effect of age on cerebral embolism has not been adequately studied,although ischemic stroke is strongly age-related.In this study,we propose an optical-resolution photoacoustic microscopy-based visualized photothrombosis methodology to create and monitor ischemic stroke in mice simultaneously using a 532 nm pulsed laser.We observed the molding process in mice of different ages and presented age-dependent vascular embolism differentiation.Moreover,we integrated optical coherence tomography angiography to investigate age-associated trends in cerebrovascular variability following a stroke.Our imaging data and quantitative analyses underscore the differential cerebrovascular responses to stroke in mice of different ages,thereby highlighting the technique's potential for evaluating cerebrovascular health and unraveling age-related mechanisms involved in ischemic strokes.
基金funded by the DRTPM of the Indonesian Ministry of Education and Culture with contract number 15455/UN19.5.1.3/AL04.2023.
文摘This study aims to develop a system dynamic(SD)forecasting model based on the STIRPAT model to forecast the effect of an IDR 30 per kg CO_(2)e carbon tax on carbon emissions,estimate future carbon emissions under ten scenarios,without and with the carbon tax,and estimate the environmental Kuznets curve(EKC)to predict Indonesia’s carbon emission peak.Carbon emission drivers in this study are decomposed into several factors,namely energy structure,energy intensity,industrial structure,GDP per capita,population,and fixed-asset investment.This study included nuclear power utilization starting in 2038.The research gaps addressed by this study compared to previous research are(1)use of the ex-ante approach,(2)inclusion of nuclear power plants,(3)testing the EKC hypothesis,and(4)contribution to government policy.The simulation results show that under the carbon tax,carbon emissions can be reduced by improving renewable energy structures,adjusting industrial structures to green businesses,and emphasizing fixed asset investment more environmentally friendly.Moreover,the result approved the EKC hypothesis.It shows an inverse U-shaped curve between GDP per capita and CO_(2)emissions in Indonesia.Indonesia’s fastest carbon emission peak is under scenario seven and is expected in 2040.Although an IDR 30 per kg CO_(2)e carbon tax and nuclear power will take decades to reduce carbon emissions,the carbon tax can still be a reference and has advantages to implement.This result can be a good beginning step for Indonesia,which has yet to gain experience with a carbon tax that can be implemented immediately and is helpful to decision-makers in putting into practice sensible measures to attain Indonesia’s carbon emission peaking.This research provides actionable insights internationally on carbon tax policies,nuclear energy adoption,EKC dynamics,global policy implications,and fostering international cooperation for carbon emission reductions.
基金Supported by National Natural Science Foundation of China (Grant No.52275537)Nanjing Major Scientific and Technological Project of China (Grant No.202209011)。
文摘As an innovative,low-power consuming,and low-stiffness suspension approach,the diamagnetic levitation technique has attracted considerable interest because of its potential applicability in miniaturized mechanical systems.The foundation of a diamagnetic levitation system is mathematical modeling,which is essential for operating performance optimization and stability prediction.However,few studies on systematic mathematical modeling have been reported.In this study,a systematic mathematical model for a disc-shaped diamagnetically levitated rotor on a permanent magnet array is proposed.Based on the proposed model,the magnetic field distribution characteristics,diamagnetic levitation force characteristics(i.e.,levitation height and stiffness),and optimized theoretical conditions for realizing stable levitation are determined.Experiments are conducted to verify the feasibility of the proposed mathematical model.Theoretical predictions and experimental results indicate that increasing the levitation height enlarges the stable region.Moreover,with a further increase in the rotor radius,the stable regions of the rotor gradually diminish and even vanish.Thus,when the levitation height is fixed,a moderate rotor radius permits stable levitation.This study proposes a mathematical modeling method for a diamagnetic levitation system that has potential applications in miniaturized mechanical systems.
基金Equinor for financing the R&D projectthe Institute of Science and Technology of Petroleum Geophysics of Brazil for supporting this research。
文摘We apply stochastic seismic inversion and Bayesian facies classification for porosity modeling and igneous rock identification in the presalt interval of the Santos Basin. This integration of seismic and well-derived information enhances reservoir characterization. Stochastic inversion and Bayesian classification are powerful tools because they permit addressing the uncertainties in the model. We used the ES-MDA algorithm to achieve the realizations equivalent to the percentiles P10, P50, and P90 of acoustic impedance, a novel method for acoustic inversion in presalt. The facies were divided into five: reservoir 1,reservoir 2, tight carbonates, clayey rocks, and igneous rocks. To deal with the overlaps in acoustic impedance values of facies, we included geological information using a priori probability, indicating that structural highs are reservoir-dominated. To illustrate our approach, we conducted porosity modeling using facies-related rock-physics models for rock-physics inversion in an area with a well drilled in a coquina bank and evaluated the thickness and extension of an igneous intrusion near the carbonate-salt interface. The modeled porosity and the classified seismic facies are in good agreement with the ones observed in the wells. Notably, the coquinas bank presents an improvement in the porosity towards the top. The a priori probability model was crucial for limiting the clayey rocks to the structural lows. In Well B, the hit rate of the igneous rock in the three scenarios is higher than 60%, showing an excellent thickness-prediction capability.
基金Supported by Shanghai Municipal Science and Technology Program (Grant No.21511101701)National Key Research and Development Program of China (Grant No.2021YFC0122704)。
文摘A dual-arm nursing robot can gently lift patients and transfer them between a bed and a wheelchair.With its lightweight design,high load-bearing capacity,and smooth surface,the coupled-drive joint is particularly well suited for these robots.However,the coupled nature of the joint disrupts the direct linear relationship between the input and output torques,posing challenges for dynamic modeling and practical applications.This study investigated the transmission mechanism of this joint and employed the Lagrangian method to construct a dynamic model of its internal dynamics.Building on this foundation,the Newton-Euler method was used to develop a dynamic model for the entire robotic arm.A continuously differentiable friction model was incorporated to reduce the vibrations caused by speed transitions to zero.An experimental method was designed to compensate for gravity,inertia,and modeling errors to identify the parameters of the friction model.This method establishes a mapping relationship between the friction force and motor current.In addition,a Fourier series-based excitation trajectory was developed to facilitate the identification of the dynamic model parameters of the robotic arm.Trajectory tracking experiments were conducted during the experimental validation phase,demonstrating the high accuracy of the dynamic model and the parameter identification method for the robotic arm.This study presents a dynamic modeling and parameter identification method for coupled-drive joint robotic arms,thereby establishing a foundation for motion control in humanoid nursing robots.
基金Supported by Shandong Provincial Natural Science Foundation of China(Grant No.ZR2023QE041)China Postdoctoral Science Foundation(Grant No.2023M731862)National Natural Science Foundation of China(Grant No.51975112).
文摘Textured surfaces with certain micro/nano structures have been proven to possess some advanced functions,such as reducing friction,improving wear and increasing wettability.Accurate prediction of micro/nano surface textures is of great significance for the design,fabrication and application of functional textured surfaces.In this paper,based on the kinematic analysis of cutter teeth,the discretization of ultrasonic machining process,transformation method of coordinate systems and the cubic spline data interpolation,an integrated theoretical model was established to characterize the distribution and geometric features of micro textures on the surfaces machined by different types of ultrasonic vibration-assisted milling(UVAM).Based on the theoretical model,the effect of key process parameters(vibration directions,vibration dimensions,cutting parameters and vibration parameters)on tool trajectories and microtextured surface morphology in UVAM is investigated.Besides,the effect of phase difference on the elliptical shape in 2D/3D ultrasonic elliptical vibration-assisted milling(UEVAM)was analyzed.Compared to conventional numerical models,the method of the cubic spline data interpolation is applied to the simulation of microtextured surface morphology in UVAM,which is more suitable for characterizing the morphological features of microtextured surfaces than traditional methods due to the presence of numerous micro textures.The prediction of surface roughness indicates that the magnitude of ultrasonic amplitude in z-direction should be strictly limited in 1D rotary UVAM,2D and 3D UEVAM due to the unfavorable effect of axial ultrasonic vibration on the surface quality.This study can provide theoretical guidance for the design and fabrication of microtextured surfaces in UVAM.
文摘The development process of complex equipment involves multi-stage business processes,multi-level product architecture,and multi-disciplinary physical processes.The relationship between its system model and various disciplinary models is extremely complicated.In the modeling and integration process,extensive customized development is needed to realize model integration and interoperability in different business scenarios.Meanwhile,the differences in modeling and interaction between different modeling tools make it difficult to support the consistent representation of models in complex scenarios.To improve the efficiency of system modeling and integration in complex business scenarios,a system modeling and integration method was proposed.This method took the Sys ML language kernel as the core and system model function integration as the main line.Through the technical means of model view separation,abstract operation interface,and model view configuration,the model modeling and integration of multi-user,multi-model,multi-view,and different business logic in complex business scenarios were realized.
基金National Natural Science Foundation of China(52307127)State Key Laboratory of Power System Operation and Control(SKLD23KZ07)。
文摘To facilitate rapid analysis of the oscillation stability mechanism in modular multilevel converter-based high voltage direct current(MMC-HVDC)systems and streamline the simulation process for determining MMC impedance characteristics,a simplified mathematical simulation model for MMC closed-loop impedance is developed using the harmonic state space method.This model considers various control strategies and includes both AC-side and DC-side impedance models.By applying a Nyquist criterion-based impedance analysis method,the stability mechanisms on the AC and DC sides of the MMC are examined.In addition,a data-driven oscillation stability analysis method is also proposed,leveraging a global sensitivity algorithm based on fast model results to identify key parameters influencing MMC oscillation stability.Based on sensitivity analysis results,a parameter adjustment strategy for oscillation suppression is proposed.The simulation results from the MATLAB/Simulinkbased MMC model validate the effectiveness of the proposed method.
基金supported by the China National Offshore Oil Corporation’s“14th Five-Year Plan”major scientific and technological project,“Key Technologies for Onshore Unconventional Natural Gas Exploration and Development”(KJGG2021-1000).
文摘The propagation of seismic waves in viscous media,such as the loess plateau and shallow gas regions,alters their amplitude,frequency,and phase due to absorption attenuation,resulting in reductions in the resolution and fi delity of seismic profi les and the inaccurate identifi cation of subtle structure and lithology.Q modeling and Q migration techniques proposed in this paper are used to compensate for the energy and frequency attenuation of seismic waves,obtain high-quality depth imaging results,and further enhance structural imaging to address the aforementioned problem.First,various prior information is utilized to construct an initial Q model.Q tomography techniques are employed to further optimize the precision of the initial Q model and build a high-precision Q model.Subsequently,Q prestack depth migration technology is employed to compensate for absorption and attenuation in the three-dimensional space along the seismic wave propagation path and correct the travel times,realizing the purposes of amplitude compensation,frequency recovery,and phase correction,which can help improve the wave group characteristics while enhancing the resolution.Model data and practical application results demonstrate that high-precision Q modeling and Q migration techniques can substantially improve the imaging quality of underground structures and formations in the loess plateau region with extremely complex surface and near-surface conditions.The resolution and fi delity of seismic data,as well as the capability to identify reservoirs,can be improved using these techniques.
基金supported in part by the Natural Science Foundation of Jiangsu Province in China under grant No.BK20191475the fifth phase of“333 Project”scientific research funding project of Jiangsu Province in China under grant No.BRA2020306the Qing Lan Project of Jiangsu Province in China under grant No.2019.
文摘In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely correct.Formal verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented correctly.In this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly instructions.The verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.
基金supported by the National Natural Science Foundation of China(Grant Nos.62102240,62071283)the China Postdoctoral Science Foundation(Grant No.2020M683421)the Key R&D Program of Shaanxi Province(Grant No.2020ZDLGY10-05).
文摘As an ingenious convergence between the Internet of Things and social networks,the Social Internet of Things(SIoT)can provide effective and intelligent information services and has become one of the main platforms for people to spread and share information.Nevertheless,SIoT is characterized by high openness and autonomy,multiple kinds of information can spread rapidly,freely and cooperatively in SIoT,which makes it challenging to accurately reveal the characteristics of the information diffusion process and effectively control its diffusion.To this end,with the aim of exploring multi-information cooperative diffusion processes in SIoT,we first develop a dynamics model for multi-information cooperative diffusion based on the system dynamics theory in this paper.Subsequently,the characteristics and laws of the dynamical evolution process of multi-information cooperative diffusion are theoretically investigated,and the diffusion trend is predicted.On this basis,to further control the multi-information cooperative diffusion process efficiently,we propose two control strategies for information diffusion with control objectives,develop an optimal control system for the multi-information cooperative diffusion process,and propose the corresponding optimal control method.The optimal solution distribution of the control strategy satisfying the control system constraints and the control budget constraints is solved using the optimal control theory.Finally,extensive simulation experiments based on real dataset from Twitter validate the correctness and effectiveness of the proposed model,strategy and method.
基金supported by the National Natural Science Foundation of China(41927801).
文摘To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic.
基金Supported by Science Center for Gas Turbine Project of China (Grant No.P2022-B-IV-014-001)Frontier Leading Technology Basic Research Special Project of Jiangsu Province of China (Grant No.BK20212007)the BIT Research and Innovation Promoting Project of China (Grant No.2022YCXZ019)。
文摘Thermal conductivity is one of the most significant criterion of three-dimensional carbon fiber-reinforced SiC matrix composites(3D C/SiC).Represent volume element(RVE)models of microscale,void/matrix and mesoscale proposed in this work are used to simulate the thermal conductivity behaviors of the 3D C/SiC composites.An entirely new process is introduced to weave the preform with three-dimensional orthogonal architecture.The 3D steady-state analysis step is created for assessing the thermal conductivity behaviors of the composites by applying periodic temperature boundary conditions.Three RVE models of cuboid,hexagonal and fiber random distribution are respectively developed to comparatively study the influence of fiber package pattern on the thermal conductivities at the microscale.Besides,the effect of void morphology on the thermal conductivity of the matrix is analyzed by the void/matrix models.The prediction results at the mesoscale correspond closely to the experimental values.The effect of the porosities and fiber volume fractions on the thermal conductivities is also taken into consideration.The multi-scale models mentioned in this paper can be used to predict the thermal conductivity behaviors of other composites with complex structures.
文摘The advantages of a flat-panel X-ray source(FPXS)make it a promising candidate for imaging applications.Accurate imaging-system modeling and projection simulation are critical for analyzing imaging performance and resolving overlapping projection issues in FPXS.The conventional analytical ray-tracing approach is limited by the number of patterns and is not applicable to FPXS-projection calculations.However,the computation time of Monte Carlo(MC)simulation is independent of the size of the patterned arrays in FPXS.This study proposes two high-efficiency MC projection simulators for FPXS:a graphics processing unit(GPU)-based phase-space sampling MC(gPSMC)simulator and GPU-based fluence sampling MC(gFSMC)simulator.The two simulators comprise three components:imaging-system modeling,photon initialization,and physical-interaction simulations in the phantom.Imaging-system modeling was performed by modeling the FPXS,imaging geometry,and detector.The gPSMC simulator samples the initial photons from the phase space,whereas the gFSMC simulator performs photon initialization from the calculated energy spectrum and fluence map.The entire process of photon interaction with the geometry and arrival at the detector was simulated in parallel using multiple GPU kernels,and projections based on the two simulators were calculated.The accuracies of the two simulators were evaluated by comparing them with the conventional analytical ray-tracing approach and acquired projections,and the efficiencies were evaluated by comparing the computation time.The results of simulated and realistic experiments illustrate the accuracy and efficiency of the proposed gPSMC and gFSMC simulators in the projection calculation of various phantoms.
基金Project supported by the National Natural Science Foundation of China (Grant No.61973167)the Jiangsu Funding Program for Excellent Postdoctoral Talent。
文摘Continuum robots with high flexibility and compliance have the capability to operate in confined and cluttered environments. To enhance the load capacity while maintaining robot dexterity, we propose a novel non-constant subsegment stiffness structure for tendon-driven quasi continuum robots(TDQCRs) comprising rigid-flexible coupling subsegments.Aiming at real-time control applications, we present a novel static-to-kinematic modeling approach to gain a comprehensive understanding of the TDQCR model. The analytical subsegment-based kinematics for the multisection manipulator is derived based on screw theory and product of exponentials formula, and the static model considering gravity loading,actuation loading, and robot constitutive laws is established. Additionally, the effect of tension attenuation caused by routing channel friction is considered in the robot statics, resulting in improved model accuracy. The root-mean-square error between the outputs of the static model and the experimental system is less than 1.63% of the arm length(0.5 m). By employing the proposed static model, a mapping of bending angles between the configuration space and the subsegment space is established. Furthermore, motion control experiments are conducted on our TDQCR system, and the results demonstrate the effectiveness of the static-to-kinematic model.
基金supported by the National Key Research and Development Program of China(Grant No.2022YFB3707803)the National Natural Science Foundation of China(Grant Nos.12072179 and 11672168)+1 种基金the Key Research Project of Zhejiang Lab(Grant No.2021PE0AC02)Shanghai Engineering Research Center for Inte-grated Circuits and Advanced Display Materials.
文摘Dielectric elastomers(DEs)require balanced electric actuation performance and mechanical integrity under applied voltages.Incorporating high dielectric particles as fillers provides extensive design space to optimize concentration,morphology,and distribution for improved actuation performance and material modulus.This study presents an integrated framework combining finite element modeling(FEM)and deep learning to optimize the microstructure of DE composites.FEM first calculates actuation performance and the effective modulus across varied filler combinations,with these data used to train a convolutional neural network(CNN).Integrating the CNN into a multi-objective genetic algorithm generates designs with enhanced actuation performance and material modulus compared to the conventional optimization approach based on FEM approach within the same time.This framework harnesses artificial intelligence to navigate vast design possibilities,enabling optimized microstructures for high-performance DE composites.
基金supported by in part by the National Natural Science Foundation of China(52105079,62103455)the Southern Marine Science and Engineering Guangdong Laboratory(Zhuhai)(SML2023SP241)。
文摘For permanent magnet synchronous machine(PMSM),the machine model is critical to predict the operating states for motor control,which,however,can be greatly affected by system nonlinearities.Hence,this paper investigates accurate machine modeling for control and parameter estimation.In the proposed approach,the PMSM model with saturated inductances is used as the base model,and this paper investigates modeling and compensation of the offsets to the base model due to system nonlinearities such as saturation and core loss effects for accurate machine modeling and voltage prediction.Specifically,the offsets to the base model are modeled using nonlinear functions with variable coefficients to compensate saturation and core loss effect,which can achieve better accuracy without changing the model structure.A differential estimation model is derived to estimate the model coefficients from a small amount of measurements with simplified procedure.Moreover,the model offset calculation is both computation and memory efficient with simplified implementation.The contribution is to improve the machine model accuracy and achieve precise voltage prediction for practical applications.Experiments,comparisons and the application to temperature estimation are conducted on a test interior PMSM to validate the proposed approach.
基金the financial support from the Strategic Priority Research Program of Chinese Academy of Sciences(XDA21010100)。
文摘Light olefins is the incredibly important materials in chemical industry.Methanol to olefins(MTO),which provides a non-oil route for light olefins production,received considerable attention in the past decades.However,the catalyst deactivation is an inevitable feature in MTO processes,and regeneration,therefore,is one of the key steps in industrial MTO processes.Traditionally the MTO catalyst is regenerated by removing the deposited coke via air combustion,which unavoidably transforms coke into carbon dioxide and reduces the carbon utilization efficiency.Recent study shows that the coke species over MTO catalyst can be regenerated via steam,which can promote the light olefins yield as the deactivated coke species can be essentially transferred to industrially useful synthesis gas,is a promising pathway for further MTO processes development.In this work,we modelled and analyzed these two MTO regeneration methods in terms of carbon utilization efficiency and technology economics.As shown,the steam regeneration could achieve a carbon utilization efficiency of 84.31%,compared to 74.74%for air combustion regeneration.The MTO processes using steam regeneration can essentially achieve the near-zero carbon emission.In addition,light olefins production of the MTO processes using steam regeneration is 12.81%higher than that using air combustion regeneration.In this regard,steam regeneration could be considered as a potential yet promising regeneration method for further MTO processes,showing not only great environmental benefits but also competitive economic performance.
基金supported by the National Natural Science Foundation of China(11871238,11931019,12371486)。
文摘Drug resistance is one of the most intractable issues in targeted therapy for cancer diseases.It has also been demonstrated to be related to cancer heterogeneity,which promotes the emergence of treatment-refractory cancer cell populations.Focusing on how cancer cells develop resistance during the encounter with targeted drugs and the immune system,we propose a mathematical model for studying the dynamics of drug resistance in a conjoint heterogeneous tumor-immune setting.We analyze the local geometric properties of the equilibria of the model.Numerical simulations show that the selectively targeted removal of sensitive cancer cells may cause the initially heterogeneous population to become a more resistant population.Moreover,the decline of immune recruitment is a stronger determinant of cancer escape from immune surveillance or targeted therapy than the decay in immune predation strength.Sensitivity analysis of model parameters provides insight into the roles of the immune system combined with targeted therapy in determining treatment outcomes.