In this paper,we establish some strong laws of large numbers,which are for nonindependent random variables under the framework of sublinear expectations.One of our main results is for blockwise m-dependent random vari...In this paper,we establish some strong laws of large numbers,which are for nonindependent random variables under the framework of sublinear expectations.One of our main results is for blockwise m-dependent random variables,and another is for sub-orthogonal random variables.Both extend the strong law of large numbers for independent random variables under sublinear expectations to the non-independent case.展开更多
Aqueous zinc-ion batteries(AZIBs) are regarded as one of the most promising energy conversion and storage devices.Nevertheless,side reactions and dendrite growth on the zinc metal anode hinder their widespread applica...Aqueous zinc-ion batteries(AZIBs) are regarded as one of the most promising energy conversion and storage devices.Nevertheless,side reactions and dendrite growth on the zinc metal anode hinder their widespread application.In this study,hemin was employed as a multi-functional artificial interface for the first time to inhibit the disordered growth of zinc dendrites and mitigate side reactions.Theoretical calculations indicate that hemin is preferentially adsorbed onto the zinc anode,thus blocking the interaction between the active zinc anode and electrolyte.Compared with zinc foil,the Hemin@Zn anode demonstrates enhanced corrosion resistance,a decrease in hydrogen evolution,and more orderly deposition of zinc.As expected,the symmetric cell with Hemin@Zn anode can sustain up to 4000 h at 0.2 mA/cm^(2),0.2 mAh/cm^(2).Asymmetric Zn//Cu cells exhibit an average coulombic efficiency exceeding 99.72 % during 500 cycles.Moreover,the full cell Hemin@Zn//NH_(4)V_(4)O_(10) delivers a superior capacity up to 367 m Ah/g and the discharge capacity retention reaches 124 mAh/g after 1200 cycles even at a current density of 5 A/g.This work provides a simple and effective method for constructing a robust artificial interface to promote the application of long-life AZIBs.展开更多
This paper is concerned with an initial boundary value problem for the planar magnetohydrodynamic compressible flow with temperature dependent heat conductivity in a half-line.In particular,the transverse magnetic fie...This paper is concerned with an initial boundary value problem for the planar magnetohydrodynamic compressible flow with temperature dependent heat conductivity in a half-line.In particular,the transverse magnetic field is assumed to satisfy the Neumann boundary condition,which was first investigated by Kazhikhov in 1987.We establish the global existence of the unique strong solutions to the MHD equations without any smallness conditions on the initial data.More precisely,our result can be regarded as a natural generalization of Kazhikov’s result for applying the constant heat-conductivity in bounded domains to the degenerate case in unbounded domains.展开更多
In multi-orbital systems,the correlation strength is typically attributed to Coulomb interactions and Hund's couplings.However,this study demonstrates that on-site inter-orbital hybridization can also significant ...In multi-orbital systems,the correlation strength is typically attributed to Coulomb interactions and Hund's couplings.However,this study demonstrates that on-site inter-orbital hybridization can also significant influence the correlation strength of the system.We investigate the impact of on-site inter-orbital hybridization on the correlation strength of a two-orbital Hubbard model on a square lattice using the dynamical mean-field theory combined with Lanczos exact diagonalization.Our findings reveal a distinct Janus effect:on-site inter-orbital hybridization enhances correlation strength in the non-half-filled regime while suppresses it at half-filling.This dual role of on-site inter-orbital hybridization provides a fundamental mechanism for tuning the strength of correlations in multi-orbital systems.展开更多
Surface acoustic wave(SAW)resonators offer distinct advantages for coupling to semiconductor qubits,including low loss,high stability,and compatibility with magnetic fields.However,the integration of SAW resonators wi...Surface acoustic wave(SAW)resonators offer distinct advantages for coupling to semiconductor qubits,including low loss,high stability,and compatibility with magnetic fields.However,the integration of SAW resonators with double quantum dots(DQDs)that host charge and spin qubits remains largely unexplored.In this work,we propose a flip-chip architecture that enables three-dimensional integration of a semiconductor DQD with a SAW resonator.Taking experimental feasibility into account,we estimate the coupling strength between a DQD and a SAW resonator.The results suggest that the strong coupling regime can be reached in our design.This study provides theoretical insight and practical guidance for experimental exploration of phonon–electron coupling in hybrid SAW-DQD quantum systems.展开更多
The damage evolution of polycrystalline Al with helium(He)bubbles under strongly decaying shock waves is studied by molecular dynamics simulations.A new damage region is observed near the loading side of the sample,an...The damage evolution of polycrystalline Al with helium(He)bubbles under strongly decaying shock waves is studied by molecular dynamics simulations.A new damage region is observed near the loading side of the sample,and the evolution characteristics and underlying mechanisms are elucidated.The development of damage in the new damage region begins after complete unloading of the incident shock wave and is further enhanced when the tensile stress arrives later.The damage evolution is completely controlled by the expansion-merging of He bubbles,without nucleation–growth of voids.This new damage region can be divided into two sections,each of which exhibits a unique dominant mechanism.The damage in the section closer to the loading side is due to the reverse velocity gradient formed after complete unloading of the incident shock wave,depending on the rate of decrease and the amplitude of the initial peak pressure.A high initial peak pressure that can lead to melting of material near the loading side is a necessary condition for the formation of the new damage region,since a significant reverse velocity gradient can only be established if melting occurs.The dominant mechanism in the section distant from the loading side is the action of tensile stress,associated with the profile of the incident shock wave upon reaching the free surface,which determines the material phase near the free surface.Moreover,the presence of He bubbles is another critical factor for formation of the new damage region,which does not occur in pure Al samples.展开更多
The problem of strong uniqueness of best approximation from an RS set in a Banach space is considered. For a fixed RS set G and an element x∈X , we proved that the best approximation g * to x from ...The problem of strong uniqueness of best approximation from an RS set in a Banach space is considered. For a fixed RS set G and an element x∈X , we proved that the best approximation g * to x from G is strongly unique.展开更多
Let {Xt,t ≥ 1} be a moving average process defined by Xt = ∑^∞ k=0 αkξt-k, where {αk,k ≥ 0} is a sequence of real numbers and {ξt,-∞ 〈 t 〈 ∞} is a doubly infinite sequence of strictly stationary dependen...Let {Xt,t ≥ 1} be a moving average process defined by Xt = ∑^∞ k=0 αkξt-k, where {αk,k ≥ 0} is a sequence of real numbers and {ξt,-∞ 〈 t 〈 ∞} is a doubly infinite sequence of strictly stationary dependent random variables. Under the conditions of {αk, k ≥ 0} which entail that {Xt, t ≥ 1} is either a long memory process or a linear process, the strong approximation of {Xt, t ≥ 1} to a Gaussian process is studied. Finally, the results are applied to obtain the strong approximation of a long memory process to a fractional Brownian motion and the laws of the iterated logarithm for moving average processes.展开更多
An intrinsic extension of Pad′e approximation method, called the generalized Pad′e approximation method, is proposed based on the classic Pad′e approximation theorem. According to the proposed method, the numerator...An intrinsic extension of Pad′e approximation method, called the generalized Pad′e approximation method, is proposed based on the classic Pad′e approximation theorem. According to the proposed method, the numerator and denominator of Pad′e approximant are extended from polynomial functions to a series composed of any kind of function, which means that the generalized Pad′e approximant is not limited to some forms, but can be constructed in different forms in solving different problems. Thus, many existing modifications of Pad′e approximation method can be considered to be the special cases of the proposed method. For solving homoclinic and heteroclinic orbits of strongly nonlinear autonomous oscillators, two novel kinds of generalized Pad′e approximants are constructed. Then, some examples are given to show the validity of the present method. To show the accuracy of the method, all solutions obtained in this paper are compared with those of the Runge–Kutta method.展开更多
We will study the strong approximation by Fourier-Vilenkin series using matrices with some general monotone condition. The strong Vallee-Poussin, which means of Fourier-Vilenkin series are also investigated.
The rate of uniform strong approzimation of Marcinkiewicz type for multivariable continuous functions is obtained in this paper as follows：‖1/k＋1 ^k∑j=0 ｜Sj（f）-f｜^q‖≤C/k＋1^k∑j=0 Ej^q（f）,where Sj（f） den...The rate of uniform strong approzimation of Marcinkiewicz type for multivariable continuous functions is obtained in this paper as follows：‖1/k＋1 ^k∑j=0 ｜Sj（f）-f｜^q‖≤C/k＋1^k∑j=0 Ej^q（f）,where Sj（f） denotes the square partial Fourier sum off and Ej（f） denotes the square best approximation of f by trigonometric polynomials of degree（j,j,…,j）,j=0,1,2.…展开更多
In this article,we study multivariate approximation defined over weighted anisotropic Sobolev spaces which depend on two sequences a={a j}j≥1 and b={b j}j≥1 of positive numbers.We obtain strong equivalences of the a...In this article,we study multivariate approximation defined over weighted anisotropic Sobolev spaces which depend on two sequences a={a j}j≥1 and b={b j}j≥1 of positive numbers.We obtain strong equivalences of the approximation numbers,and necessary and sufficient conditions on a,b to achieve various notions of tractability of the weighted anisotropic Sobolev embeddings.展开更多
In the original publication the third author name is published incorrectly as“Hayatdavoodi Masoud”.The correct author name should be read as“Masoud Hayatdavoodi”.The correct author name is available in this correc...In the original publication the third author name is published incorrectly as“Hayatdavoodi Masoud”.The correct author name should be read as“Masoud Hayatdavoodi”.The correct author name is available in this correction.展开更多
With an inequality and some analysis techniques,iterative approximation of fixed points for uniformly continuous and strongly pseudocontractive mappings in smooth Banach spaces is studied,and the recent corresponding ...With an inequality and some analysis techniques,iterative approximation of fixed points for uniformly continuous and strongly pseudocontractive mappings in smooth Banach spaces is studied,and the recent corresponding results of Chidume are improved.展开更多
Lithium-ion batteries(LIBs)face significant limitations in low-temperature environments,with the slow interfacial de-solvation process and the hindered Li+transport through the interphase layer emerging as key obstacl...Lithium-ion batteries(LIBs)face significant limitations in low-temperature environments,with the slow interfacial de-solvation process and the hindered Li+transport through the interphase layer emerging as key obstacles beyond the issue of ionic conductivity.This investigation unveils a novel formulation that constructs an anion-rich solvation sheath within strong solvents,effectively addressing all three of these challenges to bolster low-temperature performance.The developed electrolyte,characterized by an enhanced concentration of contact ion pairs(CIPs)and aggregates(AGGs),facilitates the formation of an inorganic-rich interphase layer on the anode and cathode particles.This promotes de-solvation at low temperatures and stabilizes the electrode-electrolyte interphase.Full cells composed of LiNi_(0.6)Co_(0.2)Mn_(0.2)O_(2)(NCM622)and graphite,when equipped with this electrolyte,showcase remarkable cycle stability and capacity retention,with 93.3% retention after 500 cycles at room temperature(RT)and 95.5%after 120 cycles at -20℃.This study validates the utility of the anion-rich solvation sheath in strong solvents as a strategy for the development of low-temperature electrolytes.展开更多
A new concept of generalized set-valued strongly accretive mappings in Banach spaces was given and some strong convergence theorems of Ishikawa and Mann iterative process with errors approximation methods by Huang et ...A new concept of generalized set-valued strongly accretive mappings in Banach spaces was given and some strong convergence theorems of Ishikawa and Mann iterative process with errors approximation methods by Huang et al. was proved. The results presented in this paper improve and extend the earlier results obtained by Huang et al.展开更多
This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-sta...This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.展开更多
The seismic data of the Laoshan Uplift in the South Yellow Sea Basin reveal a low signal-tonoise ratio and low refl ection signal energy in the deep Mesozoic–Paleozoic strata.The main reason is that the Mesozoic-Pale...The seismic data of the Laoshan Uplift in the South Yellow Sea Basin reveal a low signal-tonoise ratio and low refl ection signal energy in the deep Mesozoic–Paleozoic strata.The main reason is that the Mesozoic-Paleozoic marine carbonate rock strata are directly covered by the Cenozoic terrestrial clastic rock strata,which form a strong shielding layer.To obtain the reflection signals of the strata below the strong shielding layer,a one-way wave equation bidirectional illumination analysis of the main observation system parameters was conducted by analyzing the mechanism of the strong shielding layer.Low-frequency seismic sources are assumed to have a high illumination intensity on the reflection layer below the strong shielding layer.Accordingly,optimized acquisition parameter suggestions were proposed,and reacquisition was performed at the existing survey line locations in the Laoshan Uplift area.The imaging of the newly acquired data in the middle and deep layers was drastically improved.It revealed the unconformity between the Sinian and Cambrian under the strong shielding layer.The study yielded new insights into the tectonic and sedimentary evolution of the Lower Paleozoic in the South Yellow Sea.展开更多
文摘In this paper,we establish some strong laws of large numbers,which are for nonindependent random variables under the framework of sublinear expectations.One of our main results is for blockwise m-dependent random variables,and another is for sub-orthogonal random variables.Both extend the strong law of large numbers for independent random variables under sublinear expectations to the non-independent case.
基金financially supported by the National Natural Science Foundation of China (No.52372188)Natural Science Foundation of Henan (Nos.242300421625,252300421333)+4 种基金CAS Henan Industrial Technology Innovation & Incubation Center (No.2024121)Key Scientific Research Project of Education Department of Henan Province (Nos.22A150042,23A150038,and 24A150019)2023 Introduction of studying abroad talent programthe China Postdoctoral Science Foundation (No.2019 M652546)Key Project of Science and Technology of Henan Province (No.252102240007)。
文摘Aqueous zinc-ion batteries(AZIBs) are regarded as one of the most promising energy conversion and storage devices.Nevertheless,side reactions and dendrite growth on the zinc metal anode hinder their widespread application.In this study,hemin was employed as a multi-functional artificial interface for the first time to inhibit the disordered growth of zinc dendrites and mitigate side reactions.Theoretical calculations indicate that hemin is preferentially adsorbed onto the zinc anode,thus blocking the interaction between the active zinc anode and electrolyte.Compared with zinc foil,the Hemin@Zn anode demonstrates enhanced corrosion resistance,a decrease in hydrogen evolution,and more orderly deposition of zinc.As expected,the symmetric cell with Hemin@Zn anode can sustain up to 4000 h at 0.2 mA/cm^(2),0.2 mAh/cm^(2).Asymmetric Zn//Cu cells exhibit an average coulombic efficiency exceeding 99.72 % during 500 cycles.Moreover,the full cell Hemin@Zn//NH_(4)V_(4)O_(10) delivers a superior capacity up to 367 m Ah/g and the discharge capacity retention reaches 124 mAh/g after 1200 cycles even at a current density of 5 A/g.This work provides a simple and effective method for constructing a robust artificial interface to promote the application of long-life AZIBs.
基金supported by the National Natural Science Foundation of China(12401279,12371219)the Academic and Technical Leaders Training Plan of Jiangxi Province(20212BCJ23027).
文摘This paper is concerned with an initial boundary value problem for the planar magnetohydrodynamic compressible flow with temperature dependent heat conductivity in a half-line.In particular,the transverse magnetic field is assumed to satisfy the Neumann boundary condition,which was first investigated by Kazhikhov in 1987.We establish the global existence of the unique strong solutions to the MHD equations without any smallness conditions on the initial data.More precisely,our result can be regarded as a natural generalization of Kazhikov’s result for applying the constant heat-conductivity in bounded domains to the degenerate case in unbounded domains.
基金Project supported by the National Natural Science Foundation of China(Grant No.12174327)the Natural Science Foundation of Shandong Province,China(Grant No.ZR2023ZD09)。
文摘In multi-orbital systems,the correlation strength is typically attributed to Coulomb interactions and Hund's couplings.However,this study demonstrates that on-site inter-orbital hybridization can also significant influence the correlation strength of the system.We investigate the impact of on-site inter-orbital hybridization on the correlation strength of a two-orbital Hubbard model on a square lattice using the dynamical mean-field theory combined with Lanczos exact diagonalization.Our findings reveal a distinct Janus effect:on-site inter-orbital hybridization enhances correlation strength in the non-half-filled regime while suppresses it at half-filling.This dual role of on-site inter-orbital hybridization provides a fundamental mechanism for tuning the strength of correlations in multi-orbital systems.
基金supported by the National Natural Science Foundation of China(Grant Nos.12274401,12274397,12034018)the National Key Research and Development Program of China(Grant No.2022YFA1405900)the Natural Science Foundation of Jiangsu Province(Grant No.BK20240123)。
文摘Surface acoustic wave(SAW)resonators offer distinct advantages for coupling to semiconductor qubits,including low loss,high stability,and compatibility with magnetic fields.However,the integration of SAW resonators with double quantum dots(DQDs)that host charge and spin qubits remains largely unexplored.In this work,we propose a flip-chip architecture that enables three-dimensional integration of a semiconductor DQD with a SAW resonator.Taking experimental feasibility into account,we estimate the coupling strength between a DQD and a SAW resonator.The results suggest that the strong coupling regime can be reached in our design.This study provides theoretical insight and practical guidance for experimental exploration of phonon–electron coupling in hybrid SAW-DQD quantum systems.
基金supported by the National Natural Science Foundation of China(Grant No.12172063).
文摘The damage evolution of polycrystalline Al with helium(He)bubbles under strongly decaying shock waves is studied by molecular dynamics simulations.A new damage region is observed near the loading side of the sample,and the evolution characteristics and underlying mechanisms are elucidated.The development of damage in the new damage region begins after complete unloading of the incident shock wave and is further enhanced when the tensile stress arrives later.The damage evolution is completely controlled by the expansion-merging of He bubbles,without nucleation–growth of voids.This new damage region can be divided into two sections,each of which exhibits a unique dominant mechanism.The damage in the section closer to the loading side is due to the reverse velocity gradient formed after complete unloading of the incident shock wave,depending on the rate of decrease and the amplitude of the initial peak pressure.A high initial peak pressure that can lead to melting of material near the loading side is a necessary condition for the formation of the new damage region,since a significant reverse velocity gradient can only be established if melting occurs.The dominant mechanism in the section distant from the loading side is the action of tensile stress,associated with the profile of the incident shock wave upon reaching the free surface,which determines the material phase near the free surface.Moreover,the presence of He bubbles is another critical factor for formation of the new damage region,which does not occur in pure Al samples.
文摘The problem of strong uniqueness of best approximation from an RS set in a Banach space is considered. For a fixed RS set G and an element x∈X , we proved that the best approximation g * to x from G is strongly unique.
文摘Let {Xt,t ≥ 1} be a moving average process defined by Xt = ∑^∞ k=0 αkξt-k, where {αk,k ≥ 0} is a sequence of real numbers and {ξt,-∞ 〈 t 〈 ∞} is a doubly infinite sequence of strictly stationary dependent random variables. Under the conditions of {αk, k ≥ 0} which entail that {Xt, t ≥ 1} is either a long memory process or a linear process, the strong approximation of {Xt, t ≥ 1} to a Gaussian process is studied. Finally, the results are applied to obtain the strong approximation of a long memory process to a fractional Brownian motion and the laws of the iterated logarithm for moving average processes.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.11172093 and 11372102)the Hunan Provincial Innovation Foundation for Postgraduate,China(Grant No.CX2012B159)
文摘An intrinsic extension of Pad′e approximation method, called the generalized Pad′e approximation method, is proposed based on the classic Pad′e approximation theorem. According to the proposed method, the numerator and denominator of Pad′e approximant are extended from polynomial functions to a series composed of any kind of function, which means that the generalized Pad′e approximant is not limited to some forms, but can be constructed in different forms in solving different problems. Thus, many existing modifications of Pad′e approximation method can be considered to be the special cases of the proposed method. For solving homoclinic and heteroclinic orbits of strongly nonlinear autonomous oscillators, two novel kinds of generalized Pad′e approximants are constructed. Then, some examples are given to show the validity of the present method. To show the accuracy of the method, all solutions obtained in this paper are compared with those of the Runge–Kutta method.
文摘We will study the strong approximation by Fourier-Vilenkin series using matrices with some general monotone condition. The strong Vallee-Poussin, which means of Fourier-Vilenkin series are also investigated.
基金Supported by NSF of China, under the Grant 10471010.
文摘The rate of uniform strong approzimation of Marcinkiewicz type for multivariable continuous functions is obtained in this paper as follows：‖1/k＋1 ^k∑j=0 ｜Sj（f）-f｜^q‖≤C/k＋1^k∑j=0 Ej^q（f）,where Sj（f） denotes the square partial Fourier sum off and Ej（f） denotes the square best approximation of f by trigonometric polynomials of degree（j,j,…,j）,j=0,1,2.…
基金the National Natural Science Foundation of China(11671271)the Natural Science Foundation of Beijing Municipality(1172004).
文摘In this article,we study multivariate approximation defined over weighted anisotropic Sobolev spaces which depend on two sequences a={a j}j≥1 and b={b j}j≥1 of positive numbers.We obtain strong equivalences of the approximation numbers,and necessary and sufficient conditions on a,b to achieve various notions of tractability of the weighted anisotropic Sobolev embeddings.
文摘In the original publication the third author name is published incorrectly as“Hayatdavoodi Masoud”.The correct author name should be read as“Masoud Hayatdavoodi”.The correct author name is available in this correction.
文摘With an inequality and some analysis techniques,iterative approximation of fixed points for uniformly continuous and strongly pseudocontractive mappings in smooth Banach spaces is studied,and the recent corresponding results of Chidume are improved.
基金the National Natural Science Foundation of China(No.22279070[L.Wang]and U21A20170[X.He])the Ministry of Science and Technology of China(No.2019YFA0705703[L.Wang])。
文摘Lithium-ion batteries(LIBs)face significant limitations in low-temperature environments,with the slow interfacial de-solvation process and the hindered Li+transport through the interphase layer emerging as key obstacles beyond the issue of ionic conductivity.This investigation unveils a novel formulation that constructs an anion-rich solvation sheath within strong solvents,effectively addressing all three of these challenges to bolster low-temperature performance.The developed electrolyte,characterized by an enhanced concentration of contact ion pairs(CIPs)and aggregates(AGGs),facilitates the formation of an inorganic-rich interphase layer on the anode and cathode particles.This promotes de-solvation at low temperatures and stabilizes the electrode-electrolyte interphase.Full cells composed of LiNi_(0.6)Co_(0.2)Mn_(0.2)O_(2)(NCM622)and graphite,when equipped with this electrolyte,showcase remarkable cycle stability and capacity retention,with 93.3% retention after 500 cycles at room temperature(RT)and 95.5%after 120 cycles at -20℃.This study validates the utility of the anion-rich solvation sheath in strong solvents as a strategy for the development of low-temperature electrolytes.
基金The foundation project of Chengdu University of Information Technology (No.CRF200502)
文摘A new concept of generalized set-valued strongly accretive mappings in Banach spaces was given and some strong convergence theorems of Ishikawa and Mann iterative process with errors approximation methods by Huang et al. was proved. The results presented in this paper improve and extend the earlier results obtained by Huang et al.
基金supported by the Special Fund for Scientific and Technological Innovation Strategy of Guangdong Province(2022A0505030025)the Science and Technology Fund,FDCT,Macao SAR(0064/2021/A2)
文摘This paper addresses the verification of strong currentstate opacity with respect to real-time observations generated from a discrete-event system that is modeled with time labeled Petri nets. The standard current-state opacity cannot completely characterize higher-level security. To ensure the higher-level security requirements of a time-dependent system, we propose a strong version of opacity known as strong current-state opacity. For any path(state-event sequence with time information)π derived from a real-time observation that ends at a secret state, the strong current-state opacity of the real-time observation signifies that there is a non-secret path with the same real-time observation as π. We propose general and non-secret state class graphs, which characterize the general and non-secret states of time-dependent systems, respectively. To capture the observable behavior of non-secret states, a non-secret observer is proposed.Finally, we develop a structure called a real-time concurrent verifier to verify the strong current-state opacity of time labeled Petri nets. This approach is efficient since the real-time concurrent verifier can be constructed by solving a certain number of linear programming problems.
基金“High precision prestack reverse time depth migration imaging of long array seismic data in the East China Sea Shelf Basin”of the National Natural Science Foundation of China(No.42106207)“Seismic acquisition technology for deep strata under strong shielding layers in the sea and rugged seabed”of Laoshan Laboratory Science and Technology Innovation Project(No.LSKJ202203404)“Research on the compensation methods of the middledeep weak seismic reflections in the South Yellow Sea based on multi-resolution HHT time-frequency analysis”of the National Natural Science Foundation of China(No.42106208).
文摘The seismic data of the Laoshan Uplift in the South Yellow Sea Basin reveal a low signal-tonoise ratio and low refl ection signal energy in the deep Mesozoic–Paleozoic strata.The main reason is that the Mesozoic-Paleozoic marine carbonate rock strata are directly covered by the Cenozoic terrestrial clastic rock strata,which form a strong shielding layer.To obtain the reflection signals of the strata below the strong shielding layer,a one-way wave equation bidirectional illumination analysis of the main observation system parameters was conducted by analyzing the mechanism of the strong shielding layer.Low-frequency seismic sources are assumed to have a high illumination intensity on the reflection layer below the strong shielding layer.Accordingly,optimized acquisition parameter suggestions were proposed,and reacquisition was performed at the existing survey line locations in the Laoshan Uplift area.The imaging of the newly acquired data in the middle and deep layers was drastically improved.It revealed the unconformity between the Sinian and Cambrian under the strong shielding layer.The study yielded new insights into the tectonic and sedimentary evolution of the Lower Paleozoic in the South Yellow Sea.
