Meat adulteration is a significant global food safety challenge,creating a pressing need for rapid and on-site detection technologies.Herein,we present an intelligent one-pot biosensing platform termed one-pot TLAMP-P...Meat adulteration is a significant global food safety challenge,creating a pressing need for rapid and on-site detection technologies.Herein,we present an intelligent one-pot biosensing platform termed one-pot TLAMP-PfAgo assay(OTPA)that integrates the rapid amplification of turn-back loop primer-accelerated loop-mediated isothermal amplification(LAMP)(TLAMP)with the sequence-specific detection of Pyrococcus furiosus Argonaute(PfAgo).This system features a clever heat-activatable design using microcrystalline wax to spatially separate reactions within a single tube,enabling contamination-free and streamlined operation.The OTPA assay achieves sensitive and specific detection,with limits of detection as low as 3×10-4 ng/μL for pork DNA and 2×10-4 ng/μL for beef DNA within 30 min.It successfully enables duplex target identification and has been validated with commercial meat products,showing perfect concordance with standard polymerase chain reaction(PCR)-based qualitative detection.Notably,the result can be directly visualized under blue light,underscoring the substantial potential of this costeffective and simple platform for point-of-care testing(POCT)and intelligent biosensing in food safety surveillance.展开更多
Loop invariant inference is fundamental to program verification,yet it remains particularly challenging for multipath loops,where different execution paths may exhibit incompatible behaviors across feasible executions...Loop invariant inference is fundamental to program verification,yet it remains particularly challenging for multipath loops,where different execution paths may exhibit incompatible behaviors across feasible executions.In such settings,invariants that are both sound and sufficiently precise often require disjunctive forms,whose automatic inference remains difficult.This paper presents an efficient,path-sensitive,counterexample-guided framework for automated loop invariant inference.Our approach leverages a Path Dependency Automaton(PDA)to systematically decompose the semantics of multipath loops by modeling feasible execution paths independently.Building on this decomposition,we introduce a localized,path-guided Counterexample-Guided Invariant Refinement(CEGIR)process that validates candidate invariants against individual path semantics and uses targeted counterexamples to refine disjunctive and nonlinear polynomial invariant templates only where violations occur.We implement the proposed framework in AutoINF,an automated invariant inference tool for C programs containing multipath loops.The experimental evaluation on a diverse benchmark suite,including programs with complex control flow and nonlinear arithmetic,demonstrates that AutoINF infers sound and expressive invariants for challenging multipath loops.展开更多
Chemical Looping Reforming is an innovative methane-to-syngas conversion process offering high thermal efficiency,flexibility and H2/CO ratio of 2.This study investigates novel NiO-CeO2oxygen carrier combination...Chemical Looping Reforming is an innovative methane-to-syngas conversion process offering high thermal efficiency,flexibility and H2/CO ratio of 2.This study investigates novel NiO-CeO2oxygen carrier combination to leverage their individual benefits while exploring possible synergistic effects.Thermodynamic simulations using Aspen Plus show that NiO-CeO2mixtures promote partial oxidation,suppress carbon formation,and prevent total oxidation,improving cold gas efficiency(CGE),syngas purity,and exergy efficiency.This contrasts with single oxides:excessive NiO induces complete oxidation and CeO2alone suffers from carbon deposition.The optimal composition of 3 kmol·h-1NiO and 1 kmol·h-1CeO2provides enhanced syngas production,limited carbon deposition,92%CGE,and 91%exergy efficiency,causing better temperature control and limited airflow requirements in the oxidation reactor.This supports experimental setups that typically use high MeO/CH4 ratios.The mixture tolerates CO2in methane feed in proportions suitable for natural gas and biogas,promoting CO2utilization and reducing emissions.展开更多
It remains a grand challenge to inhibit coke formation for Fe-based oxygen carriers with extensive reduction due to the mismatch between the CH4decomposition rate on metallic Fe(Fe~0)and the rate of the lattice oxy...It remains a grand challenge to inhibit coke formation for Fe-based oxygen carriers with extensive reduction due to the mismatch between the CH4decomposition rate on metallic Fe(Fe~0)and the rate of the lattice oxygen migration to the surface for carbon oxidation,which led to unsatisfactory syngas selectivity and productivity for chemical looping partial oxidation of methane(CLPOM).Herein,Cu-modified Febased garnets(Y3Fe3CuxAl2-xO12abbreviated as Fe3CuxAl2-x,x equals 0,0.01,and 0.05)were designed,which exhibited boosted carbon-resistance with both CH4conversion and CO selectivity of 94%and extraordinary syngas productivity of almost 8 mmol g-1for Fe3Cu0.05Al1.95,surpassing most of the state-of-the-art Fe-based oxygen carriers in CLPOM.This could be attributed to the in-situ formation of a CuFe alloy under reaction conditions,which remarkably decreased the activity of CH4decomposition over Fe~0 sites to generate carbon and thus allowed lattice oxygen migration to the surface timely for the oxidation of coke formed.展开更多
Understanding how microstructural heterogeneity governs nanoscale deformation under surface-dominated loading is a fundamental challenge in lightweight alloy design.Here,large-scale molecular dynamics simulations reve...Understanding how microstructural heterogeneity governs nanoscale deformation under surface-dominated loading is a fundamental challenge in lightweight alloy design.Here,large-scale molecular dynamics simulations reveal a previously unreported plasticity regime in Mg andβ-Mg17Al12-containing substrates under shallow nanoscratching,uncovering deformation mechanisms inaccessible to conventional mechanical testing or bulk atomistic loading geometries.In pure Mg,surface-mediated stresses generate deeply penetrating,curved,multi-segment dislocation loops reaching∼14.9 nm which far exceed the 2 nm scratch depth and are fundamentally distinct from classical prismatic half-loops reported in previous indentation studies.This establishes a new class of surface-nucleated dislocation topology in HCP metals.In precipitate-strengthened Mg,precipitate orientation is shown for the first time to act as the primary determinant of subsurface deformation mode:scratching along theβ-Mg17Al12alignment triggers cleavage-dominated fracture of the intermetallic crystallite,representing the first atomistic evidence of orientation-dependent precipitate fracture under sliding contact,while transverse scratching instead confines plasticity to a high-stress(∼4.4 GPa),barrier-controlled regime without fracture.These two orientations produce mechanistically distinct responses,with peak von Mises stresses,dislocation loop depths and friction coefficients all varying systematically and explicably with precipitate geometry.These findings establish shallow nanoscratching as a effective atomistic probe of incipient plasticity and interfacial fracture,directly informing the microstructural design of Mg alloys for improved machinability,wear resistance and surface integrity in aerospace,automotive and biomedical applications.展开更多
In the upcoming sixth-generation(6G)era,supporting field robots for unmanned operations has emerged as an important application direction.To provide connectivity in remote areas,the space-air-ground integrated network...In the upcoming sixth-generation(6G)era,supporting field robots for unmanned operations has emerged as an important application direction.To provide connectivity in remote areas,the space-air-ground integrated network(SAGIN)will play a crucial role in extending coverage.Through SAGIN connections,the sensors,edge platforms,and actuators form sensing-communication-computing-control(SC3)loops that can automatically execute complex tasks without human intervention.Similar to the reflex arc,the SC3loop is an integrated structure that cannot be deconstructed.This necessitates a systematic approach that takes the SC3loop rather than the communication link as the basic unit of SAGINs.Given the resource limitations in remote areas,we propose a radio-map-based task-oriented framework that uses environmental and task-related information to enable task-matched service provision.We detail how the network collects and uses this information and present task-oriented scheduling schemes.In the case study,we use a control task as an example and validate the superiority of the task-oriented closedloop optimization scheme over traditional communication schemes.Finally,we discuss open challenges and possible solutions for developing nerve system-like SAGINs.展开更多
The sensorless control of surface-mounted permanent magnet synchronous motor(SPMSM)usually uses quadrature phase-locked loop(QPLL)to extract the phase information of the back electromotive force to realize the rotor a...The sensorless control of surface-mounted permanent magnet synchronous motor(SPMSM)usually uses quadrature phase-locked loop(QPLL)to extract the phase information of the back electromotive force to realize the rotor angle estimation.However,the traditional QPLL has a convergence deviation of 180°when the motor is reversed,and the angle estimation error is obvious when the motor is accelerated and decelerated.To solve these problems,an enhanced QPLL(EQPLL)with polarity correction and high precision angle feedforward compensation is proposed.Firstly,the traditional phase discriminator is improved based on the two-phase stationary coordinate system,and the polarity correction function is designed by the error component of the improved phase discriminator to realize the non convergent deviation angle estimation under the forward and reverse switching conditions of the motor.In addition,the error component of the improved phase discriminator is used as the feedforward compensation signal,and the enhanced generalized integrator is used to filter it,so as to realize the angle error compensation with low delay and low noise.Finally,the proposed scheme is verified by experiment on the motor platform,and compared with the existing scheme.The experimental results show that the proposed scheme can realize the polarity correction and angle error elimination,and at the same time,the noise mean square error is reduced by 24.33%compared with the existing angle feedforward compensation scheme.展开更多
Neuronal cells require precise and stable control of gene expression throughout their extended lifespan,which presents numerous challenges for gene transcription.While traditional studies of transcriptional regulation...Neuronal cells require precise and stable control of gene expression throughout their extended lifespan,which presents numerous challenges for gene transcription.While traditional studies of transcriptional regulation have primarily focused on canonical DNA-binding factors,there is an increasing recognition of the role of regulatory RNAs and RNA-binding proteins(RBPs)in modulating this process.展开更多
For loops with UV divergences,assuming that the physical contributions of loops from UV regions are insignificant,a UV-free scheme method described by an equation is introduced to derive loop results without UV diverg...For loops with UV divergences,assuming that the physical contributions of loops from UV regions are insignificant,a UV-free scheme method described by an equation is introduced to derive loop results without UV divergences in the calculations,i.e.,a route of the analytic continuationTF→TPbesides the traditional route∞−∞in the mathematical structure.This scheme provides a new perspective to an open question of the hierarchy problem of Higgs mass,i.e.,an alternative interpretation without fine-tuning within the standard model.展开更多
Sclerostin negatively regulates bone formation.The marketed antibody against sclerostin loop2 promoted bone formation but may have caused severe cardiovascular events in clinical use.In our published studies,sclerosti...Sclerostin negatively regulates bone formation.The marketed antibody against sclerostin loop2 promoted bone formation but may have caused severe cardiovascular events in clinical use.In our published studies,sclerostin loop3 was found to be involved in inhibitory effects of sclerostin on bone formation,whereas cardiovascular protective effects of sclerostin in mice were independent of loop3.It is necessary to investigate how sclerostin loop3 participates in the inhibitory effects of sclerostin on bone formation to facilitate developing precise strategies that promote bone formation without increasing cardiovascular risk.In this study,sclerostin loop3 was identified to bind to LRP4,thereby facilitating binding of sclerostin to LRP6 in osteoblasts.Blockade of sclerostin loop3-LRP4 interaction by both Lrp4 mutation(Lrp4m)and blocking peptide(LRP4-Pep)diminished the antagonistic effect of sclerostin on Wnt/β-catenin signaling in osteoblasts in vitro.Consistently,Lrp4m promoted bone formation in Lrp4m mice in vivo.Mechanistically,osteoblast-conditional correction of Lrp4m to wild-type Lrp4 resulted in significantly lower bone formation than Lrp4m mice,indicating that the promotive effects of Lrp4m on bone formation acted in osteoblasts in vivo.Moreover,re-expression of sclerostin dramatically inhibited bone formation in sost−/−mice,whilst the inhibitory effects of sclerostin were significantly weaker in sost−/−.Lrp4m mice.Pharmacologically,LRP4-Pep diminished the inhibitory effects of sclerostin on bone formation in SOSTki mice.Taken together,osteoblastic sclerostin loop3-LRP4 interaction,as an anchor,was required by sclerostin to bind to LRP6,thereby inhibiting bone formation.Translationally,blockade of sclerostin loop3-LRP4 interaction in osteoblasts would provide precise therapeutic strategies to promote bone formation without increasing cardiovascular risk.展开更多
Chemical looping hydrogen generation(CLHG)utilizes the cyclic operation of oxygen carriers to independently convert fuel and steam,providing advantages such as low energy demand for decarbonization and a simplified pr...Chemical looping hydrogen generation(CLHG)utilizes the cyclic operation of oxygen carriers to independently convert fuel and steam,providing advantages such as low energy demand for decarbonization and a simplified process.However,conventional optimization of CLHG using Aspen Plus generally relies on sequential simulations of individual process parameters,such as reactor temperature,pressure,and feed ratio,which is both time-consuming and inefficient.This study develops an optimization framework that couples Aspen Plus with machine learning algorithms,where the latter serves as a surrogate model to rapidly predict the impact of operational conditions on hydrogen yield and fuel conversion efficiency in CLHG process,thereby avoiding repeated full-scale simulations and accelerating process optimization.The results demonstrate that temperature is the most influential factor,with shapley additive explanations(SHAP)values ranging from-40 to 30.The feed ratio and pressure have relatively weaker impacts,with SHAP values of-10 to 10 and near zero,respectively.Verified through literature data,the model achieves an accuracy rate of approximately 93.8%.This method can rapidly and efficiently optimize the chemical looping hydrogen production process and can be extended to the optimization of other chemical looping applications.展开更多
Chemical looping methane steam reforming(CL-MSR)has garnered significant attention owing to its ability to sequentially produce syngas with high selectivity and high-purity hydrogen through redox cycling.To overcome t...Chemical looping methane steam reforming(CL-MSR)has garnered significant attention owing to its ability to sequentially produce syngas with high selectivity and high-purity hydrogen through redox cycling.To overcome the limitations of single ironbased oxygen carriers,including poor cycling stability,low reactivity and susceptibility to sintering,this study employed a dipcoating method to modify Fe2O3/Al2O3oxygen carriers by incorporating three distinct metal additives:Cu,La and Ce.The composite oxygen carriers were systematically characterized and evaluated under redox conditions to investigate the structure-activity relationships between the physicochemical properties,reactivity,and hydrogen production performance.Results revealed that the spinel-phase CuFe2O4exhibited higher reactivity than the perovskite-phase LaFeO3and CeO2,promoting the deeper reduction of Fe2O3.Fe58Cu2Al exhibited an oxygen storage capacity as high as 6.5 mmol/g.During the CH4 reaction stage,Fe58Cu2Al achieved the highest oxygen loss of 12.1 g/100 g oxygen carrier,accompanied by a syngas yield of 5.15 mmol/g-1.33 times and 1.59 times greater than that of Fe60Al.In the hydrogen production stage,the 2%Cu-modified oxygen carrier demonstrated optimal performance,yielding 5.13 mmol/g of hydrogen,which was 1.51 times that of the pristine sample.Even after ten cycles,the H2yield remained at 3.61 mmol/g,surpassing the single-cycle output of the pristine sample and the H2 purity consistently exceeded 98%.展开更多
Low‑temperature Chemical Looping Air Separation(CLAS)is a promising technology for producing oxygen‑enriched gas streams.It utilizes the redox properties of solid oxygen carriers to selectively capture and release oxy...Low‑temperature Chemical Looping Air Separation(CLAS)is a promising technology for producing oxygen‑enriched gas streams.It utilizes the redox properties of solid oxygen carriers to selectively capture and release oxygen from the air.Oxygen vacancy formation energy(Eovf)can be used to evaluate the ease of oxygen release by the oxides.In this study,the applicable range of Eovffor CLAS oxygen carriers was determined to be<2.3 eV using the thermodynamic calculations.A graph neural network(GNN)was trained and used to predict the Eovf.By predicting Eovfwith the GNN model,a screening from the 3649 compositions of SrxA1−xFeyB1−yO3perovskites was conducted to discover the CLAS oxygen carriers.The prediction results indicate that the doping of Ba and Ca ions at the A site and Co ions at the B‑site can effectively reduce the Eovfof the perovskite structure.The feasibility of screening the CLAS oxygen carriers using the Eovfmethod was validated through the rediscovery of some known materials.These results support the effectiveness of GNNs in accelerating the discovery of CLAS oxygen carriers.展开更多
A 5-MWth chemical looping combustion(CLC)unit was designed,built,operated,and demonstrated in China as part of the Chinese-European Emission-Reducing Solutions(CHEERS)project,funded by China’s Ministry of Science and...A 5-MWth chemical looping combustion(CLC)unit was designed,built,operated,and demonstrated in China as part of the Chinese-European Emission-Reducing Solutions(CHEERS)project,funded by China’s Ministry of Science and Technology(MOST)and the European Union(EU)’s Horizon 2020.In the configuration designed by the Chinese partners,the air reactor(AR)is a transport bed,while the fuel reactor(FR)is a bubblingurbulent fluidized bed.The solid circulation between the FR and AR is regulated by the overflow method,and the oxygen carrier(OC)from the AR cyclone returns to the FR riser.From June to September 2024,the 5-MWth demonstration unit was operated and tested more or less continuously,with a thermal input ranging from 3.5 to 5.0 MWth.During the operation,all solid fuel was fed into the dense bed of the FR,while only air was introduced into the AR.No electric or other external heating was applied,meaning that the whole pilot unit was heated by the oxidation of the OC within the AR.Hence,auto-thermal CLC operation was successfully achieved.Heating the unit was completed in 48 h;furthermore,switching to CLC mode was straightforward and took less than 1 h.During the operation,the temperature of the entire loop was stable.The temperatures of the AR and FR were 1000-1040°C and 940-980°C,respectively.Based on the operational data,the maximum CO2capture efficiency of the lignite-fed CLC unit was greater than 97%,and the minimum oxygen demand for unburnt gases from the FR was 2.45%.This work bridges the gap between lab-scale research and industrial applications in the field of CLC.展开更多
Ca-Mn based perovskites are particularly suitable for large-scale chemical looping applications due to their low cost and tunable performance characteristics in chemical looping with oxygen uncoupling(CLOU).However,th...Ca-Mn based perovskites are particularly suitable for large-scale chemical looping applications due to their low cost and tunable performance characteristics in chemical looping with oxygen uncoupling(CLOU).However,these materials still struggle to simultaneously achieve long-term stability and efficient oxygen uncoupling performance.Herein,an innovative Co/Mg co-doping strategy was proposed.The optimization threshold for the single Co doped system could achieve 110%enhancement in oxygen uncoupling performance compared to undoped CaMnO3,but exhibiting irreversible phase separation and severe sintering above 800℃.The Co/Mg co-doped system was further developed to significantly improve high-temperature cycling stability,maintaining the superior oxygen uncoupling performance.It was found that Mg doping substantially enhanced the activity of the primary redox pairs(Mn4+/Mn3+,Co3+/Co2+),demonstrating the stable oxygen uncoupling capacity of 1.67 wt%−2.12 wt%at 900℃.The developed Ca Mn based perovskite oxygen carrier achieves an optimal balance between efficient oxygen uncoupling capacity and high temperature structural stability,providing a novel material for enhanced fuel conversion for CLOU application.展开更多
基金supported by the Sichuan Science and Technology Program(No.2024YFFK0280)the Natural Science Foundation of Sichuan Province(No.2024NSFSC0657)+2 种基金the National Natural Science Foundation of China(No.82402725)the Key Research Project of Clinical Medical College&Affiliated Hospital of Chengdu University(No.Y202403)the 2024 Undergraduate Innovation Training Program Incubation and Cultivation Project(No.S202411079085),China。
摘要Meat adulteration is a significant global food safety challenge,creating a pressing need for rapid and on-site detection technologies.Herein,we present an intelligent one-pot biosensing platform termed one-pot TLAMP-PfAgo assay(OTPA)that integrates the rapid amplification of turn-back loop primer-accelerated loop-mediated isothermal amplification(LAMP)(TLAMP)with the sequence-specific detection of Pyrococcus furiosus Argonaute(PfAgo).This system features a clever heat-activatable design using microcrystalline wax to spatially separate reactions within a single tube,enabling contamination-free and streamlined operation.The OTPA assay achieves sensitive and specific detection,with limits of detection as low as 3×10-4 ng/μL for pork DNA and 2×10-4 ng/μL for beef DNA within 30 min.It successfully enables duplex target identification and has been validated with commercial meat products,showing perfect concordance with standard polymerase chain reaction(PCR)-based qualitative detection.Notably,the result can be directly visualized under blue light,underscoring the substantial potential of this costeffective and simple platform for point-of-care testing(POCT)and intelligent biosensing in food safety surveillance.
基金supported and funded by the Deanship of Scientific Research at Imam Mohammad Ibn Saud Islamic University(IMSIU)(grant number IMSIU-DDRSP2603).
摘要Loop invariant inference is fundamental to program verification,yet it remains particularly challenging for multipath loops,where different execution paths may exhibit incompatible behaviors across feasible executions.In such settings,invariants that are both sound and sufficiently precise often require disjunctive forms,whose automatic inference remains difficult.This paper presents an efficient,path-sensitive,counterexample-guided framework for automated loop invariant inference.Our approach leverages a Path Dependency Automaton(PDA)to systematically decompose the semantics of multipath loops by modeling feasible execution paths independently.Building on this decomposition,we introduce a localized,path-guided Counterexample-Guided Invariant Refinement(CEGIR)process that validates candidate invariants against individual path semantics and uses targeted counterexamples to refine disjunctive and nonlinear polynomial invariant templates only where violations occur.We implement the proposed framework in AutoINF,an automated invariant inference tool for C programs containing multipath loops.The experimental evaluation on a diverse benchmark suite,including programs with complex control flow and nonlinear arithmetic,demonstrates that AutoINF infers sound and expressive invariants for challenging multipath loops.
基金supported by the Lebanese American University President's Intramural Research Fund PIRF I0046。
摘要Chemical Looping Reforming is an innovative methane-to-syngas conversion process offering high thermal efficiency,flexibility and H2/CO ratio of 2.This study investigates novel NiO-CeO2oxygen carrier combination to leverage their individual benefits while exploring possible synergistic effects.Thermodynamic simulations using Aspen Plus show that NiO-CeO2mixtures promote partial oxidation,suppress carbon formation,and prevent total oxidation,improving cold gas efficiency(CGE),syngas purity,and exergy efficiency.This contrasts with single oxides:excessive NiO induces complete oxidation and CeO2alone suffers from carbon deposition.The optimal composition of 3 kmol·h-1NiO and 1 kmol·h-1CeO2provides enhanced syngas production,limited carbon deposition,92%CGE,and 91%exergy efficiency,causing better temperature control and limited airflow requirements in the oxidation reactor.This supports experimental setups that typically use high MeO/CH4 ratios.The mixture tolerates CO2in methane feed in proportions suitable for natural gas and biogas,promoting CO2utilization and reducing emissions.
基金supported by the National Natural Science Foundation of China(NSFC)grants(22178337,22378387,and 22308353)the China National Postdoctoral Program for Innovative Talents(20230356)the China Postdoctoral Science Foundation(2023M743431)。
摘要It remains a grand challenge to inhibit coke formation for Fe-based oxygen carriers with extensive reduction due to the mismatch between the CH4decomposition rate on metallic Fe(Fe~0)and the rate of the lattice oxygen migration to the surface for carbon oxidation,which led to unsatisfactory syngas selectivity and productivity for chemical looping partial oxidation of methane(CLPOM).Herein,Cu-modified Febased garnets(Y3Fe3CuxAl2-xO12abbreviated as Fe3CuxAl2-x,x equals 0,0.01,and 0.05)were designed,which exhibited boosted carbon-resistance with both CH4conversion and CO selectivity of 94%and extraordinary syngas productivity of almost 8 mmol g-1for Fe3Cu0.05Al1.95,surpassing most of the state-of-the-art Fe-based oxygen carriers in CLPOM.This could be attributed to the in-situ formation of a CuFe alloy under reaction conditions,which remarkably decreased the activity of CH4decomposition over Fe~0 sites to generate carbon and thus allowed lattice oxygen migration to the surface timely for the oxidation of coke formed.
基金funding support from UK Research and Innovation(UKRI)under Grant No EP/T024607/1 and the authors further acknowledge the financial support of the British Council through the International Science Partnerships Fund(ISPF),Project Application ID 5103。
摘要Understanding how microstructural heterogeneity governs nanoscale deformation under surface-dominated loading is a fundamental challenge in lightweight alloy design.Here,large-scale molecular dynamics simulations reveal a previously unreported plasticity regime in Mg andβ-Mg17Al12-containing substrates under shallow nanoscratching,uncovering deformation mechanisms inaccessible to conventional mechanical testing or bulk atomistic loading geometries.In pure Mg,surface-mediated stresses generate deeply penetrating,curved,multi-segment dislocation loops reaching∼14.9 nm which far exceed the 2 nm scratch depth and are fundamentally distinct from classical prismatic half-loops reported in previous indentation studies.This establishes a new class of surface-nucleated dislocation topology in HCP metals.In precipitate-strengthened Mg,precipitate orientation is shown for the first time to act as the primary determinant of subsurface deformation mode:scratching along theβ-Mg17Al12alignment triggers cleavage-dominated fracture of the intermetallic crystallite,representing the first atomistic evidence of orientation-dependent precipitate fracture under sliding contact,while transverse scratching instead confines plasticity to a high-stress(∼4.4 GPa),barrier-controlled regime without fracture.These two orientations produce mechanistically distinct responses,with peak von Mises stresses,dislocation loop depths and friction coefficients all varying systematically and explicably with precipitate geometry.These findings establish shallow nanoscratching as a effective atomistic probe of incipient plasticity and interfacial fracture,directly informing the microstructural design of Mg alloys for improved machinability,wear resistance and surface integrity in aerospace,automotive and biomedical applications.
基金supported in part by the National Natural Science Foundation of China(62425110 and U22A2002)the National Key Research and Development Program of China(2020YFA0711301)+1 种基金the Suzhou Science and Technology Projectthe FAW Jiefang Automotive Co.,Ltd。
摘要In the upcoming sixth-generation(6G)era,supporting field robots for unmanned operations has emerged as an important application direction.To provide connectivity in remote areas,the space-air-ground integrated network(SAGIN)will play a crucial role in extending coverage.Through SAGIN connections,the sensors,edge platforms,and actuators form sensing-communication-computing-control(SC3)loops that can automatically execute complex tasks without human intervention.Similar to the reflex arc,the SC3loop is an integrated structure that cannot be deconstructed.This necessitates a systematic approach that takes the SC3loop rather than the communication link as the basic unit of SAGINs.Given the resource limitations in remote areas,we propose a radio-map-based task-oriented framework that uses environmental and task-related information to enable task-matched service provision.We detail how the network collects and uses this information and present task-oriented scheduling schemes.In the case study,we use a control task as an example and validate the superiority of the task-oriented closedloop optimization scheme over traditional communication schemes.Finally,we discuss open challenges and possible solutions for developing nerve system-like SAGINs.
基金Project(52272339)supported by the National Natural Science Foundation of China。
摘要The sensorless control of surface-mounted permanent magnet synchronous motor(SPMSM)usually uses quadrature phase-locked loop(QPLL)to extract the phase information of the back electromotive force to realize the rotor angle estimation.However,the traditional QPLL has a convergence deviation of 180°when the motor is reversed,and the angle estimation error is obvious when the motor is accelerated and decelerated.To solve these problems,an enhanced QPLL(EQPLL)with polarity correction and high precision angle feedforward compensation is proposed.Firstly,the traditional phase discriminator is improved based on the two-phase stationary coordinate system,and the polarity correction function is designed by the error component of the improved phase discriminator to realize the non convergent deviation angle estimation under the forward and reverse switching conditions of the motor.In addition,the error component of the improved phase discriminator is used as the feedforward compensation signal,and the enhanced generalized integrator is used to filter it,so as to realize the angle error compensation with low delay and low noise.Finally,the proposed scheme is verified by experiment on the motor platform,and compared with the existing scheme.The experimental results show that the proposed scheme can realize the polarity correction and angle error elimination,and at the same time,the noise mean square error is reduced by 24.33%compared with the existing angle feedforward compensation scheme.
基金supported by the National Eye Institute,grant number R00EY030918the Association for Research in Vision and Ophthalmology(ARVO)Genentech Career Development Award to XCD。
摘要Neuronal cells require precise and stable control of gene expression throughout their extended lifespan,which presents numerous challenges for gene transcription.While traditional studies of transcriptional regulation have primarily focused on canonical DNA-binding factors,there is an increasing recognition of the role of regulatory RNAs and RNA-binding proteins(RBPs)in modulating this process.
基金supported by the open project of the theoretical physics academic exchange platform of Chongqing University.
摘要For loops with UV divergences,assuming that the physical contributions of loops from UV regions are insignificant,a UV-free scheme method described by an equation is introduced to derive loop results without UV divergences in the calculations,i.e.,a route of the analytic continuationTF→TPbesides the traditional route∞−∞in the mathematical structure.This scheme provides a new perspective to an open question of the hierarchy problem of Higgs mass,i.e.,an alternative interpretation without fine-tuning within the standard model.
基金supported by the National Key R&D Program from the Ministry of Science and Technology of China(Project No.2024YFE0216100,Project No.MHP/314/24,Project No.2018YFA0800804)Hong Kong General Research Fund from the Research Grants Council of the Hong Kong Special Administrative Region,China(Project No.12102223,Project No.12102524,Project No.12100921,Project No.12100725)+10 种基金Theme-based Research Scheme from the Research Grants Council of the Hong Kong Special Administrative Region,China(Project No.T12-201/20-R)Young Scientists Fund of the National Natural Science Foundation of China(Grant No.82300988)Shenzhen-Hong Kong-Macao Science and Technology Plan Project(Category C)(Grant No.SGDX20230821095359002)National Natural Science Foundation of China(Grant No.82270932)Shanghai Sixth People’s Hospital High-level Talent Support Cultivation Programme Project(Project No.ynljzc202408)Basic and Applied Basic Research Fund from Department of Science and Technology of Guangdong Province(Project No.2019B1515120089)Inter-institutional Collaborative Research Scheme from Hong Kong Baptist University(Project No.RC-ICRS/19-20/01)University-Industry Collaboration Programme from Innovation and Technology Commissions of the Hong Kong Special Administrative Region,China(Project No.UIM/298)University-Industry Collaboration Programme from Innovation and Technology Commissions of the Hong Kong Special Administrative Region,China(Project No.UIM/328)Shanghai Research Center for Endocrine and Metabolic Diseases(Project No.2022ZZ01002)Key Project of Research and Development Plan of Hunan Province(Project No.2022WK2010).
摘要Sclerostin negatively regulates bone formation.The marketed antibody against sclerostin loop2 promoted bone formation but may have caused severe cardiovascular events in clinical use.In our published studies,sclerostin loop3 was found to be involved in inhibitory effects of sclerostin on bone formation,whereas cardiovascular protective effects of sclerostin in mice were independent of loop3.It is necessary to investigate how sclerostin loop3 participates in the inhibitory effects of sclerostin on bone formation to facilitate developing precise strategies that promote bone formation without increasing cardiovascular risk.In this study,sclerostin loop3 was identified to bind to LRP4,thereby facilitating binding of sclerostin to LRP6 in osteoblasts.Blockade of sclerostin loop3-LRP4 interaction by both Lrp4 mutation(Lrp4m)and blocking peptide(LRP4-Pep)diminished the antagonistic effect of sclerostin on Wnt/β-catenin signaling in osteoblasts in vitro.Consistently,Lrp4m promoted bone formation in Lrp4m mice in vivo.Mechanistically,osteoblast-conditional correction of Lrp4m to wild-type Lrp4 resulted in significantly lower bone formation than Lrp4m mice,indicating that the promotive effects of Lrp4m on bone formation acted in osteoblasts in vivo.Moreover,re-expression of sclerostin dramatically inhibited bone formation in sost−/−mice,whilst the inhibitory effects of sclerostin were significantly weaker in sost−/−.Lrp4m mice.Pharmacologically,LRP4-Pep diminished the inhibitory effects of sclerostin on bone formation in SOSTki mice.Taken together,osteoblastic sclerostin loop3-LRP4 interaction,as an anchor,was required by sclerostin to bind to LRP6,thereby inhibiting bone formation.Translationally,blockade of sclerostin loop3-LRP4 interaction in osteoblasts would provide precise therapeutic strategies to promote bone formation without increasing cardiovascular risk.
基金supported by the National Key Research&Development Program of China(2024YFB4106000)。
摘要Chemical looping hydrogen generation(CLHG)utilizes the cyclic operation of oxygen carriers to independently convert fuel and steam,providing advantages such as low energy demand for decarbonization and a simplified process.However,conventional optimization of CLHG using Aspen Plus generally relies on sequential simulations of individual process parameters,such as reactor temperature,pressure,and feed ratio,which is both time-consuming and inefficient.This study develops an optimization framework that couples Aspen Plus with machine learning algorithms,where the latter serves as a surrogate model to rapidly predict the impact of operational conditions on hydrogen yield and fuel conversion efficiency in CLHG process,thereby avoiding repeated full-scale simulations and accelerating process optimization.The results demonstrate that temperature is the most influential factor,with shapley additive explanations(SHAP)values ranging from-40 to 30.The feed ratio and pressure have relatively weaker impacts,with SHAP values of-10 to 10 and near zero,respectively.Verified through literature data,the model achieves an accuracy rate of approximately 93.8%.This method can rapidly and efficiently optimize the chemical looping hydrogen production process and can be extended to the optimization of other chemical looping applications.
基金Supported by the National Natural Science Foundation of China(52266008,52464057)Applied Basic Research Program of Yunnan Province(202301AT070067)the Yunnan Revitalization Talent Support Program Young Talent Project(XDYC-QNRC-2022-0060)。
摘要Chemical looping methane steam reforming(CL-MSR)has garnered significant attention owing to its ability to sequentially produce syngas with high selectivity and high-purity hydrogen through redox cycling.To overcome the limitations of single ironbased oxygen carriers,including poor cycling stability,low reactivity and susceptibility to sintering,this study employed a dipcoating method to modify Fe2O3/Al2O3oxygen carriers by incorporating three distinct metal additives:Cu,La and Ce.The composite oxygen carriers were systematically characterized and evaluated under redox conditions to investigate the structure-activity relationships between the physicochemical properties,reactivity,and hydrogen production performance.Results revealed that the spinel-phase CuFe2O4exhibited higher reactivity than the perovskite-phase LaFeO3and CeO2,promoting the deeper reduction of Fe2O3.Fe58Cu2Al exhibited an oxygen storage capacity as high as 6.5 mmol/g.During the CH4 reaction stage,Fe58Cu2Al achieved the highest oxygen loss of 12.1 g/100 g oxygen carrier,accompanied by a syngas yield of 5.15 mmol/g-1.33 times and 1.59 times greater than that of Fe60Al.In the hydrogen production stage,the 2%Cu-modified oxygen carrier demonstrated optimal performance,yielding 5.13 mmol/g of hydrogen,which was 1.51 times that of the pristine sample.Even after ten cycles,the H2yield remained at 3.61 mmol/g,surpassing the single-cycle output of the pristine sample and the H2 purity consistently exceeded 98%.
基金Supported by National Natural Science Foundation of China(50976032,51776070)。
摘要Low‑temperature Chemical Looping Air Separation(CLAS)is a promising technology for producing oxygen‑enriched gas streams.It utilizes the redox properties of solid oxygen carriers to selectively capture and release oxygen from the air.Oxygen vacancy formation energy(Eovf)can be used to evaluate the ease of oxygen release by the oxides.In this study,the applicable range of Eovffor CLAS oxygen carriers was determined to be<2.3 eV using the thermodynamic calculations.A graph neural network(GNN)was trained and used to predict the Eovf.By predicting Eovfwith the GNN model,a screening from the 3649 compositions of SrxA1−xFeyB1−yO3perovskites was conducted to discover the CLAS oxygen carriers.The prediction results indicate that the doping of Ba and Ca ions at the A site and Co ions at the B‑site can effectively reduce the Eovfof the perovskite structure.The feasibility of screening the CLAS oxygen carriers using the Eovfmethod was validated through the rediscovery of some known materials.These results support the effectiveness of GNNs in accelerating the discovery of CLAS oxygen carriers.
基金funded by National Key Research and Development Program of China(2024YFB4105904).
摘要A 5-MWth chemical looping combustion(CLC)unit was designed,built,operated,and demonstrated in China as part of the Chinese-European Emission-Reducing Solutions(CHEERS)project,funded by China’s Ministry of Science and Technology(MOST)and the European Union(EU)’s Horizon 2020.In the configuration designed by the Chinese partners,the air reactor(AR)is a transport bed,while the fuel reactor(FR)is a bubblingurbulent fluidized bed.The solid circulation between the FR and AR is regulated by the overflow method,and the oxygen carrier(OC)from the AR cyclone returns to the FR riser.From June to September 2024,the 5-MWth demonstration unit was operated and tested more or less continuously,with a thermal input ranging from 3.5 to 5.0 MWth.During the operation,all solid fuel was fed into the dense bed of the FR,while only air was introduced into the AR.No electric or other external heating was applied,meaning that the whole pilot unit was heated by the oxidation of the OC within the AR.Hence,auto-thermal CLC operation was successfully achieved.Heating the unit was completed in 48 h;furthermore,switching to CLC mode was straightforward and took less than 1 h.During the operation,the temperature of the entire loop was stable.The temperatures of the AR and FR were 1000-1040°C and 940-980°C,respectively.Based on the operational data,the maximum CO2capture efficiency of the lignite-fed CLC unit was greater than 97%,and the minimum oxygen demand for unburnt gases from the FR was 2.45%.This work bridges the gap between lab-scale research and industrial applications in the field of CLC.
基金Project(52306178)supported by the National Natural Science Foundation of China。
摘要Ca-Mn based perovskites are particularly suitable for large-scale chemical looping applications due to their low cost and tunable performance characteristics in chemical looping with oxygen uncoupling(CLOU).However,these materials still struggle to simultaneously achieve long-term stability and efficient oxygen uncoupling performance.Herein,an innovative Co/Mg co-doping strategy was proposed.The optimization threshold for the single Co doped system could achieve 110%enhancement in oxygen uncoupling performance compared to undoped CaMnO3,but exhibiting irreversible phase separation and severe sintering above 800℃.The Co/Mg co-doped system was further developed to significantly improve high-temperature cycling stability,maintaining the superior oxygen uncoupling performance.It was found that Mg doping substantially enhanced the activity of the primary redox pairs(Mn4+/Mn3+,Co3+/Co2+),demonstrating the stable oxygen uncoupling capacity of 1.67 wt%−2.12 wt%at 900℃.The developed Ca Mn based perovskite oxygen carrier achieves an optimal balance between efficient oxygen uncoupling capacity and high temperature structural stability,providing a novel material for enhanced fuel conversion for CLOU application.