Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal subgroup of G . For principal fibre bundle (E,p, E/G;G) and (E/H,p′,E/G;G/H), the relation between aut G(E) ...Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal subgroup of G . For principal fibre bundle (E,p, E/G;G) and (E/H,p′,E/G;G/H), the relation between aut G(E) (resp. aut * G(E) ) and aut G/H (E/H) (resp.aut * G/H (E/H)) is investigated by using bundle map theory and transformation group theory. It will enable us to compute the group F G(E) (resp. E G(E)) while the group F G/H (E/H) is known.展开更多
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.展开更多
For an analytic function f on the hyperbolic domain Ω in C,the following conclusions are obtained: (i)f∈B(Ω)=BMOA(Ω,m)if and only if Ref∈B(?)(Ω)=BMOH(Ω,m).(ii)QB_h(Ω)=B_h(Ω) (BMOH,(Ω,m)=BMOH(Ω,m)if and only...For an analytic function f on the hyperbolic domain Ω in C,the following conclusions are obtained: (i)f∈B(Ω)=BMOA(Ω,m)if and only if Ref∈B(?)(Ω)=BMOH(Ω,m).(ii)QB_h(Ω)=B_h(Ω) (BMOH,(Ω,m)=BMOH(Ω,m)if and only if C(Ω)=inf{Z_o(z)·δ_o(z)·z≡Ω}>0,Also some applica- lions to automorphic function are considered.展开更多
Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when int...Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures (SF) equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.展开更多
Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framewor...Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framework captures the traditional exact equivalence as a special case. Approximate reachability equivalence is coarser than approximate bisimulation equivalence, just like the hierarchy of the exact ones. Both approximate equivalences satisfy the transitive property, consequently, they can be used in transition system approximation.展开更多
In the paper, we consider Moran-type sets E;given by sequences {a;};and{n;};. we prove that E;may be decompose into the disjoint union of level sets. Moreover,we define three type of equivalence between two dimension ...In the paper, we consider Moran-type sets E;given by sequences {a;};and{n;};. we prove that E;may be decompose into the disjoint union of level sets. Moreover,we define three type of equivalence between two dimension functions associated to two Morantype sets, respectively, and we classify Moran-type sets by these equivalent relations.展开更多
The aim of this article is to study some invariants of associative algebras under stable equivalences of Morita type. First of all, we show that, if two finite-dimensional selfinjective k-algebras are stably equivalen...The aim of this article is to study some invariants of associative algebras under stable equivalences of Morita type. First of all, we show that, if two finite-dimensional selfinjective k-algebras are stably equivalent of Morita type, then their orbit algebras are isomorphic. Secondly, it is verified that the quasitilted property of an algebra is invariant under stable equivalences of Morita type. As an application of this result, it is obtained that if an algebra is of finite representation type, then its tilted property is invariant under stable equivalences of Morita type; the other application to partial tilting modules is given in Section 4. Finally, we prove that when two finite-dimensional k-algebras are stably equivalent of Morita type, their repetitive algebras are also stably equivalent of Morita tvDe under cert..in conditions.展开更多
Lithium-oxygen batteries are a promising technology because they can greatly surpass the energy density of lithium-ion batteries.However,this theoretical characteristic has not yet been converted into a real device wi...Lithium-oxygen batteries are a promising technology because they can greatly surpass the energy density of lithium-ion batteries.However,this theoretical characteristic has not yet been converted into a real device with high cyclability.Problems with air contamination,metallic lithium reactivity,and complex discharge and charge reactions are the main issues for this technology.A fast and reversible oxygen reduction reaction(ORR)is crucial for good performance of secondary batteries',but the partial knowledge of its mechanisms,especially when devices are concerned,hinders further development.From this perspective,the present work uses operando Raman experiments and electrochemical impedance spectroscopy(EIS)to assess the first stages of the discharge processes in porous carbon electrodes,following their changes cycle by cycle at initial operation.A growth kinetic formation of the discharge product signal(Li_(2)O_(2))was observed with operando Raman,indicating a first-order reaction and enabling an analysis by a microkinetic model.The solution mechanism in the evaluated system was ascribed for an equivalent circuit with three time constants.While the time constant for the anode interface reveals to remain relatively constant after the first discharge,its surface seemed to be more non-uniform.The model indicated that the reaction occurs at the Li_(2)O_(2) surface,decreasing the associated resistance during the initial discharge phase.Furthermore,the growth of Li_(2)O_(2) forms a hetero-phase between Li_(2)O_(2)/electrolyte,while creating a more compact and homogeneous on the Li_(2)O_(2)/cathode surface.The methodology here described thus offers a way of directly probing changes in surface chemistry evolution during cycling from a device through EIS analysis.展开更多
In this study,a novel equivalent damping ratio model that is suitable for reinforced concrete(RC)structures considering cyclic degradation behavior is developed,and a new equivalent linearization analysis method for i...In this study,a novel equivalent damping ratio model that is suitable for reinforced concrete(RC)structures considering cyclic degradation behavior is developed,and a new equivalent linearization analysis method for implementing the proposed equivalent damping ratio model for use in seismic damage evaluation is presented.To this end,Ibarra’s peak-oriented model,which incorporates an energy-based degradation rule,is selected for representing hysteretic behavior of RC structure,and the optimized equivalent damping for predicting the maximum displacement response is presented by using the empirical method,in which the effect of cyclic degradation is considered.Moreover,the relationship between the hysteretic energy dissipation of the inelastic system and the elastic strain energy of the equivalent linear system is established so that the proposed equivalent linear system can be directly integrated with the Park-Ang seismic model to implement seismic damage evaluation.Due to the simplicity of the equivalent linearization method,the proposed method provides an efficient and reliable way of obtaining comprehensive insight into the seismic performance of RC structures.The verification demonstrates the validity of the proposed method.展开更多
AIM:To analyze the distribution of refractive status in school-age children with different corneal curvatures(CC)and the correlation between CC and refractive status.METHODS:A total of 2214 school-aged children of gra...AIM:To analyze the distribution of refractive status in school-age children with different corneal curvatures(CC)and the correlation between CC and refractive status.METHODS:A total of 2214 school-aged children of grade 4 in Hangzhou who were screened for school myopia were included.Uncorrected distance visual acuity(UCDVA),non-cycloplegic refraction,axial length(AL),horizontal and vertical corneal curvature(K1,K2)were measured and spherical equivalent(SE),corneal curvature radius(CCR)and axial length/corneal radius of curvature ratio(AL/CR)were calculated.UCDVA<5.0 and SE≤-0.50 D were classified as school-screening myopia.According to the different CCRs,the patients were divided into the lower corneal curvature(LCC)group(CCR≥7.92)and the higher corneal curvature(HCC)group(CCR<7.92).Each group was further divided into the normal AL subgroup and the long AL subgroup.The refractive parameters were compared to identify any differences between the two groups.RESULTS:Both SE and AL were greater in the LCC group(P=0.013,P<0.001).The prevalence of myopia was 38% in the LCC group and 44% in the HCC group(P<0.001).The proportion of children without screening myopia was higher in the LCC group(62%)than in the HCC group(56%).Among these children without screening myopia,the proportion of long AL in the LCC group(24%)was significantly higher than that in the HCC group(0.012%;P<0.001).The change of SE in the LCC group was less affected by the increase of AL than that in the HCC group.CONCLUSION:School-aged children in the LCC group have a lower incidence of screening myopia and longer AL.Low CC can mask SE reduction and AL growth to some extent,and the change of AL growth change more in children with low CC than high CC.Before the onset of myopia,its growth rate is even faster than that after the onset of myopia.展开更多
The sloshing in a group of rigid cylindrical tanks with baffles and on soil foundation under horizontal excitation is studied analytically.The solutions for the velocity potential are derived out by the liquid subdoma...The sloshing in a group of rigid cylindrical tanks with baffles and on soil foundation under horizontal excitation is studied analytically.The solutions for the velocity potential are derived out by the liquid subdomain method.Equivalent models with mass-spring oscillators are established to replace continuous fluid.Combined with the least square technique,Chebyshev polynomials are employed to fit horizontal,rocking and horizontal-rocking coupling impedances of soil,respectively.A lumped parameter model for impedance is presented to describe the effects of soil on tank structures.A mechanical model for the soil-foundation-tank-liquid-baffle system with small amount of calculation and high accuracy is proposed using the substructure technique.The analytical solutions are in comparison with data from reported literature and numerical codes to validate the effectiveness and correctness of the model.Detailed dynamic properties and seismic responses of the soil-tank system are given for the baffle number,size and location as well as soil parameter.展开更多
The extensive research and development in perovskite solar cells (PSCs) have rekindled the hopes of converting solar energy into electricity.An elusive understanding of underlying mechanisms is required for the develo...The extensive research and development in perovskite solar cells (PSCs) have rekindled the hopes of converting solar energy into electricity.An elusive understanding of underlying mechanisms is required for the development of efficient PSCs.Over the years,Impedance Spectroscopy (IS) characterization,along with complementary techniques,has proven to be an effective way to understand and analyze the charge transport and recombination at interface and bulk of PSCs.The IS of PSCs have been analyzed,interpreted,and improvised continuously,revealing intricate details about the work.However,there is a lack of centralized source of these details,which make it tougher to account for the generalized approach to understand the device properties.The present work is focused on compiling the research done on various PSC device architectures via IS to construct a comprehensive foundation of information on impedance plots,equivalent circuits,and associated processes.展开更多
Infiltration–runoff–slope instability mechanism of macropore slope under heavy rainfall is unclear.This paper studied its instability mechanism with an improved Green–Ampt(GA)model considering the dual-porosity(i.e...Infiltration–runoff–slope instability mechanism of macropore slope under heavy rainfall is unclear.This paper studied its instability mechanism with an improved Green–Ampt(GA)model considering the dual-porosity(i.e.,matrix and macropore)and ponding condition,and proposed the infiltration equations,infiltration–runoff coupled model,and safety factor calculation method.Results show that the infiltration processes of macropore slope can be divided into three stages,and the proposed model is rational by a comparative analysis.The wetting front depth of the traditional unsaturated slope is 17.2%larger than that of the macropore slope in the early rainfall stage and 27%smaller than that of the macropore slope in the late rainfall stage.Then,macropores benefit the slope stability in the early rainfall but not in the latter.Macropore flow does not occur initially but becomes pronounced with increasing rainfall duration.The equal depth of the wetting front in the two domains is regarded as the onset criteria of macropore flow.Parameter analysis shows that macropore flow is delayed by increasing proportion of macropore domain(ω_(f)),whereas promoted by increasing ratio of saturated permeability coefficients between the two domains(μ).The increasing trend of ponding depth is sharp at first and then grows slowly.Finally,when rainfall duration is less than 3 h,ωf andμhave no significant effect on the safety factor,whereas it decreases with increasingωf and increases with increasingμunder longer duration(≥3 h).With the increase ofω_(f),the slope maximum instability time advances by 10.5 h,and with the increase ofμ,the slope maximum instability time delays by 3.1 h.展开更多
This paper develops a quadratic function convex approximation approach to deal with the negative definite problem of the quadratic function induced by stability analysis of linear systems with time-varying delays.By i...This paper develops a quadratic function convex approximation approach to deal with the negative definite problem of the quadratic function induced by stability analysis of linear systems with time-varying delays.By introducing two adjustable parameters and two free variables,a novel convex function greater than or equal to the quadratic function is constructed,regardless of the sign of the coefficient in the quadratic term.The developed lemma can also be degenerated into the existing quadratic function negative-determination(QFND)lemma and relaxed QFND lemma respectively,by setting two adjustable parameters and two free variables as some particular values.Moreover,for a linear system with time-varying delays,a relaxed stability criterion is established via our developed lemma,together with the quivalent reciprocal combination technique and the Bessel-Legendre inequality.As a result,the conservatism can be reduced via the proposed approach in the context of constructing Lyapunov-Krasovskii functionals for the stability analysis of linear time-varying delay systems.Finally,the superiority of our results is illustrated through three numerical examples.展开更多
An efficient approach is proposed for the equivalent linearization of frame structures with plastic hinges under nonstationary seismic excitations.The concentrated plastic hinges,described by the Bouc-Wen model,are as...An efficient approach is proposed for the equivalent linearization of frame structures with plastic hinges under nonstationary seismic excitations.The concentrated plastic hinges,described by the Bouc-Wen model,are assumed to occur at the two ends of a linear-elastic beam element.The auxiliary differential equations governing the plastic rotational displacements and their corresponding hysteretic displacements are replaced with linearized differential equations.Then,the two sets of equations of motion for the original nonlinear system can be reduced to an expanded-order equivalent linearized equation of motion for equivalent linear systems.To solve the equation of motion for equivalent linear systems,the nonstationary random vibration analysis is carried out based on the explicit time-domain method with high efficiency.Finally,the proposed treatment method for initial values of equivalent parameters is investigated in conjunction with parallel computing technology,which provides a new way of obtaining the equivalent linear systems at different time instants.Based on the explicit time-domain method,the key responses of interest of the converged equivalent linear system can be calculated through dimension reduction analysis with high efficiency.Numerical examples indicate that the proposed approach has high computational efficiency,and shows good applicability to weak nonlinear and medium-intensity nonlinear systems.展开更多
The rock mass consists of rock blocks and structural planes,which can reduce its integrity and strength.Therefore,accurately obtaining the characteristics of the rock mass structural plane is a prerequisite for evalua...The rock mass consists of rock blocks and structural planes,which can reduce its integrity and strength.Therefore,accurately obtaining the characteristics of the rock mass structural plane is a prerequisite for evaluating stability and designing supports in underground engineering.Currently,there are no effective testing methods for the characteristic parameters of the rock mass structural plane in underground engineering.The paper presents the digital drilling technology as a new testing method of rock mass structural planes.Flawed rock specimens with cracks of varying widths and angles were used to simulate the rock mass structural planes,and the multifunctional rock mass digital drilling test system was employed to carry out the digital drilling tests.The analysis focuses on the variation laws of drilling parameters,such as drilling pressure and drilling torque,affected by the characteristics of prefabricated cracks,and clarifies the degradation mechanism of rock equivalent compressive strength.Additionally,an identification model for the characteristic parameters of rock mass structural planes during drilling is established.The test results indicate that the average difference of the characteristics of prefabricated cracks identified by the equivalent compressive strength is 2.45°and 0.82 mm,respectively.The identification model while drilling is verified to be correct due to the high identification accuracy.Based on this,a method for testing the characteristic parameters of the surrounding rock structural plane while drilling is proposed.The research offers a theoretical and methodological foundation for precise in situ identification of structural planes of the surrounding rock in underground engineering.展开更多
Various electromagnetic signals are excited by the beam in the acceleration and beam-diagnostic elements of a particle accelerator.It is important to obtain time-domain waveforms of these signals with high temporal re...Various electromagnetic signals are excited by the beam in the acceleration and beam-diagnostic elements of a particle accelerator.It is important to obtain time-domain waveforms of these signals with high temporal resolution for research,such as the study of beam–cavity interactions and bunch-by-bunch parameter measurements.Therefore,a signal reconstruction algorithm with ultrahigh spatiotemporal resolution and bunch phase compensation based on equivalent sampling is proposed in this paper.Compared with traditional equivalent sampling,the use of phase compensation and setting the bunch signal zero-crossing point as the time reference can construct a more accurate reconstructed signal.The basic principles of the method,simulation,and experimental comparison are also introduced.Based on the beam test platform of the Shanghai Synchrotron Radiation Facility(SSRF)and the method of experimental verification,the factors that affect the reconstructed signal quality are analyzed and discussed,including the depth of the sampled data,quantization noise of analog-to-digital converter,beam transverse oscillation,and longitudinal oscillation.The results of the beam experiments show that under the user operation conditions of the SSRF,a beam excitation signal with an amplitude uncertainty of 2%can be reconstructed.展开更多
Important challenges must be addressed to make wind turbines sustainable renewable energy sources.A typical problem concerns the design of the foundation.If the pile diameter is larger than that of the jacket platform...Important challenges must be addressed to make wind turbines sustainable renewable energy sources.A typical problem concerns the design of the foundation.If the pile diameter is larger than that of the jacket platform,traditional mechanical models cannot be used.In this study,relying on the seabed soil data of an offshore wind farm,the m-method and the equivalent embedded method are used to address the single-pile wind turbine foundation problem for different pile diameters.An approach to determine the equivalent pile length is also proposed accordingly.The results provide evidence for the effectiveness and reliability of the model based on the equivalent embedded method.展开更多
Very high-energy electrons(VHEEs)are potential candidates for FLASH radiotherapy for deep-seated tumors.We proposed a compact VHEE facility based on an X-band high-gradient high-power technique.In this study,we invest...Very high-energy electrons(VHEEs)are potential candidates for FLASH radiotherapy for deep-seated tumors.We proposed a compact VHEE facility based on an X-band high-gradient high-power technique.In this study,we investigated and realized the first X-band backward traveling-wave(BTW)accelerating structure as the buncher for a VHEE facility.A method for calculating the parameters of single cell from the field distribution was introduced to simplify the design of the BTW structure.Time-domain circuit equations were applied to calculate the transient beam parameters of the buncher in the unsteady state.A prototype of the BTW structure with a thermionic cathode-diode electron gun was designed,fabricated,and tested at high power at the Tsinghua X-band high-power test stand.The structure successfully operated with 5-MW microwave pulses from the pulse compressor and outputted electron bunches with an energy of 8 MeV and a pulsed current of 108 mA.展开更多
文摘Let E be a compact Lie group, G a closed subgroup of E, and H a closed normal subgroup of G . For principal fibre bundle (E,p, E/G;G) and (E/H,p′,E/G;G/H), the relation between aut G(E) (resp. aut * G(E) ) and aut G/H (E/H) (resp.aut * G/H (E/H)) is investigated by using bundle map theory and transformation group theory. It will enable us to compute the group F G(E) (resp. E G(E)) while the group F G/H (E/H) is known.
基金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.
基金This research was supported by the Doctoral Program Foundation of Institute of Higher Education.
文摘For an analytic function f on the hyperbolic domain Ω in C,the following conclusions are obtained: (i)f∈B(Ω)=BMOA(Ω,m)if and only if Ref∈B(?)(Ω)=BMOH(Ω,m).(ii)QB_h(Ω)=B_h(Ω) (BMOH,(Ω,m)=BMOH(Ω,m)if and only if C(Ω)=inf{Z_o(z)·δ_o(z)·z≡Ω}>0,Also some applica- lions to automorphic function are considered.
基金supported by the National Natural Science Foundation of China(1137100311461006)+4 种基金the Natural Science Foundation of Guangxi(2011GXNSFA0181542012GXNSFGA060003)the Science and Technology Foundation of Guangxi(10169-1)the Scientific Research Project from Guangxi Education Department(201012MS274)Open Research Fund Program of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis(HCIC201301)
文摘Established system equivalences for transition systems, such as trace equivalence and failures equivalence, require the ob- servations to be exactly identical. However, an accurate measure- ment is impossible when interacting with the physical world, hence exact equivalence is restrictive and not robust. Using Baire met- ric, a generalized framework of transition system approximation is proposed by developing the notions of approximate language equivalence and approximate singleton failures (SF) equivalence. The framework takes the traditional exact equivalence as a special case. The approximate language equivalence is coarser than the approximate Slc equivalence, just like the hierarchy of the exact ones. The main conclusion is that the two approximate equiva- lences satisfy the transitive property, consequently, they can be successively used in transition system approximation.
基金Supported by the National Natural Science Foundation of China(No.11371003 and No.11461006)the Natural Science Foundation of Guangxi(No.2011GXNSFA018154 and No.2012GXNSFGA060003)
文摘Using Baire metric, this paper proposes a generalized framework of transition system approximation by developing the notions of approximate reachability and approximate bisimulation equivalences. The proposed framework captures the traditional exact equivalence as a special case. Approximate reachability equivalence is coarser than approximate bisimulation equivalence, just like the hierarchy of the exact ones. Both approximate equivalences satisfy the transitive property, consequently, they can be used in transition system approximation.
基金supported by NSFC (11201152)supported by NSFC(11371148)+4 种基金STCSM(13dz2260400)FDPHEC(20120076120001)Fundamental Research Funds for the central Universities,scut(2012zz0073)Fundamental Research Funds for the Central Universities SCUT(D2154240)Guangdong Natural Science Foundation(2014A030313230)
文摘In the paper, we consider Moran-type sets E;given by sequences {a;};and{n;};. we prove that E;may be decompose into the disjoint union of level sets. Moreover,we define three type of equivalence between two dimension functions associated to two Morantype sets, respectively, and we classify Moran-type sets by these equivalent relations.
基金Project supported by the National Natural Science Foundation of China(10871170)the Zhejiang Provincial Natural Science Foundation of China(D7080064)supported by the National Natural Science Foundation of China(10801117)
文摘The aim of this article is to study some invariants of associative algebras under stable equivalences of Morita type. First of all, we show that, if two finite-dimensional selfinjective k-algebras are stably equivalent of Morita type, then their orbit algebras are isomorphic. Secondly, it is verified that the quasitilted property of an algebra is invariant under stable equivalences of Morita type. As an application of this result, it is obtained that if an algebra is of finite representation type, then its tilted property is invariant under stable equivalences of Morita type; the other application to partial tilting modules is given in Section 4. Finally, we prove that when two finite-dimensional k-algebras are stably equivalent of Morita type, their repetitive algebras are also stably equivalent of Morita tvDe under cert..in conditions.
基金supported by the S?o Paulo Research Foundation (FAPESP) (2017/11958-1)the strategic importance of the support given by ANP (Brazil's National Oil,Natural Gas and Biofuels Agency)through the R&D levy regulation and the support from the Brazilian Coordination for the Improvement of Higher Education and Personnel (CAPES)CNPq (PQ-2 grant:Process 304442/2019-4 and UFMT STI-Server for access to their computing resources)。
文摘Lithium-oxygen batteries are a promising technology because they can greatly surpass the energy density of lithium-ion batteries.However,this theoretical characteristic has not yet been converted into a real device with high cyclability.Problems with air contamination,metallic lithium reactivity,and complex discharge and charge reactions are the main issues for this technology.A fast and reversible oxygen reduction reaction(ORR)is crucial for good performance of secondary batteries',but the partial knowledge of its mechanisms,especially when devices are concerned,hinders further development.From this perspective,the present work uses operando Raman experiments and electrochemical impedance spectroscopy(EIS)to assess the first stages of the discharge processes in porous carbon electrodes,following their changes cycle by cycle at initial operation.A growth kinetic formation of the discharge product signal(Li_(2)O_(2))was observed with operando Raman,indicating a first-order reaction and enabling an analysis by a microkinetic model.The solution mechanism in the evaluated system was ascribed for an equivalent circuit with three time constants.While the time constant for the anode interface reveals to remain relatively constant after the first discharge,its surface seemed to be more non-uniform.The model indicated that the reaction occurs at the Li_(2)O_(2) surface,decreasing the associated resistance during the initial discharge phase.Furthermore,the growth of Li_(2)O_(2) forms a hetero-phase between Li_(2)O_(2)/electrolyte,while creating a more compact and homogeneous on the Li_(2)O_(2)/cathode surface.The methodology here described thus offers a way of directly probing changes in surface chemistry evolution during cycling from a device through EIS analysis.
基金National Natural Science Foundation of China under Grant No.51978125Open Fund Project of Research Center for Geotechnical and Structural Engineering Technology of Liaoning Province under Grant No.DLSZD2023[007]。
文摘In this study,a novel equivalent damping ratio model that is suitable for reinforced concrete(RC)structures considering cyclic degradation behavior is developed,and a new equivalent linearization analysis method for implementing the proposed equivalent damping ratio model for use in seismic damage evaluation is presented.To this end,Ibarra’s peak-oriented model,which incorporates an energy-based degradation rule,is selected for representing hysteretic behavior of RC structure,and the optimized equivalent damping for predicting the maximum displacement response is presented by using the empirical method,in which the effect of cyclic degradation is considered.Moreover,the relationship between the hysteretic energy dissipation of the inelastic system and the elastic strain energy of the equivalent linear system is established so that the proposed equivalent linear system can be directly integrated with the Park-Ang seismic model to implement seismic damage evaluation.Due to the simplicity of the equivalent linearization method,the proposed method provides an efficient and reliable way of obtaining comprehensive insight into the seismic performance of RC structures.The verification demonstrates the validity of the proposed method.
基金Supported by Key Research and Development Projects of Zhejiang Science and Technology Plan(No.2021C03103).
文摘AIM:To analyze the distribution of refractive status in school-age children with different corneal curvatures(CC)and the correlation between CC and refractive status.METHODS:A total of 2214 school-aged children of grade 4 in Hangzhou who were screened for school myopia were included.Uncorrected distance visual acuity(UCDVA),non-cycloplegic refraction,axial length(AL),horizontal and vertical corneal curvature(K1,K2)were measured and spherical equivalent(SE),corneal curvature radius(CCR)and axial length/corneal radius of curvature ratio(AL/CR)were calculated.UCDVA<5.0 and SE≤-0.50 D were classified as school-screening myopia.According to the different CCRs,the patients were divided into the lower corneal curvature(LCC)group(CCR≥7.92)and the higher corneal curvature(HCC)group(CCR<7.92).Each group was further divided into the normal AL subgroup and the long AL subgroup.The refractive parameters were compared to identify any differences between the two groups.RESULTS:Both SE and AL were greater in the LCC group(P=0.013,P<0.001).The prevalence of myopia was 38% in the LCC group and 44% in the HCC group(P<0.001).The proportion of children without screening myopia was higher in the LCC group(62%)than in the HCC group(56%).Among these children without screening myopia,the proportion of long AL in the LCC group(24%)was significantly higher than that in the HCC group(0.012%;P<0.001).The change of SE in the LCC group was less affected by the increase of AL than that in the HCC group.CONCLUSION:School-aged children in the LCC group have a lower incidence of screening myopia and longer AL.Low CC can mask SE reduction and AL growth to some extent,and the change of AL growth change more in children with low CC than high CC.Before the onset of myopia,its growth rate is even faster than that after the onset of myopia.
基金financially supported by the National Natural Science Foundation of China(Grant Nos.51978336 and 11702117)the Science and Technology Plan Project of Department of Communications of Zhejiang Province(Grant No.2021051)Nantong City Social Livelihood Science and Technology Project(Grant No.MS22022067).
文摘The sloshing in a group of rigid cylindrical tanks with baffles and on soil foundation under horizontal excitation is studied analytically.The solutions for the velocity potential are derived out by the liquid subdomain method.Equivalent models with mass-spring oscillators are established to replace continuous fluid.Combined with the least square technique,Chebyshev polynomials are employed to fit horizontal,rocking and horizontal-rocking coupling impedances of soil,respectively.A lumped parameter model for impedance is presented to describe the effects of soil on tank structures.A mechanical model for the soil-foundation-tank-liquid-baffle system with small amount of calculation and high accuracy is proposed using the substructure technique.The analytical solutions are in comparison with data from reported literature and numerical codes to validate the effectiveness and correctness of the model.Detailed dynamic properties and seismic responses of the soil-tank system are given for the baffle number,size and location as well as soil parameter.
基金the ORSP of Pandit Deendayal Energy University and DST SERB(IPA/2021/96)for the financial support.
文摘The extensive research and development in perovskite solar cells (PSCs) have rekindled the hopes of converting solar energy into electricity.An elusive understanding of underlying mechanisms is required for the development of efficient PSCs.Over the years,Impedance Spectroscopy (IS) characterization,along with complementary techniques,has proven to be an effective way to understand and analyze the charge transport and recombination at interface and bulk of PSCs.The IS of PSCs have been analyzed,interpreted,and improvised continuously,revealing intricate details about the work.However,there is a lack of centralized source of these details,which make it tougher to account for the generalized approach to understand the device properties.The present work is focused on compiling the research done on various PSC device architectures via IS to construct a comprehensive foundation of information on impedance plots,equivalent circuits,and associated processes.
基金funded by the Natural Science Foundation of Fujian Province(Grant No.2023J011133)。
文摘Infiltration–runoff–slope instability mechanism of macropore slope under heavy rainfall is unclear.This paper studied its instability mechanism with an improved Green–Ampt(GA)model considering the dual-porosity(i.e.,matrix and macropore)and ponding condition,and proposed the infiltration equations,infiltration–runoff coupled model,and safety factor calculation method.Results show that the infiltration processes of macropore slope can be divided into three stages,and the proposed model is rational by a comparative analysis.The wetting front depth of the traditional unsaturated slope is 17.2%larger than that of the macropore slope in the early rainfall stage and 27%smaller than that of the macropore slope in the late rainfall stage.Then,macropores benefit the slope stability in the early rainfall but not in the latter.Macropore flow does not occur initially but becomes pronounced with increasing rainfall duration.The equal depth of the wetting front in the two domains is regarded as the onset criteria of macropore flow.Parameter analysis shows that macropore flow is delayed by increasing proportion of macropore domain(ω_(f)),whereas promoted by increasing ratio of saturated permeability coefficients between the two domains(μ).The increasing trend of ponding depth is sharp at first and then grows slowly.Finally,when rainfall duration is less than 3 h,ωf andμhave no significant effect on the safety factor,whereas it decreases with increasingωf and increases with increasingμunder longer duration(≥3 h).With the increase ofω_(f),the slope maximum instability time advances by 10.5 h,and with the increase ofμ,the slope maximum instability time delays by 3.1 h.
基金the National Natural Science Foundation of China(62273058,U22A2045)the Key Science and Technology Projects of Jilin Province(20200401075GX)the Youth Science and Technology Innovation and Entrepreneurship Outstanding Talents Project of Jilin Province(20230508043RC)。
文摘This paper develops a quadratic function convex approximation approach to deal with the negative definite problem of the quadratic function induced by stability analysis of linear systems with time-varying delays.By introducing two adjustable parameters and two free variables,a novel convex function greater than or equal to the quadratic function is constructed,regardless of the sign of the coefficient in the quadratic term.The developed lemma can also be degenerated into the existing quadratic function negative-determination(QFND)lemma and relaxed QFND lemma respectively,by setting two adjustable parameters and two free variables as some particular values.Moreover,for a linear system with time-varying delays,a relaxed stability criterion is established via our developed lemma,together with the quivalent reciprocal combination technique and the Bessel-Legendre inequality.As a result,the conservatism can be reduced via the proposed approach in the context of constructing Lyapunov-Krasovskii functionals for the stability analysis of linear time-varying delay systems.Finally,the superiority of our results is illustrated through three numerical examples.
基金Fundamental Research Funds for the Central Universities under Grant No.2682022CX072the Research and Development Plan in Key Areas of Guangdong Province under Grant No.2020B0202010008。
文摘An efficient approach is proposed for the equivalent linearization of frame structures with plastic hinges under nonstationary seismic excitations.The concentrated plastic hinges,described by the Bouc-Wen model,are assumed to occur at the two ends of a linear-elastic beam element.The auxiliary differential equations governing the plastic rotational displacements and their corresponding hysteretic displacements are replaced with linearized differential equations.Then,the two sets of equations of motion for the original nonlinear system can be reduced to an expanded-order equivalent linearized equation of motion for equivalent linear systems.To solve the equation of motion for equivalent linear systems,the nonstationary random vibration analysis is carried out based on the explicit time-domain method with high efficiency.Finally,the proposed treatment method for initial values of equivalent parameters is investigated in conjunction with parallel computing technology,which provides a new way of obtaining the equivalent linear systems at different time instants.Based on the explicit time-domain method,the key responses of interest of the converged equivalent linear system can be calculated through dimension reduction analysis with high efficiency.Numerical examples indicate that the proposed approach has high computational efficiency,and shows good applicability to weak nonlinear and medium-intensity nonlinear systems.
基金supported by the National Key Research and Development Program of China(Grant No.2023YFC2907600)the National Natural Science Foundation of China(Grant Nos.42277174 and 52204260).
文摘The rock mass consists of rock blocks and structural planes,which can reduce its integrity and strength.Therefore,accurately obtaining the characteristics of the rock mass structural plane is a prerequisite for evaluating stability and designing supports in underground engineering.Currently,there are no effective testing methods for the characteristic parameters of the rock mass structural plane in underground engineering.The paper presents the digital drilling technology as a new testing method of rock mass structural planes.Flawed rock specimens with cracks of varying widths and angles were used to simulate the rock mass structural planes,and the multifunctional rock mass digital drilling test system was employed to carry out the digital drilling tests.The analysis focuses on the variation laws of drilling parameters,such as drilling pressure and drilling torque,affected by the characteristics of prefabricated cracks,and clarifies the degradation mechanism of rock equivalent compressive strength.Additionally,an identification model for the characteristic parameters of rock mass structural planes during drilling is established.The test results indicate that the average difference of the characteristics of prefabricated cracks identified by the equivalent compressive strength is 2.45°and 0.82 mm,respectively.The identification model while drilling is verified to be correct due to the high identification accuracy.Based on this,a method for testing the characteristic parameters of the surrounding rock structural plane while drilling is proposed.The research offers a theoretical and methodological foundation for precise in situ identification of structural planes of the surrounding rock in underground engineering.
基金supported by the National Key R&D Program of China(No.2022YFA1602201)the international partnership program of the Chinese Academy of Sciences(No.211134KYSB20200057).
文摘Various electromagnetic signals are excited by the beam in the acceleration and beam-diagnostic elements of a particle accelerator.It is important to obtain time-domain waveforms of these signals with high temporal resolution for research,such as the study of beam–cavity interactions and bunch-by-bunch parameter measurements.Therefore,a signal reconstruction algorithm with ultrahigh spatiotemporal resolution and bunch phase compensation based on equivalent sampling is proposed in this paper.Compared with traditional equivalent sampling,the use of phase compensation and setting the bunch signal zero-crossing point as the time reference can construct a more accurate reconstructed signal.The basic principles of the method,simulation,and experimental comparison are also introduced.Based on the beam test platform of the Shanghai Synchrotron Radiation Facility(SSRF)and the method of experimental verification,the factors that affect the reconstructed signal quality are analyzed and discussed,including the depth of the sampled data,quantization noise of analog-to-digital converter,beam transverse oscillation,and longitudinal oscillation.The results of the beam experiments show that under the user operation conditions of the SSRF,a beam excitation signal with an amplitude uncertainty of 2%can be reconstructed.
基金supported by the National Natural Science Foundation of China (52071055)the Fundamental Research Funds for the Central Universities (Grant No.DUT22QN237).
文摘Important challenges must be addressed to make wind turbines sustainable renewable energy sources.A typical problem concerns the design of the foundation.If the pile diameter is larger than that of the jacket platform,traditional mechanical models cannot be used.In this study,relying on the seabed soil data of an offshore wind farm,the m-method and the equivalent embedded method are used to address the single-pile wind turbine foundation problem for different pile diameters.An approach to determine the equivalent pile length is also proposed accordingly.The results provide evidence for the effectiveness and reliability of the model based on the equivalent embedded method.
基金supported by the National Natural Science Foundation of China(No.11922504).
文摘Very high-energy electrons(VHEEs)are potential candidates for FLASH radiotherapy for deep-seated tumors.We proposed a compact VHEE facility based on an X-band high-gradient high-power technique.In this study,we investigated and realized the first X-band backward traveling-wave(BTW)accelerating structure as the buncher for a VHEE facility.A method for calculating the parameters of single cell from the field distribution was introduced to simplify the design of the BTW structure.Time-domain circuit equations were applied to calculate the transient beam parameters of the buncher in the unsteady state.A prototype of the BTW structure with a thermionic cathode-diode electron gun was designed,fabricated,and tested at high power at the Tsinghua X-band high-power test stand.The structure successfully operated with 5-MW microwave pulses from the pulse compressor and outputted electron bunches with an energy of 8 MeV and a pulsed current of 108 mA.