Beihang University

Belobog: Move Language Fuzzing Framework for Real-World Smart Contracts

Move is a resource-oriented programming language designed for secure and verifiable smart contract development and has been widely used in managing billions of digital assets in blockchains, such as Sui and Aptos.Move features a strong static type system and explicit resource sem...

Magnetic-Field-Induced Large OER Enhancement in Co-Based Ferrimagnetic Thin Films

Abstract Electrochemical water splitting offers a promising route to sustainable hydrogen production, yet the oxygen evolution reaction (OER) remains kinetically sluggish and subject to spin-selection constraints associated with triplet O2. Here, CoTb ferrimagnetic thin films wit...

PnPSelect: Plug-and-Play IoT Device Selection Using Ultra-Wideband Signals

In recent years, the number of Internet of Things (IoT) devices in smart homes has rapidly increased. A key challenge affecting user experience is how to enable users to efficiently and intuitively select the devices they wish to control. This paper proposes PnPSelect, a plug-and...

Phase-dependent high-temperature oxidation behavior of multiphase Ti2AlNb alloy

Environmental degradation of Ti 2 AlNb alloys is intrinsically coupled with their multiphase constitution, yet the local mechanisms by which individual phases mediate oxidation remain insufficiently resolved. Here, we reveal the phase-selective high-temperature oxidation behavior...

Capillary L p -curvature problem

Abstract We prove a gradient estimate for a class of capillary curvature equations in the half-space. As an application, we prove the existence of an even, smooth, strictly convex solution to the even capillary L p {L_{p}} -curvature problem for all 1 < p < k + 1 {1 and all conta...

PDSVF: Prompt-driven SAM-Med2D with parallel ViT and state-space fusion for skin lesion segmentation

Accurate segmentation of skin lesions in dermoscopic images underpins computer-aided diagnosis of skin cancer. The task is difficult: lesions show blurred, low-contrast boundaries, vary widely in scale, shape, and color, and are often obscured by hair and other imaging artifacts....

Bare‐Die Antiferromagnetic Computing

Semiconductor electronic devices are increasingly constrained by fundamental quantum tunneling effects and charge-based mechanisms, which severely limit further miniaturization, write-speed scaling, and environmental robustness of silicon-based technologies. These limitations are...

Atmosphere‐Controlled Valence Engineering of Eu in Aluminate Crystals Enabling High‐Performance Temperature Sensing and Flexible X‐Ray Imaging

ABSTRACT Developing scintillators that simultaneously deliver high light yield, radiation stability, flexibility, and environmental sustainability remains a long‐standing challenge, while optical thermometry is further limited by narrow working ranges and insufficient sensitivity...

Strategic flight planning and conflict management for urban air mobility operations: a mission preference-constrained multiagent reinforcement learning approach

As an emerging low-altitude transportation paradigm, urban air mobility (UAM) is envisioned to support high-density and demand-driven operations involving diverse and flexible mission requests. However, the imbalance between limited urban airspace resources and growing operationa...

Understanding the near-threshold structures in $$e^+e^-$$ annihilation from a unified $$N\bar{N}$$-interaction perspective

Abstract Near-threshold structures have been observed in the cross sections for $$e^+e^-\rightarrow p\bar{p}$$ e + e - → p p ¯ , $$e^+e^-\rightarrow n\bar{n}$$ e + e - → n n ¯ , and several non-baryonic final states in the vicinity of the $$N\bar{N}$$ N N ¯ thresholds. We investi...

Rewriting Precursor Information into Working Structures and Interfaces: MOF‐Derived Electrodes for Rechargeable Batteries

ABSTRACT Metal‐organic frameworks (MOFs) offer programmable precursors for battery electrodes because their metal nodes, organic linkers, pore organization, and particle morphology can be chosen before conversion. Yet conversion does not leave the parent framework intact. It rewr...

Hierarchical Multi-Agent Reinforcement Learning for Cooperative Wildfire Suppression with Amphibious Firefighting UAVs

Cooperative task planning for amphibious firefighting UAVs deployed across multiple bases is challenging because of complex resource coupling, evolving fire conditions, and real-time decision requirements. This study proposes an H-MAPPO-LSTM method with a three-level hierarchical...

A widely tunable femtosecond light source based on green-pumped BBO optical parametric oscillator

Femtosecond lasers in the 700–1000 nm spectral region hold irreplaceable research value in many frontier fields. In this work, to achieve tunable femtosecond laser output in the target spectral region, we first frequency-double a high-power Yb-doped all-fiber femtosecond laser at...

CYGNSS Soil Moisture Performance in Guinea Savanna Region: Extended and Quadruple Collocation Evidence from Benue State, Nigeria

Reliable soil moisture information is essential for agricultural drought warning, but tropical smallholder regions often lack ground networks for validating satellite products. This study evaluates the Cyclone Global Navigation Satellite System (CYGNSS) Level 3 soil moisture prod...

Facet Engineering of Cu2O–Ag Heterostructures for Promoting CO Generation in Electrocatalytic CO2 Reduction

Abstract The electrocatalytic reduction of carbon dioxide (CO2RR) into high-value-added and high-energy-density multicarbon (C2+) products hold great significance for sustainable energy conversion and carbon neutrality. However, achieving high product selectivity toward C2+ produ...

Interface Design in Bioinspired Polymer Composites: Mechanisms, Characterization, Processing, and Multiscale Modeling

ABSTRACT Natural biological materials with a few polymers have demonstrated that intricate interfaces on a hierarchical scale are important to efficient load transfer, crack deflection, and energy dissipation. Inspired by them, bioinspired polymer composites have been developed f...

Experimental investigation and strength evaluation of steel-plate composite wall-to-wall L- and T-joints with different novel shear reinforcement

The steel-plate composite wall-to-wall joint configuration specified in current design codes is particularly susceptible to shear failure. Existing experimental studies have reached contradictory conclusions regarding whether shear reinforcement can enhance joint strength. The in...

Toward Web 4.0: bidirectional trust between AI agents and blockchain

Autonomous artificial intelligence (AI) agents are increasingly deployed on blockchain platforms, yet the design space governing their interaction remains poorly understood. This convergence, in which autonomous agents operate on and within decentralized systems, characterizes th...

ProtoSurv: prototype-guided adaptation of computed tomography foundation model for lung-cancer prognosis prediction

Abstract Prognosis prediction is important for precision treatment in lung cancer. Chest computed tomography (CT) and deep learning are feasible approaches for learning imaging-based prognostic representations. However, prognostic labels are difficult to obtain because survival e...

Design and analysis of an underwater vectored thruster employing spherical actuator

Underwater vectored thruster is an important development direction for the propulsion system of autonomous underwater vehicles. However, conventional vectored thruster systems generally consist of multiple actuators and complex transmission structures, which results in large syst...