It is a very common practice to use semi-implicit schemes in various computations,which treat selected linear terms implicitly and the nonlinear terms explicitly.For phase-field equations,the principal elliptic operat...It is a very common practice to use semi-implicit schemes in various computations,which treat selected linear terms implicitly and the nonlinear terms explicitly.For phase-field equations,the principal elliptic operator is treated implicitly to reduce the associated stability constraints while the nonlinear terms are still treated explicitly to avoid the expensive process of solving nonlinear equations at each time step.However,very few recent numerical analysis is relevant to semi-implicit schemes,while”stabilized”schemes have become very popular.In this work,we will consider semiimplicit schemes for the Allen-Cahn equation with general potential function.It will be demonstrated that the maximum principle is valid and the energy stability also holds for the numerical solutions.This paper extends the result of Tang&Yang(J.Comput.Math.,34(5)(2016),pp.471–481),which studies the semi-implicit scheme for the Allen-Cahn equation with polynomial potentials.展开更多
ADER-WAF methods were first introduced by researchers E.F. Toro and V.A. Titarev. The linear stability criterion for the model equation for the ADER-WAF schemes is CCFL≤1, where CCFLdenotes the Courant-Friedrichs-Lew...ADER-WAF methods were first introduced by researchers E.F. Toro and V.A. Titarev. The linear stability criterion for the model equation for the ADER-WAF schemes is CCFL≤1, where CCFLdenotes the Courant-Friedrichs-Lewy (CFL) coefficient. Toro and Titarev employed CCFL=0.95for their experiments. Nonetheless, we noted that the experiments conducted in this study with CCFL=0.95produced solutions exhibiting spurious oscillations, particularly in the high-order ADER-WAF schemes. The homogeneous one-dimensional (1D) non-linear Shallow Water Equations (SWEs) are the subject of these experiments, specifically the solution of the Riemann Problem (RP) associated with the SWEs. The investigation was conducted on four test problems to evaluate the ADER-WAF schemes of second, third, fourth, and fifth order of accuracy. Each test problem constitutes a RP characterized by different wave patterns in its solution. This research has two primary objectives. We begin by illustrating the procedure for implementing the ADER-WAF schemes for the SWEs, providing the required relations. Afterward, following comprehensive testing, we present the range for the CFL coefficient for each test that yields solutions with diminished or eliminated spurious oscillations.展开更多
Reasonable greening design can effectively alleviate campus heat environment issues.This study uses the ENVI-met numerical model,along with in-situ observations and simulations,to analyze the thermal environment under...Reasonable greening design can effectively alleviate campus heat environment issues.This study uses the ENVI-met numerical model,along with in-situ observations and simulations,to analyze the thermal environment under three different greening schemes in typical areas of the Guangzhou University campus.The results indicate that the outdoor thermal environment is significantly influenced by the underlying surface materials and vegetation.The temperature of brick-paved surface is 0.9℃higher than that of natural soil surfaces under tree shade.Numerical simulations further confirm that increasing vegetation coverage effectively reduces outdoor air temperature.When the greening rate increases to 40%,the outdoor average temperature decreases by 0.7℃and relative humidity increases by approximately 4%,while wind speed remains minimal change.The cooling effect of vegetation is found to extend vertically to an altitude of 13 m.As the greening rate increases from 15%to 40%,the Mean Radiant Temperature(MRT)decreases from 50.6℃to 28.9℃,which is lower than the average ambient temperature,indicating improved thermal conditions.The Physiological Equivalent Temperature(PET)decreases from 40.2℃to 30.0℃,with the proportion of the areas classified as″very hot″reducing by 36.8%,significantly improving thermal comfort across most areas.Therefore,changing the ground material and greening landscape design can effectively alter the outdoor wind and thermal environment of the campus,thereby enhancing the thermal comfort for the campus community.展开更多
International carbon tax issues such as carbon leakage and carbon neutralization have become major topics of social concern.Based on the practical experience of carbon tax system in individual countries,this paper int...International carbon tax issues such as carbon leakage and carbon neutralization have become major topics of social concern.Based on the practical experience of carbon tax system in individual countries,this paper integrates the existing research of international carbon tax scholars to the classification and comparative analysis of international carbon tax schemes.Using a literature review approach,this dissertation mainly applies the method of qualitative analysis to explain and compare the contents of four international carbon tax options.Through the analysis and evaluation of individual countries’carbon tax practice,the two-country model is verified.Through the method of comparative analysis,the schemes are evaluated from four dimensions and an assessment is made.The difference of carbon tax among countries makes the internal policies of countries adjust accordingly with the changes of international environment,which promotes the gradual convergence of carbon tax schemes.The results intend to provide reference to further study the issue on international carbon tax.展开更多
Accurately simulating mesoscale convective systems(MCSs)is essential for predicting global precipitation patterns and extreme weather events.Despite the ability of advanced models to reproduce MCS climate statistics,c...Accurately simulating mesoscale convective systems(MCSs)is essential for predicting global precipitation patterns and extreme weather events.Despite the ability of advanced models to reproduce MCS climate statistics,capturing extreme storm cases over complex terrain remains challenging.This study utilizes the Global–Regional Integrated Forecast System(GRIST)with variable resolution to simulate an eastward-propagating MCS event.The impact of three microphysics schemes,including two single-moment schemes(WSM6,Lin)and one double-moment scheme(Morrison),on the model sensitivity of MCS precipitation simulations is investigated.The results demonstrate that while all the schemes capture the spatial distribution and temporal variation of MCS precipitation,the Morrison scheme alleviates overestimated precipitation compared to the Lin and WSM6 schemes.The ascending motion gradually becomes weaker in the Morrison scheme during the MCS movement process.Compared to the runs with convection parameterization,the explicit-convection setup at 3.5-km resolution reduces disparities in atmospheric dynamics due to microphysics sensitivity in terms of vertical motions and horizontal kinetic energy at the high-wavenumber regimes.The explicit-convection setup more accurately captures the propagation of both main and secondary precipitation centers during the MCS development,diminishing the differences in both precipitation intensity and propagation features between the Morrison and two single-moment schemes.These findings underscore the importance of microphysics schemes for global nonhydrostatic modeling at the kilometer scale.The role of explicit convection for reducing model uncertainty is also outlined.展开更多
To effectively select risk control schemes in uncertain environments,this paper has proposed an analysis and evaluation method based on the fuzzy comprehensive evaluation method.Firstly,enterprises have adopted the br...To effectively select risk control schemes in uncertain environments,this paper has proposed an analysis and evaluation method based on the fuzzy comprehensive evaluation method.Firstly,enterprises have adopted the brainstorming method and the Delphi method to identify risks in engineering projects,and organized the identified risks in the form of checklists to facilitate further analysis.Secondly,the fuzzy comprehensive evaluation theory was introduced to determine the comparison matrix of each risk factor and its weight.Furthermore,the top five risk factors in terms of weight ranking were taken as the evaluation factors for the selection of risk control plans.The plans were scored through the weighted scoring method,and the optimal risk control plan was determined based on the score.Finally,the feasibility of the proposed selection technology was verified through A research example of the risk control plan assessment for the construction project of Enterprise A.展开更多
The work presents new methods for selecting adaptive artificial viscosity(AAV)in iterative algorithms of completely conservative difference schemes(CCDS)used to solve gas dynamics equations in Euler variables.These me...The work presents new methods for selecting adaptive artificial viscosity(AAV)in iterative algorithms of completely conservative difference schemes(CCDS)used to solve gas dynamics equations in Euler variables.These methods allow to effectively suppress oscillations,including in velocity profiles,as well as computational instabilities in modeling gas-dynamic processes described by hyperbolic equations.The methods can be applied both in explicit and implicit(method of separate sweeps)iterative processes in numerical modeling of gas dynamics in the presence of heat and mass transfer,as well as in solving problems of magnetohydrodynamics and computational astrophysics.In order to avoid loss of solution accuracy on spatially non-uniform grids,in this work an algorithm of grid embeddings is developed,which is applied near transition points between cells of different sizes.The developed algorithms of CCDS using the methods for AAV selection and the algorithm of grid embeddings are implemented for various iterative processes.Calculations are performed for the classical problem of decay of an arbitrary discontinuity(Sod’s problem)and the problem of propagation of two symmetric rarefaction waves in opposite directions(Einfeldt’s problem).In the case of using different methods for selecting the AAV,a comparison of the solutions of the Sod’s problem on uniform and non-uniform grids and a comparison of the solutions of the Einfeldt’s problem on a uniform grid are performed.As a result of the comparative analysis,the applicability of these methods is shown in the spatially one-dimensional case(explicit and implicit iterative processes).The obtained results are compared with the data from the literature.The results coincide with analytical solutions with high accuracy,where the relative error does not exceed 0.1%,which demonstrates the effectiveness of the developed algorithms and methods.展开更多
As blockchain technology rapidly evolves,smart contracts have seen widespread adoption in financial transactions and beyond.However,the growing prevalence of malicious Ponzi scheme contracts presents serious security ...As blockchain technology rapidly evolves,smart contracts have seen widespread adoption in financial transactions and beyond.However,the growing prevalence of malicious Ponzi scheme contracts presents serious security threats to blockchain ecosystems.Although numerous detection techniques have been proposed,existing methods suffer from significant limitations,such as class imbalance and insufficient modeling of transaction-related semantic features.To address these challenges,this paper proposes an oversampling-based detection framework for Ponzi smart contracts.We enhance the Adaptive Synthetic Sampling(ADASYN)algorithm by incorporating sample proximity to decision boundaries and ensuring realistic sample distributions.This enhancement facilitates the generation of high-quality minority class samples and effectively mitigates class imbalance.In addition,we design a Contract Transaction Graph(CTG)construction algorithm to preserve key transactional semantics through feature extraction from contract code.A graph neural network(GNN)is then applied for classification.This study employs a publicly available dataset from the XBlock platform,consisting of 318 verified Ponzi contracts and 6498 benign contracts.Sourced from real Ethereum deployments,the dataset reflects diverse application scenarios and captures the varied characteristics of Ponzi schemes.Experimental results demonstrate that our approach achieves an accuracy of 96%,a recall of 92%,and an F1-score of 94%in detecting Ponzi contracts,outperforming state-of-the-art methods.展开更多
In acoustic logging-while-drilling （ALWD） finite difference in time domain （FDTD） simulations, large drill collar occupies, most of the fluid-filled borehole and divides the borehole fluid into two thin fluid colu...In acoustic logging-while-drilling （ALWD） finite difference in time domain （FDTD） simulations, large drill collar occupies, most of the fluid-filled borehole and divides the borehole fluid into two thin fluid columns （radius -27 mm）. Fine grids and large computational models are required to model the thin fluid region between the tool and the formation. As a result, small time step and more iterations are needed, which increases the cumulative numerical error. Furthermore, due to high impedance contrast between the drill collar and fluid in the borehole （the difference is 〉30 times）, the stability and efficiency of the perfectly matched layer （PML） scheme is critical to simulate complicated wave modes accurately. In this paper, we compared four different PML implementations in a staggered grid finite difference in time domain （FDTD） in the ALWD simulation, including field-splitting PML （SPML）, multiaxial PML（M- PML）, non-splitting PML （NPML）, and complex frequency-shifted PML （CFS-PML）. The comparison indicated that NPML and CFS-PML can absorb the guided wave reflection from the computational boundaries more efficiently than SPML and M-PML. For large simulation time, SPML, M-PML, and NPML are numerically unstable. However, the stability of M-PML can be improved further to some extent. Based on the analysis, we proposed that the CFS-PML method is used in FDTD to eliminate the numerical instability and to improve the efficiency of absorption in the PML layers for LWD modeling. The optimal values of CFS-PML parameters in the LWD simulation were investigated based on thousands of 3D simulations. For typical LWD cases, the best maximum value of the quadratic damping profile was obtained using one do. The optimal parameter space for the maximum value of the linear frequency-shifted factor （a0） and the scaling factor （β0） depended on the thickness of the PML layer. For typical formations, if the PML thickness is 10 grid points, the global error can be reduced to 〈1% using the optimal PML parameters, and the error will decrease as the PML thickness increases.展开更多
Supersonic axisymmetric jet flow over a missile afterbody containing exhaust jet is simulated using the second order accurate positive schemes method developed for solving the axisymmetric Euler equations based on the...Supersonic axisymmetric jet flow over a missile afterbody containing exhaust jet is simulated using the second order accurate positive schemes method developed for solving the axisymmetric Euler equations based on the 2-D conservation laws.Comparisons between the numerical results and the experimental measurements show excellent agreements.The computed results are in good agreement with the numerical solutions obtained by using third order accurate RKDG finite element method.The results show larger gradient at discontinuous points compared with those obtained by second order accurate TVD schemes.It indicates that the presented method is efficient and reliable for solving the axisymmetric jet with external freestream flows,and shows that the method captures shocks well without numerical noise.展开更多
Tag key encapsulation mechanism （Tag-KEM）/data encapsulation mechanism （DEM） is a hybrid framework proposed in 2005. Tag-t（EM is one of its parts by using public-key encryption （PKE） technique to encapsulate a ...Tag key encapsulation mechanism （Tag-KEM）/data encapsulation mechanism （DEM） is a hybrid framework proposed in 2005. Tag-t（EM is one of its parts by using public-key encryption （PKE） technique to encapsulate a symmetric key. In hybrid encryptions, the long-raessage PKE is not desired due to its slow operation. A general method is presented for constructing Tag-KEM schemes with short-message PKEs. The chosen ciphertext security is proved in the random oracle model. In the method, the treatment of the tag part brings no additional ciphertext redundancy. Among all the methods for constructing Tag-KEM, the method is the first one without any validity checking on the tag part, thus showing that the Tag-KEM/DEM framework is superior to KEM＋DEM one.展开更多
A family of high_order accuracy explicit difference schemes for solving 2_dimension parabolic P.D.E. are constructed. Th e stability condition is r=Δt/Δx 2=Δt/Δy 2【1/2 and the truncation err or is O(Δt 3+Δx...A family of high_order accuracy explicit difference schemes for solving 2_dimension parabolic P.D.E. are constructed. Th e stability condition is r=Δt/Δx 2=Δt/Δy 2【1/2 and the truncation err or is O(Δt 3+Δx 4).展开更多
In this study, we mainly introduce two salinity parameterization schemes used in Sea Ice Simulator （SIS）, that is, isosaline scheme and salinity profile scheme. Comparing the equation of isosaline scheme with that o...In this study, we mainly introduce two salinity parameterization schemes used in Sea Ice Simulator （SIS）, that is, isosaline scheme and salinity profile scheme. Comparing the equation of isosaline scheme with that of salinity profile scheme, we found that there was one different term between the two schemes named the salinity different term. The thermodynamic effect of the salinity difference term on sea ice thickness and sea ice concentration showed that： in the freezing processes from November to next May, the sea ice temperature could rise on the influence of the salinity difference term and restrain sea ice freezing; at the first melting phase from June to August, the upper ice melting rate was faster than the lower ice melting rate. Then sea ice temperature could rise and accelerate the sea ice melting; at the second melting phase from September to October, the upper ice melting rate was slower than the lower ice melting rate, then sea ice temperature could decrease and restrain sea ice melting. However, the effect of the salinity difference term on the sea ice thickness and sea ice concentration was weak. To analyze the impacts of the salinity different term on Arctic sea ice thickness and sea ice concentration, we also designed several experiments by introducing the two salinity parameterizations to the ice-ocean coupled model, Modular Ocean Model （MOM4）, respectively. The simulated results confirmed the previous results of formula derivation.展开更多
A class of high resolution positivity preserving Boltzmann type difference schemes for one and two dimensional Euler equations is studied. First, the relation between Boltzmann and Euler equations is analyzed. By usi...A class of high resolution positivity preserving Boltzmann type difference schemes for one and two dimensional Euler equations is studied. First, the relation between Boltzmann and Euler equations is analyzed. By using a kind of special interpolation, the high resolution Boltzmann type difference scheme is constructed. Finally, numerical tests show that the schemes are effective and useful.展开更多
A parallel embedding overlapped iterative (EOI) algorithm about classicimplicit equations with asymmetric Saul'yev schemes (CIS-EOI) to solve one-dimensional diffusionequations is discussed to improve the properti...A parallel embedding overlapped iterative (EOI) algorithm about classicimplicit equations with asymmetric Saul'yev schemes (CIS-EOI) to solve one-dimensional diffusionequations is discussed to improve the properties of the segment classic implicit iterative (SCII)algorithm. The structure of CIS-EOI method is given and the stability of scheme and convergence ofiteration are proved by matrix method. The property of gradual-approach convergence is alsodiscussed. It has been shown that the convergent rate is faster and the property of gradual-approachconvergence also becomes better with the increasing of the net point in subsystems than with theSCII algorithm. The simulation examples show that the parallel iterative algorithm with a differentinsertion scheme CIS-EOI is more effective.展开更多
The aim of this paper is to give an appropriate numerical method to solve Allen-Cahn equation, with Dirichlet or Neumann boundary condition. The time discretization involves an explicit scheme for the nonlinear part o...The aim of this paper is to give an appropriate numerical method to solve Allen-Cahn equation, with Dirichlet or Neumann boundary condition. The time discretization involves an explicit scheme for the nonlinear part of the operator and an implicit Euler discretization of the linear part. Finite difference schemes are used for the spatial part. This finally leads to the numerical solution of a sparse linear system that can be solved efficiently.展开更多
Sinclair is regarded as the father of semantic prosody study,however,the term "semantic prosody" was proposed by another famous linguist——Louw in 1993.From then on,several linguists proposed the definition...Sinclair is regarded as the father of semantic prosody study,however,the term "semantic prosody" was proposed by another famous linguist——Louw in 1993.From then on,several linguists proposed the definitions for this term and thus the features of semantic prosody become progressively clear.展开更多
The role of dispersions in the numerical solutions of hydrodynamic equation systems has been realized for long time.It is only during the last two decades that extensive studies on the dispersion-controlled dissipativ...The role of dispersions in the numerical solutions of hydrodynamic equation systems has been realized for long time.It is only during the last two decades that extensive studies on the dispersion-controlled dissipative(DCD)schemes were reported.The studies have demonstrated that this kind of the schemes is distinct from conventional dissipation-based schemes in which the dispersion term of the modified equation is not considered in scheme construction to avoid nonphysical oscillation occurring in shock wave simulations.The principle of the dispersion controlled aims at removing nonphysical oscillations by making use of dispersion characteristics instead of adding artificial viscosity to dissipate the oscillation as the conventional schemes do.Research progresses on the dispersion- controlled principles are reviewed in this paper,including the exploration of the role of dispersions in numerical simulations,the development of the dispersion-controlled principles,efforts devoted to high-order dispersion-controlled dissipative schemes,the extension to both the finite volume and the finite element methods,scheme verification and solution validation,and comments on several aspects of the schemes from author's viewpoint.展开更多
By the aid of an idea of the weighted ENO schemes, some weight-type high-resolution difference schemes with different orders of accuracy are presented in this paper by using suitable weights instead of the minmod func...By the aid of an idea of the weighted ENO schemes, some weight-type high-resolution difference schemes with different orders of accuracy are presented in this paper by using suitable weights instead of the minmod functions appearing in various TVD schemes. Numerical comparisons between the weighted schemes and the non-weighted schemes have been done for scalar equation, one-dimensional Euler equations, two-dimensional Navier-Stokes equations and parabolized Navier-Stokes equations.展开更多
Characteristics of the total clear-sky greenhouse effect （GA） and cloud radiative forcings （CRFs）, along with the radiative-related water vapor and cloud properties simulated by the Spectral Atmospheric Model deve...Characteristics of the total clear-sky greenhouse effect （GA） and cloud radiative forcings （CRFs）, along with the radiative-related water vapor and cloud properties simulated by the Spectral Atmospheric Model developed by LASGIAP （SAMIL） are evaluated. Impacts of the convection scheme on the simulation of CRFs are discussed by using two AMIP （Atmospheric Model Inter-comparison Project） type simulations employing different convection schemes： the new Zhang-McFarlane （NZH） and Tiedtke （TDK） convection schemes. It shows that both the climatological GA and its response to El Nio warming are simulated well, both in terms of spatial pattern and magnitude. The impact of the convection scheme on GA is not significant. The climatological longwave CRF （LWCRF） and its response to El Nio warming are simulated well, but with a prominently weaker magnitude. The simulation of the climatology （response） of LWCRF in the NZH （TDK） run is slightly more realistic than in the TDK （NZH） simulation, indicating significant impacts of the convection scheme. The shortwave CRF （SWCRF） shows large biases in both spatial pattern and magnitude, and the results from the TDK run are better than those from the NZH run. A spuriously excessive negative climatological SWCRF over the southeastern Pacific and an insufficient response of SWCRF to El Nio warming over the tropical Pacific are seen in the NZH run. These two biases are alleviated in the TDK run, since it produces vigorous convection, which is related to the low threshold for convection to take place. Also, impacts of the convection scheme on the cloud profile are discussed.展开更多
文摘It is a very common practice to use semi-implicit schemes in various computations,which treat selected linear terms implicitly and the nonlinear terms explicitly.For phase-field equations,the principal elliptic operator is treated implicitly to reduce the associated stability constraints while the nonlinear terms are still treated explicitly to avoid the expensive process of solving nonlinear equations at each time step.However,very few recent numerical analysis is relevant to semi-implicit schemes,while”stabilized”schemes have become very popular.In this work,we will consider semiimplicit schemes for the Allen-Cahn equation with general potential function.It will be demonstrated that the maximum principle is valid and the energy stability also holds for the numerical solutions.This paper extends the result of Tang&Yang(J.Comput.Math.,34(5)(2016),pp.471–481),which studies the semi-implicit scheme for the Allen-Cahn equation with polynomial potentials.
文摘ADER-WAF methods were first introduced by researchers E.F. Toro and V.A. Titarev. The linear stability criterion for the model equation for the ADER-WAF schemes is CCFL≤1, where CCFLdenotes the Courant-Friedrichs-Lewy (CFL) coefficient. Toro and Titarev employed CCFL=0.95for their experiments. Nonetheless, we noted that the experiments conducted in this study with CCFL=0.95produced solutions exhibiting spurious oscillations, particularly in the high-order ADER-WAF schemes. The homogeneous one-dimensional (1D) non-linear Shallow Water Equations (SWEs) are the subject of these experiments, specifically the solution of the Riemann Problem (RP) associated with the SWEs. The investigation was conducted on four test problems to evaluate the ADER-WAF schemes of second, third, fourth, and fifth order of accuracy. Each test problem constitutes a RP characterized by different wave patterns in its solution. This research has two primary objectives. We begin by illustrating the procedure for implementing the ADER-WAF schemes for the SWEs, providing the required relations. Afterward, following comprehensive testing, we present the range for the CFL coefficient for each test that yields solutions with diminished or eliminated spurious oscillations.
基金Science and Technology Research Project of Guang-dong Meteorological Bureau(GRMC2022M21)Guangdong Basic and Applied Basic Research Foundation(2023A1515012240)Research Project of Guangzhou Meteor-ological Bureau(M202218)。
文摘Reasonable greening design can effectively alleviate campus heat environment issues.This study uses the ENVI-met numerical model,along with in-situ observations and simulations,to analyze the thermal environment under three different greening schemes in typical areas of the Guangzhou University campus.The results indicate that the outdoor thermal environment is significantly influenced by the underlying surface materials and vegetation.The temperature of brick-paved surface is 0.9℃higher than that of natural soil surfaces under tree shade.Numerical simulations further confirm that increasing vegetation coverage effectively reduces outdoor air temperature.When the greening rate increases to 40%,the outdoor average temperature decreases by 0.7℃and relative humidity increases by approximately 4%,while wind speed remains minimal change.The cooling effect of vegetation is found to extend vertically to an altitude of 13 m.As the greening rate increases from 15%to 40%,the Mean Radiant Temperature(MRT)decreases from 50.6℃to 28.9℃,which is lower than the average ambient temperature,indicating improved thermal conditions.The Physiological Equivalent Temperature(PET)decreases from 40.2℃to 30.0℃,with the proportion of the areas classified as″very hot″reducing by 36.8%,significantly improving thermal comfort across most areas.Therefore,changing the ground material and greening landscape design can effectively alter the outdoor wind and thermal environment of the campus,thereby enhancing the thermal comfort for the campus community.
文摘International carbon tax issues such as carbon leakage and carbon neutralization have become major topics of social concern.Based on the practical experience of carbon tax system in individual countries,this paper integrates the existing research of international carbon tax scholars to the classification and comparative analysis of international carbon tax schemes.Using a literature review approach,this dissertation mainly applies the method of qualitative analysis to explain and compare the contents of four international carbon tax options.Through the analysis and evaluation of individual countries’carbon tax practice,the two-country model is verified.Through the method of comparative analysis,the schemes are evaluated from four dimensions and an assessment is made.The difference of carbon tax among countries makes the internal policies of countries adjust accordingly with the changes of international environment,which promotes the gradual convergence of carbon tax schemes.The results intend to provide reference to further study the issue on international carbon tax.
基金supported by the National Natural Science Foundation of China(Grant No.42305169)the Basic Research Fund of CAMS(Grant No.2023Y001)the National Key Scientific and Technological Infrastructure project“Earth System Numerical Simulation Facility”(Earth Lab)。
文摘Accurately simulating mesoscale convective systems(MCSs)is essential for predicting global precipitation patterns and extreme weather events.Despite the ability of advanced models to reproduce MCS climate statistics,capturing extreme storm cases over complex terrain remains challenging.This study utilizes the Global–Regional Integrated Forecast System(GRIST)with variable resolution to simulate an eastward-propagating MCS event.The impact of three microphysics schemes,including two single-moment schemes(WSM6,Lin)and one double-moment scheme(Morrison),on the model sensitivity of MCS precipitation simulations is investigated.The results demonstrate that while all the schemes capture the spatial distribution and temporal variation of MCS precipitation,the Morrison scheme alleviates overestimated precipitation compared to the Lin and WSM6 schemes.The ascending motion gradually becomes weaker in the Morrison scheme during the MCS movement process.Compared to the runs with convection parameterization,the explicit-convection setup at 3.5-km resolution reduces disparities in atmospheric dynamics due to microphysics sensitivity in terms of vertical motions and horizontal kinetic energy at the high-wavenumber regimes.The explicit-convection setup more accurately captures the propagation of both main and secondary precipitation centers during the MCS development,diminishing the differences in both precipitation intensity and propagation features between the Morrison and two single-moment schemes.These findings underscore the importance of microphysics schemes for global nonhydrostatic modeling at the kilometer scale.The role of explicit convection for reducing model uncertainty is also outlined.
文摘To effectively select risk control schemes in uncertain environments,this paper has proposed an analysis and evaluation method based on the fuzzy comprehensive evaluation method.Firstly,enterprises have adopted the brainstorming method and the Delphi method to identify risks in engineering projects,and organized the identified risks in the form of checklists to facilitate further analysis.Secondly,the fuzzy comprehensive evaluation theory was introduced to determine the comparison matrix of each risk factor and its weight.Furthermore,the top five risk factors in terms of weight ranking were taken as the evaluation factors for the selection of risk control plans.The plans were scored through the weighted scoring method,and the optimal risk control plan was determined based on the score.Finally,the feasibility of the proposed selection technology was verified through A research example of the risk control plan assessment for the construction project of Enterprise A.
基金carried out within the framework of the state assignment of KIAM RAS(No.125020701776-0).
文摘The work presents new methods for selecting adaptive artificial viscosity(AAV)in iterative algorithms of completely conservative difference schemes(CCDS)used to solve gas dynamics equations in Euler variables.These methods allow to effectively suppress oscillations,including in velocity profiles,as well as computational instabilities in modeling gas-dynamic processes described by hyperbolic equations.The methods can be applied both in explicit and implicit(method of separate sweeps)iterative processes in numerical modeling of gas dynamics in the presence of heat and mass transfer,as well as in solving problems of magnetohydrodynamics and computational astrophysics.In order to avoid loss of solution accuracy on spatially non-uniform grids,in this work an algorithm of grid embeddings is developed,which is applied near transition points between cells of different sizes.The developed algorithms of CCDS using the methods for AAV selection and the algorithm of grid embeddings are implemented for various iterative processes.Calculations are performed for the classical problem of decay of an arbitrary discontinuity(Sod’s problem)and the problem of propagation of two symmetric rarefaction waves in opposite directions(Einfeldt’s problem).In the case of using different methods for selecting the AAV,a comparison of the solutions of the Sod’s problem on uniform and non-uniform grids and a comparison of the solutions of the Einfeldt’s problem on a uniform grid are performed.As a result of the comparative analysis,the applicability of these methods is shown in the spatially one-dimensional case(explicit and implicit iterative processes).The obtained results are compared with the data from the literature.The results coincide with analytical solutions with high accuracy,where the relative error does not exceed 0.1%,which demonstrates the effectiveness of the developed algorithms and methods.
基金supported by the Key Project of Joint Fund of the National Natural Science Foundation of China“Research on Key Technologies and Demonstration Applications for Trusted and Secure Data Circulation and Trading”(U24A20241)the National Natural Science Foundation of China“Research on Trusted Theories and Key Technologies of Data Security Trading Based on Blockchain”(62202118)+4 种基金the Major Scientific and Technological Special Project of Guizhou Province([2024]014)Scientific and Technological Research Projects from the Guizhou Education Department(Qian jiao ji[2023]003)the Hundred-Level Innovative Talent Project of the Guizhou Provincial Science and Technology Department(Qiankehe Platform Talent-GCC[2023]018)the Major Project of Guizhou Province“Research and Application of Key Technologies for Trusted Large Models Oriented to Public Big Data”(Qiankehe Major Project[2024]003)the Guizhou Province Computational Power Network Security Protection Science and Technology Innovation Talent Team(Qiankehe Talent CXTD[2025]029).
文摘As blockchain technology rapidly evolves,smart contracts have seen widespread adoption in financial transactions and beyond.However,the growing prevalence of malicious Ponzi scheme contracts presents serious security threats to blockchain ecosystems.Although numerous detection techniques have been proposed,existing methods suffer from significant limitations,such as class imbalance and insufficient modeling of transaction-related semantic features.To address these challenges,this paper proposes an oversampling-based detection framework for Ponzi smart contracts.We enhance the Adaptive Synthetic Sampling(ADASYN)algorithm by incorporating sample proximity to decision boundaries and ensuring realistic sample distributions.This enhancement facilitates the generation of high-quality minority class samples and effectively mitigates class imbalance.In addition,we design a Contract Transaction Graph(CTG)construction algorithm to preserve key transactional semantics through feature extraction from contract code.A graph neural network(GNN)is then applied for classification.This study employs a publicly available dataset from the XBlock platform,consisting of 318 verified Ponzi contracts and 6498 benign contracts.Sourced from real Ethereum deployments,the dataset reflects diverse application scenarios and captures the varied characteristics of Ponzi schemes.Experimental results demonstrate that our approach achieves an accuracy of 96%,a recall of 92%,and an F1-score of 94%in detecting Ponzi contracts,outperforming state-of-the-art methods.
基金supported by NSFC(No.41174118)one of the major state S&T special projects(No.2008ZX05020-004)+1 种基金a Postdoctoral Fellowship of China(No.2013M530106)China Scholarship Council(No.2010644006)
文摘In acoustic logging-while-drilling （ALWD） finite difference in time domain （FDTD） simulations, large drill collar occupies, most of the fluid-filled borehole and divides the borehole fluid into two thin fluid columns （radius -27 mm）. Fine grids and large computational models are required to model the thin fluid region between the tool and the formation. As a result, small time step and more iterations are needed, which increases the cumulative numerical error. Furthermore, due to high impedance contrast between the drill collar and fluid in the borehole （the difference is 〉30 times）, the stability and efficiency of the perfectly matched layer （PML） scheme is critical to simulate complicated wave modes accurately. In this paper, we compared four different PML implementations in a staggered grid finite difference in time domain （FDTD） in the ALWD simulation, including field-splitting PML （SPML）, multiaxial PML（M- PML）, non-splitting PML （NPML）, and complex frequency-shifted PML （CFS-PML）. The comparison indicated that NPML and CFS-PML can absorb the guided wave reflection from the computational boundaries more efficiently than SPML and M-PML. For large simulation time, SPML, M-PML, and NPML are numerically unstable. However, the stability of M-PML can be improved further to some extent. Based on the analysis, we proposed that the CFS-PML method is used in FDTD to eliminate the numerical instability and to improve the efficiency of absorption in the PML layers for LWD modeling. The optimal values of CFS-PML parameters in the LWD simulation were investigated based on thousands of 3D simulations. For typical LWD cases, the best maximum value of the quadratic damping profile was obtained using one do. The optimal parameter space for the maximum value of the linear frequency-shifted factor （a0） and the scaling factor （β0） depended on the thickness of the PML layer. For typical formations, if the PML thickness is 10 grid points, the global error can be reduced to 〈1% using the optimal PML parameters, and the error will decrease as the PML thickness increases.
基金Supported by the National Natural Defense Basic Scientific Research Program of China(A262006-1288)the Key Disciplines Program of Shanghai Municipal Commission of Education(J50501)~~
文摘Supersonic axisymmetric jet flow over a missile afterbody containing exhaust jet is simulated using the second order accurate positive schemes method developed for solving the axisymmetric Euler equations based on the 2-D conservation laws.Comparisons between the numerical results and the experimental measurements show excellent agreements.The computed results are in good agreement with the numerical solutions obtained by using third order accurate RKDG finite element method.The results show larger gradient at discontinuous points compared with those obtained by second order accurate TVD schemes.It indicates that the presented method is efficient and reliable for solving the axisymmetric jet with external freestream flows,and shows that the method captures shocks well without numerical noise.
基金Supported by the National Natural Science Foundation of China(60603010,60970120)~~
文摘Tag key encapsulation mechanism （Tag-KEM）/data encapsulation mechanism （DEM） is a hybrid framework proposed in 2005. Tag-t（EM is one of its parts by using public-key encryption （PKE） technique to encapsulate a symmetric key. In hybrid encryptions, the long-raessage PKE is not desired due to its slow operation. A general method is presented for constructing Tag-KEM schemes with short-message PKEs. The chosen ciphertext security is proved in the random oracle model. In the method, the treatment of the tag part brings no additional ciphertext redundancy. Among all the methods for constructing Tag-KEM, the method is the first one without any validity checking on the tag part, thus showing that the Tag-KEM/DEM framework is superior to KEM＋DEM one.
文摘A family of high_order accuracy explicit difference schemes for solving 2_dimension parabolic P.D.E. are constructed. Th e stability condition is r=Δt/Δx 2=Δt/Δy 2【1/2 and the truncation err or is O(Δt 3+Δx 4).
基金supported by the National Natural Science Foundation of China(No.41075030,41106004,41106159 and 41206013)the Ocean Public Welfare Science Research Project,State Oceanic Administration,People's Republic of China(No.201005019)
文摘In this study, we mainly introduce two salinity parameterization schemes used in Sea Ice Simulator （SIS）, that is, isosaline scheme and salinity profile scheme. Comparing the equation of isosaline scheme with that of salinity profile scheme, we found that there was one different term between the two schemes named the salinity different term. The thermodynamic effect of the salinity difference term on sea ice thickness and sea ice concentration showed that： in the freezing processes from November to next May, the sea ice temperature could rise on the influence of the salinity difference term and restrain sea ice freezing; at the first melting phase from June to August, the upper ice melting rate was faster than the lower ice melting rate. Then sea ice temperature could rise and accelerate the sea ice melting; at the second melting phase from September to October, the upper ice melting rate was slower than the lower ice melting rate, then sea ice temperature could decrease and restrain sea ice melting. However, the effect of the salinity difference term on the sea ice thickness and sea ice concentration was weak. To analyze the impacts of the salinity different term on Arctic sea ice thickness and sea ice concentration, we also designed several experiments by introducing the two salinity parameterizations to the ice-ocean coupled model, Modular Ocean Model （MOM4）, respectively. The simulated results confirmed the previous results of formula derivation.
文摘A class of high resolution positivity preserving Boltzmann type difference schemes for one and two dimensional Euler equations is studied. First, the relation between Boltzmann and Euler equations is analyzed. By using a kind of special interpolation, the high resolution Boltzmann type difference scheme is constructed. Finally, numerical tests show that the schemes are effective and useful.
文摘A parallel embedding overlapped iterative (EOI) algorithm about classicimplicit equations with asymmetric Saul'yev schemes (CIS-EOI) to solve one-dimensional diffusionequations is discussed to improve the properties of the segment classic implicit iterative (SCII)algorithm. The structure of CIS-EOI method is given and the stability of scheme and convergence ofiteration are proved by matrix method. The property of gradual-approach convergence is alsodiscussed. It has been shown that the convergent rate is faster and the property of gradual-approachconvergence also becomes better with the increasing of the net point in subsystems than with theSCII algorithm. The simulation examples show that the parallel iterative algorithm with a differentinsertion scheme CIS-EOI is more effective.
文摘The aim of this paper is to give an appropriate numerical method to solve Allen-Cahn equation, with Dirichlet or Neumann boundary condition. The time discretization involves an explicit scheme for the nonlinear part of the operator and an implicit Euler discretization of the linear part. Finite difference schemes are used for the spatial part. This finally leads to the numerical solution of a sparse linear system that can be solved efficiently.
文摘Sinclair is regarded as the father of semantic prosody study,however,the term "semantic prosody" was proposed by another famous linguist——Louw in 1993.From then on,several linguists proposed the definitions for this term and thus the features of semantic prosody become progressively clear.
基金The project supported by the National Natural Science Foundation of China(90205027)
文摘The role of dispersions in the numerical solutions of hydrodynamic equation systems has been realized for long time.It is only during the last two decades that extensive studies on the dispersion-controlled dissipative(DCD)schemes were reported.The studies have demonstrated that this kind of the schemes is distinct from conventional dissipation-based schemes in which the dispersion term of the modified equation is not considered in scheme construction to avoid nonphysical oscillation occurring in shock wave simulations.The principle of the dispersion controlled aims at removing nonphysical oscillations by making use of dispersion characteristics instead of adding artificial viscosity to dissipate the oscillation as the conventional schemes do.Research progresses on the dispersion- controlled principles are reviewed in this paper,including the exploration of the role of dispersions in numerical simulations,the development of the dispersion-controlled principles,efforts devoted to high-order dispersion-controlled dissipative schemes,the extension to both the finite volume and the finite element methods,scheme verification and solution validation,and comments on several aspects of the schemes from author's viewpoint.
基金The project supported by the National Natural Science Foundation of China (19582007) Partly by State Key Laboratory of Scientific/Engineering Computing
文摘By the aid of an idea of the weighted ENO schemes, some weight-type high-resolution difference schemes with different orders of accuracy are presented in this paper by using suitable weights instead of the minmod functions appearing in various TVD schemes. Numerical comparisons between the weighted schemes and the non-weighted schemes have been done for scalar equation, one-dimensional Euler equations, two-dimensional Navier-Stokes equations and parabolized Navier-Stokes equations.
基金supported jointly by the National Natural Science Foundation of China (Grant Nos 40890054 and 40821092)the National Basic Research Program of China (Grant No 2010CB951904)National Key Technologies R&D Program (Grant No 2007BAC29B03)
文摘Characteristics of the total clear-sky greenhouse effect （GA） and cloud radiative forcings （CRFs）, along with the radiative-related water vapor and cloud properties simulated by the Spectral Atmospheric Model developed by LASGIAP （SAMIL） are evaluated. Impacts of the convection scheme on the simulation of CRFs are discussed by using two AMIP （Atmospheric Model Inter-comparison Project） type simulations employing different convection schemes： the new Zhang-McFarlane （NZH） and Tiedtke （TDK） convection schemes. It shows that both the climatological GA and its response to El Nio warming are simulated well, both in terms of spatial pattern and magnitude. The impact of the convection scheme on GA is not significant. The climatological longwave CRF （LWCRF） and its response to El Nio warming are simulated well, but with a prominently weaker magnitude. The simulation of the climatology （response） of LWCRF in the NZH （TDK） run is slightly more realistic than in the TDK （NZH） simulation, indicating significant impacts of the convection scheme. The shortwave CRF （SWCRF） shows large biases in both spatial pattern and magnitude, and the results from the TDK run are better than those from the NZH run. A spuriously excessive negative climatological SWCRF over the southeastern Pacific and an insufficient response of SWCRF to El Nio warming over the tropical Pacific are seen in the NZH run. These two biases are alleviated in the TDK run, since it produces vigorous convection, which is related to the low threshold for convection to take place. Also, impacts of the convection scheme on the cloud profile are discussed.
