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.展开更多
The method for controlling chaotic transition system was investigated using sampled- data . The output of chaotic transition system was sampled at a given sampling rate , then the sampled output was used by a feedback...The method for controlling chaotic transition system was investigated using sampled- data . The output of chaotic transition system was sampled at a given sampling rate , then the sampled output was used by a feedbacks subsystem to construct a control signal for controlling chaotic transition system to the origin . Numerical simulations are presented to show the effectiveness and feasibility of the developed controller.展开更多
Labelled transition systems(LTSs) are widely used to formally describe system behaviour.The labels of LTS are extended to offer a more satisfactory description of behaviour by refining the abstract labels into multiva...Labelled transition systems(LTSs) are widely used to formally describe system behaviour.The labels of LTS are extended to offer a more satisfactory description of behaviour by refining the abstract labels into multivariate polynomials.These labels can be simplified by numerous numerical approximation methods.Those LTSs that can not apply failures semantics equivalence in description and verification may have a chance after using approximation on labels.The technique that combines approximation and failures semantics equivalence effectively alleviates the computational complexity and minimizes LTS.展开更多
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracte...Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode transition graph of a hybrid system. This method can be used for a general class of industrial hybrid plants which are defined by Polyhedral Invariant Hybrid Automata (PIHA). In these automata there are no resetting maps, while invariant sets are defined by linear inequalities. Therefore, based on the continuity property of the state trajectories in a PIHA, the problem is reduced to finding possible transitions between all two adjacent discrete modes. In the presented method, the possibility and the direction of such transitions are detected only by computing the angle between the vector field and the normal vector of the switching surfaces. Thus, unlike the most other reachability methods, there is no need to solve differential equations and to do mapping computations. In addition, the proposed method, with some modifications can be applied for extracting Stochastic or Timed Discrete Trace Transition Systems.展开更多
Discussions about the future of energy sources and environmental sustainability are becoming critical on a global scale.The energy sector plays a central role in the economy,as the availability and cost of energy infl...Discussions about the future of energy sources and environmental sustainability are becoming critical on a global scale.The energy sector plays a central role in the economy,as the availability and cost of energy influence the competitiveness of economies,while the level of energy consumption impacts the standard of living for individuals.This paper aims to examine environmental challenges and steps for a sustainable transition towards a hydrogen economy,focusing on its potential as an alternative to fossil fuels and the importance of developing the hydrogen paradigm.The research methodology is based on a combination of qualitative and quantitative methods,including an analysis of global and regional trends in the energy transition,the impact of various forms of hydrogen production(green,blue,gray hydrogen)on greenhouse gas emissions,and a comparison of existing policies and strategies in different countries transitioning to a sustainable hydrogen economy.Research results show that green hydrogen,produced via electrolysis using renewable energy sources,holds the greatest potential for reducing greenhouse gas emissions,while gray and blue hydrogen can serve as transitional options.The development of the hydrogen paradigm,rooted in innovative technologies,renewable energy sources,and international cooperation,is crucial for decarbonization and the creation of a sustainable global economy,despite challenges such as high costs and the need for global coordination.The hydrogen paradigm is becoming a cornerstone of these efforts,laying the foundation for a long-term,sustainable global economy.Currently,over 180 hydrogen transport projects,60 distribution projects,80 storage projects,30 terminal and port projects,and more than 220 hydrogen production projects are under development worldwide.The global momentum of the hydrogen transition helps mitigate climate change and build a sustainable future.展开更多
The phase transition among different solid forms of active pharmaceutical ingredients can significantly influence their physicochemical properties,potentially leading to clinical safety risks.However,phase transition ...The phase transition among different solid forms of active pharmaceutical ingredients can significantly influence their physicochemical properties,potentially leading to clinical safety risks.However,phase transition mechanisms remain under explored,especially in multi-component drugs.Here we report a novel ciprofloxacin-diclofenac salt system and investigate phase transitions among its anhydrate,dihydrate,and methanol solvate forms.The study focused on the influence of water activity and solvent vapor conditions,elucidating the role of vip molecules in driving these transitions.These findings offer new insights into polymorphic phase transitions,advancing our understanding of stability and performance in pharmaceutical formulations.展开更多
A dietary transition from refined to whole grains would optimize grain processing,reduce food loss and emissions,and increase food nutritional contents.The results of systematical analysis and calculations in our stud...A dietary transition from refined to whole grains would optimize grain processing,reduce food loss and emissions,and increase food nutritional contents.The results of systematical analysis and calculations in our study show that the average processing loss rate of grains including rice,wheat,and maize is approximately 4.1%in China due to the refinement,equivalent to an annual loss of around 13.3 Mt of grains.Furthermore,the refining process significantly reduces the nutritional contents of rice(51.6%),wheat flour(55.4%),and corn products(80.4%)mainly resulting from the removal of dietary fiber,minerals,and vitamins in refined grains.Replacing refined grains with whole grains in diets would lower agricultural carbon emissions by 2.7%,reducing agricultural water use by 4.3%,and saving arable land by 1,972,607 ha.Total environmental footprint could be reduced by 35%to 79%under three proposed scenarios.These findings indicate that shifting toward whole grain-based diets by Chinese consumers could reduce food losses,enhance human health,and improve environmental sustainability.This approach offers a promising strategy for transitioning towards more resilient and sustainable agri-food systems,benefiting human and planetary health.展开更多
Currently,the development of high-efficiency two-dimensional(2D)transistors is still hindered by the limited availability of suitable semiconductors and the contact resistance between the metal contact and the 2D semi...Currently,the development of high-efficiency two-dimensional(2D)transistors is still hindered by the limited availability of suitable semiconductors and the contact resistance between the metal contact and the 2D semiconductors.Endeavors to address these challenges are highly desired.In this study,we conducted a comprehensive exploration of the potential 2D transition metal dinitrides(TMN_(2)s,TM=all the 3d,4d and 5d transition metals)with hexagonal(h-)and trigonal(t-)phases through systematic first-principles calculations.Among all h-TMN_(2)s and t-TMN_(2)s structures,we identified 8 TMN_(2)s that exhibit dynamical and thermal stability at room temperature.Of these,the h-TiN_(2),h-ZrN_(2)and h-HfN_(2)arefound to be semiconductors,and their direct bang gap,calculated at the HSE06 level,are 1.48,1.96 and 2.64 eV,respectively.The electron and hole mobility(μ_(e)andμ_(h))of these three structures exceed 1×10^(4)and1×10^(3)cm^(2)·V^(-1)·s^(-1),respectively.Especially,theμeof h-TiN_(2)amounts to 2.5×10^(4)cm^(2)·V^(-1)·s^(-1),and theμhof h-ZrN_(2)reaches to 7.7×10^(3)cm^(2)·V^(-1)·s^(-1).Importantly,unlike the MoS_(2)system,h-TMN_(2)forms Ohm contacts with both transition metals(e.g.,Cu)and 2D metals(e.g.,graphene),with tunneling possibilities exceeding 50%in the Cu system.These outstanding intrinsic semiconductor properties and contact characteristics exhibited by h-TMN_(2)highlight the immense potential of transition metal dinitrides in driving the advancement of next-generation information devices.Our findings significantly broaden the range of 2D materials and provide valuable insights for the development of high-eficiency 2D information devices.展开更多
Terahertz(THz)radiation possesses unique properties that make it a promising light source for applications in various fields,particularly spectroscopy and imaging.Ongoing research and development in THz technology has...Terahertz(THz)radiation possesses unique properties that make it a promising light source for applications in various fields,particularly spectroscopy and imaging.Ongoing research and development in THz technology has focused on developing or improving THz sources,detectors,and applications.At the PBP-CMU Electron Linac Laboratory(PCELL)of the Plasma and Beam Physics Research Facility in Chiang Mai University,high-intensity THz radiation has been generated in the form of coherent transition radiation(TR)and investigated since 2006 for electron beams with energies ranging from 8 to 12 MeV.In this study,we investigate and optimize the coherent TR arising from short electron bunches with energies ranging from 8 to 22 MeV using an upgraded linear-accelerator system with a higher radio-frequency(RF)power system.This radiation is then transported from the accelerator hall to the experimental room,in which the spectrometers are located.Electron-beam simulations are conducted to achieve short bunch lengths and small transverse beam sizes at the TR station.Radiation properties,including the radiation spectrum,angular distribution,and radiation polarization,are thoroughly investigated.The electron-bunch length is evaluated using the measuring system.The radiation-transport line is designed to achieve optimal frequency response and high transmission efficiency.A radiation-transmission efficiency of approximately 80-90%can be achieved with this designed system,along with a pulse energy ranging from 0.17 to 0.25μJ.The expected radiation spectral range covers up to 2 THz with a peak power of 0.5-1.25 MW.This coherent,broadband,and intense THz radiation will serve as a light source for THz spectroscopy and THz time-domain spectroscopy applications at the PCELL in the near future.展开更多
We investigate dynamical quantum phase transitions(DQPTs)in Marko-vian open quantum systems using a variational quantum simulation(VQS)algorithm based on quantum state diffusion(QSD).This approach reformulates the Lin...We investigate dynamical quantum phase transitions(DQPTs)in Marko-vian open quantum systems using a variational quantum simulation(VQS)algorithm based on quantum state diffusion(QSD).This approach reformulates the Lindblad master equation as an ensemble of pure-state trajectories,enabling efficient simula-tion of dissipative quantum dynam-ics with effectively reduced quantum resources.Focusing on the one-di-mensional transverse-field Ising mod-el(TFIM),we simulate quench dynamics under both local and global Lindblad dissipation.The QSD-VQS algorithm accurately captures the nonanalytic cusps in the Loschmidt rate function,and reveals their modulation by dissipation strength and system size.Notably,DQPTs are gradually suppressed under strong local dissipation,while they persist under strong global dissipation due to collective environmental effects.Benchmarking against exact Lindblad solutions confirms the high accuracy and scalability of our method.展开更多
We consider a Bose-Einstein condensate loaded inside an optical cavity and exposed to two crossed coherent pump fields with same imbalance parameter γ.We identify different effects between pure standing wave fields(...We consider a Bose-Einstein condensate loaded inside an optical cavity and exposed to two crossed coherent pump fields with same imbalance parameter γ.We identify different effects between pure standing wave fields(γ=1)and the pump beams combining standing wave and running wave(γ≠1).In particular,for γ=1,the system only hosts a normal phase and a superradiant phase.In contrast,for γ≠1,the system features three distinctive phases:the normal phase(NP),superradiant phase 1(SR_(1)),and superradiant phase 2(SR_(2)).Importantly,the superradiance is subdivided into different types characterized by the photon phase.Furthermore,we determine perturbatively the phase boundary separating the normal phase and the superradiant phases,and find that there exists a competitive relationship of energy minimum on the overlapping region between SR_(1) and SR_(2).Interestingly,the transition between the normal phase to SR_(1) or SR_(2) is identified to be a second-order phase transition,while the transition between SR_(1) and SR_(2) is a first-order transition.When the first-order phase transition occurs,the phase of the photons changes abruptly from 0 to π/2.展开更多
Electrochemical water splitting represents a sustainable technology for hydrogen(H_(2))production.However,its large-scale implementation is hindered by the high overpotentials required for both the cathodic hydrogen e...Electrochemical water splitting represents a sustainable technology for hydrogen(H_(2))production.However,its large-scale implementation is hindered by the high overpotentials required for both the cathodic hydrogen evolution reaction(HER)and the anodic oxygen evolution reaction(OER).Transition metal-based catalysts have garnered significant research interest as promising alternatives to noble-metal catalysts,owing to their low cost,tunable composition,and noble-metal-like catalytic activity.Nevertheless,systematic reviews on their application as bifunctional catalysts for overall water splitting(OWS)are still limited.This review comprehensively outlines the principal categories of bifunctional transition metal electrocatalysts derived from electrospun nanofibers(NFs),including metals,oxides,phosphides,sulfides,and carbides.Key strategies for enhancing their catalytic performance are systematically summarized,such as heterointerface engineering,heteroatom doping,metal-nonmetal-metal bridging architectures,and single-atom site design.Finally,current challenges and future research directions are discussed,aiming to provide insightful perspectives for the rational design of high-performance electrocatalysts for OWS.展开更多
Temperature-programmed desorption(TPD)is a fundamental technique in surface science and heterogeneous catalysis for characterizing adsorption behavior,and for extracting key parameters such as adsorption energy.Howeve...Temperature-programmed desorption(TPD)is a fundamental technique in surface science and heterogeneous catalysis for characterizing adsorption behavior,and for extracting key parameters such as adsorption energy.However,the majority of existing TPD data is accessible in the form of published images,which lacks structured and quantitative datasets.This constrains its utility for rigorous quantitative analysis and computational modelling.Using carbon monoxide(CO)which is a widely adopted probe molecule,a curated and standardized dataset of CO-TPD is constructed,encompassing 14 transition-metal single-crystal surfaces,including copper(Cu)and ruthenium(Ru).By systematically extracting numerical data points from published spectra and applying normalization,essential spectral features such as peak shape are fully preserved.The dataset also documents relevant experimental parameters,including heating rates,and was developed using a standardized protocol for data collection and quality control.This resource serves as both a reference library to support the deconvolution of TPD spectra from complex catalysts and an experimental benchmark for calibrating parameters in theoretical models.By providing a reliable and accessible data function,this work advances the microscopic understanding and the rational design of catalyst active centers.展开更多
The post-embryonic development of shoot apices in higher plants progresses through three distinct phases:the juvenile phase,adult vegetative phase,and reproductive phase.The transition from vegetative to reproductive ...The post-embryonic development of shoot apices in higher plants progresses through three distinct phases:the juvenile phase,adult vegetative phase,and reproductive phase.The transition from vegetative to reproductive growth represents a critical developmental transition that affects plant adaptability(Poethig 2003;Baurle and Dean 2006).展开更多
Separation bubbles forming on airfoils significantly influence aerodynamic behavior,particularly at low Reynolds numbers,making their accurate prediction a critical challenge in transition modelling.This study investi...Separation bubbles forming on airfoils significantly influence aerodynamic behavior,particularly at low Reynolds numbers,making their accurate prediction a critical challenge in transition modelling.This study investigates numerical modeling of a separation bubble and the effects of airfoil thickness and camber variation on the formation of the bubble dynamics at low Reynolds numbers.The numerical results were compared with the experimental results obtained from surface pressure distribution measurements,oil flow visualisation,and surface shear measurements to analyse the detailed flow behavior.The combination of pressure and flow visualisation techniques provided complementary insights,enabling a detailed characterisation of bubble formation.The results reveal that both the thickness and camber of the airfoil significantly influence the location,length,and stability of the bubble.At low Reynolds number flows(Re=0.5×10^(5)),particularly for highly cambered profiles,closer to the leading edge,separation and long bubbles were observed.As the Reynolds number increased,the separation point shifted to the leading edge,and reattachment became more likely.In numerical studies,transition models can accurately model the bubble initiation point;however,they often fail to model the bubble reattachment points accurately.This is due to the inadequacy of models that use empirical expressions for turbulence modelling,particularly in low Reynolds number flows,in their viscous modelling.In this study,it was concluded that transition onset terms,which specifically affect bubble formation,should be modified for more accurate modeling.展开更多
Polyamorphous transition refers to the transformation between two distinct amorphous states with identical composition.This phenomenon is intriguing in the field of physics and offers avenues for glass material design...Polyamorphous transition refers to the transformation between two distinct amorphous states with identical composition.This phenomenon is intriguing in the field of physics and offers avenues for glass material design.Recently,polyamorphous transitions have been frequently observed in glassy materials.However,the transition pathway has yet to be established,which is essential for understanding its structural origins.Here,we present evidence from 12 different types of metallic glasses spanning 7 orders of magnitude in timescales,demonstrating that polyamorphous transitions consistently occur after the devitrification process,between two supercooled liquid phases(Ⅰ and Ⅱ).Notably,we observe a decrease in liquid fragility and heat capacity following the transition,suggesting that the polyamorphous transition is associated with the fragile-to-strong transition(FST)in liquids.These findings elucidate the detailed structural pathway of the polyamorphous transition,via glass I→devitrification→liquid I→fragile-strong transition→liquid II,and incorporate the FST into a cohesive framework for its understanding.展开更多
Based on datasets from the International Best-Track Archive for Climate Stewardship(IBTrACS)and the fifth major global reanalysis produced by ECMWF(ERA5),the authors found that 29%of tropical cyclones(TCs)in the weste...Based on datasets from the International Best-Track Archive for Climate Stewardship(IBTrACS)and the fifth major global reanalysis produced by ECMWF(ERA5),the authors found that 29%of tropical cyclones(TCs)in the western North Pacific underwent extratropical transition(ET)from 1979 to 2022,with the frequency of ET events showing a slow decreasing trend.The extratropical transition tropical cyclones(ETCs)are classified into four clusters using the k-means clustering method based on their track patterns:recurving ETCs,westward ETCs,northwestward ETCs,and abnormal track ETCs.The transition process of recurving ETCs mostly occurs after the recurvature is completed,while 63.7%of the westward ETCs complete their transition after landfall.Abnormal track ETCs undergo transition over high-latitude oceans.Northwestward ETCs have the longest duration and slowest transition speed during the ET period,resulting in a prolonged impact.The ET process occurs at the edges of the western Pacific subtropical high(WPSH),with higher frequency during westward extension and lower during eastward retreat.While westward ETCs transition through surface friction effects,others complete ET in the northwest baroclinic zone of the WPSH.展开更多
The complex aerodynamic interaction between tandem tilt-wing and multi-rotor directly affects the wing surface flow and rotor thrust,making it a critical factor during the tilt transition process of this configuration...The complex aerodynamic interaction between tandem tilt-wing and multi-rotor directly affects the wing surface flow and rotor thrust,making it a critical factor during the tilt transition process of this configuration of rotorcraft.The aerodynamic interaction of tandem tilt-wing and multi-rotor is investigated based on the CFD method.The aerodynamic effect of multi tilt-rotor is simulated as virtual disk modeling by adding source terms to the Navier-Stokes equations,effectively reducing the calculation time while maintaining the accuracy of aerodynamic interaction calculations.Aerodynamic forces and flow field characteristics of the tandem tilt-wing and multi-rotor under different tilt angles are compared between cases with and without aerodynamic interaction.Furthermore,the differences in aerodynamic forces between dynamic tilt transition and fixed-angle conditions were compared.The results show that the aerodynamic interaction of multi-rotor obviously increases the lift of front tilt-wing at different tilt angles,the wing lift under interaction is increased by more than 40%compared with isolated wing at tilt angle of 15°for the computation in this paper,which is related to the increase of wing flow velocity and the suppression of flow separation caused by multi-rotor;the wing blocking effect will increase rotor thrust,especially near the tilt angles of 30°and 45°;the increases of rear wing lift and rear rotor thrust under aerodynamic interaction are not significant because of suppression by the front wing’s downwash;the unsteady effects during dynamic tilting have a relatively minor impact on aerodynamic interaction,with the aerodynamic forces on the rotors and wings during the dynamic tilting process showing little difference from those under corresponding fixed tilt angles.展开更多
Objective Frailty is becoming increasingly common among aging adults.Frailty transitionis shaped by biological,social,psychological,and environmental factors.This study investigated combined effects of protective fact...Objective Frailty is becoming increasingly common among aging adults.Frailty transitionis shaped by biological,social,psychological,and environmental factors.This study investigated combined effects of protective factors on frailty transition by constructing a Protection Index(PI)to guide targeted interventions.Methods Data were extracted from the 4th Sample Survey of the Aged Population in Urban and Rural China,including baseline(2017)and follow-up(2019)surveys.Frailty was assessed using the Frailty Index(FI),whereas the PI measured protective factors.Frailty transitions over 2 years were analyzed prospectively.Pearson’s correlation examined the relationship between FI and PI,and logistic regression assessed the effects of PI on frailty transitions.Results This study included 9,093 older adults.FI values increased with age and were higher in women,whereas PI values decreased with age and were higher in men.Over 2 years,56.2%of the participants showed a stable frailty status,14.2%improved,and 29.6%worsened.Negative transitions were more common than positive transitions,with transitions occurring most frequently between adjacent states.The PI was moderately negatively correlated with the FI(r=−0.349,P<0.001).A higher PI was associated with a lower risk of negative transitions among robust and prefrail individuals(OR=0.989,0.981,both P<0.05),but showed no significant effect among those with existing frailty.Conclusion Negative frailty transitions were more common with advancing age.Enhancing PI may help prevent negative frailty transitions among robust and pre-frail older adults,underscoring the value of early interventions.展开更多
基金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.
基金the National Natural Science Foundation of China (50209012)Chinese Postdoctoral Science Foundation K.C.Wong Education Foundation,Hong Kong.
文摘The method for controlling chaotic transition system was investigated using sampled- data . The output of chaotic transition system was sampled at a given sampling rate , then the sampled output was used by a feedbacks subsystem to construct a control signal for controlling chaotic transition system to the origin . Numerical simulations are presented to show the effectiveness and feasibility of the developed controller.
基金National Natural Science Foundation of China(No.11371003)Natural Science Foundations of Guangxi,China(No.2011GXNSFA018154,No.2012GXNSFGA060003)+2 种基金Science and Technology Foundation of Guangxi,China(No.10169-1)Scientific Research Project from Guangxi Education Department,China(No.201012MS274)Open Research Fund Program of Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis,China(No.HCIC201301)
文摘Labelled transition systems(LTSs) are widely used to formally describe system behaviour.The labels of LTS are extended to offer a more satisfactory description of behaviour by refining the abstract labels into multivariate polynomials.These labels can be simplified by numerous numerical approximation methods.Those LTSs that can not apply failures semantics equivalence in description and verification may have a chance after using approximation on labels.The technique that combines approximation and failures semantics equivalence effectively alleviates the computational complexity and minimizes LTS.
文摘Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode transition graph of a hybrid system. This method can be used for a general class of industrial hybrid plants which are defined by Polyhedral Invariant Hybrid Automata (PIHA). In these automata there are no resetting maps, while invariant sets are defined by linear inequalities. Therefore, based on the continuity property of the state trajectories in a PIHA, the problem is reduced to finding possible transitions between all two adjacent discrete modes. In the presented method, the possibility and the direction of such transitions are detected only by computing the angle between the vector field and the normal vector of the switching surfaces. Thus, unlike the most other reachability methods, there is no need to solve differential equations and to do mapping computations. In addition, the proposed method, with some modifications can be applied for extracting Stochastic or Timed Discrete Trace Transition Systems.
文摘Discussions about the future of energy sources and environmental sustainability are becoming critical on a global scale.The energy sector plays a central role in the economy,as the availability and cost of energy influence the competitiveness of economies,while the level of energy consumption impacts the standard of living for individuals.This paper aims to examine environmental challenges and steps for a sustainable transition towards a hydrogen economy,focusing on its potential as an alternative to fossil fuels and the importance of developing the hydrogen paradigm.The research methodology is based on a combination of qualitative and quantitative methods,including an analysis of global and regional trends in the energy transition,the impact of various forms of hydrogen production(green,blue,gray hydrogen)on greenhouse gas emissions,and a comparison of existing policies and strategies in different countries transitioning to a sustainable hydrogen economy.Research results show that green hydrogen,produced via electrolysis using renewable energy sources,holds the greatest potential for reducing greenhouse gas emissions,while gray and blue hydrogen can serve as transitional options.The development of the hydrogen paradigm,rooted in innovative technologies,renewable energy sources,and international cooperation,is crucial for decarbonization and the creation of a sustainable global economy,despite challenges such as high costs and the need for global coordination.The hydrogen paradigm is becoming a cornerstone of these efforts,laying the foundation for a long-term,sustainable global economy.Currently,over 180 hydrogen transport projects,60 distribution projects,80 storage projects,30 terminal and port projects,and more than 220 hydrogen production projects are under development worldwide.The global momentum of the hydrogen transition helps mitigate climate change and build a sustainable future.
基金supported by the Young Scientists Promotion Fund of Natural Science Foundation of Guangdong Province(No.2023A1515030128)Natural Science Foundation of Guangdong Province(No.2024A1515011590)+1 种基金National Natural Science Foundation of China(No.81703438)CAMS Innovation Fund for Medical Sciences(No.2022-I2M-1-015).
文摘The phase transition among different solid forms of active pharmaceutical ingredients can significantly influence their physicochemical properties,potentially leading to clinical safety risks.However,phase transition mechanisms remain under explored,especially in multi-component drugs.Here we report a novel ciprofloxacin-diclofenac salt system and investigate phase transitions among its anhydrate,dihydrate,and methanol solvate forms.The study focused on the influence of water activity and solvent vapor conditions,elucidating the role of vip molecules in driving these transitions.These findings offer new insights into polymorphic phase transitions,advancing our understanding of stability and performance in pharmaceutical formulations.
基金funded by the National Key Research and Development Program of China(2022YFF1100501)the Postdoctoral Research Foundation of Shunde Innovation School of University of Science and Technology Beijing(2024BH002).
文摘A dietary transition from refined to whole grains would optimize grain processing,reduce food loss and emissions,and increase food nutritional contents.The results of systematical analysis and calculations in our study show that the average processing loss rate of grains including rice,wheat,and maize is approximately 4.1%in China due to the refinement,equivalent to an annual loss of around 13.3 Mt of grains.Furthermore,the refining process significantly reduces the nutritional contents of rice(51.6%),wheat flour(55.4%),and corn products(80.4%)mainly resulting from the removal of dietary fiber,minerals,and vitamins in refined grains.Replacing refined grains with whole grains in diets would lower agricultural carbon emissions by 2.7%,reducing agricultural water use by 4.3%,and saving arable land by 1,972,607 ha.Total environmental footprint could be reduced by 35%to 79%under three proposed scenarios.These findings indicate that shifting toward whole grain-based diets by Chinese consumers could reduce food losses,enhance human health,and improve environmental sustainability.This approach offers a promising strategy for transitioning towards more resilient and sustainable agri-food systems,benefiting human and planetary health.
基金financially supported by the National Natural Science Foundation of China(No.52171141)the Fund of Natural Science Special(Special Post)Research Foundation of Guizhou University(No.2023-032)the Fund of Research Foundation of Guizhou University(No.2024-33)
文摘Currently,the development of high-efficiency two-dimensional(2D)transistors is still hindered by the limited availability of suitable semiconductors and the contact resistance between the metal contact and the 2D semiconductors.Endeavors to address these challenges are highly desired.In this study,we conducted a comprehensive exploration of the potential 2D transition metal dinitrides(TMN_(2)s,TM=all the 3d,4d and 5d transition metals)with hexagonal(h-)and trigonal(t-)phases through systematic first-principles calculations.Among all h-TMN_(2)s and t-TMN_(2)s structures,we identified 8 TMN_(2)s that exhibit dynamical and thermal stability at room temperature.Of these,the h-TiN_(2),h-ZrN_(2)and h-HfN_(2)arefound to be semiconductors,and their direct bang gap,calculated at the HSE06 level,are 1.48,1.96 and 2.64 eV,respectively.The electron and hole mobility(μ_(e)andμ_(h))of these three structures exceed 1×10^(4)and1×10^(3)cm^(2)·V^(-1)·s^(-1),respectively.Especially,theμeof h-TiN_(2)amounts to 2.5×10^(4)cm^(2)·V^(-1)·s^(-1),and theμhof h-ZrN_(2)reaches to 7.7×10^(3)cm^(2)·V^(-1)·s^(-1).Importantly,unlike the MoS_(2)system,h-TMN_(2)forms Ohm contacts with both transition metals(e.g.,Cu)and 2D metals(e.g.,graphene),with tunneling possibilities exceeding 50%in the Cu system.These outstanding intrinsic semiconductor properties and contact characteristics exhibited by h-TMN_(2)highlight the immense potential of transition metal dinitrides in driving the advancement of next-generation information devices.Our findings significantly broaden the range of 2D materials and provide valuable insights for the development of high-eficiency 2D information devices.
基金supported by the National Research Council of Thailand(No.NRCT-5-RSA63004-16)Chiang Mai University.S.Pakluea acknowledges scholarship support from the Science Achievement Scholarship of Thailand(SAST).
文摘Terahertz(THz)radiation possesses unique properties that make it a promising light source for applications in various fields,particularly spectroscopy and imaging.Ongoing research and development in THz technology has focused on developing or improving THz sources,detectors,and applications.At the PBP-CMU Electron Linac Laboratory(PCELL)of the Plasma and Beam Physics Research Facility in Chiang Mai University,high-intensity THz radiation has been generated in the form of coherent transition radiation(TR)and investigated since 2006 for electron beams with energies ranging from 8 to 12 MeV.In this study,we investigate and optimize the coherent TR arising from short electron bunches with energies ranging from 8 to 22 MeV using an upgraded linear-accelerator system with a higher radio-frequency(RF)power system.This radiation is then transported from the accelerator hall to the experimental room,in which the spectrometers are located.Electron-beam simulations are conducted to achieve short bunch lengths and small transverse beam sizes at the TR station.Radiation properties,including the radiation spectrum,angular distribution,and radiation polarization,are thoroughly investigated.The electron-bunch length is evaluated using the measuring system.The radiation-transport line is designed to achieve optimal frequency response and high transmission efficiency.A radiation-transmission efficiency of approximately 80-90%can be achieved with this designed system,along with a pulse energy ranging from 0.17 to 0.25μJ.The expected radiation spectral range covers up to 2 THz with a peak power of 0.5-1.25 MW.This coherent,broadband,and intense THz radiation will serve as a light source for THz spectroscopy and THz time-domain spectroscopy applications at the PCELL in the near future.
基金supported by the National Natural Science Foundation of China(Nos.22273122,T2350009)the Guangdong Provincial Natural Science Foundation(No.2024A1515011504)computational resources and services provided by the national supercomputer center in Guangzhou.
文摘We investigate dynamical quantum phase transitions(DQPTs)in Marko-vian open quantum systems using a variational quantum simulation(VQS)algorithm based on quantum state diffusion(QSD).This approach reformulates the Lindblad master equation as an ensemble of pure-state trajectories,enabling efficient simula-tion of dissipative quantum dynam-ics with effectively reduced quantum resources.Focusing on the one-di-mensional transverse-field Ising mod-el(TFIM),we simulate quench dynamics under both local and global Lindblad dissipation.The QSD-VQS algorithm accurately captures the nonanalytic cusps in the Loschmidt rate function,and reveals their modulation by dissipation strength and system size.Notably,DQPTs are gradually suppressed under strong local dissipation,while they persist under strong global dissipation due to collective environmental effects.Benchmarking against exact Lindblad solutions confirms the high accuracy and scalability of our method.
基金supported by the National Natural Science Foundation of China(Grant Nos.12174055 and 11674058)the Natural Science Foundation of Fujian Province,China(Grant No.2020J01195)。
文摘We consider a Bose-Einstein condensate loaded inside an optical cavity and exposed to two crossed coherent pump fields with same imbalance parameter γ.We identify different effects between pure standing wave fields(γ=1)and the pump beams combining standing wave and running wave(γ≠1).In particular,for γ=1,the system only hosts a normal phase and a superradiant phase.In contrast,for γ≠1,the system features three distinctive phases:the normal phase(NP),superradiant phase 1(SR_(1)),and superradiant phase 2(SR_(2)).Importantly,the superradiance is subdivided into different types characterized by the photon phase.Furthermore,we determine perturbatively the phase boundary separating the normal phase and the superradiant phases,and find that there exists a competitive relationship of energy minimum on the overlapping region between SR_(1) and SR_(2).Interestingly,the transition between the normal phase to SR_(1) or SR_(2) is identified to be a second-order phase transition,while the transition between SR_(1) and SR_(2) is a first-order transition.When the first-order phase transition occurs,the phase of the photons changes abruptly from 0 to π/2.
基金Supported by the National Natural Science Foundation of China(No.52273056)the Science and Technology Development Program of Jilin Province,China(No.YDZJ202501ZYTS305)。
文摘Electrochemical water splitting represents a sustainable technology for hydrogen(H_(2))production.However,its large-scale implementation is hindered by the high overpotentials required for both the cathodic hydrogen evolution reaction(HER)and the anodic oxygen evolution reaction(OER).Transition metal-based catalysts have garnered significant research interest as promising alternatives to noble-metal catalysts,owing to their low cost,tunable composition,and noble-metal-like catalytic activity.Nevertheless,systematic reviews on their application as bifunctional catalysts for overall water splitting(OWS)are still limited.This review comprehensively outlines the principal categories of bifunctional transition metal electrocatalysts derived from electrospun nanofibers(NFs),including metals,oxides,phosphides,sulfides,and carbides.Key strategies for enhancing their catalytic performance are systematically summarized,such as heterointerface engineering,heteroatom doping,metal-nonmetal-metal bridging architectures,and single-atom site design.Finally,current challenges and future research directions are discussed,aiming to provide insightful perspectives for the rational design of high-performance electrocatalysts for OWS.
基金Supported by the Robotic AI-Scientist Platform of Chinese Academy of SciencesNational Natural Science Foundation of China(22372185)+2 种基金Youth Talent Development Program of SKLCC(2025BWZ009)Natural Science Foundation of Shanxi Province(202203021221219)Research on the Construction of Scientific and Technological Innovation Think Tank of Shanxi Association for Science and Technology(KXKT202542)。
文摘Temperature-programmed desorption(TPD)is a fundamental technique in surface science and heterogeneous catalysis for characterizing adsorption behavior,and for extracting key parameters such as adsorption energy.However,the majority of existing TPD data is accessible in the form of published images,which lacks structured and quantitative datasets.This constrains its utility for rigorous quantitative analysis and computational modelling.Using carbon monoxide(CO)which is a widely adopted probe molecule,a curated and standardized dataset of CO-TPD is constructed,encompassing 14 transition-metal single-crystal surfaces,including copper(Cu)and ruthenium(Ru).By systematically extracting numerical data points from published spectra and applying normalization,essential spectral features such as peak shape are fully preserved.The dataset also documents relevant experimental parameters,including heating rates,and was developed using a standardized protocol for data collection and quality control.This resource serves as both a reference library to support the deconvolution of TPD spectra from complex catalysts and an experimental benchmark for calibrating parameters in theoretical models.By providing a reliable and accessible data function,this work advances the microscopic understanding and the rational design of catalyst active centers.
基金supported by grants from Biological Breeding-National Science and Technology Major Project(2023ZD04076)the National Key Research and Development Program of Hubei Province(2022BBA154)the Foundation of Hubei Hongshan Laboratory(2021hszd010).
文摘The post-embryonic development of shoot apices in higher plants progresses through three distinct phases:the juvenile phase,adult vegetative phase,and reproductive phase.The transition from vegetative to reproductive growth represents a critical developmental transition that affects plant adaptability(Poethig 2003;Baurle and Dean 2006).
基金the Scientific and Technological Research Council of Turkey(TÜB˙ITAK)for support under project number:122M826to the Scientific Research Projects Unit of Erciyes University under contract No.:FYL-2023-13162 and FYL-2024-13701.
文摘Separation bubbles forming on airfoils significantly influence aerodynamic behavior,particularly at low Reynolds numbers,making their accurate prediction a critical challenge in transition modelling.This study investigates numerical modeling of a separation bubble and the effects of airfoil thickness and camber variation on the formation of the bubble dynamics at low Reynolds numbers.The numerical results were compared with the experimental results obtained from surface pressure distribution measurements,oil flow visualisation,and surface shear measurements to analyse the detailed flow behavior.The combination of pressure and flow visualisation techniques provided complementary insights,enabling a detailed characterisation of bubble formation.The results reveal that both the thickness and camber of the airfoil significantly influence the location,length,and stability of the bubble.At low Reynolds number flows(Re=0.5×10^(5)),particularly for highly cambered profiles,closer to the leading edge,separation and long bubbles were observed.As the Reynolds number increased,the separation point shifted to the leading edge,and reattachment became more likely.In numerical studies,transition models can accurately model the bubble initiation point;however,they often fail to model the bubble reattachment points accurately.This is due to the inadequacy of models that use empirical expressions for turbulence modelling,particularly in low Reynolds number flows,in their viscous modelling.In this study,it was concluded that transition onset terms,which specifically affect bubble formation,should be modified for more accurate modeling.
基金supported by the National Science Foundation of China(NSFC 52571185,52201180 and 52371148)the China Postdoctoral Science Foundation(2023T160241 and 2023M731176)+2 种基金the Natural Science Foundation of Chongqing(CSTB2025NSCQ-GPX1026)the Science and Technology Research Program of Chongqing Municipal Education Commission of China(KJQN202500526)the Foundation of Chongqing Normal University(No.24XLB019).
文摘Polyamorphous transition refers to the transformation between two distinct amorphous states with identical composition.This phenomenon is intriguing in the field of physics and offers avenues for glass material design.Recently,polyamorphous transitions have been frequently observed in glassy materials.However,the transition pathway has yet to be established,which is essential for understanding its structural origins.Here,we present evidence from 12 different types of metallic glasses spanning 7 orders of magnitude in timescales,demonstrating that polyamorphous transitions consistently occur after the devitrification process,between two supercooled liquid phases(Ⅰ and Ⅱ).Notably,we observe a decrease in liquid fragility and heat capacity following the transition,suggesting that the polyamorphous transition is associated with the fragile-to-strong transition(FST)in liquids.These findings elucidate the detailed structural pathway of the polyamorphous transition,via glass I→devitrification→liquid I→fragile-strong transition→liquid II,and incorporate the FST into a cohesive framework for its understanding.
基金supported by the National Key Research and Development Program of China [grant number 2023YFF0807000]。
文摘Based on datasets from the International Best-Track Archive for Climate Stewardship(IBTrACS)and the fifth major global reanalysis produced by ECMWF(ERA5),the authors found that 29%of tropical cyclones(TCs)in the western North Pacific underwent extratropical transition(ET)from 1979 to 2022,with the frequency of ET events showing a slow decreasing trend.The extratropical transition tropical cyclones(ETCs)are classified into four clusters using the k-means clustering method based on their track patterns:recurving ETCs,westward ETCs,northwestward ETCs,and abnormal track ETCs.The transition process of recurving ETCs mostly occurs after the recurvature is completed,while 63.7%of the westward ETCs complete their transition after landfall.Abnormal track ETCs undergo transition over high-latitude oceans.Northwestward ETCs have the longest duration and slowest transition speed during the ET period,resulting in a prolonged impact.The ET process occurs at the edges of the western Pacific subtropical high(WPSH),with higher frequency during westward extension and lower during eastward retreat.While westward ETCs transition through surface friction effects,others complete ET in the northwest baroclinic zone of the WPSH.
基金supported by the National Key Laboratory of Helicopter Aeromechanics Fund(No.2024-CXPT-GF-JJ-093-05).
文摘The complex aerodynamic interaction between tandem tilt-wing and multi-rotor directly affects the wing surface flow and rotor thrust,making it a critical factor during the tilt transition process of this configuration of rotorcraft.The aerodynamic interaction of tandem tilt-wing and multi-rotor is investigated based on the CFD method.The aerodynamic effect of multi tilt-rotor is simulated as virtual disk modeling by adding source terms to the Navier-Stokes equations,effectively reducing the calculation time while maintaining the accuracy of aerodynamic interaction calculations.Aerodynamic forces and flow field characteristics of the tandem tilt-wing and multi-rotor under different tilt angles are compared between cases with and without aerodynamic interaction.Furthermore,the differences in aerodynamic forces between dynamic tilt transition and fixed-angle conditions were compared.The results show that the aerodynamic interaction of multi-rotor obviously increases the lift of front tilt-wing at different tilt angles,the wing lift under interaction is increased by more than 40%compared with isolated wing at tilt angle of 15°for the computation in this paper,which is related to the increase of wing flow velocity and the suppression of flow separation caused by multi-rotor;the wing blocking effect will increase rotor thrust,especially near the tilt angles of 30°and 45°;the increases of rear wing lift and rear rotor thrust under aerodynamic interaction are not significant because of suppression by the front wing’s downwash;the unsteady effects during dynamic tilting have a relatively minor impact on aerodynamic interaction,with the aerodynamic forces on the rotors and wings during the dynamic tilting process showing little difference from those under corresponding fixed tilt angles.
基金supported by grants from the National Key R&D Program of China[Grant Nos.2020YFC2003000 and 2020YFC2003001]the National High Level Hospital Clinical Research Funding(BJ-2023-074 and BJ-2023-018)+1 种基金Beijing Municipal Science&Technology Commission“AI+Health Collaborative Innovation Cultivation”Project(Z221100003522015)the Non-Profit Central Research Institute Fund of the Chinese Academy of Medical Sciences(2021-JKCS-024).
文摘Objective Frailty is becoming increasingly common among aging adults.Frailty transitionis shaped by biological,social,psychological,and environmental factors.This study investigated combined effects of protective factors on frailty transition by constructing a Protection Index(PI)to guide targeted interventions.Methods Data were extracted from the 4th Sample Survey of the Aged Population in Urban and Rural China,including baseline(2017)and follow-up(2019)surveys.Frailty was assessed using the Frailty Index(FI),whereas the PI measured protective factors.Frailty transitions over 2 years were analyzed prospectively.Pearson’s correlation examined the relationship between FI and PI,and logistic regression assessed the effects of PI on frailty transitions.Results This study included 9,093 older adults.FI values increased with age and were higher in women,whereas PI values decreased with age and were higher in men.Over 2 years,56.2%of the participants showed a stable frailty status,14.2%improved,and 29.6%worsened.Negative transitions were more common than positive transitions,with transitions occurring most frequently between adjacent states.The PI was moderately negatively correlated with the FI(r=−0.349,P<0.001).A higher PI was associated with a lower risk of negative transitions among robust and prefrail individuals(OR=0.989,0.981,both P<0.05),but showed no significant effect among those with existing frailty.Conclusion Negative frailty transitions were more common with advancing age.Enhancing PI may help prevent negative frailty transitions among robust and pre-frail older adults,underscoring the value of early interventions.
