Metamaterials programmed with target rate-dependent mechanical properties are efficient platforms for realizing advanced functionalities.Yet,the loading rate-dependent mechanical property programming has received limi...Metamaterials programmed with target rate-dependent mechanical properties are efficient platforms for realizing advanced functionalities.Yet,the loading rate-dependent mechanical property programming has received limited attention.Here,the“stair-building”strategy is employed in the rate domain by combining the bistability with viscoelasticity.An arbitrary target curve in the programmable space can be approximated by a“stair”built by two kinds of“bricks”.The“bricks”can be realized by a dual-bistable unit,constructed by two bistable structures in series.The dual-bistable unit can switch between two efficient stable phases without inducing changes in the global morphology.Such a unit exhibits N-shaped stress-strain curves at both efficient stable phases with different peak values,resulting in different heights of“bricks”.Moreover,the N-shaped curves have rate-dependent peak values,indicating that the heights of“bricks”change with loading rate.The“stair-building”strategy is realized by array-structured mechanical metamaterials based on dual-bistable units.Different stress-strain curves under various loading rates can be reprogrammed in the same piece of metamaterial by intentionally selecting the efficient stable phases of units.Besides,the rate effect of the metamaterial can also be tuned by reprogramming stress-strain curves under both low and high loading rates,respectively.This reprogrammable metamaterial is promising in smart vibration isolators and adaptive energy absorbers.展开更多
Inspired by macroscale 3D pixel mechanical metamaterials and microscale straw-like carbon nanotube,we propose a design of multi-stable straw-like carbon nanotubes(MSCNT)via optimizing the structure of a unit to obtain...Inspired by macroscale 3D pixel mechanical metamaterials and microscale straw-like carbon nanotube,we propose a design of multi-stable straw-like carbon nanotubes(MSCNT)via optimizing the structure of a unit to obtain multiple stable states under dis-placement loading by molecular dynamics.The unit of MSCNT is mirror-symmetrically connected two truncated graphene cones with specific apex angles.By switching the LJ term in AIREBO potential,we verify that the bistability of unit is co-determined by snap-through instability and microscale adhesions.Moreover,we examine the validity of the multi-stability of the unit cells arranged in series and in parallels.Simulation results indicate that the MSCNT can achieve mechanical programmability in microscale,which triggers many potential applications in need of customizing nanos-cale mechanical behaviors.展开更多
In the process of programmable networks simplifying network management and increasing network flexibility through custom packet behavior,security incidents caused by human logic errors are seriously threatening their ...In the process of programmable networks simplifying network management and increasing network flexibility through custom packet behavior,security incidents caused by human logic errors are seriously threatening their safe operation,robust verificationmethods are required to ensure their correctness.As one of the formalmethods,symbolic execution offers a viable approach for verifying programmable networks by systematically exploring all possible paths within a program.However,its application in this field encounters scalability issues due to path explosion and complex constraint-solving.Therefore,in this paper,we propose NetVerifier,a scalable verification system for programmable networks.Tomitigate the path explosion issue,we developmultiple pruning strategies that strategically eliminate irrelevant execution paths while preserving verification integrity by precisely identifying the execution paths related to the verification purpose.To address the complex constraint-solving problem,we introduce an execution results reuse solution to avoid redundant computation of the same constraints.To apply these solutions intelligently,a matching algorithm is implemented to automatically select appropriate solutions based on the characteristics of the verification requirement.Moreover,Language Aided Verification(LAV),an assertion language,is designed to express verification intentions in a concise form.Experimental results on diverse open-source programs of varying scales demonstrate NetVerifier’s improvement in scalability and effectiveness in identifying potential network errors.In the best scenario,compared with ASSERT-P4,NetVerifier reduced the execution path,verification time,and memory occupation of the verification process by 99.92%,94.76%,and 65.19%,respectively.展开更多
The rapid growth of distributed data-centric applications and AI workloads increases demand for low-latency,high-throughput communication,necessitating frequent and flexible updates to network routing configurations.H...The rapid growth of distributed data-centric applications and AI workloads increases demand for low-latency,high-throughput communication,necessitating frequent and flexible updates to network routing configurations.However,maintaining consistent forwarding states during these updates is challenging,particularly when rerouting multiple flows simultaneously.Existing approaches pay little attention to multi-flow update,where improper update sequences across data plane nodes may construct deadlock dependencies.Moreover,these methods typically involve excessive control-data plane interactions,incurring significant resource overhead and performance degradation.This paper presents P4LoF,an efficient loop-free update approach that enables the controller to reroute multiple flows through minimal interactions.P4LoF first utilizes a greedy-based algorithm to generate the shortest update dependency chain for the single-flow update.These chains are then dynamically merged into a dependency graph and resolved as a Shortest Common Super-sequence(SCS)problem to produce the update sequence of multi-flow update.To address deadlock dependencies in multi-flow updates,P4LoF builds a deadlock-fix forwarding model that leverages the flexible packet processing capabilities of the programmable data plane.Experimental results show that P4LoF reduces control-data plane interactions by at least 32.6%with modest overhead,while effectively guaranteeing loop-free consistency.展开更多
Ceramic 4D printing,which integrates dynamic deformation with additive manufacturing,demonstrates significant potential in intelligent manufacturing,on-demand shaping of complex structures,and multifunctional device d...Ceramic 4D printing,which integrates dynamic deformation with additive manufacturing,demonstrates significant potential in intelligent manufacturing,on-demand shaping of complex structures,and multifunctional device development.Its core advantage lies in endowing materials with environmentally responsive dynamic deformation capabilities.However,current technologies still face limitations in responsiveness,reversibility,and mechanical performance.To address these challenges,this study proposes a programmable ceramic precursor system based on synergistic reinforcement of phase-separating hydrogels and shape memory polymers,combined with a nano-ceramic particle enhancement strategy.Using stereolithography 3D printing,high-precision fabrication of complex structures was achieved.By adjusting precursor composition,programming time,and structural thickness,the phase-separation kinetics-driven delayed recovery mechanism was elucidated,enabling precise control over recovery onset time.Furthermore,the thermal response mechanism of the precursor materials is explored,along with their potential for multi-shape transformation in biomedical applications,which is further extended to shape memory polymer systems.By employing a layered printing strategy,the autonomous reversible deformation of ceramic precursors is realized,providing new possibilities for specific applications.展开更多
The von Neumann bottleneck in conventional computing architectures presents a significant challenge for data-inten-sive artificial intelligence applications.A promising approach involves designing specialized hardware...The von Neumann bottleneck in conventional computing architectures presents a significant challenge for data-inten-sive artificial intelligence applications.A promising approach involves designing specialized hardware with on-chip parameter tunability,which directly accelerates machine learning functions.This work demonstrates a continuously tunable mixed-kernel function physically realized within a van der Waals heterostructure.We designed and fabricated a MoTe_(2)/MoS_(2)type-Ⅱvertical heterojunction phototransistor,which exhibits a non-monotonic,Gaussian-like optoelectronic response owing to its unique inter-layer charge transfer mechanism.This intrinsic physical behavior directly maps to a mixed-kernel function combining Gaussian and Sigmoid characteristics.Furthermore,the hardware kernel can be continuously modulated by in-situ tuning of external opti-cal stimuli.The mixed-kernel exhibited exceptional performance,achieving precision,accuracy,and area under the curve(AUC)values of 95.8%,96%,and 0.9986,respectively,significantly outperforming conventional kernels.By successfully embedding a complex,adaptable mathematical function into the intrinsic physical properties of a single device,this work pioneers a novel pathway toward next-generation,energy-efficient intelligent systems with hardware-level adaptability.展开更多
Saud Khan,a Pakistani physician,collected his work and residence permits at the Yangpu Government Service Centre in Danzhou City,Hainan Province,on 18 December 2025.Khan had arrived in Hainan three months earlier to p...Saud Khan,a Pakistani physician,collected his work and residence permits at the Yangpu Government Service Centre in Danzhou City,Hainan Province,on 18 December 2025.Khan had arrived in Hainan three months earlier to participate in a medical training programme at Hainan Western Central Hospital.By the time the programme concluded,he had made up his mind to stay and broaden his professional experience and long-term career prospects in Hainan.展开更多
With the widespread adoption of digital equipment in intelligent substations,testing digital signals in power systems has become an important role for relay protection test equipment.Testing and calibrating digital si...With the widespread adoption of digital equipment in intelligent substations,testing digital signals in power systems has become an important role for relay protection test equipment.Testing and calibrating digital signals require high accuracy.However,existing methods have low precision,cannot be calibrated at full range for all indexes,and have complex configuration,making them unsuitable for routine calibration work.To solve the above problems,a novel calibration method is designed and implemented using field programmable gate array(FPGA)to achieve accurate input and output time control.Accurate calibration relies on multiple forms of traceability including theoretical value traceability based on waveform comparison,time scale value traceability based on accurate time stamps,and algorithm traceability based on typical algorithms.Compared with other existing methods,the proposed approach reduces the mean absolute error of action time and time measurement by 92.88%,effectively addressing a key industry challenge and offering a valuable reference for further research,application,and standardization.展开更多
In a pivotal moment for global conservation policy,UNESCO’s Man and the Biosphere(MAB)Programme has endorsed the Hangzhou Strategic Action Plan(HSAP)2026–2035(UNESCO,2025),a decade-long roadmap that positions the Wo...In a pivotal moment for global conservation policy,UNESCO’s Man and the Biosphere(MAB)Programme has endorsed the Hangzhou Strategic Action Plan(HSAP)2026–2035(UNESCO,2025),a decade-long roadmap that positions the World Network of Biosphere Reserves(WNBR)as central actors in delivering biodiversity,climate and sustainable-development goals(SDGs).The plan—developed and opened for global consultation in the runup to the 5th World Congress of Biosphere Reserves—articulates strategic directions,measurable action targets and practical instruments to strengthen biosphere reserves as living laboratories for people and nature(Ma,2025).展开更多
The intrinsic pressure framework,which treats self-propelling force as an external force,provides a convenient and consistent description of mechanical equilibrium in active matter.However,direct experimental evidence...The intrinsic pressure framework,which treats self-propelling force as an external force,provides a convenient and consistent description of mechanical equilibrium in active matter.However,direct experimental evidence is still lacking.To validate this framework,here we employ a programmable robotic platform,where a single light-controlled wheeled robot travels in an activity landscape.Our experiments quantitatively demonstrate that the intrinsic pressure difference across the activity interface is balanced by the emerged polarization force.This result unambiguously confirms the theoretical predictions,thus validating the intrinsic pressure framework and laying the experimental foundation for the intrinsic pressure-based mechanical description of dry active matter.展开更多
Tumor immunotherapy has been recognized by Science as the most promising therapeutic approach for tumor eradication,with engineered bacteria emerging as a particularly promising modality.As a novel drug delivery platf...Tumor immunotherapy has been recognized by Science as the most promising therapeutic approach for tumor eradication,with engineered bacteria emerging as a particularly promising modality.As a novel drug delivery platform,the engineered bacterial therapeutics demonstrate exceptional targeting precision and favorable safety profiles.Through attenuation and programmable control strategies,these systems enable highly specific drug delivery,showing significant therapeutic potential in oncology and inflammatory bowel disease(IBD).展开更多
Land use in arid and semi-arid regions has a substantial effect on climate,environment,and biodiversity,thereby projecting the spatiotemporal changes in land use and the subsequent effects.This study employed the loca...Land use in arid and semi-arid regions has a substantial effect on climate,environment,and biodiversity,thereby projecting the spatiotemporal changes in land use and the subsequent effects.This study employed the locally calibrated Future Land Use Simulation(FLUS)model,which coupled system dynamics with cellular automata and integrated an artificial neural network algorithm and a roulette wheel selection mechanism.We projected future land use(2020–2100)dynamics of Lanzhou,a typical river valley city in Northwest China,under three different Shared Socioeconomic Pathway(SSP)scenarios(SSP1-2.6,SSP2-4.5,and SSP5-8.5).The simulation results were validated and subsequently reclassified using the International Geosphere Biosphere Programme(IGBP)system to produce a dataset suitable for driving climatic and environmental models.Under the SSP1-2.6 scenario,urban and built-up land expanded consistently,whereas irrigated cropland and pasture as well as grassland contracted continuously.Conversely,the SSP5-8.5 scenario was characterized by a contraction of urban and built-up land,and relative stability of irrigated cropland and pasture as well as grassland.The SSP2-4.5 scenario presented a more complex trade-off,where urban and built-up land and grassland increased first and then decreased,whereas irrigated cropland and pasture followed an opposite trajectory.A significant inverse relationship between urban and built-up land and irrigated cropland and pasture was observed under all scenarios,underscoring the fundamental spatial competition that prevailed in this land-constrained valley city.Furthermore,the negative correlation of grassland with urban and built-up land,coupled with the positive correlation of grassland with irrigated cropland and pasture under both the SSP1-2.6 and SSP5-8.5 scenarios,indicated an evolution from broad confrontation to intricate internal trade-offs within the urban–agricultural–ecological system.This study underscored the critical influence of regional topographic and hydrological constraints on land-use evolution in arid regions,providing guidance for water resource management and ecosystem protection in Lanzhou,with applications for sustainable land-use planning in other arid and semi-arid river valley cities.展开更多
This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA f...This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA framework integrates security by design principles, micro-segmentation, and Island Mode Operation (IMO) to enhance cyber resilience and ensure continuous, secure operations. The methodology deploys a Forward-Thinking Architecture Strategy (FTAS) algorithm, which utilises an industrial Intrusion Detection System (IDS) implemented with Python’s Network Intrusion Detection System (NIDS) library. The FTAS algorithm successfully identified and responded to cyber-attacks, ensuring minimal system disruption. ISERA has been validated through comprehensive testing scenarios simulating Denial of Service (DoS) attacks and malware intrusions, at both the IT and OT layers where it successfully mitigates the impact of malicious activity. Results demonstrate ISERA’s efficacy in real-time threat detection, containment, and incident response, thus ensuring the integrity and reliability of critical infrastructure systems. ISERA’s decentralised approach contributes to global net zero goals by optimising resource use and minimising environmental impact. By adopting a decentralised control architecture and leveraging virtualisation, ISERA significantly enhances the cyber resilience and sustainability of critical infrastructure systems. This approach not only strengthens defences against evolving cyber threats but also optimises resource allocation, reducing the system’s carbon footprint. As a result, ISERA ensures the uninterrupted operation of essential services while contributing to broader net zero goals.展开更多
1|Introduction Metamaterials are artificially engineered systems in which the geometry and arrangement of designed unit cells give rise to effective properties that are not available in natural materials.Intelligent m...1|Introduction Metamaterials are artificially engineered systems in which the geometry and arrangement of designed unit cells give rise to effective properties that are not available in natural materials.Intelligent metamaterials extend this concept by integrating stimulus-responsive materials with programmable architectures,thereby creating functional matter that blurs the conventional boundary between materials and structures and enables dynamic,adaptive,and reconfigurable functionalities.These systems can respond to diverse stimuli such as thermal,electrical,optical,magnetic,and mechanical inputs,and convert them into tunable shape change,adaptive mechanical/optical responses,and other reconfigurable functionalities[1–5].Through this synergy,they acquire lifelike and emergent behaviors,making them attractive platforms for next-generation applications in soft robotics,bioengineering,information encryption,and mechanical computation.展开更多
Persistent flows are defined as network flows that persist over multiple time intervals and continue to exhibit activity over extended periods,which are critical for identifying long-term behaviors and subtle security...Persistent flows are defined as network flows that persist over multiple time intervals and continue to exhibit activity over extended periods,which are critical for identifying long-term behaviors and subtle security threats.Programmable switches provide line-rate packet processing to meet the requirements of high-speed network environments,yet they are fundamentally limited in computational and memory resources.Accurate and memoryefficient persistent flow detection on programmable switches is therefore essential.However,existing approaches often rely on fixed-window sketches or multiple sketches instances,which either suffer from insufficient temporal precision or incur substantial memory overhead,making them ineffective on programmable switches.To address these challenges,we propose SP-Sketch,an innovative sliding-window-based sketch that leverages a probabilistic update mechanism to emulate slot expiration without maintaining multiple sketch instances.This innovative design significantly reduces memory consumption while preserving high detection accuracy across multiple time intervals.We provide rigorous theoretical analyses of the estimation errors,deriving precise error bounds for the proposed method,and validate our approach through comprehensive implementations on both P4 hardware switches(with Intel Tofino ASIC)and software switches(i.e.,BMv2).Experimental evaluations using real-world traffic traces demonstrate that SP-Sketch outperforms traditional methods,improving accuracy by up to 20%over baseline sliding window approaches and enhancing recall by 5%compared to non-sliding alternatives.Furthermore,SP-Sketch achieves a significant reduction in memory utilization,reducing memory consumption by up to 65%compared to traditional methods,while maintaining a robust capability to accurately track persistent flow behavior over extended time periods.展开更多
This paper presents the development of a thermoplastic shape memory rubber that can be programmed at human body temperature for comfortable fitting applications.We hybridized commercially available thermoplastic rubbe...This paper presents the development of a thermoplastic shape memory rubber that can be programmed at human body temperature for comfortable fitting applications.We hybridized commercially available thermoplastic rubber(TPR)used in the footwear industry with un-crosslinked polycaprolactone(PCL)to create two samples,namely TP6040 and TP7030.The shape memory behavior,elasticity,and thermo-mechanical response of these rubbers were systematically investigated.The experimental results demonstrated outstanding shape memory performance,with both samples achieving shape fixity ratios(Rf)and shape recovery ratios(R_(r))exceeding 94%.TP6040 exhibited a fitting time of 80 s at body temperature(37℃),indicating a rapid response for shape fixing.The materials also showed good elasticity before and after programming,which is crucial for comfort fitting.These findings suggest that the developed shape memory thermoplastic rubber has potential applications in personalized comfort fitting products,offering advantages over traditional customization techniques in terms of efficiency and cost-effectiveness.展开更多
Software-Defined Perimeter(SDP)provides a logical perimeter to restrict access to services.However,due to the security vulnerability of a single controller and the programmability lack of a gateway,existing SDP is fac...Software-Defined Perimeter(SDP)provides a logical perimeter to restrict access to services.However,due to the security vulnerability of a single controller and the programmability lack of a gateway,existing SDP is facing challenges.To solve the above problems,we propose a flexible and secure SDP mechanism named Mimic SDP(MSDP).MSDP consists of endogenous secure controllers and a dynamic gateway.The controllers avoid single point failure by heterogeneity and redundancy.And the dynamic gateway realizes flexible forwarding in programmable data plane by changing the processing of packet construction and deconstruction,thereby confusing the potential adversary.Besides,we propose a Markov model to evaluate the security of our SDP framework.We implement a prototype of MSDP and evaluate it in terms of functionality,performance,and scalability in different groups of systems and languages.Evaluation results demonstrate that MSDP can provide a secure connection of 93.38%with a cost of 6.34%under reasonable configuration.展开更多
Advanced programmable metamaterials with heterogeneous microstructures have become increasingly prevalent in scientific and engineering disciplines attributed to their tunable properties.However,exploring the structur...Advanced programmable metamaterials with heterogeneous microstructures have become increasingly prevalent in scientific and engineering disciplines attributed to their tunable properties.However,exploring the structure-property relationship in these materials,including forward prediction and inverse design,presents substantial challenges.The inhomogeneous microstructures significantly complicate traditional analytical or simulation-based approaches.Here,we establish a novel framework that integrates the machine learning(ML)-encoded multiscale computational method for forward prediction and Bayesian optimization for inverse design.Unlike prior end-to-end ML methods limited to specific problems,our framework is both load-independent and geometry-independent.This means that a single training session for a constitutive model suffices to tackle various problems directly,eliminating the need for repeated data collection or training.We demonstrate the efficacy and efficiency of this framework using metamaterials with designable elliptical holes or lattice honeycombs microstructures.Leveraging accelerated forward prediction,we can precisely customize the stiffness and shape of metamaterials under diverse loading scenarios,and extend this capability to multi-objective customization seamlessly.Moreover,we achieve topology optimization for stress alleviation at the crack tip,resulting in a significant reduction of Mises stress by up to 41.2%and yielding a theoretical interpretable pattern.This framework offers a general,efficient and precise tool for analyzing the structure-property relationships of novel metamaterials.展开更多
Kirigami,through introducing cuts into a thin sheet,can greatly improve the stretchability of structures and also generate complex patterns,showing potentials in various applications.Interestingly,even with the same c...Kirigami,through introducing cuts into a thin sheet,can greatly improve the stretchability of structures and also generate complex patterns,showing potentials in various applications.Interestingly,even with the same cutting pattern,the mechanical response of kirigami metamaterials can exhibit significant differences depending on the cutting angles in respect to the loading direction.In this work,we investigate the structural deformation of kirigami metamaterials with square domains and varied cutting angles of 0°and 45°.We further introduce a second level of cutting on the basis of the first cutting pattern.By combining experiments and finite element simulations,it is found that,compared to the commonly used 0°cuts,the two-level kirigami metamaterials with 45°cuts exhibit a unique alternating arrangement phenomenon of expanded/unexpanded states in the loading process,which also results in distinct stress–strain response.Through tuning the cutting patterns of metamaterials with 45°cuts,precise control of the rotation of the kirigami unit is realized,leading to kirigami metamaterials with encryption properties.The current work demonstrates the programmability of structural deformation in hierarchical kirigami metamaterials through controlling the local cutting modes.展开更多
基金supported by the National Natural Science Foundation of China(Grant Nos.12225201,12372126,12002016,and 12172026)the National Key Research and Development Program of China(Grant No.2020YFB1313003)the Fundamental Research Funds for the Central Universities are gratefully acknowledged.
文摘Metamaterials programmed with target rate-dependent mechanical properties are efficient platforms for realizing advanced functionalities.Yet,the loading rate-dependent mechanical property programming has received limited attention.Here,the“stair-building”strategy is employed in the rate domain by combining the bistability with viscoelasticity.An arbitrary target curve in the programmable space can be approximated by a“stair”built by two kinds of“bricks”.The“bricks”can be realized by a dual-bistable unit,constructed by two bistable structures in series.The dual-bistable unit can switch between two efficient stable phases without inducing changes in the global morphology.Such a unit exhibits N-shaped stress-strain curves at both efficient stable phases with different peak values,resulting in different heights of“bricks”.Moreover,the N-shaped curves have rate-dependent peak values,indicating that the heights of“bricks”change with loading rate.The“stair-building”strategy is realized by array-structured mechanical metamaterials based on dual-bistable units.Different stress-strain curves under various loading rates can be reprogrammed in the same piece of metamaterial by intentionally selecting the efficient stable phases of units.Besides,the rate effect of the metamaterial can also be tuned by reprogramming stress-strain curves under both low and high loading rates,respectively.This reprogrammable metamaterial is promising in smart vibration isolators and adaptive energy absorbers.
基金the National Natural Science Foundation of China(Nos.12225201 and 12102021)the China Postdoctoral Science Foundation(No.2020M680287)are gratefully acknowledged.
文摘Inspired by macroscale 3D pixel mechanical metamaterials and microscale straw-like carbon nanotube,we propose a design of multi-stable straw-like carbon nanotubes(MSCNT)via optimizing the structure of a unit to obtain multiple stable states under dis-placement loading by molecular dynamics.The unit of MSCNT is mirror-symmetrically connected two truncated graphene cones with specific apex angles.By switching the LJ term in AIREBO potential,we verify that the bistability of unit is co-determined by snap-through instability and microscale adhesions.Moreover,we examine the validity of the multi-stability of the unit cells arranged in series and in parallels.Simulation results indicate that the MSCNT can achieve mechanical programmability in microscale,which triggers many potential applications in need of customizing nanos-cale mechanical behaviors.
基金supported by the National Key Research and Development Program of China under Grant 2023YFB2903902in part by the Science and Technology Innovation Leading Talents Subsidy Project of Central Plains under Grant 244200510038.
文摘In the process of programmable networks simplifying network management and increasing network flexibility through custom packet behavior,security incidents caused by human logic errors are seriously threatening their safe operation,robust verificationmethods are required to ensure their correctness.As one of the formalmethods,symbolic execution offers a viable approach for verifying programmable networks by systematically exploring all possible paths within a program.However,its application in this field encounters scalability issues due to path explosion and complex constraint-solving.Therefore,in this paper,we propose NetVerifier,a scalable verification system for programmable networks.Tomitigate the path explosion issue,we developmultiple pruning strategies that strategically eliminate irrelevant execution paths while preserving verification integrity by precisely identifying the execution paths related to the verification purpose.To address the complex constraint-solving problem,we introduce an execution results reuse solution to avoid redundant computation of the same constraints.To apply these solutions intelligently,a matching algorithm is implemented to automatically select appropriate solutions based on the characteristics of the verification requirement.Moreover,Language Aided Verification(LAV),an assertion language,is designed to express verification intentions in a concise form.Experimental results on diverse open-source programs of varying scales demonstrate NetVerifier’s improvement in scalability and effectiveness in identifying potential network errors.In the best scenario,compared with ASSERT-P4,NetVerifier reduced the execution path,verification time,and memory occupation of the verification process by 99.92%,94.76%,and 65.19%,respectively.
基金supported by the National Key Research and Development Program of China under Grant 2022YFB2901501in part by the Science and Technology Innovation leading Talents Subsidy Project of Central Plains under Grant 244200510038.
文摘The rapid growth of distributed data-centric applications and AI workloads increases demand for low-latency,high-throughput communication,necessitating frequent and flexible updates to network routing configurations.However,maintaining consistent forwarding states during these updates is challenging,particularly when rerouting multiple flows simultaneously.Existing approaches pay little attention to multi-flow update,where improper update sequences across data plane nodes may construct deadlock dependencies.Moreover,these methods typically involve excessive control-data plane interactions,incurring significant resource overhead and performance degradation.This paper presents P4LoF,an efficient loop-free update approach that enables the controller to reroute multiple flows through minimal interactions.P4LoF first utilizes a greedy-based algorithm to generate the shortest update dependency chain for the single-flow update.These chains are then dynamically merged into a dependency graph and resolved as a Shortest Common Super-sequence(SCS)problem to produce the update sequence of multi-flow update.To address deadlock dependencies in multi-flow updates,P4LoF builds a deadlock-fix forwarding model that leverages the flexible packet processing capabilities of the programmable data plane.Experimental results show that P4LoF reduces control-data plane interactions by at least 32.6%with modest overhead,while effectively guaranteeing loop-free consistency.
基金supported by the National Natural Science Foundation of China(Grant Nos.52025053 and 52235006)the Jilin Provincial Scientific and Technological Development Program(20220204119YY)the Natural Science Foundation of Shandong Province(ZR2023ME154)。
文摘Ceramic 4D printing,which integrates dynamic deformation with additive manufacturing,demonstrates significant potential in intelligent manufacturing,on-demand shaping of complex structures,and multifunctional device development.Its core advantage lies in endowing materials with environmentally responsive dynamic deformation capabilities.However,current technologies still face limitations in responsiveness,reversibility,and mechanical performance.To address these challenges,this study proposes a programmable ceramic precursor system based on synergistic reinforcement of phase-separating hydrogels and shape memory polymers,combined with a nano-ceramic particle enhancement strategy.Using stereolithography 3D printing,high-precision fabrication of complex structures was achieved.By adjusting precursor composition,programming time,and structural thickness,the phase-separation kinetics-driven delayed recovery mechanism was elucidated,enabling precise control over recovery onset time.Furthermore,the thermal response mechanism of the precursor materials is explored,along with their potential for multi-shape transformation in biomedical applications,which is further extended to shape memory polymer systems.By employing a layered printing strategy,the autonomous reversible deformation of ceramic precursors is realized,providing new possibilities for specific applications.
基金co-supported by the National Natural Science Foundation of China(Grant Nos.62222404,T2450054,62304084,62504087,62361136587 and 92248304)the National Key Research and Development Plan of China(Grant No.2021YFB3601200)+3 种基金the Major Program of Hubei Province(Grant No.2023BAA009)the Research Grants Council of Hong Kong Postdoctoral Fellowship Scheme(Grant No.PDFS2223-4S06)the China Postdoctoral Science Foundation funded project(Grant No.2025M770530)the Postdoctoral Fellowship Program of CPSF(Grant No.GZB20250136).
文摘The von Neumann bottleneck in conventional computing architectures presents a significant challenge for data-inten-sive artificial intelligence applications.A promising approach involves designing specialized hardware with on-chip parameter tunability,which directly accelerates machine learning functions.This work demonstrates a continuously tunable mixed-kernel function physically realized within a van der Waals heterostructure.We designed and fabricated a MoTe_(2)/MoS_(2)type-Ⅱvertical heterojunction phototransistor,which exhibits a non-monotonic,Gaussian-like optoelectronic response owing to its unique inter-layer charge transfer mechanism.This intrinsic physical behavior directly maps to a mixed-kernel function combining Gaussian and Sigmoid characteristics.Furthermore,the hardware kernel can be continuously modulated by in-situ tuning of external opti-cal stimuli.The mixed-kernel exhibited exceptional performance,achieving precision,accuracy,and area under the curve(AUC)values of 95.8%,96%,and 0.9986,respectively,significantly outperforming conventional kernels.By successfully embedding a complex,adaptable mathematical function into the intrinsic physical properties of a single device,this work pioneers a novel pathway toward next-generation,energy-efficient intelligent systems with hardware-level adaptability.
文摘Saud Khan,a Pakistani physician,collected his work and residence permits at the Yangpu Government Service Centre in Danzhou City,Hainan Province,on 18 December 2025.Khan had arrived in Hainan three months earlier to participate in a medical training programme at Hainan Western Central Hospital.By the time the programme concluded,he had made up his mind to stay and broaden his professional experience and long-term career prospects in Hainan.
基金supported by the Key Technologies R&D Program of Henan Province(No.242102211065)Postgraduate Education Reform and Quality Im-provement Project of Henan Province(No.YJS2025GZZ36).
文摘With the widespread adoption of digital equipment in intelligent substations,testing digital signals in power systems has become an important role for relay protection test equipment.Testing and calibrating digital signals require high accuracy.However,existing methods have low precision,cannot be calibrated at full range for all indexes,and have complex configuration,making them unsuitable for routine calibration work.To solve the above problems,a novel calibration method is designed and implemented using field programmable gate array(FPGA)to achieve accurate input and output time control.Accurate calibration relies on multiple forms of traceability including theoretical value traceability based on waveform comparison,time scale value traceability based on accurate time stamps,and algorithm traceability based on typical algorithms.Compared with other existing methods,the proposed approach reduces the mean absolute error of action time and time measurement by 92.88%,effectively addressing a key industry challenge and offering a valuable reference for further research,application,and standardization.
基金supported by the National Key Research and Development Program of China,China(2022YFE0209400).
文摘In a pivotal moment for global conservation policy,UNESCO’s Man and the Biosphere(MAB)Programme has endorsed the Hangzhou Strategic Action Plan(HSAP)2026–2035(UNESCO,2025),a decade-long roadmap that positions the World Network of Biosphere Reserves(WNBR)as central actors in delivering biodiversity,climate and sustainable-development goals(SDGs).The plan—developed and opened for global consultation in the runup to the 5th World Congress of Biosphere Reserves—articulates strategic directions,measurable action targets and practical instruments to strengthen biosphere reserves as living laboratories for people and nature(Ma,2025).
基金supported by the National Natural Science Foundation of China (Grant Nos.T2325027,12274448,T2350007,12404239,12174041,12325405,12090054,and T2221001)the National Key R&D Program of China (Grant No.2022YFF0503504)。
文摘The intrinsic pressure framework,which treats self-propelling force as an external force,provides a convenient and consistent description of mechanical equilibrium in active matter.However,direct experimental evidence is still lacking.To validate this framework,here we employ a programmable robotic platform,where a single light-controlled wheeled robot travels in an activity landscape.Our experiments quantitatively demonstrate that the intrinsic pressure difference across the activity interface is balanced by the emerged polarization force.This result unambiguously confirms the theoretical predictions,thus validating the intrinsic pressure framework and laying the experimental foundation for the intrinsic pressure-based mechanical description of dry active matter.
基金supported by the Hunan Natural Science Foundation(2023JJ20022).
文摘Tumor immunotherapy has been recognized by Science as the most promising therapeutic approach for tumor eradication,with engineered bacteria emerging as a particularly promising modality.As a novel drug delivery platform,the engineered bacterial therapeutics demonstrate exceptional targeting precision and favorable safety profiles.Through attenuation and programmable control strategies,these systems enable highly specific drug delivery,showing significant therapeutic potential in oncology and inflammatory bowel disease(IBD).
基金supported by the Soft Science Special Project of Gansu Basic Research Plan(25JRZA206)the Longyuan Youth Talent Project of Gansu Province(ZHU Rong)+1 种基金the Innovation Development Special Project of China Meteorological Administration(CXFZ2025J036)the Program of the State Key Laboratory of Cryospheric Science and Frozen Soil Engineering,Chinese Academy of Sciences(CSFSE-KF-2402).
文摘Land use in arid and semi-arid regions has a substantial effect on climate,environment,and biodiversity,thereby projecting the spatiotemporal changes in land use and the subsequent effects.This study employed the locally calibrated Future Land Use Simulation(FLUS)model,which coupled system dynamics with cellular automata and integrated an artificial neural network algorithm and a roulette wheel selection mechanism.We projected future land use(2020–2100)dynamics of Lanzhou,a typical river valley city in Northwest China,under three different Shared Socioeconomic Pathway(SSP)scenarios(SSP1-2.6,SSP2-4.5,and SSP5-8.5).The simulation results were validated and subsequently reclassified using the International Geosphere Biosphere Programme(IGBP)system to produce a dataset suitable for driving climatic and environmental models.Under the SSP1-2.6 scenario,urban and built-up land expanded consistently,whereas irrigated cropland and pasture as well as grassland contracted continuously.Conversely,the SSP5-8.5 scenario was characterized by a contraction of urban and built-up land,and relative stability of irrigated cropland and pasture as well as grassland.The SSP2-4.5 scenario presented a more complex trade-off,where urban and built-up land and grassland increased first and then decreased,whereas irrigated cropland and pasture followed an opposite trajectory.A significant inverse relationship between urban and built-up land and irrigated cropland and pasture was observed under all scenarios,underscoring the fundamental spatial competition that prevailed in this land-constrained valley city.Furthermore,the negative correlation of grassland with urban and built-up land,coupled with the positive correlation of grassland with irrigated cropland and pasture under both the SSP1-2.6 and SSP5-8.5 scenarios,indicated an evolution from broad confrontation to intricate internal trade-offs within the urban–agricultural–ecological system.This study underscored the critical influence of regional topographic and hydrological constraints on land-use evolution in arid regions,providing guidance for water resource management and ecosystem protection in Lanzhou,with applications for sustainable land-use planning in other arid and semi-arid river valley cities.
基金funded by the Office of Gas and Electricity Markets(Ofgem)and supported by De Montfort University(DMU)and Nottingham Trent University(NTU),UK.
文摘This paper introduces the Integrated Security Embedded Resilience Architecture (ISERA) as an advanced resilience mechanism for Industrial Control Systems (ICS) and Operational Technology (OT) environments. The ISERA framework integrates security by design principles, micro-segmentation, and Island Mode Operation (IMO) to enhance cyber resilience and ensure continuous, secure operations. The methodology deploys a Forward-Thinking Architecture Strategy (FTAS) algorithm, which utilises an industrial Intrusion Detection System (IDS) implemented with Python’s Network Intrusion Detection System (NIDS) library. The FTAS algorithm successfully identified and responded to cyber-attacks, ensuring minimal system disruption. ISERA has been validated through comprehensive testing scenarios simulating Denial of Service (DoS) attacks and malware intrusions, at both the IT and OT layers where it successfully mitigates the impact of malicious activity. Results demonstrate ISERA’s efficacy in real-time threat detection, containment, and incident response, thus ensuring the integrity and reliability of critical infrastructure systems. ISERA’s decentralised approach contributes to global net zero goals by optimising resource use and minimising environmental impact. By adopting a decentralised control architecture and leveraging virtualisation, ISERA significantly enhances the cyber resilience and sustainability of critical infrastructure systems. This approach not only strengthens defences against evolving cyber threats but also optimises resource allocation, reducing the system’s carbon footprint. As a result, ISERA ensures the uninterrupted operation of essential services while contributing to broader net zero goals.
基金supported by the National University of Singapore Presidential Young Professorship Start-Up Grant.
文摘1|Introduction Metamaterials are artificially engineered systems in which the geometry and arrangement of designed unit cells give rise to effective properties that are not available in natural materials.Intelligent metamaterials extend this concept by integrating stimulus-responsive materials with programmable architectures,thereby creating functional matter that blurs the conventional boundary between materials and structures and enables dynamic,adaptive,and reconfigurable functionalities.These systems can respond to diverse stimuli such as thermal,electrical,optical,magnetic,and mechanical inputs,and convert them into tunable shape change,adaptive mechanical/optical responses,and other reconfigurable functionalities[1–5].Through this synergy,they acquire lifelike and emergent behaviors,making them attractive platforms for next-generation applications in soft robotics,bioengineering,information encryption,and mechanical computation.
基金supported by the National Undergraduate Innovation and Entrepreneurship Training Program of China(Project No.202510559076)at Jinan University,a nationwide initiative administered by the Ministry of Educationthe National Natural Science Foundation of China(NSFC)under Grant No.62172189.
文摘Persistent flows are defined as network flows that persist over multiple time intervals and continue to exhibit activity over extended periods,which are critical for identifying long-term behaviors and subtle security threats.Programmable switches provide line-rate packet processing to meet the requirements of high-speed network environments,yet they are fundamentally limited in computational and memory resources.Accurate and memoryefficient persistent flow detection on programmable switches is therefore essential.However,existing approaches often rely on fixed-window sketches or multiple sketches instances,which either suffer from insufficient temporal precision or incur substantial memory overhead,making them ineffective on programmable switches.To address these challenges,we propose SP-Sketch,an innovative sliding-window-based sketch that leverages a probabilistic update mechanism to emulate slot expiration without maintaining multiple sketch instances.This innovative design significantly reduces memory consumption while preserving high detection accuracy across multiple time intervals.We provide rigorous theoretical analyses of the estimation errors,deriving precise error bounds for the proposed method,and validate our approach through comprehensive implementations on both P4 hardware switches(with Intel Tofino ASIC)and software switches(i.e.,BMv2).Experimental evaluations using real-world traffic traces demonstrate that SP-Sketch outperforms traditional methods,improving accuracy by up to 20%over baseline sliding window approaches and enhancing recall by 5%compared to non-sliding alternatives.Furthermore,SP-Sketch achieves a significant reduction in memory utilization,reducing memory consumption by up to 65%compared to traditional methods,while maintaining a robust capability to accurately track persistent flow behavior over extended time periods.
基金supported by the Aeronautical Science Foundation of China(Grant Nos.2024Z009052003,20230038052001 and 20230015052002)the Third Batch of Science and Technology Plan Projects in Changzhou City in 2023(Applied Basic Research,Grant No.CJ20230080).
文摘This paper presents the development of a thermoplastic shape memory rubber that can be programmed at human body temperature for comfortable fitting applications.We hybridized commercially available thermoplastic rubber(TPR)used in the footwear industry with un-crosslinked polycaprolactone(PCL)to create two samples,namely TP6040 and TP7030.The shape memory behavior,elasticity,and thermo-mechanical response of these rubbers were systematically investigated.The experimental results demonstrated outstanding shape memory performance,with both samples achieving shape fixity ratios(Rf)and shape recovery ratios(R_(r))exceeding 94%.TP6040 exhibited a fitting time of 80 s at body temperature(37℃),indicating a rapid response for shape fixing.The materials also showed good elasticity before and after programming,which is crucial for comfort fitting.These findings suggest that the developed shape memory thermoplastic rubber has potential applications in personalized comfort fitting products,offering advantages over traditional customization techniques in terms of efficiency and cost-effectiveness.
基金supported by the National Key Research and Development Program of China(Grant No.2022YFB2901304)。
文摘Software-Defined Perimeter(SDP)provides a logical perimeter to restrict access to services.However,due to the security vulnerability of a single controller and the programmability lack of a gateway,existing SDP is facing challenges.To solve the above problems,we propose a flexible and secure SDP mechanism named Mimic SDP(MSDP).MSDP consists of endogenous secure controllers and a dynamic gateway.The controllers avoid single point failure by heterogeneity and redundancy.And the dynamic gateway realizes flexible forwarding in programmable data plane by changing the processing of packet construction and deconstruction,thereby confusing the potential adversary.Besides,we propose a Markov model to evaluate the security of our SDP framework.We implement a prototype of MSDP and evaluate it in terms of functionality,performance,and scalability in different groups of systems and languages.Evaluation results demonstrate that MSDP can provide a secure connection of 93.38%with a cost of 6.34%under reasonable configuration.
基金supported by the National Natural Science Foundation of China (Grant Nos.12102021,12372105,12172026,and 12225201)the Fundamental Research Funds for the Central Universities and the Academic Excellence Foundation of BUAA for PhD Students.
文摘Advanced programmable metamaterials with heterogeneous microstructures have become increasingly prevalent in scientific and engineering disciplines attributed to their tunable properties.However,exploring the structure-property relationship in these materials,including forward prediction and inverse design,presents substantial challenges.The inhomogeneous microstructures significantly complicate traditional analytical or simulation-based approaches.Here,we establish a novel framework that integrates the machine learning(ML)-encoded multiscale computational method for forward prediction and Bayesian optimization for inverse design.Unlike prior end-to-end ML methods limited to specific problems,our framework is both load-independent and geometry-independent.This means that a single training session for a constitutive model suffices to tackle various problems directly,eliminating the need for repeated data collection or training.We demonstrate the efficacy and efficiency of this framework using metamaterials with designable elliptical holes or lattice honeycombs microstructures.Leveraging accelerated forward prediction,we can precisely customize the stiffness and shape of metamaterials under diverse loading scenarios,and extend this capability to multi-objective customization seamlessly.Moreover,we achieve topology optimization for stress alleviation at the crack tip,resulting in a significant reduction of Mises stress by up to 41.2%and yielding a theoretical interpretable pattern.This framework offers a general,efficient and precise tool for analyzing the structure-property relationships of novel metamaterials.
基金supported by the National Natural Science Foundation of China(Grant Nos.12102392 and 12272341)the Zhejiang Provincial Natural Science Foundation of China(Grant No.LQ21A020008).
文摘Kirigami,through introducing cuts into a thin sheet,can greatly improve the stretchability of structures and also generate complex patterns,showing potentials in various applications.Interestingly,even with the same cutting pattern,the mechanical response of kirigami metamaterials can exhibit significant differences depending on the cutting angles in respect to the loading direction.In this work,we investigate the structural deformation of kirigami metamaterials with square domains and varied cutting angles of 0°and 45°.We further introduce a second level of cutting on the basis of the first cutting pattern.By combining experiments and finite element simulations,it is found that,compared to the commonly used 0°cuts,the two-level kirigami metamaterials with 45°cuts exhibit a unique alternating arrangement phenomenon of expanded/unexpanded states in the loading process,which also results in distinct stress–strain response.Through tuning the cutting patterns of metamaterials with 45°cuts,precise control of the rotation of the kirigami unit is realized,leading to kirigami metamaterials with encryption properties.The current work demonstrates the programmability of structural deformation in hierarchical kirigami metamaterials through controlling the local cutting modes.
