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.展开更多
This work presents the “n<sup>th</sup>-Order Feature Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (abbreviated as “n<sup>th</sup>-FASAM-N”), which will be shown to be the...This work presents the “n<sup>th</sup>-Order Feature Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (abbreviated as “n<sup>th</sup>-FASAM-N”), which will be shown to be the most efficient methodology for computing exact expressions of sensitivities, of any order, of model responses with respect to features of model parameters and, subsequently, with respect to the model’s uncertain parameters, boundaries, and internal interfaces. The unparalleled efficiency and accuracy of the n<sup>th</sup>-FASAM-N methodology stems from the maximal reduction of the number of adjoint computations (which are considered to be “large-scale” computations) for computing high-order sensitivities. When applying the n<sup>th</sup>-FASAM-N methodology to compute the second- and higher-order sensitivities, the number of large-scale computations is proportional to the number of “model features” as opposed to being proportional to the number of model parameters (which are considerably more than the number of features).When a model has no “feature” functions of parameters, but only comprises primary parameters, the n<sup>th</sup>-FASAM-N methodology becomes identical to the extant n<sup>th</sup> CASAM-N (“n<sup>th</sup>-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems”) methodology. Both the n<sup>th</sup>-FASAM-N and the n<sup>th</sup>-CASAM-N methodologies are formulated in linearly increasing higher-dimensional Hilbert spaces as opposed to exponentially increasing parameter-dimensional spaces thus overcoming the curse of dimensionality in sensitivity analysis of nonlinear systems. Both the n<sup>th</sup>-FASAM-N and the n<sup>th</sup>-CASAM-N are incomparably more efficient and more accurate than any other methods (statistical, finite differences, etc.) for computing exact expressions of response sensitivities of any order with respect to the model’s features and/or primary uncertain parameters, boundaries, and internal interfaces.展开更多
This work highlights the unparalleled efficiency of the “n<sup>th</sup>-Order Function/ Feature Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (n<sup>th</sup>-FASAM-N) by con...This work highlights the unparalleled efficiency of the “n<sup>th</sup>-Order Function/ Feature Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (n<sup>th</sup>-FASAM-N) by considering the well-known Nordheim-Fuchs reactor dynamics/safety model. This model describes a short-time self-limiting power excursion in a nuclear reactor system having a negative temperature coefficient in which a large amount of reactivity is suddenly inserted, either intentionally or by accident. This nonlinear paradigm model is sufficiently complex to model realistically self-limiting power excursions for short times yet admits closed-form exact expressions for the time-dependent neutron flux, temperature distribution and energy released during the transient power burst. The n<sup>th</sup>-FASAM-N methodology is compared to the extant “n<sup>th</sup>-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (n<sup>th</sup>-CASAM-N) showing that: (i) the 1<sup>st</sup>-FASAM-N and the 1<sup>st</sup>-CASAM-N methodologies are equally efficient for computing the first-order sensitivities;each methodology requires a single large-scale computation for solving the “First-Level Adjoint Sensitivity System” (1<sup>st</sup>-LASS);(ii) the 2<sup>nd</sup>-FASAM-N methodology is considerably more efficient than the 2<sup>nd</sup>-CASAM-N methodology for computing the second-order sensitivities since the number of feature-functions is much smaller than the number of primary parameters;specifically for the Nordheim-Fuchs model, the 2<sup>nd</sup>-FASAM-N methodology requires 2 large-scale computations to obtain all of the exact expressions of the 28 distinct second-order response sensitivities with respect to the model parameters while the 2<sup>nd</sup>-CASAM-N methodology requires 7 large-scale computations for obtaining these 28 second-order sensitivities;(iii) the 3<sup>rd</sup>-FASAM-N methodology is even more efficient than the 3<sup>rd</sup>-CASAM-N methodology: only 2 large-scale computations are needed to obtain the exact expressions of the 84 distinct third-order response sensitivities with respect to the Nordheim-Fuchs model’s parameters when applying the 3<sup>rd</sup>-FASAM-N methodology, while the application of the 3<sup>rd</sup>-CASAM-N methodology requires at least 22 large-scale computations for computing the same 84 distinct third-order sensitivities. Together, the n<sup>th</sup>-FASAM-N and the n<sup>th</sup>-CASAM-N methodologies are the most practical methodologies for computing response sensitivities of any order comprehensively and accurately, overcoming the curse of dimensionality in sensitivity analysis.展开更多
Orthogonal time frequency space(OTFS),as a novel 2-D modulation technique,has been proposed to achieve better BER performances over delayDoppler channels.In this paper,we propose two different power allocation(PA)algo...Orthogonal time frequency space(OTFS),as a novel 2-D modulation technique,has been proposed to achieve better BER performances over delayDoppler channels.In this paper,we propose two different power allocation(PA)algorithms in OTFS systems with zero forcing(ZF)or minimum mean square error(MMSE)equalization,where general formulas with PA are derived in advance under the condition of minimum BER(MBER)criterion.On one hand,a suboptimal MBER power allocation method is put forward to achieve better BER performances,and then analytical BER expressions are derived with proposed PA strategy.Considering the case of MMSE equalization,a combined subsymbol allocation(SA)and PA strategy is raised,where some subsymbols may be abandoned due to worse channel conditions,and then it is proven effectively to improve BER performances through theoretical and simulation results.Furthermore,BER performances with proposed joint SA and PA strategy are also investigated in delay-Doppler channels,where an improved message passing(MP)receiver based on equivalent channel matrix with PA is given.展开更多
The performance of clay-pile-pier system under earthquake shaking was comprehensively examined via three-dimensional finite element analyses,in which the complex stress-strain relationships of a clay and piled pier sy...The performance of clay-pile-pier system under earthquake shaking was comprehensively examined via three-dimensional finite element analyses,in which the complex stress-strain relationships of a clay and piled pier system were depicted by a hyperbolic-hysteretic and an equivalent elastoplastic model,respectively.One hundred twenty ground motions with varying peak accelerations were considered,along with the variations in bridge superstructure mass and pile flexural rigidity.Comprehensive comparison studies suggested that peak pile-cap acceleration and peak pile-cap velocity are the optimal ground motion intensity measures for seismic responses of the pier and the pile,respectively.Furthermore,based on two optimal ground motion intensity measures and using curvature ductility to quantify different damage states,seismic fragility analyses were performed.The pier generally had no evident damage except when the bridge girder mass was equal to 960 t,which seemed to be comparatively insensitive to the varying pile flexural rigidity.In comparison,the pile was found to be more vulnerable to seismic damage and its failure probabilities tended to clearly reduce with the increment of pile flexural rigidity,while the influence of the bridge girder mass was relatively minor.展开更多
The robust stability study of the classic Smith predictor-based control system for uncertain fractional-order plants with interval time delays and interval coefficients is the emphasis of this work.Interval uncertaint...The robust stability study of the classic Smith predictor-based control system for uncertain fractional-order plants with interval time delays and interval coefficients is the emphasis of this work.Interval uncertainties are a type of parametric uncertainties that cannot be avoided when modeling real-world plants.Also,in the considered Smith predictor control structure it is supposed that the controller is a fractional-order proportional integral derivative(FOPID)controller.To the best of the authors'knowledge,no method has been developed until now to analyze the robust stability of a Smith predictor based fractional-order control system in the presence of the simultaneous uncertainties in gain,time-constants,and time delay.The three primary contributions of this study are as follows:ⅰ)a set of necessary and sufficient conditions is constructed using a graphical method to examine the robust stability of a Smith predictor-based fractionalorder control system—the proposed method explicitly determines whether or not the FOPID controller can robustly stabilize the Smith predictor-based fractional-order control system;ⅱ)an auxiliary function as a robust stability testing function is presented to reduce the computational complexity of the robust stability analysis;andⅲ)two auxiliary functions are proposed to achieve the control requirements on the disturbance rejection and the noise reduction.Finally,four numerical examples and an experimental verification are presented in this study to demonstrate the efficacy and significance of the suggested technique.展开更多
To begin with, rating systems are a beneficial tool in determining the efficiency of a building’s ability to utilise its resources effectively. In this study, the two elements under comparison are the Building Rating...To begin with, rating systems are a beneficial tool in determining the efficiency of a building’s ability to utilise its resources effectively. In this study, the two elements under comparison are the Building Rating Systems (BRSs) and Occupant Rating Systems (ORSs). The main objective of this paper is to be able to examine the most commonly applied international and national BRS and ORS and, based on that, discover the possibility of developing an integration of both the BRS and ORS into one rating system. Quite simply, a BRS is a method by which buildings are assessed and given a score based on numerous features such as the efficiency of each of the services, total energy consumption, and alternate options of consumption. There are various BRSs that are implemented globally, each with its own set of criteria and specifications. Thus, based on the analysis of the benefits and drawbacks of both types of rating systems, it could be deduced that a well-rounded rating system with all technical and non-technical aspects combined would be beneficial to both the efficiency of the building as well as the building occupants’ health and well-being.展开更多
Spatial heterogeneity or“patchiness”of plankton distributions in the ocean has always been an attractive and challenging scientific issue to oceanographers.We focused on the accumulation and dynamic mechanism of the...Spatial heterogeneity or“patchiness”of plankton distributions in the ocean has always been an attractive and challenging scientific issue to oceanographers.We focused on the accumulation and dynamic mechanism of the Acetes chinensis in the Lianyungang nearshore licensed fishing area.The Lagrangian frame approaches including the Lagrangian coherent structures theory,Lagrangian residual current,and Lagrangian particle-tracking model were applied to find the transport pathways and aggregation characteristics of Acetes chinensis.There exist some material transport pathways for Acetes chinensis passing through the licensed fishing area,and Acetes chinensis is easy to accumulate in the licensed fishing area.The main mechanism forming this distribution pattern is the local circulation induced by the nonlinear interaction of topography and tidal flow.Both the Lagrangian coherent structure analysis and the particle trajectory tracking indicate that Acetes chinensis in the licensed fishing area come from the nearshore estuary.This work contributed to the adjustment of licensed fishing area and the efficient utilization of fishery resources.展开更多
Providing alternative PNT service to GNSS-challenged users will be an important function of next-generation NGSO broadband satellite communication systems.Herein,a packet-based PNT service architecture in NGSO broadba...Providing alternative PNT service to GNSS-challenged users will be an important function of next-generation NGSO broadband satellite communication systems.Herein,a packet-based PNT service architecture in NGSO broadband systems is proposed in which a primary satellite and selected assistant satellites work together to provide PNT service to requesting users.Its positioning performance bounds are mathematically formulated by rigorously analyzing the bounds constrained by different waveforms.Simulations are conducted on different configurations of Walker Delta MEO constellations and Walker Star LEO constellations for corroboration,revealing the following:(1)Both MEO and LEO constellations achieve sub-meter-level positioning precision given enough satellites.(2)Compared to the GNSS Doppler-based velocity estimation method,the position advance based velocity estimation algorithm is more precise and applicable to the PNT service in NGSO broadband systems.(3)To provide PNT service to users in GNSS-challenged environments,the primary and each assistant satellite need only∼0.1‰of the time of one downlink beam.展开更多
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...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.展开更多
This work studies the stability and hidden dynamics of the nonlinear hydro-turbine governing system with an output limiting link,and propose a new six-dimensional system,which exhibits some hidden attractors.The param...This work studies the stability and hidden dynamics of the nonlinear hydro-turbine governing system with an output limiting link,and propose a new six-dimensional system,which exhibits some hidden attractors.The parameter switching algorithm is used to numerically study the dynamic behaviors of the system.Moreover,it is investigated that for some parameters the system with a stable equilibrium point can generate strange hidden attractors.A self-excited attractor with the change of its parameters is also recognized.In addition,numerical simulations are carried out to analyze the dynamic behaviors of the proposed system by using the Lyapunov exponent spectra,Lyapunov dimensions,bifurcation diagrams,phase space orbits,and basins of attraction.Consequently,the findings in this work show that the basins of hidden attractors are tiny for which the standard computational procedure for localization is unavailable.These simulation results are conducive to better understanding of hidden chaotic attractors in higher-dimensional dynamical systems,and are also of great significance in revealing chaotic oscillations such as uncontrolled speed adjustment in the operation of hydropower station due to small changes of initial values.展开更多
In this paper a new simplified method of stability study of dynamical nonlinear systems is proposed as an alternative to using Lyapunov’s method. Like the Lyapunov theorem, the new concept describes a sufficient cond...In this paper a new simplified method of stability study of dynamical nonlinear systems is proposed as an alternative to using Lyapunov’s method. Like the Lyapunov theorem, the new concept describes a sufficient condition for the systems to be globally stable. The proposed method is based on the assumption that, not only the state matrix contains information on the stability of the systems, but also the eigenvectors. So, first we will write the model of nonlinear systems in the state-space representation, then we use the eigenvectors of the state matrix as system stability indicators.展开更多
Joint time–frequency analysis is an emerging method for interpreting the underlying physics in fuel cells,batteries,and supercapacitors.To increase the reliability of time–frequency analysis,a theoretical correlatio...Joint time–frequency analysis is an emerging method for interpreting the underlying physics in fuel cells,batteries,and supercapacitors.To increase the reliability of time–frequency analysis,a theoretical correlation between frequency-domain stationary analysis and time-domain transient analysis is urgently required.The present work formularizes a thorough model reduction of fractional impedance spectra for electrochemical energy devices involving not only the model reduction from fractional-order models to integer-order models and from high-to low-order RC circuits but also insight into the evolution of the characteristic time constants during the whole reduction process.The following work has been carried out:(i)the model-reduction theory is addressed for typical Warburg elements and RC circuits based on the continued fraction expansion theory and the response error minimization technique,respectively;(ii)the order effect on the model reduction of typical Warburg elements is quantitatively evaluated by time–frequency analysis;(iii)the results of time–frequency analysis are confirmed to be useful to determine the reduction order in terms of the kinetic information needed to be captured;and(iv)the results of time–frequency analysis are validated for the model reduction of fractional impedance spectra for lithium-ion batteries,supercapacitors,and solid oxide fuel cells.In turn,the numerical validation has demonstrated the powerful function of the joint time–frequency analysis.The thorough model reduction of fractional impedance spectra addressed in the present work not only clarifies the relationship between time-domain transient analysis and frequency-domain stationary analysis but also enhances the reliability of the joint time–frequency analysis for electrochemical energy devices.展开更多
Predictive Emission Monitoring Systems (PEMS) offer a cost-effective and environmentally friendly alternative to Continuous Emission Monitoring Systems (CEMS) for monitoring pollution from industrial sources. Multiple...Predictive Emission Monitoring Systems (PEMS) offer a cost-effective and environmentally friendly alternative to Continuous Emission Monitoring Systems (CEMS) for monitoring pollution from industrial sources. Multiple regression is one of the fundamental statistical techniques to describe the relationship between dependent and independent variables. This model can be effectively used to develop a PEMS, to estimate the amount of pollution emitted by industrial sources, where the fuel composition and other process-related parameters are available. It often makes them sufficient to predict the emission discharge with acceptable accuracy. In cases where PEMS are accepted as an alternative method to CEMS, which use gas analyzers, they can provide cost savings and substantial benefits for ongoing system support and maintenance. The described mathematical concept is based on the matrix algebra representation in multiple regression involving multiple precision arithmetic techniques. Challenging numerical examples for statistical big data analysis, are investigated. Numerical examples illustrate computational accuracy and efficiency of statistical analysis due to increasing the precision level. The programming language C++ is used for mathematical model implementation. The data for research and development, including the dependent fuel and independent NOx emissions data, were obtained from CEMS software installed on a petrochemical plant.展开更多
Gears are pivotal in mechanical drives,and gear contact analysis is a typically difficult problem to solve.Emerging isogeometric analysis(IGA)methods have developed new ideas to solve this problem.In this paper,a thre...Gears are pivotal in mechanical drives,and gear contact analysis is a typically difficult problem to solve.Emerging isogeometric analysis(IGA)methods have developed new ideas to solve this problem.In this paper,a threedimensional body parametric gear model of IGA is established,and a theoretical formula is derived to realize single-tooth contact analysis.Results were benchmarked against those obtained from commercial software utilizing the finite element analysis(FEA)method to validate the accuracy of our approach.Our findings indicate that the IGA-based contact algorithmsuccessfullymet theHertz contact test.When juxtaposed with the FEA approach,the IGAmethod demonstrated fewer node degrees of freedomand reduced computational units,all whilemaintaining comparable accuracy.Notably,the IGA method appeared to exhibit consistency in analysis accuracy irrespective of computational unit density,and also significantlymitigated non-physical oscillations in contact stress across the tooth width.This underscores the prowess of IGA in contact analysis.In conclusion,IGA emerges as a potent tool for addressing contact analysis challenges and holds significant promise for 3D gear modeling,simulation,and optimization of various mechanical components.展开更多
Reviewing the empirical and theoretical parameter relationships between various parameters is a good way to understand more about contact binary systems.In this investigation,two-dimensional(2D)relationships for P–MV...Reviewing the empirical and theoretical parameter relationships between various parameters is a good way to understand more about contact binary systems.In this investigation,two-dimensional(2D)relationships for P–MV(system),P–L1,2,M1,2–L1,2,and q–Lratiowere revisited.The sample used is related to 118 contact binary systems with an orbital period shorter than 0.6 days whose absolute parameters were estimated based on the Gaia Data Release 3 parallax.We reviewed previous studies on 2D relationships and updated six parameter relationships.Therefore,Markov chain Monte Carlo and Machine Learning methods were used,and the outcomes were compared.We selected 22 contact binary systems from eight previous studies for comparison,which had light curve solutions using spectroscopic data.The results show that the systems are in good agreement with the results of this study.展开更多
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.展开更多
The supercritical CO_(2)cOoled Lithium-Lead(COOL)blanket has been designed as one advanced blanket candidate for the Chinese Fusion Engineering Test Reactor(CFETR).This work focuses on the electromagnetic(EM)loads(Max...The supercritical CO_(2)cOoled Lithium-Lead(COOL)blanket has been designed as one advanced blanket candidate for the Chinese Fusion Engineering Test Reactor(CFETR).This work focuses on the electromagnetic(EM)loads(Maxwell force and Lorentz force)acting on the COOL blanket,which are important mechanical loads in further structural analysis of the COOL blanket.A 3D electromagnetic analysis is performed using the ANSYS finite element method to obtain EM loads on the COOL blanket in this study.At first,the magnetic scalar potential(MSP)method is used to obtain the magnetic field and the Maxwell force on the COOL blanket.Then,the magnetic vector potential(MVP)method is performed during a plasma disruption event to get the eddy current distribution.At last,a multi-step method is adopted for the calculation of the Lorentz force and the torque.The maximum Lorentz forces of inboard and outboard blanket structural components are 5624 kN and 2360 kN respectively.展开更多
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.展开更多
Algal blooms,the spread of algae on the surface of water bodies,have adverse effects not only on aquatic ecosystems but also on human life.The adverse effects of harmful algal blooms(HABs)necessitate a convenient solu...Algal blooms,the spread of algae on the surface of water bodies,have adverse effects not only on aquatic ecosystems but also on human life.The adverse effects of harmful algal blooms(HABs)necessitate a convenient solution for detection and monitoring.Unmanned aerial vehicles(UAVs)have recently emerged as a tool for algal bloom detection,efficiently providing on-demand images at high spatiotemporal resolutions.This study developed an image processing method for algal bloom area estimation from the aerial images(obtained from the internet)captured using UAVs.As a remote sensing method of HAB detection,analysis,and monitoring,a combination of histogram and texture analyses was used to efficiently estimate the area of HABs.Statistical features like entropy(using the Kullback-Leibler method)were emphasized with the aid of a gray-level co-occurrence matrix.The results showed that the orthogonal images demonstrated fewer errors,and the morphological filter best detected algal blooms in real time,with a precision of 80%.This study provided efficient image processing approaches using on-board UAVs for HAB monitoring.展开更多
基金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.
文摘This work presents the “n<sup>th</sup>-Order Feature Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (abbreviated as “n<sup>th</sup>-FASAM-N”), which will be shown to be the most efficient methodology for computing exact expressions of sensitivities, of any order, of model responses with respect to features of model parameters and, subsequently, with respect to the model’s uncertain parameters, boundaries, and internal interfaces. The unparalleled efficiency and accuracy of the n<sup>th</sup>-FASAM-N methodology stems from the maximal reduction of the number of adjoint computations (which are considered to be “large-scale” computations) for computing high-order sensitivities. When applying the n<sup>th</sup>-FASAM-N methodology to compute the second- and higher-order sensitivities, the number of large-scale computations is proportional to the number of “model features” as opposed to being proportional to the number of model parameters (which are considerably more than the number of features).When a model has no “feature” functions of parameters, but only comprises primary parameters, the n<sup>th</sup>-FASAM-N methodology becomes identical to the extant n<sup>th</sup> CASAM-N (“n<sup>th</sup>-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems”) methodology. Both the n<sup>th</sup>-FASAM-N and the n<sup>th</sup>-CASAM-N methodologies are formulated in linearly increasing higher-dimensional Hilbert spaces as opposed to exponentially increasing parameter-dimensional spaces thus overcoming the curse of dimensionality in sensitivity analysis of nonlinear systems. Both the n<sup>th</sup>-FASAM-N and the n<sup>th</sup>-CASAM-N are incomparably more efficient and more accurate than any other methods (statistical, finite differences, etc.) for computing exact expressions of response sensitivities of any order with respect to the model’s features and/or primary uncertain parameters, boundaries, and internal interfaces.
文摘This work highlights the unparalleled efficiency of the “n<sup>th</sup>-Order Function/ Feature Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (n<sup>th</sup>-FASAM-N) by considering the well-known Nordheim-Fuchs reactor dynamics/safety model. This model describes a short-time self-limiting power excursion in a nuclear reactor system having a negative temperature coefficient in which a large amount of reactivity is suddenly inserted, either intentionally or by accident. This nonlinear paradigm model is sufficiently complex to model realistically self-limiting power excursions for short times yet admits closed-form exact expressions for the time-dependent neutron flux, temperature distribution and energy released during the transient power burst. The n<sup>th</sup>-FASAM-N methodology is compared to the extant “n<sup>th</sup>-Order Comprehensive Adjoint Sensitivity Analysis Methodology for Nonlinear Systems” (n<sup>th</sup>-CASAM-N) showing that: (i) the 1<sup>st</sup>-FASAM-N and the 1<sup>st</sup>-CASAM-N methodologies are equally efficient for computing the first-order sensitivities;each methodology requires a single large-scale computation for solving the “First-Level Adjoint Sensitivity System” (1<sup>st</sup>-LASS);(ii) the 2<sup>nd</sup>-FASAM-N methodology is considerably more efficient than the 2<sup>nd</sup>-CASAM-N methodology for computing the second-order sensitivities since the number of feature-functions is much smaller than the number of primary parameters;specifically for the Nordheim-Fuchs model, the 2<sup>nd</sup>-FASAM-N methodology requires 2 large-scale computations to obtain all of the exact expressions of the 28 distinct second-order response sensitivities with respect to the model parameters while the 2<sup>nd</sup>-CASAM-N methodology requires 7 large-scale computations for obtaining these 28 second-order sensitivities;(iii) the 3<sup>rd</sup>-FASAM-N methodology is even more efficient than the 3<sup>rd</sup>-CASAM-N methodology: only 2 large-scale computations are needed to obtain the exact expressions of the 84 distinct third-order response sensitivities with respect to the Nordheim-Fuchs model’s parameters when applying the 3<sup>rd</sup>-FASAM-N methodology, while the application of the 3<sup>rd</sup>-CASAM-N methodology requires at least 22 large-scale computations for computing the same 84 distinct third-order sensitivities. Together, the n<sup>th</sup>-FASAM-N and the n<sup>th</sup>-CASAM-N methodologies are the most practical methodologies for computing response sensitivities of any order comprehensively and accurately, overcoming the curse of dimensionality in sensitivity analysis.
基金supported in part by the National Natural Science Foundation of China under Grant 62001138Heilongjiang Provincial Natural Science Foundation of China under Grant LH2021F009+1 种基金China Postdoctoral Science Foundation under Grant 2020M670885Hei Long Jiang Postdoctoral Foundation under Grant LBH-Z20049。
文摘Orthogonal time frequency space(OTFS),as a novel 2-D modulation technique,has been proposed to achieve better BER performances over delayDoppler channels.In this paper,we propose two different power allocation(PA)algorithms in OTFS systems with zero forcing(ZF)or minimum mean square error(MMSE)equalization,where general formulas with PA are derived in advance under the condition of minimum BER(MBER)criterion.On one hand,a suboptimal MBER power allocation method is put forward to achieve better BER performances,and then analytical BER expressions are derived with proposed PA strategy.Considering the case of MMSE equalization,a combined subsymbol allocation(SA)and PA strategy is raised,where some subsymbols may be abandoned due to worse channel conditions,and then it is proven effectively to improve BER performances through theoretical and simulation results.Furthermore,BER performances with proposed joint SA and PA strategy are also investigated in delay-Doppler channels,where an improved message passing(MP)receiver based on equivalent channel matrix with PA is given.
基金National Natural Science Foundation of China under Grant Nos.52178353,51808421the Fundamental Research Funds for the Central Universities(WUT:2020III043)。
文摘The performance of clay-pile-pier system under earthquake shaking was comprehensively examined via three-dimensional finite element analyses,in which the complex stress-strain relationships of a clay and piled pier system were depicted by a hyperbolic-hysteretic and an equivalent elastoplastic model,respectively.One hundred twenty ground motions with varying peak accelerations were considered,along with the variations in bridge superstructure mass and pile flexural rigidity.Comprehensive comparison studies suggested that peak pile-cap acceleration and peak pile-cap velocity are the optimal ground motion intensity measures for seismic responses of the pier and the pile,respectively.Furthermore,based on two optimal ground motion intensity measures and using curvature ductility to quantify different damage states,seismic fragility analyses were performed.The pier generally had no evident damage except when the bridge girder mass was equal to 960 t,which seemed to be comparatively insensitive to the varying pile flexural rigidity.In comparison,the pile was found to be more vulnerable to seismic damage and its failure probabilities tended to clearly reduce with the increment of pile flexural rigidity,while the influence of the bridge girder mass was relatively minor.
基金supported by the Estonian Research Council(PRG658)。
文摘The robust stability study of the classic Smith predictor-based control system for uncertain fractional-order plants with interval time delays and interval coefficients is the emphasis of this work.Interval uncertainties are a type of parametric uncertainties that cannot be avoided when modeling real-world plants.Also,in the considered Smith predictor control structure it is supposed that the controller is a fractional-order proportional integral derivative(FOPID)controller.To the best of the authors'knowledge,no method has been developed until now to analyze the robust stability of a Smith predictor based fractional-order control system in the presence of the simultaneous uncertainties in gain,time-constants,and time delay.The three primary contributions of this study are as follows:ⅰ)a set of necessary and sufficient conditions is constructed using a graphical method to examine the robust stability of a Smith predictor-based fractionalorder control system—the proposed method explicitly determines whether or not the FOPID controller can robustly stabilize the Smith predictor-based fractional-order control system;ⅱ)an auxiliary function as a robust stability testing function is presented to reduce the computational complexity of the robust stability analysis;andⅲ)two auxiliary functions are proposed to achieve the control requirements on the disturbance rejection and the noise reduction.Finally,four numerical examples and an experimental verification are presented in this study to demonstrate the efficacy and significance of the suggested technique.
文摘To begin with, rating systems are a beneficial tool in determining the efficiency of a building’s ability to utilise its resources effectively. In this study, the two elements under comparison are the Building Rating Systems (BRSs) and Occupant Rating Systems (ORSs). The main objective of this paper is to be able to examine the most commonly applied international and national BRS and ORS and, based on that, discover the possibility of developing an integration of both the BRS and ORS into one rating system. Quite simply, a BRS is a method by which buildings are assessed and given a score based on numerous features such as the efficiency of each of the services, total energy consumption, and alternate options of consumption. There are various BRSs that are implemented globally, each with its own set of criteria and specifications. Thus, based on the analysis of the benefits and drawbacks of both types of rating systems, it could be deduced that a well-rounded rating system with all technical and non-technical aspects combined would be beneficial to both the efficiency of the building as well as the building occupants’ health and well-being.
基金the National Natural Science Foundation of China(No.31802297)。
文摘Spatial heterogeneity or“patchiness”of plankton distributions in the ocean has always been an attractive and challenging scientific issue to oceanographers.We focused on the accumulation and dynamic mechanism of the Acetes chinensis in the Lianyungang nearshore licensed fishing area.The Lagrangian frame approaches including the Lagrangian coherent structures theory,Lagrangian residual current,and Lagrangian particle-tracking model were applied to find the transport pathways and aggregation characteristics of Acetes chinensis.There exist some material transport pathways for Acetes chinensis passing through the licensed fishing area,and Acetes chinensis is easy to accumulate in the licensed fishing area.The main mechanism forming this distribution pattern is the local circulation induced by the nonlinear interaction of topography and tidal flow.Both the Lagrangian coherent structure analysis and the particle trajectory tracking indicate that Acetes chinensis in the licensed fishing area come from the nearshore estuary.This work contributed to the adjustment of licensed fishing area and the efficient utilization of fishery resources.
基金the National Key Research and Development Program of China(2020YFB1804800)the National Natural Science Foundation of China(No.62071270).
文摘Providing alternative PNT service to GNSS-challenged users will be an important function of next-generation NGSO broadband satellite communication systems.Herein,a packet-based PNT service architecture in NGSO broadband systems is proposed in which a primary satellite and selected assistant satellites work together to provide PNT service to requesting users.Its positioning performance bounds are mathematically formulated by rigorously analyzing the bounds constrained by different waveforms.Simulations are conducted on different configurations of Walker Delta MEO constellations and Walker Star LEO constellations for corroboration,revealing the following:(1)Both MEO and LEO constellations achieve sub-meter-level positioning precision given enough satellites.(2)Compared to the GNSS Doppler-based velocity estimation method,the position advance based velocity estimation algorithm is more precise and applicable to the PNT service in NGSO broadband systems.(3)To provide PNT service to users in GNSS-challenged environments,the primary and each assistant satellite need only∼0.1‰of the time of one downlink beam.
基金supported by the National Natural Science Foundation of China(52130801,U20A20312,52178271,and 52077213)the National Key Research and Development Program of China(2021YFF0500903)。
文摘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.
基金the Fundamental Research Funds for the Northwest A&F University(Grant No./Z1090220172)the Scientific Research Foundation of the Natural Science Foundation of Shaanxi Province,China(Grant No.2019JLP-24)+1 种基金the Shaanxi Province Innovation Talent Promotion PlanScience and Technology Innovation Team,China(Grant No.2020TD-025)the Water Conservancy Science and Technology Program of Shaanxi Province,China(Grant No.2018slkj-9)。
文摘This work studies the stability and hidden dynamics of the nonlinear hydro-turbine governing system with an output limiting link,and propose a new six-dimensional system,which exhibits some hidden attractors.The parameter switching algorithm is used to numerically study the dynamic behaviors of the system.Moreover,it is investigated that for some parameters the system with a stable equilibrium point can generate strange hidden attractors.A self-excited attractor with the change of its parameters is also recognized.In addition,numerical simulations are carried out to analyze the dynamic behaviors of the proposed system by using the Lyapunov exponent spectra,Lyapunov dimensions,bifurcation diagrams,phase space orbits,and basins of attraction.Consequently,the findings in this work show that the basins of hidden attractors are tiny for which the standard computational procedure for localization is unavailable.These simulation results are conducive to better understanding of hidden chaotic attractors in higher-dimensional dynamical systems,and are also of great significance in revealing chaotic oscillations such as uncontrolled speed adjustment in the operation of hydropower station due to small changes of initial values.
文摘In this paper a new simplified method of stability study of dynamical nonlinear systems is proposed as an alternative to using Lyapunov’s method. Like the Lyapunov theorem, the new concept describes a sufficient condition for the systems to be globally stable. The proposed method is based on the assumption that, not only the state matrix contains information on the stability of the systems, but also the eigenvectors. So, first we will write the model of nonlinear systems in the state-space representation, then we use the eigenvectors of the state matrix as system stability indicators.
基金support from the National Science Foundation of China(22078190)the National Key R&D Plan of China(2020YFB1505802).
文摘Joint time–frequency analysis is an emerging method for interpreting the underlying physics in fuel cells,batteries,and supercapacitors.To increase the reliability of time–frequency analysis,a theoretical correlation between frequency-domain stationary analysis and time-domain transient analysis is urgently required.The present work formularizes a thorough model reduction of fractional impedance spectra for electrochemical energy devices involving not only the model reduction from fractional-order models to integer-order models and from high-to low-order RC circuits but also insight into the evolution of the characteristic time constants during the whole reduction process.The following work has been carried out:(i)the model-reduction theory is addressed for typical Warburg elements and RC circuits based on the continued fraction expansion theory and the response error minimization technique,respectively;(ii)the order effect on the model reduction of typical Warburg elements is quantitatively evaluated by time–frequency analysis;(iii)the results of time–frequency analysis are confirmed to be useful to determine the reduction order in terms of the kinetic information needed to be captured;and(iv)the results of time–frequency analysis are validated for the model reduction of fractional impedance spectra for lithium-ion batteries,supercapacitors,and solid oxide fuel cells.In turn,the numerical validation has demonstrated the powerful function of the joint time–frequency analysis.The thorough model reduction of fractional impedance spectra addressed in the present work not only clarifies the relationship between time-domain transient analysis and frequency-domain stationary analysis but also enhances the reliability of the joint time–frequency analysis for electrochemical energy devices.
文摘Predictive Emission Monitoring Systems (PEMS) offer a cost-effective and environmentally friendly alternative to Continuous Emission Monitoring Systems (CEMS) for monitoring pollution from industrial sources. Multiple regression is one of the fundamental statistical techniques to describe the relationship between dependent and independent variables. This model can be effectively used to develop a PEMS, to estimate the amount of pollution emitted by industrial sources, where the fuel composition and other process-related parameters are available. It often makes them sufficient to predict the emission discharge with acceptable accuracy. In cases where PEMS are accepted as an alternative method to CEMS, which use gas analyzers, they can provide cost savings and substantial benefits for ongoing system support and maintenance. The described mathematical concept is based on the matrix algebra representation in multiple regression involving multiple precision arithmetic techniques. Challenging numerical examples for statistical big data analysis, are investigated. Numerical examples illustrate computational accuracy and efficiency of statistical analysis due to increasing the precision level. The programming language C++ is used for mathematical model implementation. The data for research and development, including the dependent fuel and independent NOx emissions data, were obtained from CEMS software installed on a petrochemical plant.
基金support provided by the National Nature Science Foundation of China (Grant Nos.52075340,51875360)Project of Science and Technology Commission of Shanghai Municipality (No.19060502300).
文摘Gears are pivotal in mechanical drives,and gear contact analysis is a typically difficult problem to solve.Emerging isogeometric analysis(IGA)methods have developed new ideas to solve this problem.In this paper,a threedimensional body parametric gear model of IGA is established,and a theoretical formula is derived to realize single-tooth contact analysis.Results were benchmarked against those obtained from commercial software utilizing the finite element analysis(FEA)method to validate the accuracy of our approach.Our findings indicate that the IGA-based contact algorithmsuccessfullymet theHertz contact test.When juxtaposed with the FEA approach,the IGAmethod demonstrated fewer node degrees of freedomand reduced computational units,all whilemaintaining comparable accuracy.Notably,the IGA method appeared to exhibit consistency in analysis accuracy irrespective of computational unit density,and also significantlymitigated non-physical oscillations in contact stress across the tooth width.This underscores the prowess of IGA in contact analysis.In conclusion,IGA emerges as a potent tool for addressing contact analysis challenges and holds significant promise for 3D gear modeling,simulation,and optimization of various mechanical components.
基金The Binary Systems of South and North(BSN)project(https://bsnp.info/)。
文摘Reviewing the empirical and theoretical parameter relationships between various parameters is a good way to understand more about contact binary systems.In this investigation,two-dimensional(2D)relationships for P–MV(system),P–L1,2,M1,2–L1,2,and q–Lratiowere revisited.The sample used is related to 118 contact binary systems with an orbital period shorter than 0.6 days whose absolute parameters were estimated based on the Gaia Data Release 3 parallax.We reviewed previous studies on 2D relationships and updated six parameter relationships.Therefore,Markov chain Monte Carlo and Machine Learning methods were used,and the outcomes were compared.We selected 22 contact binary systems from eight previous studies for comparison,which had light curve solutions using spectroscopic data.The results show that the systems are in good agreement with the results of this study.
基金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.
基金supported by the Comprehensive Research Facility for Fusion Technology(CRAFT)Program of China(No.2018-000052-73-01-001228)National Natural Science Foundation of China(No.12205330)。
文摘The supercritical CO_(2)cOoled Lithium-Lead(COOL)blanket has been designed as one advanced blanket candidate for the Chinese Fusion Engineering Test Reactor(CFETR).This work focuses on the electromagnetic(EM)loads(Maxwell force and Lorentz force)acting on the COOL blanket,which are important mechanical loads in further structural analysis of the COOL blanket.A 3D electromagnetic analysis is performed using the ANSYS finite element method to obtain EM loads on the COOL blanket in this study.At first,the magnetic scalar potential(MSP)method is used to obtain the magnetic field and the Maxwell force on the COOL blanket.Then,the magnetic vector potential(MVP)method is performed during a plasma disruption event to get the eddy current distribution.At last,a multi-step method is adopted for the calculation of the Lorentz force and the torque.The maximum Lorentz forces of inboard and outboard blanket structural components are 5624 kN and 2360 kN respectively.
基金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.
文摘Algal blooms,the spread of algae on the surface of water bodies,have adverse effects not only on aquatic ecosystems but also on human life.The adverse effects of harmful algal blooms(HABs)necessitate a convenient solution for detection and monitoring.Unmanned aerial vehicles(UAVs)have recently emerged as a tool for algal bloom detection,efficiently providing on-demand images at high spatiotemporal resolutions.This study developed an image processing method for algal bloom area estimation from the aerial images(obtained from the internet)captured using UAVs.As a remote sensing method of HAB detection,analysis,and monitoring,a combination of histogram and texture analyses was used to efficiently estimate the area of HABs.Statistical features like entropy(using the Kullback-Leibler method)were emphasized with the aid of a gray-level co-occurrence matrix.The results showed that the orthogonal images demonstrated fewer errors,and the morphological filter best detected algal blooms in real time,with a precision of 80%.This study provided efficient image processing approaches using on-board UAVs for HAB monitoring.