Beijing Institute of Technology

A deep neural network for CrIS cloud detection and transfer to HIRAS via implicit contrastive learning

Accurately identifying whether a field of view of satellite hyperspectral infrared sounders is clear or cloudy is critical for geophysical parameter retrieval and meteorological applications. In this study, a deep neural network is developed for cloud detection in Cross-track Inf...

A Gas–Solid Two-Phase Mechanistic Model for Predicting the Minimum Ignition Energy of Explosive Dust Clouds

Minimum ignition energy (MIE) is a key parameter for characterizing the ignition sensitivity and explosion hazard of explosive dust clouds, yet its experimental determination is hazardous and mechanistic prediction remains limited. In this study, a gas–solid two-phase mechanistic...

Thermoacoustic systems for electrical power generation: Review of conversion technologies, performance characteristics, and practical applications

Despite their potential to convert waste heat into electricity with no moving parts in the thermoacoustic core, thermoacoustic electricity generators (TAEGs) remain underutilized in industrial energy-recovery applications. Industrial processes collectively reject 20-50% of the in...

Adaptive Graph Learning with Persona-Aware Attribution for Event-Resilient Metro Passenger Flow Prediction

Urban rail passenger flow forecasting, based on large-scale automatic fare collection (AFC) sensor networks, is typically evaluated on ordinary days, yet operators most need accurate predictions during event days. The AFC infrastructure comprises 191 sensor-equipped stations with...

Magnetic-field tuning of quantum phase slips in a macroscopic granular aluminum film

Quantum phase slips (QPSs) fundamentally govern low-temperature dissipation in one-dimensional nanoscale superconductors but remain largely unexplored in macroscopic architectures lacking strict geometric confinement. In this work, the magnetic-field-tuned evolution of the macros...

A Parameterized Algorithm for \({K_r}\)-Factors in Graphs of High Minimum Degree

Abstract. A [Formula: see text]-factor of a graph [Formula: see text] is a collection of vertex-disjoint [Formula: see text]-cliques covering [Formula: see text]. We prove the following algorithmic version of the classical Hajnal–Szemerédi theorem in graph theory, when [Formula:...

Stabilizing Water Molecules in Hydrogel Electrolytes Enables 2.8 V‐Class Purely Aqueous Zn–Li Hybrid Batteries

ABSTRACT Currently, reported high‐voltage aqueous zinc batteries generally operate below 2.0 V. Achieving a discharge plateau/average operating voltage exceeding 2.0 V typically requires charging voltages above 2.5 V; however, the limited electrochemical stability of water molecu...

A Survey of Deep Learning Based Software Refactoring

Refactoring is a critical activity in software engineering used to improve software quality and maintainability. Increasingly, deep learning (DL) techniques are being applied to software refactoring to overcome the limitations of traditional, manually designed heuristics. However...

Interface-engineered durable polymer-based solar concentrator with high reflectance and corrosion-resistance

Next-generation concentrated solar power (CSP) systems require lightweight solar reflectors (LSRs) that simultaneously achieve high solar reflectance, mechanical robustness, and long-term environmental stability. However, conventional reflector architectures remain constrained by...

Triggering high-energy orbits in rotational nonlinear energy harvesters via time-varying external excitation and internal parameter modulation

The nonlinear dynamics of rotational piezoelectric energy harvesters can enhance power output and broaden the operational bandwidth. However, their practical application is severely constrained by uncontrollable switching between the high-energy orbit (HEO) and low-energy orbit (...

A reference contact framework of signed distance fields for efficient frictional dynamic modeling and computation

The signed distance field (SDF) method provides an implicit functional representation to simplify contact detection for complex geometries. However, for deformable bodies, utilizing a static SDF defined in the reference configuration often relies on heuristic geometric approximat...

EXPRESS: Association between Neurovascular Network Dysfunction and Poor Sleep Quality in Patients with Cerebral Small Vessel Disease

BACKGROUND/HYPOTHESIS: Poor sleep quality is frequently reported among patients with cerebral small vessel disease (CSVD), but its neurovascular correlates remain unclear. We examined exploratory associations between multidomain neurovascular network (NVN) measures and poor sleep...

EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems

In recent years, smart contracts have become the backbone of decentralized applications (DApps), and off-chain systems such as bridges, wallets, and indexers rely heavily on event logs to track contract execution and state changes. However, the Ethereum Virtual Machine (EVM) does...

From Custom Logic to APIs: Understanding and Recommending API Replacement Refactorings

Software refactoring is essential for maintaining code quality. However, API replacement refactoring, which replaces custom logic with API calls, remains underexplored. Existing refactoring tools provide limited support for detecting such opportunities because they rely on predef...

Lookahead-Then-Verify: Reliable Constrained Decoding for Diffusion LLMs under Context-Free Grammars

Diffusion Large Language Models (dLLMs) have demonstrated promising capabilities and are increasingly used to produce formal languages defined by context-free grammars, such as source code and chemical expressions. However, as probabilistic models, they still struggle to generate...

Integrated GNSS/LEO precise point positioning using factor graph optimization with heterogeneous graph-based stochastic modeling

Abstract Low Earth Orbit (LEO) satellite augmentation can improve the availability and satellite geometry of Precise Point Positioning (PPP). However, most existing Global Navigation Satellite System (GNSS)/LEO PPP methods rely on fixed stochastic models and do not fully exploit...

Truncation artifact reduction in cone-beam computed tomography scans using conditional generative diffusion models

Cone-beam computed tomography (CBCT) is commonly used in diagnostic imaging owing to its superior spatial resolution and lower radiation dose relative to conventional computed tomography (CT). A limitation of CBCT systems, however, is their inherently restricted field of view, wh...

Exfoliation of Molecular Crystals Enables Two-Dimensional Polymerization for Stable Photoelectric Response Devices

Two-dimensional polymers (2DPs) have emerged as a class of important materials with the unique advantages of an ultrathin, lightweight nature and a large accessible surface area, showing their promising potential in the area of optoelectronics, energy storage and conversion, and...

Scriptless cross-chain deferred asset transfer for AIoT

In AIoT service scenarios such as sensing-as-a-service and edge AI outsourcing, a service requester may need to establish a payment commitment before service execution, while final transaction should be deferred until service delivery is verified. When the requester and the provi...

Aging-induced pressure characteristics and state-of-health estimation for large-format LFP batteries under multi-constraint operating conditions

Battery pressure is a critical indicator for battery state-of-health (SOH). In this work, long-term aging tests are conducted on large-format prismatic lithium-iron-phosphate (LFP) energy-storage cells via a custom-built multi-constraint test platform. Aging experiments under var...