Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of high...Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.展开更多
In this paper, a labelled transition semantics for higher-order processcalculi is studied. The labelled transition semantics is relatively clean and simple, andcorresponding bisimulation equivalence can be easily form...In this paper, a labelled transition semantics for higher-order processcalculi is studied. The labelled transition semantics is relatively clean and simple, andcorresponding bisimulation equivalence can be easily formulated based on it. And the congruenceproperties of the bisimulation equivalence can be proved easily. To show the correspondence betweenthe proposed semantics and the well-established ones, the bisimulation is characterized as a versionof barbed equivalence and a version of context bisimulation.展开更多
In this paper,a new technique is introduced to construct higher-order iterative methods for solving nonlinear systems.The order of convergence of some iterative methods can be improved by three at the cost of introduc...In this paper,a new technique is introduced to construct higher-order iterative methods for solving nonlinear systems.The order of convergence of some iterative methods can be improved by three at the cost of introducing only one additional evaluation of the function in each step.Furthermore,some new efficient methods with a higher-order of convergence are obtained by using only a single matrix inversion in each iteration.Analyses of convergence properties and computational efficiency of these new methods are made and testified by several numerical problems.By comparison,the new schemes are more efficient than the corresponding existing ones,particularly for large problem sizes.展开更多
Statistics of order 2 (variance, auto and cross-correlation functions, auto and cross-power spectra) and 3 (skewness, auto and cross-bicorrelation functions, auto and cross-bispectra) are used to analyze the wave-part...Statistics of order 2 (variance, auto and cross-correlation functions, auto and cross-power spectra) and 3 (skewness, auto and cross-bicorrelation functions, auto and cross-bispectra) are used to analyze the wave-particle interaction in space plasmas. The signals considered here are medium scale electron density irregularities and ELF/ULF electrostatic turbulence. Nonlinearities are mainly observed in the ELF range. They are independently pointed out in time series associated with fluctuations in electronic density and in time series associated with the measurement of one electric field component. Peaks in cross-bicorrelation function and in mutual information clearly show that, in well delimited frequency bands, the wave-particle interactions are nonlinear above a certain level of fluctuations. The way the energy is transferred within the frequencies of density fluctuations is indicated by a bi-spectra analysis.展开更多
This paper deals with extensions of higher-order optimality conditions for scalar optimization to multiobjective optimization.A type of directional derivatives for a multiobjective function is proposed,and with this n...This paper deals with extensions of higher-order optimality conditions for scalar optimization to multiobjective optimization.A type of directional derivatives for a multiobjective function is proposed,and with this notion characterizations of strict local minima of order k for a multiobjective optimization problem with a nonempty set constraint are established,generalizing the corresponding scalar case obtained by Studniarski[3].Also necessary not sufficient and sufficient not necessary optimality conditions for this minima are derived based on our directional derivatives,which are generalizations of some existing scalar results and equivalent to some existing multiobjective ones.Many examples are given to illustrate them there.展开更多
Nonlinear characteristic fault detection and diagnosis method based on higher-order statistical(HOS) is an effective data-driven method, but the calculation costs much for a large-scale process control system. An HOS-...Nonlinear characteristic fault detection and diagnosis method based on higher-order statistical(HOS) is an effective data-driven method, but the calculation costs much for a large-scale process control system. An HOS-ISM fault diagnosis framework combining interpretative structural model(ISM) and HOS is proposed:(1) the adjacency matrix is determined by partial correlation coefficient;(2) the modified adjacency matrix is defined by directed graph with prior knowledge of process piping and instrument diagram;(3) interpretative structural for large-scale process control system is built by this ISM method; and(4) non-Gaussianity index, nonlinearity index, and total nonlinearity index are calculated dynamically based on interpretative structural to effectively eliminate uncertainty of the nonlinear characteristic diagnostic method with reasonable sampling period and data window. The proposed HOS-ISM fault diagnosis framework is verified by the Tennessee Eastman process and presents improvement for highly non-linear characteristic for selected fault cases.展开更多
This article briefly reviews the topic of complex network synchronization,with its graph-theoretic criterion,showing that the homogeneous and symmetrical network structures are essential for optimal synchronization.Fu...This article briefly reviews the topic of complex network synchronization,with its graph-theoretic criterion,showing that the homogeneous and symmetrical network structures are essential for optimal synchronization.Furthermore,it briefly reviews the notion of higher-order network topologies and shows their promising potential in application to evaluating the optimality of network synchronizability.展开更多
Information spreading has been investigated for many years,but the mechanism of why the information explosively catches on overnight is still under debate.This explosive spreading phenomenon was usually considered dri...Information spreading has been investigated for many years,but the mechanism of why the information explosively catches on overnight is still under debate.This explosive spreading phenomenon was usually considered driven separately by social reinforcement or higher-order interactions.However,due to the limitations of empirical data and theoretical analysis,how the higher-order network structure affects the explosive information spreading under the role of social reinforcement has not been fully explored.In this work,we propose an information-spreading model by considering the social reinforcement in real and synthetic higher-order networks,describable as hypergraphs.Depending on the average group size(hyperedge cardinality)and node membership(hyperdegree),we observe two different spreading behaviors:(i)The spreading progress is not sensitive to social reinforcement,resulting in the information localized in a small part of nodes;(ii)a strong social reinforcement will promote the large-scale spread of information and induce an explosive transition.Moreover,a large average group size and membership would be beneficial to the appearance of the explosive transition.Further,we display that the heterogeneity of the node membership and group size distributions benefit the information spreading.Finally,we extend the group-based approximate master equations to verify the simulation results.Our findings may help us to comprehend the rapidly information-spreading phenomenon in modern society.展开更多
AIM:To compare the visual outcomes and corneal higherorder aberrations(HOAs)of patients with high or low myopic astigmatism after small incision lenticule extraction(SMILE).METHODS:A total of 157 eyes of 157 patients ...AIM:To compare the visual outcomes and corneal higherorder aberrations(HOAs)of patients with high or low myopic astigmatism after small incision lenticule extraction(SMILE).METHODS:A total of 157 eyes of 157 patients who underwent SMILE were included in this retrospective,nonrandomized,comparative study.All the eyes which were with the rule astigmatism were divided into high astigmatism group(HAG;astigmatism≤-2.00 D,73 eyes)and low astigmatism group(LAG;astigmatism≥-1.00 D,84 eyes).Visual and refractive examinations were performed,HOAs of the anterior surface,posterior surface,and total cornea of the eyes were evaluated preoperatively and 6mo postoperatively.RESULTS:At the postoperative 6-month follow-up,uncorrected distance visual acuity of 20/20 or better was achieved in 97%and 100%eyes in HAG and LAG respectively and 74%and 100%eyes were within-0.50 D.Vector analysis revealed no significant differences in the correction index(P=0.066),angle of error(P=0.091)or flattening index(P=0.987)between two groups.The magnitude of error was-0.37±0.31 D in HAG and-0.04±0.19 D in LAG(P<0.001).Index of success(IOS)was 0.22±0.09 in the HAG and 0.50±0.46 in the LAG(P<0.001).HOAs of most anterior,posterior and total cornea significantly increased after SMILE,especially the spherical aberration and coma.For HAG,the SMILE procedure induced significantly higher anterior,posterior and total cornea horizontal coma and total corneal total HOAs compared with LAG(P<0.001)and these surgically induced HOAs predominantly originated from the anterior surface of the cornea.CONCLUSION:SMILE surgery induces more HOAs and a mild under-correction of astigmatism in eyes with high astigmatism.The increment in HOAs after SMILE is related to preoperative astigmatism.展开更多
Higher-order modes of the neutron diffusion/transport equation can be used to study the temporal behavior of nuclear reactors and can be applied in modal analysis, transient analysis, and online monitoring of the reac...Higher-order modes of the neutron diffusion/transport equation can be used to study the temporal behavior of nuclear reactors and can be applied in modal analysis, transient analysis, and online monitoring of the reactor core. Both the deterministic method and the Monte Carlo(MC) method can be used to solve the higher-order modes. However, MC method, compared to the deterministic method, faces challenges in terms of computational efficiency and α mode calculation stability, whereas the deterministic method encounters issues arising from homogenization-related geometric and energy spectra adaptation.Based on the higher-order mode diffusion calculation code HARMONY, we developed a new higher-order mode calculation code, HARMONY2.0, which retains the functionality of computing λ and α higher-order modes from HARMONY1.0, but enhances the ability to treat complex geometries and arbitrary energy spectra using the MC-deterministic hybrid two-step strategy. In HARMONY2.0, the mesh homogenized multigroup constants were obtained using OpenMC in the first step,and higher-order modes were then calculated with the mesh homogenized core diffusion model using the implicitly restarted Arnoldi method(IRAM), which was also adopted in the HARMONY1.0 code. In addition, to improve the calculation efficiency, particularly in large higher-order modes, event-driven parallelization/domain decomposition methods are embedded in the HARMONY2.0 code to accelerate the inner iteration of λ∕α mode using OpenMP. Furthermore, the higher-order modes of complex geometric models, such as Hoogenboom and ATR reactors for λ mode and the MUSE-4 experiment facility for the prompt α mode, were computed using diffusion theory.展开更多
This paper focuses on the investigation of a hyperbolic Kirchhoff equation with nonlinear damping and higher-order dissipation terms.Initially,the existence and uniqueness of local weak solutions are rigorously establ...This paper focuses on the investigation of a hyperbolic Kirchhoff equation with nonlinear damping and higher-order dissipation terms.Initially,the existence and uniqueness of local weak solutions are rigorously established.Next,within the framework of potential well theory,the classification of solution behaviors,including blow-up and global existence,is systematically analyzed according to the relationships among the exponents of nonlinear source terms.Finally,explicit bounds for the blow-up time and decay estimates for global solutions are presented.展开更多
The higher-order Kaup-Newell equation is examined by applying the Fokas unified method on the half-line.We demonstrate that the solution can be expressed in relation to the resolution of the Riemann-Hilbert problem.Th...The higher-order Kaup-Newell equation is examined by applying the Fokas unified method on the half-line.We demonstrate that the solution can be expressed in relation to the resolution of the Riemann-Hilbert problem.The jump matrix for this problem is derived from the spectral matrix,which is calculated based on both the initial conditions and the boundary conditions.The jump matrix is explicitly dependent and expressed through the spectral functions,which are derived from the initial and boundary information,respectively.These spectral functions are interdependent and adhere to a so-called global relationship.展开更多
In this paper,the exact boundary controllability of the higher-order KdVtype equation on torus is studied.That is,given the initial and final states in the appropriate space,by adding the appropriate control function ...In this paper,the exact boundary controllability of the higher-order KdVtype equation on torus is studied.That is,given the initial and final states in the appropriate space,by adding the appropriate control function on the boundary,the solution of the system can transition from the initial state to the specified final value.Firstly,we establish the observability inequality for the higher-order KdV-type equation by Ingham inequality.Then,based on the observability inequality,Hilbert uniqueness method and a integral identity we obtain the exact boundary controllability of the higher-order KdV-type equation.展开更多
We are concerned with a Camassa-Holm type equation with higher-order nonlinearity including some integrable peakon models such as the Camassa-Holm equation,the Degasperis-Procesi equation,and the Novikov equation.We s...We are concerned with a Camassa-Holm type equation with higher-order nonlinearity including some integrable peakon models such as the Camassa-Holm equation,the Degasperis-Procesi equation,and the Novikov equation.We show that all the horizontal symmetric waves for this equation must be traveling waves.This extends the previous results for the Camassa-Holm and Novikov equations.展开更多
In recent years,there has been a surge of interest in higher-order topological phases(HOTPs)across various disciplines within the field of physics.These unique phases are characterized by their ability to harbor topol...In recent years,there has been a surge of interest in higher-order topological phases(HOTPs)across various disciplines within the field of physics.These unique phases are characterized by their ability to harbor topological protected boundary states at lower-dimensional boundaries,a distinguishing feature that sets them apart from conventional topological phases and is attributed to the higher-order bulk-boundary correspondence.Two-dimensional(2D)twisted systems offer an optimal platform for investigating HOTPs,owing to their strong controllability and experimental feasibility.Here,we provide a comprehensive overview of the latest research advancements on HOTPs in 2D twisted multilayer systems.We will mainly review the HOTPs in electronic,magnonic,acoustic,photonic and mechanical twisted systems,and finally provide a perspective of this topic.展开更多
Recent engineering applications increasingly adopt smart materials,whose mechanical responses are sensitive to magnetic and electric fields.In this context,new and computationally efficient modeling strategies are ess...Recent engineering applications increasingly adopt smart materials,whose mechanical responses are sensitive to magnetic and electric fields.In this context,new and computationally efficient modeling strategies are essential to predict the multiphysic behavior of advanced structures accurately.Therefore,the manuscript presents a higher-order formulation for the static analysis of laminated anisotropic magneto-electro-elastic doubly-curved shell structures.The fundamental relations account for the full coupling between the electric field,magnetic field,and mechanical elasticity.The configuration variables are expanded along the thickness direction using a generalized formulation based on the Equivalent Layer-Wise approach.Higher-order polynomials are selected,allowing for the assessment of prescribed values of the configuration variables at the top and bottom sides of solids.In addition,an effective strategy is provided for modeling general surface distributions of mechanical pressures and electromagnetic external fluxes.The model is based on a continuum-based formulation which employs an analytical homogenization of the multifield material properties,based on Mori&Tanaka approach,of a magneto-electro-elastic composite material obtained from a piezoelectric and a piezomagnetic phase,with coupled magneto-electro-elastic effects.A semi-analytical Navier solution is applied to the fundamental equations,and an efficient post-processing equilibrium-based procedure is here used,based on the numerical assessment with the Generalized Differential Quadrature(GDQ)method,to recover the response of three-dimensional shells.The formulation is validated through various examples,investigating the multifield response of panels of different curvatures and lamination schemes.An efficient homogenization procedure,based on the Mori&Tanaka approach,is employed to obtain the three-dimensional constitutive relation of magneto-electro-elastic materials.Each model is validated against three-dimensional finite-element simulations,as developed in commercial codes.Furthermore,the full coupling effect between the electric and magnetic response is evaluated via a parametric investigation,with useful insights for design purposes of many engineering applications.The paper,thus,provides a formulation for the magneto-electro-elastic analysis of laminated structures,with a high computational efficiency,since it provides results with three-dimensional capabilities with a two-dimensional formulation.The adoption of higher-order theories,indeed,allows us to efficiently predict not only the mechanical response of the structure as happens in existing literature,but also the through-the-thickness distribution of electric and magnetic variables.A novel higher-order theory has been proposed in this work for the magneto-electro-elastic analysis of laminated shell structures with varying curvatures.This theory employs a generalized method to model the distribution of the displacement field components,electrostatic,and magneto-static potential,accounting for higher-order polynomials.The thickness functions have been defined to prescribe the arbitrary values of configuration variables at the top and bottom surfaces,even though the model is ESL-based.The fundamental governing equations have been derived in curvilinear principal coordinates,considering all coupling effects among different physical phenomena,including piezoelectric,piezomagnetic,and magneto-electric effects.A homogenization algorithm based on a Mori&Tanaka approach has been adopted to obtain the equivalent magneto-electro-mechanical properties of a two-phase transversely isotropic composite.In addition,an effective method has been adopted involving the external loads in terms of surface tractions,as well as the electric and magnetic fluxes.In the post-processing stage,a GDQ-based procedure provides the actual 3D response of a doubly-curved solid.The model has been validated through significant numerical examples,showing that the results of this semi-analytical theory align well with those obtained from 3D numerical models from commercial codes.In particular,the accuracy of the model has been verified for lamination schemes with soft layers and various curvatures under different loading conditions.Moreover,this formulation has been used to predict the effect of combined electric and magnetic loads on the mechanical response of panels with different curvatures and lamination schemes.As a consequence,this theory can be applied in engineering applications where the combined effect of electric and magnetic loads is crucial,thus facilitating their study and design.An existing limitation of this study is that the solution is that it is derived only for structures with uniform curvature,cross-ply lamination scheme,and simply supported boundary conditions.Furthermore,it requires that each lamina within the stacking sequence exhibits magneto-electro-elastic behavior.Therefore,at the present stage,it cannot be used for multifield analysis of classical composite structures with magneto-electric patches.A further enhancement of the research work could be the derivation of a solution employing a numerical technique,to overcome the limitations of the Navier method.In this way,the same theory may be adopted to predict the multifield response of structures with variable curvatures and thickness,as well as anisotropic materials and more complicated boundary conditions.Acknowledgement:The authors are grateful to the Department of Innovation Engineering of Univer-sity of Salento for the support.展开更多
Under investigation is the n-component nonlinear Schrödinger equation with higher-order effects,which describes the ultrashort pulses in the birefringent fiber.Based on the Lax pair,the eigenfunction and generali...Under investigation is the n-component nonlinear Schrödinger equation with higher-order effects,which describes the ultrashort pulses in the birefringent fiber.Based on the Lax pair,the eigenfunction and generalized Darboux transformation are derived.Next,we construct several novel higher-order localized waves and classified them into three categories:(i)higher-order rogue waves interacting with bright/antidark breathers,(ii)higher-order breather fission/fusion,(iii)higherorder breather interacting with soliton.Moreover,we explore the effects of parameters on the structure,collision process and energy distribution of localized waves and these characteristics are significantly different from previous ones.Finally,the dynamical properties of these solutions are discussed in detail.展开更多
Agricultural Products Processing and Storage(ISSN 3059-4510,Owner:Hunan Academy of Agricultural Sciences,China.Production and hosting:Springer Nature)is an international,peer-reviewed open access journal with the aim ...Agricultural Products Processing and Storage(ISSN 3059-4510,Owner:Hunan Academy of Agricultural Sciences,China.Production and hosting:Springer Nature)is an international,peer-reviewed open access journal with the aim to offer a platform for the rapid dissemination of signifi cant,novel,and high-impact research in the fi elds of agricultural product processing science,technology,engineering,and nutrition.Additionally,supplemental issues are curated and published to facilitate in-depth discussions on special topics.展开更多
Wire arc additive manufacturing(WAAM)has emerged as a promising approach for fabricating large-scale components.However,conventional WAAM still faces challenges in optimizing microstructural evolution,minimizing addit...Wire arc additive manufacturing(WAAM)has emerged as a promising approach for fabricating large-scale components.However,conventional WAAM still faces challenges in optimizing microstructural evolution,minimizing additive-induced defects,and alleviating residual stress and deformation,all of which are critical for enhancing the mechanical performance of the manufactured parts.Integrating interlayer friction stir processing(FSP)into WAAM significantly enhances the quality of deposited materials.However,numerical simulation research focusing on elucidating the associated thermomechanical coupling mechanisms remains insufficient.A comprehensive numerical model was developed to simulate the thermomechanical coupling behavior in friction stir-assisted WAAM.The influence of post-deposition FSP on the coupled thermomechanical response of the WAAM process was analyzed quantitatively.Moreover,the residual stress distribution and deformation behavior under both single-layer and multilayer deposition conditions were investigated.Thermal analysis of different deposition layers in WAAM and friction stir-assisted WAAM was conducted.Results show that subsequent layer deposition induces partial remelting of the previously solidified layer,whereas FSP does not cause such remelting.Furthermore,thermal stress and deformation analysis confirm that interlayer FSP effectively mitigates residual stresses and distortion in WAAM components,thereby improving their structural integrity and mechanical properties.展开更多
The aging process is an inexorable fact throughout our lives and is considered a major factor in develo ping neurological dysfunctions associated with cognitive,emotional,and motor impairments.Aging-associated neurode...The aging process is an inexorable fact throughout our lives and is considered a major factor in develo ping neurological dysfunctions associated with cognitive,emotional,and motor impairments.Aging-associated neurodegenerative diseases are characterized by the progressive loss of neuronal structure and function.展开更多
基金the National Natural Science Foundation of China(Nos.61202023,61261130589 and61173048)the PACE Project(No.12IS02001)the Specialized Research Fund for the Doctoral Program of Higher Edueation of China(No.20120073120031)
文摘Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.
文摘In this paper, a labelled transition semantics for higher-order processcalculi is studied. The labelled transition semantics is relatively clean and simple, andcorresponding bisimulation equivalence can be easily formulated based on it. And the congruenceproperties of the bisimulation equivalence can be proved easily. To show the correspondence betweenthe proposed semantics and the well-established ones, the bisimulation is characterized as a versionof barbed equivalence and a version of context bisimulation.
基金Supported by the National Natural Science Foundation of China(12061048)NSF of Jiangxi Province(20232BAB201026,20232BAB201018)。
文摘In this paper,a new technique is introduced to construct higher-order iterative methods for solving nonlinear systems.The order of convergence of some iterative methods can be improved by three at the cost of introducing only one additional evaluation of the function in each step.Furthermore,some new efficient methods with a higher-order of convergence are obtained by using only a single matrix inversion in each iteration.Analyses of convergence properties and computational efficiency of these new methods are made and testified by several numerical problems.By comparison,the new schemes are more efficient than the corresponding existing ones,particularly for large problem sizes.
文摘Statistics of order 2 (variance, auto and cross-correlation functions, auto and cross-power spectra) and 3 (skewness, auto and cross-bicorrelation functions, auto and cross-bispectra) are used to analyze the wave-particle interaction in space plasmas. The signals considered here are medium scale electron density irregularities and ELF/ULF electrostatic turbulence. Nonlinearities are mainly observed in the ELF range. They are independently pointed out in time series associated with fluctuations in electronic density and in time series associated with the measurement of one electric field component. Peaks in cross-bicorrelation function and in mutual information clearly show that, in well delimited frequency bands, the wave-particle interactions are nonlinear above a certain level of fluctuations. The way the energy is transferred within the frequencies of density fluctuations is indicated by a bi-spectra analysis.
文摘This paper deals with extensions of higher-order optimality conditions for scalar optimization to multiobjective optimization.A type of directional derivatives for a multiobjective function is proposed,and with this notion characterizations of strict local minima of order k for a multiobjective optimization problem with a nonempty set constraint are established,generalizing the corresponding scalar case obtained by Studniarski[3].Also necessary not sufficient and sufficient not necessary optimality conditions for this minima are derived based on our directional derivatives,which are generalizations of some existing scalar results and equivalent to some existing multiobjective ones.Many examples are given to illustrate them there.
基金Supported by the National Natural Science Foundation of China(61374166)the Doctoral Fund of Ministry of Education of China(20120010110010)the Natural Science Fund of Ningbo(2012A610001)
文摘Nonlinear characteristic fault detection and diagnosis method based on higher-order statistical(HOS) is an effective data-driven method, but the calculation costs much for a large-scale process control system. An HOS-ISM fault diagnosis framework combining interpretative structural model(ISM) and HOS is proposed:(1) the adjacency matrix is determined by partial correlation coefficient;(2) the modified adjacency matrix is defined by directed graph with prior knowledge of process piping and instrument diagram;(3) interpretative structural for large-scale process control system is built by this ISM method; and(4) non-Gaussianity index, nonlinearity index, and total nonlinearity index are calculated dynamically based on interpretative structural to effectively eliminate uncertainty of the nonlinear characteristic diagnostic method with reasonable sampling period and data window. The proposed HOS-ISM fault diagnosis framework is verified by the Tennessee Eastman process and presents improvement for highly non-linear characteristic for selected fault cases.
基金Hong Kong Research Grants Council under the GRF(9043664).
文摘This article briefly reviews the topic of complex network synchronization,with its graph-theoretic criterion,showing that the homogeneous and symmetrical network structures are essential for optimal synchronization.Furthermore,it briefly reviews the notion of higher-order network topologies and shows their promising potential in application to evaluating the optimality of network synchronizability.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.12305043 and 12165016)the Natural Science Foundation of Jiangsu Province(Grant No.BK20220511)+1 种基金the Project of Undergraduate Scientific Research(Grant No.22A684)the support from the Jiangsu Specially-Appointed Professor Program。
文摘Information spreading has been investigated for many years,but the mechanism of why the information explosively catches on overnight is still under debate.This explosive spreading phenomenon was usually considered driven separately by social reinforcement or higher-order interactions.However,due to the limitations of empirical data and theoretical analysis,how the higher-order network structure affects the explosive information spreading under the role of social reinforcement has not been fully explored.In this work,we propose an information-spreading model by considering the social reinforcement in real and synthetic higher-order networks,describable as hypergraphs.Depending on the average group size(hyperedge cardinality)and node membership(hyperdegree),we observe two different spreading behaviors:(i)The spreading progress is not sensitive to social reinforcement,resulting in the information localized in a small part of nodes;(ii)a strong social reinforcement will promote the large-scale spread of information and induce an explosive transition.Moreover,a large average group size and membership would be beneficial to the appearance of the explosive transition.Further,we display that the heterogeneity of the node membership and group size distributions benefit the information spreading.Finally,we extend the group-based approximate master equations to verify the simulation results.Our findings may help us to comprehend the rapidly information-spreading phenomenon in modern society.
文摘AIM:To compare the visual outcomes and corneal higherorder aberrations(HOAs)of patients with high or low myopic astigmatism after small incision lenticule extraction(SMILE).METHODS:A total of 157 eyes of 157 patients who underwent SMILE were included in this retrospective,nonrandomized,comparative study.All the eyes which were with the rule astigmatism were divided into high astigmatism group(HAG;astigmatism≤-2.00 D,73 eyes)and low astigmatism group(LAG;astigmatism≥-1.00 D,84 eyes).Visual and refractive examinations were performed,HOAs of the anterior surface,posterior surface,and total cornea of the eyes were evaluated preoperatively and 6mo postoperatively.RESULTS:At the postoperative 6-month follow-up,uncorrected distance visual acuity of 20/20 or better was achieved in 97%and 100%eyes in HAG and LAG respectively and 74%and 100%eyes were within-0.50 D.Vector analysis revealed no significant differences in the correction index(P=0.066),angle of error(P=0.091)or flattening index(P=0.987)between two groups.The magnitude of error was-0.37±0.31 D in HAG and-0.04±0.19 D in LAG(P<0.001).Index of success(IOS)was 0.22±0.09 in the HAG and 0.50±0.46 in the LAG(P<0.001).HOAs of most anterior,posterior and total cornea significantly increased after SMILE,especially the spherical aberration and coma.For HAG,the SMILE procedure induced significantly higher anterior,posterior and total cornea horizontal coma and total corneal total HOAs compared with LAG(P<0.001)and these surgically induced HOAs predominantly originated from the anterior surface of the cornea.CONCLUSION:SMILE surgery induces more HOAs and a mild under-correction of astigmatism in eyes with high astigmatism.The increment in HOAs after SMILE is related to preoperative astigmatism.
基金supported by the National Natural Science Foundation of China(No.U2267207)Science and Technology on Reactor System Design Technology Laboratory(No.KFKT-05-FWHTWU-2023004).
文摘Higher-order modes of the neutron diffusion/transport equation can be used to study the temporal behavior of nuclear reactors and can be applied in modal analysis, transient analysis, and online monitoring of the reactor core. Both the deterministic method and the Monte Carlo(MC) method can be used to solve the higher-order modes. However, MC method, compared to the deterministic method, faces challenges in terms of computational efficiency and α mode calculation stability, whereas the deterministic method encounters issues arising from homogenization-related geometric and energy spectra adaptation.Based on the higher-order mode diffusion calculation code HARMONY, we developed a new higher-order mode calculation code, HARMONY2.0, which retains the functionality of computing λ and α higher-order modes from HARMONY1.0, but enhances the ability to treat complex geometries and arbitrary energy spectra using the MC-deterministic hybrid two-step strategy. In HARMONY2.0, the mesh homogenized multigroup constants were obtained using OpenMC in the first step,and higher-order modes were then calculated with the mesh homogenized core diffusion model using the implicitly restarted Arnoldi method(IRAM), which was also adopted in the HARMONY1.0 code. In addition, to improve the calculation efficiency, particularly in large higher-order modes, event-driven parallelization/domain decomposition methods are embedded in the HARMONY2.0 code to accelerate the inner iteration of λ∕α mode using OpenMP. Furthermore, the higher-order modes of complex geometric models, such as Hoogenboom and ATR reactors for λ mode and the MUSE-4 experiment facility for the prompt α mode, were computed using diffusion theory.
基金Supported by Shandong Provincial Natural Science Foundation of China(Grant No.ZR2021MA003)。
文摘This paper focuses on the investigation of a hyperbolic Kirchhoff equation with nonlinear damping and higher-order dissipation terms.Initially,the existence and uniqueness of local weak solutions are rigorously established.Next,within the framework of potential well theory,the classification of solution behaviors,including blow-up and global existence,is systematically analyzed according to the relationships among the exponents of nonlinear source terms.Finally,explicit bounds for the blow-up time and decay estimates for global solutions are presented.
文摘The higher-order Kaup-Newell equation is examined by applying the Fokas unified method on the half-line.We demonstrate that the solution can be expressed in relation to the resolution of the Riemann-Hilbert problem.The jump matrix for this problem is derived from the spectral matrix,which is calculated based on both the initial conditions and the boundary conditions.The jump matrix is explicitly dependent and expressed through the spectral functions,which are derived from the initial and boundary information,respectively.These spectral functions are interdependent and adhere to a so-called global relationship.
文摘In this paper,the exact boundary controllability of the higher-order KdVtype equation on torus is studied.That is,given the initial and final states in the appropriate space,by adding the appropriate control function on the boundary,the solution of the system can transition from the initial state to the specified final value.Firstly,we establish the observability inequality for the higher-order KdV-type equation by Ingham inequality.Then,based on the observability inequality,Hilbert uniqueness method and a integral identity we obtain the exact boundary controllability of the higher-order KdV-type equation.
基金partially supported by the National Natural Science Foundation of China(Grant No.12201417)the Project funded by the China Postdoctoral Science Foundation(Grant No.2023M733173)partially supported by the National Natural Science Foundation of China(Grant No.12375006)。
文摘We are concerned with a Camassa-Holm type equation with higher-order nonlinearity including some integrable peakon models such as the Camassa-Holm equation,the Degasperis-Procesi equation,and the Novikov equation.We show that all the horizontal symmetric waves for this equation must be traveling waves.This extends the previous results for the Camassa-Holm and Novikov equations.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.12304539,12074108,12474151,12347101)the Natural Science Foundation of Chongqing(Grant No.CSTB2022NSCQ-MSX0568)Beijing National Laboratory for Condensed Matter Physics(Grant No.2024BNLCMPKF025)。
文摘In recent years,there has been a surge of interest in higher-order topological phases(HOTPs)across various disciplines within the field of physics.These unique phases are characterized by their ability to harbor topological protected boundary states at lower-dimensional boundaries,a distinguishing feature that sets them apart from conventional topological phases and is attributed to the higher-order bulk-boundary correspondence.Two-dimensional(2D)twisted systems offer an optimal platform for investigating HOTPs,owing to their strong controllability and experimental feasibility.Here,we provide a comprehensive overview of the latest research advancements on HOTPs in 2D twisted multilayer systems.We will mainly review the HOTPs in electronic,magnonic,acoustic,photonic and mechanical twisted systems,and finally provide a perspective of this topic.
基金funded by the Project PNRR M4C2—Innovation Grant DIRECT:Digital twIns foR EmergenCy supporT—CUP F83C22000740001.
文摘Recent engineering applications increasingly adopt smart materials,whose mechanical responses are sensitive to magnetic and electric fields.In this context,new and computationally efficient modeling strategies are essential to predict the multiphysic behavior of advanced structures accurately.Therefore,the manuscript presents a higher-order formulation for the static analysis of laminated anisotropic magneto-electro-elastic doubly-curved shell structures.The fundamental relations account for the full coupling between the electric field,magnetic field,and mechanical elasticity.The configuration variables are expanded along the thickness direction using a generalized formulation based on the Equivalent Layer-Wise approach.Higher-order polynomials are selected,allowing for the assessment of prescribed values of the configuration variables at the top and bottom sides of solids.In addition,an effective strategy is provided for modeling general surface distributions of mechanical pressures and electromagnetic external fluxes.The model is based on a continuum-based formulation which employs an analytical homogenization of the multifield material properties,based on Mori&Tanaka approach,of a magneto-electro-elastic composite material obtained from a piezoelectric and a piezomagnetic phase,with coupled magneto-electro-elastic effects.A semi-analytical Navier solution is applied to the fundamental equations,and an efficient post-processing equilibrium-based procedure is here used,based on the numerical assessment with the Generalized Differential Quadrature(GDQ)method,to recover the response of three-dimensional shells.The formulation is validated through various examples,investigating the multifield response of panels of different curvatures and lamination schemes.An efficient homogenization procedure,based on the Mori&Tanaka approach,is employed to obtain the three-dimensional constitutive relation of magneto-electro-elastic materials.Each model is validated against three-dimensional finite-element simulations,as developed in commercial codes.Furthermore,the full coupling effect between the electric and magnetic response is evaluated via a parametric investigation,with useful insights for design purposes of many engineering applications.The paper,thus,provides a formulation for the magneto-electro-elastic analysis of laminated structures,with a high computational efficiency,since it provides results with three-dimensional capabilities with a two-dimensional formulation.The adoption of higher-order theories,indeed,allows us to efficiently predict not only the mechanical response of the structure as happens in existing literature,but also the through-the-thickness distribution of electric and magnetic variables.A novel higher-order theory has been proposed in this work for the magneto-electro-elastic analysis of laminated shell structures with varying curvatures.This theory employs a generalized method to model the distribution of the displacement field components,electrostatic,and magneto-static potential,accounting for higher-order polynomials.The thickness functions have been defined to prescribe the arbitrary values of configuration variables at the top and bottom surfaces,even though the model is ESL-based.The fundamental governing equations have been derived in curvilinear principal coordinates,considering all coupling effects among different physical phenomena,including piezoelectric,piezomagnetic,and magneto-electric effects.A homogenization algorithm based on a Mori&Tanaka approach has been adopted to obtain the equivalent magneto-electro-mechanical properties of a two-phase transversely isotropic composite.In addition,an effective method has been adopted involving the external loads in terms of surface tractions,as well as the electric and magnetic fluxes.In the post-processing stage,a GDQ-based procedure provides the actual 3D response of a doubly-curved solid.The model has been validated through significant numerical examples,showing that the results of this semi-analytical theory align well with those obtained from 3D numerical models from commercial codes.In particular,the accuracy of the model has been verified for lamination schemes with soft layers and various curvatures under different loading conditions.Moreover,this formulation has been used to predict the effect of combined electric and magnetic loads on the mechanical response of panels with different curvatures and lamination schemes.As a consequence,this theory can be applied in engineering applications where the combined effect of electric and magnetic loads is crucial,thus facilitating their study and design.An existing limitation of this study is that the solution is that it is derived only for structures with uniform curvature,cross-ply lamination scheme,and simply supported boundary conditions.Furthermore,it requires that each lamina within the stacking sequence exhibits magneto-electro-elastic behavior.Therefore,at the present stage,it cannot be used for multifield analysis of classical composite structures with magneto-electric patches.A further enhancement of the research work could be the derivation of a solution employing a numerical technique,to overcome the limitations of the Navier method.In this way,the same theory may be adopted to predict the multifield response of structures with variable curvatures and thickness,as well as anisotropic materials and more complicated boundary conditions.Acknowledgement:The authors are grateful to the Department of Innovation Engineering of Univer-sity of Salento for the support.
基金Project supported by the National Natural Science Foundation of China(Grant No.12271096)the Natural Science Foundation of Fujian Province(Grant No.2021J01302)。
文摘Under investigation is the n-component nonlinear Schrödinger equation with higher-order effects,which describes the ultrashort pulses in the birefringent fiber.Based on the Lax pair,the eigenfunction and generalized Darboux transformation are derived.Next,we construct several novel higher-order localized waves and classified them into three categories:(i)higher-order rogue waves interacting with bright/antidark breathers,(ii)higher-order breather fission/fusion,(iii)higherorder breather interacting with soliton.Moreover,we explore the effects of parameters on the structure,collision process and energy distribution of localized waves and these characteristics are significantly different from previous ones.Finally,the dynamical properties of these solutions are discussed in detail.
文摘Agricultural Products Processing and Storage(ISSN 3059-4510,Owner:Hunan Academy of Agricultural Sciences,China.Production and hosting:Springer Nature)is an international,peer-reviewed open access journal with the aim to offer a platform for the rapid dissemination of signifi cant,novel,and high-impact research in the fi elds of agricultural product processing science,technology,engineering,and nutrition.Additionally,supplemental issues are curated and published to facilitate in-depth discussions on special topics.
基金National Key Research and Development Program of China(2022YFB4600902)Shandong Provincial Science Foundation for Outstanding Young Scholars(ZR2024YQ020)。
文摘Wire arc additive manufacturing(WAAM)has emerged as a promising approach for fabricating large-scale components.However,conventional WAAM still faces challenges in optimizing microstructural evolution,minimizing additive-induced defects,and alleviating residual stress and deformation,all of which are critical for enhancing the mechanical performance of the manufactured parts.Integrating interlayer friction stir processing(FSP)into WAAM significantly enhances the quality of deposited materials.However,numerical simulation research focusing on elucidating the associated thermomechanical coupling mechanisms remains insufficient.A comprehensive numerical model was developed to simulate the thermomechanical coupling behavior in friction stir-assisted WAAM.The influence of post-deposition FSP on the coupled thermomechanical response of the WAAM process was analyzed quantitatively.Moreover,the residual stress distribution and deformation behavior under both single-layer and multilayer deposition conditions were investigated.Thermal analysis of different deposition layers in WAAM and friction stir-assisted WAAM was conducted.Results show that subsequent layer deposition induces partial remelting of the previously solidified layer,whereas FSP does not cause such remelting.Furthermore,thermal stress and deformation analysis confirm that interlayer FSP effectively mitigates residual stresses and distortion in WAAM components,thereby improving their structural integrity and mechanical properties.
文摘The aging process is an inexorable fact throughout our lives and is considered a major factor in develo ping neurological dysfunctions associated with cognitive,emotional,and motor impairments.Aging-associated neurodegenerative diseases are characterized by the progressive loss of neuronal structure and function.
