期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到12,746篇文章
< 1 2 … 250 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Shenzhen holds the 10th ISO/IEC Young Professionals (China) Programme 认领 引用
1
《China Standardization》 2026年第3期11-11,共1页
Hosted by the Shenzhen Administration for Market Regulation,the 10th ISO/IEC Young Professionals(China)Programme kicked off in Shenzhen.The event was attended by 310 young experts from 82 central state-owned enterpris... Hosted by the Shenzhen Administration for Market Regulation,the 10th ISO/IEC Young Professionals(China)Programme kicked off in Shenzhen.The event was attended by 310 young experts from 82 central state-owned enterprises and top research institutes nationwide.Their expertise covers strategic emerging industries such as new-generation information technology,high-end equipment,new energy,and new materials,which will drive the cultivation of China’s international standardization young talent. 展开更多
关键词 Emerging Industries new materialswhich standardization young talent China Standardization Information Technology High End Equipment ISO IEC Young Professionals Programme
暂未订购 下载PDF
Reviews of High-Longevity Aqueous Zinc Metal Batteries Achieved by Programmable Interface Architectures 认领 引用 被引量：1
2
作者 Bixian Chen Xiaomin Cheng +10 位作者 Haifeng Yang Teng Li Jing Dong Yidong Miao Yongzheng Zhang Qingbo Xiao Qinghua Guan Jing Zhang Yunjian Liu Hongzhen Lin Jian Wang 《Energy & Environmental Materials》 SCIE EI CAS CSCD 2026年第2期115-138,共24页
Aqueous zinc metal batteries(AZMBs)are considered ideal ones for next-generation energy storage devices due to their high theoretical specific capacity and intrinsic safety.However,uncontrollable zinc dendrite growth,... Aqueous zinc metal batteries(AZMBs)are considered ideal ones for next-generation energy storage devices due to their high theoretical specific capacity and intrinsic safety.However,uncontrollable zinc dendrite growth,hydrogen evolution reaction(HER),and interface corrosion prohibit the commercialization of AZMBs.The deposition behaviors of Zn2+/Zn0 on metallic Zn surface can be effectively regulated by constructing artificial interphase layers(AILs)to control desolvation and ion/atom flux.In this work,the intrinsic mechanism and interface failure of Zn2+electrodeposition behaviors are initially revealed,providing a theoretical basis for interface issues.To address these problems,the design strategies from carbon materials,zincophilic alloys,and inorganic/organic compound layers provide an in-depth analysis of the relationship between material structure and performance,establishing a theoretical foundation for the development of programmable interface architecture.In light of practical application requirements,the future direction is envisioned and pioneered,aiming to promote the practical application process of AZMBs. 展开更多
关键词 aqueous zinc metal batteries artificial layer programmable construction Zn anode protection Zn dendrites
暂未订购 下载PDF
Global Dryland Ecosystem Programme(G-DEP):Africa consultative meeting report 认领 引用
3
作者 PENG Yu FU Bojie +6 位作者 ZHANG Linxiu YU Xiubo FU Chao Salif DIOP Hubert HIRWA Aliou GUISSE LI Fadong 《Journal of Arid Land》 SCIE CSCD 2020年第3期538-544,共7页
In order to enhance and restore the ecosystems of natural capital in African arid regions,the Global Dryland Ecosystem Programme(G-DEP)consultative meeting was hosted in Dakar,Senegal,from 23 to 25 September 2019.This... In order to enhance and restore the ecosystems of natural capital in African arid regions,the Global Dryland Ecosystem Programme(G-DEP)consultative meeting was hosted in Dakar,Senegal,from 23 to 25 September 2019.This paper details the first African meeting of the G-DEP.Consultative meeting reviewed preceding dryland ecosystems case studies,identified vulnerable arid and semi-arid regions,and proposed sustainable solutions to problems.It also identified the successes and failures of previous attempts to improve vulnerable ecosystems and ultimately formed an action plan to improve these attempts.Climate,ecosystems,and livelihoods for Sustainable Development Goals(SDGs),Great Green Wall Initiative(GGWI)for Sahara and Sahel,and China-Africa cooperation on science,technology,and innovation are three extra main sections concerned of the meeting.Separately,more specific topics as the complicated relationship between these natural processes and human activity,including pastoralism,soil restoration,and vegetation regenerate techniques,were fully discussed.Consultative meeting also identified the positive effects international collaboration can have on dryland regions,specifically in the capacity of sharing information,technology,and innovation on purpose to develop a joint proposal for long-term research programs in African arid and semi-arid areas.Moreover,meetings that review the progress made on ecosystem management for the sustainable livelihoods in Africa,identification of priority areas,and the development and implementation of ecosystem programs for proper research and collaboration in African arid and semi-arid zones,have been proposed as strategic recommendations to enhance the global partnership for sustainable development.Furthermore,as the outcomes of the workshop,there are three steps proposed to handle African dryland climate changes,several aspects suggested to solve current dilemmas of the GGWI,and a series of actions recommended for G-DEP related activities in Africa. 展开更多
关键词 Africa Global Dryland Ecosystem Programme(G-DEP) dryland ecosystem consultation Sustainable Development Goals Great Green Wall Initiative(GGWI)
暂未订购 下载PDF
Reprogramming rate-dependent stress-strain curves of mechanical metamaterials by“stair-building”strategy 认领 引用
4
作者 Xin Lin Fei Pan +5 位作者 Jintao Du Ke Ma Juan Guan Xiangchao Feng Pengfei Wang Yuli Chen 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 2026年第1期251-259,共9页
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. 展开更多
关键词 Mechanical metamaterial Programmability Rate-dependent effect
暂未订购 下载PDF
A Dual-Broadband Liquid-Crystal Programmable Metasurface and Its Application in Terahertz Wireless Communications 认领 引用
5
作者 Yuan Fu Yuanbo Li +8 位作者 Xiaojian Fu Lu Xu Yujie Liu Qun Yan Zhou Jun Yang Chong Han Jun Yan Dai Qiang Cheng Tie Jun Cui 《Engineering》 SCIE EI CSCD 2026年第4期352-363,共12页
Terahertz communication technology is envisioned as a promising candidate for the pivotal spectrum technology in future wireless communication networks.However,the limited penetration ability of terahertz waves makes ... Terahertz communication technology is envisioned as a promising candidate for the pivotal spectrum technology in future wireless communication networks.However,the limited penetration ability of terahertz waves makes line-of-sight(LoS)transmission indispensable,hindering the extensive application of terahertz communications.In this work,a novel liquid-crystal programmable metasurface(LCPM)is proposed for the first time,which can effectively achieve dual-broadband beam manipulation to improve link stability and extend coverage for terahertz communications in non-line-of-sight(NLoS)scenarios.The LCPM is operated in both the W band that covers 94 GHz and the D band that covers 140 GHz,corresponding to x-polarized and y-polarized wave incidence,respectively.Based on the proposed LCPM,realistic NLoS terahertz communication links are established and showcased.Communication measurements substantiate that the LCPM is capable of realizing extensive dynamic channel regulations and long-distance communications across both bands in various modulation schemes,supporting real-time high-speed video transmission.The experimental results validate the feasibility of employing the LCPM for terahertz wireless communications,paving the way for developing and implementing ubiquitous terahertz communication networks even with LoS blockage. 展开更多
关键词 Programmable metasurface Terahertz communication Reconfigurable intelligent surface Dual-frequency Broadband Beamforming
暂未订购 下载PDF
Programmable mixed-kernel based on MoTe2/MoS2heterojunction for support vector machine learning 认领 引用
6
作者 Xinyu Huang Jiapeng Du +3 位作者 Langlang Xu Lei Tong Xiangxiang Yu Lei Ye 《Journal of Semiconductors》 EI CAS CSCD 2026年第3期110-116,共7页
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 MoTe2/MoS2type-Ⅱ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. 展开更多
关键词 programmable mixed-kernel heterojunction support vector machine
暂未订购 下载PDF
P4LoF: Scheduling Loop-Free Multi-Flow Updates in Programmable Networks 认领 引用
7
作者 Jiqiang Xia Qi Zhan +2 位作者 Le Tian Yuxiang Hu Jianhua Peng 《Computers, Materials & Continua》 SCIE EI 2026年第1期1236-1254,共19页
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. 展开更多
关键词 Network management update consistency programmable data plane P4
暂未订购 下载PDF
Programmable inkjet printing of fluorometric freshness-progress-bar for consumer-level visualization of hot-pot freshness 认领 引用
8
作者 Yisheng Chen Zhijian Wang Shiyao Wang 《Food Science and Human Wellness》 SCIE CAS CSCD 2026年第5期2427-2438,共12页
In this work,an easy-to-use fluorometric sensor array in the form of freshness progress bar was fabricated by programmable inkjet printing,enabling consumer-level freshness visualization of Hot-pot dishes(fish,chicken... In this work,an easy-to-use fluorometric sensor array in the form of freshness progress bar was fabricated by programmable inkjet printing,enabling consumer-level freshness visualization of Hot-pot dishes(fish,chicken and beef).Firstly,the freshness progress bar was optimized with 2 spoilage-responsive indicators(fluorescein isothiocyanate and rhodamine B)encapsulated in metal-organic framework zeolitic imidazolate framework-8(ZIF-8).Subsequently,a 40 mm×10 mm freshness progress bar was precisely fabricated by programmable inkjet printing,ensuring adequate uniformity and reproducibility.The freshness progress bar showed high sensitivity up to 1.343 mg/kg to the total volatile basic nitrogen(TVB-N),good reproducibility(relative standard deviation(RSD)0.96.Therefore,the freshness progress bar may enable consumer-level management of the Hot-pot foods,which was particularly suitable for E-commerce sales. 展开更多
关键词 Programmable inkjet printing Freshness progress bar Intelligent package Hot-pot
暂未订购 下载PDF
Hydrogel-shape memory polymer synergistic effect enabled 4D-printed ceramic precursors with programmable recovery onset and reversible deformation 认领 引用
9
作者 Dekun Kong Zhihui Zhang +5 位作者 Hailong Wu Xunjin Li Jinsong Zhang Baoyu Zhang Anfu Guo Luquan Ren 《International Journal of Extreme Manufacturing》 SCIE EI CAS CSCD 2026年第1期539-553,共15页
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. 展开更多
关键词 ceramic precursors smart materials programmable recovery onset reversible deformation 4D printing
暂未订购 下载PDF
Pixelated liquid crystal programmable metasurface enabled multi-functional terahertz near-field wavefront manipulation 认领 引用
10
作者 YUAN FU XIAOJIAN FU +4 位作者 LIFENG CHEN PENG WANG LIHAO HUANG JUN YANG TIE JUN CUI 《Photonics Research》 SCIE EI CAS CSCD 2026年第5期2068-2079,共12页
Reconfigurable intelligent surface(RIS)technology is believed to effectively solve the dilemma of terahertz wireless communication in non-line-of-sight scenarios.Notably,the deployment of large-scale RIS arrays at hig... Reconfigurable intelligent surface(RIS)technology is believed to effectively solve the dilemma of terahertz wireless communication in non-line-of-sight scenarios.Notably,the deployment of large-scale RIS arrays at high frequencies brings about significant near-field effects,resulting in extensive near-field areas,which provides the possibility for the application of near-field communication.In this paper,a pixelated liquid crystal program-mable metasurface(PLCPM)is proposed to effectively manipulate terahertz waves in the near-field region.Leveraging the tunability of liquid crystal(LC)materials,the proposed PLCPM achieves 1-bit phase coding capability within the 104-110 GHz frequency band. 展开更多
关键词 multi functional terahertz near field wavefront manipulation manipulate terahertz terahertz wireless communication reconfigurable intelligent surface pixelated liquid crystal programmable metasurface non line sight scenarios near field communication reconfigurable intelligent surface ris technology
暂未订购 下载PDF
Soft mattonics:liquid crystals as programmable canvas for sculpting light 认领 引用
11
作者 Qiwen Zhan 《Photonics Insights》 2026年第2期127-129,共3页
For decades,liquid crystals(LCs),as a typical class of soft matter,have almost exclusively evoked images of display technologies.From their early days as a scientific curiosity characterized by“double melting”to the... For decades,liquid crystals(LCs),as a typical class of soft matter,have almost exclusively evoked images of display technologies.From their early days as a scientific curiosity characterized by“double melting”to their ubiquitous presence in modern screens,LCs have traditionally been viewed as passive,scalar modulators of light. 展开更多
关键词 sculpting light soft matter liquid crystals double melting display technologies display technologiesfrom programmable canvas
Recent Advances in Spin-Orbit Torque-Based Programmable Spin Logic Devices:Toward Flexible Implementations 认领 引用
12
作者 Ke-Yi Wu Bin Lao +3 位作者 Xuan Zheng Ya-Min Han Run-Wei Li Zhi-Ming Wang 《Rare Metals》 SCIE EI CAS CSCD 2026年第5期75-93,共19页
The rapid expansion of data-intensive applications has highlighted the fundamental limitations of traditional CMOS-based von Neumann architectures,particularly in terms of power efficiency,latency,and flexibility.Spin... The rapid expansion of data-intensive applications has highlighted the fundamental limitations of traditional CMOS-based von Neumann architectures,particularly in terms of power efficiency,latency,and flexibility.Spin logic devices utilizing spin-orbit torque(SOT)present a promising pathway for nonvolatile,low-power,and in-memory computing.By manipulating electric current inputs,SOT can alter the magnetization states or domains,enabling programmable logic functions.When combined with flexible electronics fabrication techniques,these spin logic devices can be adapted into flexible forms to cater to a wide range of applications,such as wearable electronics and human-machine interfaces.In this review,we first trace the evolution of spin logic devices and then explore the operational mechanisms behind various SOT-based devices.We systematically discuss both magnetic-field-assisted and all-electric-driven logic schemes.Additionally,we review recent advancements in flexible SOT logic devices focusing on fabrication methods,thermally assisted low-power switching,and the integration of logic functions on flexible substrates.Finally,we address the current challenges and prospects for SOT-based spin logic devices,emphasizing their potential for low-power,highly integrated,and flexible spintronic computing systems. 展开更多
关键词 all-electric-driven flexible devices programmable spin logic spin-orbit torque
暂未订购 下载PDF
Phosphotungstic Acid Modulated PNIPAM/P(AA-co-AM)Bilayer Hydrogels With Programmable Thermo-Responsive Kinetics and Enhanced Toughness 认领 引用
13
作者 Hui Liu Hongli Jia +3 位作者 Xiaojin Yan Rouling Chen Yingying Wang Kun Chen 《Rare Metals》 SCIE EI CAS CSCD 2026年第5期485-498,共14页
Thermo-responsive hydrogels based on poly(N-isopropylacrylamide)(PNIPAM)are promising candidates for soft actuation,yet their practical applications are often constrained by sluggish thermo-responsive kinetics and ins... Thermo-responsive hydrogels based on poly(N-isopropylacrylamide)(PNIPAM)are promising candidates for soft actuation,yet their practical applications are often constrained by sluggish thermo-responsive kinetics and insufficient mechanical robustness.Herein,phosphotungstic acid(PTA),a tungsten-containing polyoxometalate,was incorporated to regulate the phase transition behavior and modulate a PNIPAM/P(AA-co-AM)bilayer hydrogel,in which the thermo-responsive PNIPAM layer serves as the actuator whereas the non-thermo-responsive P(AA-co-AM)layer provides mechanical support.By increasing the PTA content up to 4 wt%,the thermally induced deformation time of the PNIPAM layer was prolonged from 30 to 120 s,whereas the recovery time at low temperature was shortened from 120 to 60 min,thereby enabling programmable thermo-responsive kinetics.The thermal transition of the PTA-PNIPAM layer was effectively regulated by PTA,with the lower critical solution temperature(LCST)gradually increasing and tunable up to 42℃,accompanied by an improved thermal stability manifested by reduced mass loss at 150℃.Mechanical characterization demonstrated that the P(AA-co-AM)layer modulated the tensile properties of hydrogel networks,and the bilayer configuration significantly outperformed the pristine PNIPAM hydrogel.Benefiting from the synergistic effects of kinetic regulation and mechanical modulation,the bilayer hydrogel further exhibited multi-substrate adhesion and reversible deformation,enabling an underwater gripping demonstration.This work highlights a polyoxometalate-enabled strategy for simultaneously controlling thermo-responsive kinetics and toughening PNIPAM-based hydrogels,thereby advancing functional soft materials for actuation-related applications. 展开更多
关键词 bilayer hydrogel phase transition PNIPAM polyoxometalates programmable actuation
暂未订购 下载PDF
Programmable DNAzyme nanocatalysts for tumor immunometabolic modulation 认领 引用
14
作者 Rongping LUO Zhuojia TANG +5 位作者 Mengqi DING Lingxiu ZOU Xiaojing LIU Fan YIN Jianxin LYU Lu WANG 《Journal of Zhejiang University-SCIENCE B》 SCIE CAS CSCD 2026年第7期698-714,I0003,共17页
Programmable RNA-cleaving DNAzymes(RCDs)represent a unique class of catalytic nucleic acids that couple molecular recognition with enzyme-like activity.While DNAzymes have traditionally been explored for targeted gene... Programmable RNA-cleaving DNAzymes(RCDs)represent a unique class of catalytic nucleic acids that couple molecular recognition with enzyme-like activity.While DNAzymes have traditionally been explored for targeted gene regulation,recent advances in nanotechnology have repositioned them as programmable biosensing modules with stimuli-responsive therapeutic potential.When integrated into metal-oxide scaffolds,DNA-framework architectures,or metal-organic frameworks,DNAzymes form hybrid platforms that create confined catalytic microenvironments,provide enriched cofactor availability,and facilitate microenvironment-responsive activation.These engineered systems can function as nanoscale biosensing modules that respond to pH,redox gradients,metal ions,or microRNA signatures and convert these biological cues into catalytic outputs.Beyond enhancing analytical performance,such platforms may also reshape tumor immunometabolism.Through the selective cleavage of metabolic or immune-regulatory transcripts,DNAzyme nanocatalysts can directly reprogram glycolysis,redox balance,oxygen tension,and mitochondrial activity,and these metabolic changes in turn alleviate immunosuppression and promote innate and adaptive immune activation.This review outlines the mechanistic foundations of DNAzyme catalysis,summarizes recent nanoengineering strategies that endow DNAzymes with programmable sensing and stimuli-responsive functions,and discusses how these systems bridge biosensing and catalytic immunometabolic functions.We conclude with perspectives on translational challenges and opportunities,endorsing programmable DNAzyme nanocatalysts as emerging preclinical platforms for biosensingguided immunometabolic intervention. 展开更多
关键词 RNA-cleaving DNAzyme DNAzyme nanocatalyst Programmable biosensing Tumor immunometabolism Stimuliresponsive nanoplatform
暂未订购 下载PDF
NetVerifier:Scalable Verification for Programmable Networks 认领 引用
15
作者 Ying Yao Le Tian +1 位作者 Yuxiang Hu Pengshuai Cui 《Computers, Materials & Continua》 SCIE EI 2026年第5期1830-1848,共19页
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. 展开更多
关键词 Programmable network network verification symbolic execution scalability
暂未订购 下载PDF
Gradient crosslinking of anisotropic hydrogels for programmable shape morphing and actuation 认领 引用
16
作者 Yi Zhang Xin Yao +2 位作者 Jiaxin Yu Haili Qin Huaiping Cong 《Chinese Chemical Letters》 SCIE CAS CSCD 2026年第6期374-380,共7页
Biological systems exploit their sophisticated hierarchical anisotropic architectures to achieve complex shape morphing under external stimuli.However,artificial soft intelligent actuators often suffer from limited re... Biological systems exploit their sophisticated hierarchical anisotropic architectures to achieve complex shape morphing under external stimuli.However,artificial soft intelligent actuators often suffer from limited response speeds and poor programmability of deformation,primarily due to densely crosslinked network designs and insufficient anisotropic resolution.Here,we report a synergistic method combining directional freezing-induced self-assembly and dynamic metal coordination crosslinked mechanical alignment to fabricate anisotropic hydrogels with fast multiple responsiveness and programmable three-dimensional(3D)deformation.Benefiting from an interconnected lamellar network and open-oriented mass transport channels,the hydrogel exhibits rapid anisotropic stimuli-responsive deformations with a shrinkage along the lamellar direction that is 1.9 times greater than that in the perpendicular direction in 5 s of thermal stimulation,and a complete recovery within 4 s upon cooling.By developing a spatially modulated coordination photodissociation strategy,a gradient crosslinking network is further constructed within the hydrogel,enabling diverse and programmable 3D deformations in response to external stimuli,which facilitate complex actuation behaviors such as object grasping,biomimetic gestures,and light-driven lifting.Thus,the hydrogel with hierarchically anisotropic structure and porous dynamic crosslinked network is potential for intelligent soft robotics requiring flexible controllable deformation. 展开更多
关键词 Anisotropic hydrogel Gradient crosslinking Lamellar alignment Programmable shape morphing Actuating performance
暂未订购 下载PDF
Stretchable radio-frequency electronics with programmable mechanical and electromagnetic responses 认领 引用
17
作者 Nicole Carusetta Chihtong Lee Raudel Avila 《International Journal of Extreme Manufacturing》 SCIE EI CAS CSCD 2026年第2期9-12,共4页
Stretchable radiofrequency(RF)electronics enable wireless communication,sensing,and power delivery across soft biological interfaces.Planar printed circuit boards(PCBs),while reliable and scalable,lack the mechanical ... Stretchable radiofrequency(RF)electronics enable wireless communication,sensing,and power delivery across soft biological interfaces.Planar printed circuit boards(PCBs),while reliable and scalable,lack the mechanical compliance needed to conform to viscoelastic,curvilinear tissues.This structural mismatch has motivated decades of progress in materials science and mechanics,driving the transition from planar to flexible,and ultimately to fully stretchable electronics capable of withstanding large deformations. 展开更多
关键词 radio frequency electromagnetic power delivery stretchable programmable mechanical soft biological interfacesplanar printed circuit boards pcbs materials science
暂未订购 下载PDF
High-precision passive sensing with large-scale programmable metasurface 认领 引用
18
作者 Zhiqiao Han Qian Ma +1 位作者 Ze Gu Tie Jun Cui 《Frontiers of physics》 SCIE CSCD 2026年第6期31-42,共12页
With the rapid development of sixth-generation(6G)intelligent wireless networks,environmental sensing has become a core requirement for many applications such as autonomous driving,drones,and intelligent robotics.Here... With the rapid development of sixth-generation(6G)intelligent wireless networks,environmental sensing has become a core requirement for many applications such as autonomous driving,drones,and intelligent robotics.Here,we propose a passive sensing method based on beam-focusing algorithms and a large-scale programmable metasurface composed of 64×96 effective elements.The coding patterns on the 1-bit programmable metasurface are dynamically switched via a field-programmable gate array(FPGA)to achieve real-time beam focusing and scanning at specific spatial locations.The reflected signal strength is then used to determine the target angle and distance.Requiring only a single RF channel and signal strength information,the system features a simple hardware architecture and low computational complexity.To verify the effectiveness and robustness of the proposed method,experiments are conducted across 74 positions within an azimuth-angle range from−70°to 70°and a distance range from 1 m to 3 m.The experimental results demonstrate that the proposed sensing method achieves high precision in both angle and distance for passive targets,with an average absolute angle error of 0.904°and an average absolute distance error of 0.101 m.The proposed system provides a promising solution for applications in the Internet of Things,directional communication,and biomedical fields. 展开更多
关键词 programmable metasurface beam focusing angle and distance estimation passive target
暂未订购 下载PDF
Hand-powered and programmable electrowetting-on-dielectric droplet actuation enabled by triboelectric nanogenerator andmechanically encoded punch-card switch array 认领 引用
19
作者 Jing Ding Kuan-Lun Ho +3 位作者 Jesus Becerra Paul Kessinger Wen-Quan Tao Shih-Kang Fan 《Droplet》 EI CSCD 2026年第3期122-134,共13页
Electrowetting-on-dielectric(EWOD)enables electrical modulation of liquid contact angle and is widely used for droplet actuation;however,its reliance on bulky high-voltage power supplies limits portability.Triboelectr... Electrowetting-on-dielectric(EWOD)enables electrical modulation of liquid contact angle and is widely used for droplet actuation;however,its reliance on bulky high-voltage power supplies limits portability.Triboelectric nanogenerators(TENGs)provide a lightweight,mechanically driven alternative,yet existing EWOD-TENG systems still rely on electronic controllers or rapid manual actions.Here,we present a hand-powered and mechanically programmable EWOD platform that integrates a contact-separation TENG(CS-TENG)with a mechanically encoded punch-card switch array,both driven by a single hand-crank mechanism.Hand cranking simultaneously generates high voltage for EWOD actuation and advances a punch-card tape to sequentially trigger electrode switching according to predefined punch-hole patterns.Unlike conventional voltage sources,the CS-TENG delivers a constant-charge output per cycle,leading to distinct EWOD behavior.An EWOD-TENG model with trapped charge elucidates key phenomena,including bias-dependent asymmetric EWOD arising from dielectric charge trapping and stepwise voltage attenuation caused by capacitive EWOD loading during sequential switching.The punch-card switch array converts physical hole patterns into time-synchronized electrode activation,enabling programmable droplet manipulationwithout electronic controllers.The resulting platform executes predefined droplet operations using only a hand crank as the sole energy and control input,achieving autonomous,portable,and robust droplet control for field-deployable microfluidic systems. 展开更多
关键词 electronic controllers electrical modulation liquid contact angle Punch card switch array Electrowetting dielectric Triboelectric nanogenerator Hand powered droplet actuationhoweverits Programmable
"The Youth Tablee Tennis Programme——Photo Exhibition of Zhou Enlaiand the Bandung Conference&China-ASEAN(Indonesia)Youth Table Tennis Training Camp"Opened in Jakarta 认领 引用
20
《International Understanding》 2025年第2期61-62,共2页
On April 19th,"the Youth Table Tennis Programme—Photo Exhibition of Zhou Enlai and the Bandung Conference&China-ASEAN(Indonesia)Youth Table Tennis Training Camp"opened in Jakarta,Indonesia.The event was... On April 19th,"the Youth Table Tennis Programme—Photo Exhibition of Zhou Enlai and the Bandung Conference&China-ASEAN(Indonesia)Youth Table Tennis Training Camp"opened in Jakarta,Indonesia.The event was guided by the Chinese Embassy in Indonesia and co-organised by the ASEAN-China Centre(ACC),the Memorial to Zhou Enlai and Deng Yingchao,the China Friendship Foundation for Peace and Development,the Beijing One Heart Sphere Charity Foundation,and the Enlai Foundation. 展开更多
关键词 youth table tennis programme zhou enlai jakarta photo exhibition table tennis China asean enlai foundation youth table tennis training camp
暂未订购 下载PDF
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 250 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈