Your Destination for Mobility Engineering Resources

Bearing signals measured under different loads rarely keep the same waveform characteristics. Their amplitudes, spectral components, and statistical properties may change at the same time, which makes a classifier trained on one load condition less reliable on another. This study investigates a cross-load diagnosis method that trains a multi-scale convolutional squeeze-excitation network (MCSECNN) with multi-kernel maximum mean discrepancy (MK-MMD) and a domain-adversarial neural network (DANN). The convolutional branch captures vibration patterns over several temporal ranges, and the SE unit adjusts the importance of the channels generated by the parallel kernels. MK-MMD penalizes the distance between load-dependent feature distributions, whereas DANN weakens the load identity retained in the features. Tests using CWRU bearing data show that the integrated model gives better accuracy than the basic MCSECNN and the two single-adaptation variants. Ablation results indicate that the statistical and adversarial constraints contribute to transfer performance in different ways.
Ming, Mei, Ai, Yumei, Li, Shengnan, Wan, Haozheng, Sang, Shentian, Zhang, Haifeng
Space-Air-Ground Integrated Networks (SAGINs) have attracted extensive attention as an effective solution for providing worldwide communication services and supporting diverse transmission requirements. Nevertheless, the highly dynamic wireless environment and fluctuating user distribution introduce considerable difficulties for efficient deployment of High-Altitude Platforms (HAPs). This work studies a throughput enhancement problem in a SAGIN architecture composed of a Low Earth Orbit (LEO) satellite, multiple HAPs, and terrestrial users. Considering practical communication constraints such as beam scheduling and subchannel assignment, the objective is to improve the overall data transmission capability through optimized HAP positioning. By interacting with varying network states, the proposed learning framework agent continuously learns suitable deployment policies for HAPs, thereby improving transmission performance and spectrum utilization efficiency. Numerical evaluations indicate that the policy optimization strategy achieves superior throughput performance and communication efficiency compared with traditional fixed deployment approaches.
Wang, Yin, Zhou, Keyan, Shao, Shuai, Zhang, Bin, Chen, Peifu, Wang, Jianfeng
Satellite edge computing (SEC) enables low-latency services by leveraging Low Earth Orbit (LEO) satellites. However, emerging applications increasingly generate dependency-aware tasks with complex precedence constraints, leading to challenging multi-DAG (directed acyclic graph) offloading under dynamic satellite environments. To address this issue, we propose a global task graph (GTG)-based multi-agent offloading frame-work named GTG-MARL, for dependency-aware task execution in regional satellite-ground collaborative networks. Specifically, we construct a GTG by merging multiple DAGs to capture both intra-task dependencies and inter-task coupling, thereby achieving unified dependency-aware modeling. Then, a graph neural network (GNN) is lev-eraged to encode the GTG into dependency-aware subtask embeddings. To handle dependency-aware offloading in dy-namic environments, we develop a multi-agent reinforce-ment learning framework based on generalized proximal policy optimization, where each LEO satellite acts as an agent for decision-making while a centralized critic stabilizes offline learning to eliminate real-time on-orbit communication overhead. During the execution phase, only the light-weight trained actors are deployed on satellites for on-orbit inference. Extensive experiments demonstrate that the pro-posed method significantly reduces task completion delay compared to state-of-the-art baselines, validating the practi-cal efficiency and low synchronization cost of the proposed framework for regional SEC deployment.
Geng, Zeao, Zhao, Lu, Jin, Huiying, Jiang, Ping, Cai, Hui, Zhou, Jian
To effectively address the challenges of cooperative control for quadrotor formations in complex environments, this paper extends the dual-quaternion based nonlinear model predictive control (DQ-NMPC) framework to leader-follower formation. Unlike conventional methods that treat translation and rotation separately, the dual-quaternion based model achieves a unified and compact representation of rigid-body motion using only eight real numbers without singularities, enabling global description on SE(3). Through the logarithmic map, the pose error is mapped from the Lie group to its Lie algebra, resulting in a quadratic cost function that naturally resolves the dimensional inconsistency between position and attitude errors, thereby simplifying weight tuning and improving numerical stability. Building on this formulation, a UAV formation controller is developed, where the relative motion between leader and follower is concisely described using dual quaternions, and a minimum safe distance constraint is explicitly incorporated to avoid collisions and maintain safe separation. In formation scenarios, the follower autonomously accomplishes chasing, rendezvous, and formation keeping under various trajectories, including straight-line pursuit and Lissajous curves. Moreover, the stability of formation control is validated under non-ideal conditions such as communication delay, mass mismatches, and constant external disturbances. Furthermore, the optimal weight combination is determined through grid search, which further improves formation tracking accuracy and control smoothness. In addition, the proposed framework inherently supports time-varying formation patterns, such as dynamic switching between different relative configurations and adaptive scaling. Computational efficiency analysis shows that the average solution time per control cycle is far below the sampling interval, validating real-time feasibility. Overall, the DQ-NMPC framework provides a unified, robust, and efficient solution for quadrotor formation control under both ideal and perturbed environments.
Li, Jiaye, Zhang, Zexu, Liu, Jingzong
Electrification in aviation imposes higher requirements for the power density and operational efficiency of onboard power systems. Conventional auxiliary power units currently face bottlenecks in both efficiency and emissions. Hybrid power systems consisting of proton exchange membrane fuel cells and gas turbines are considered a promising solution because they enable cascaded energy utilization. Integrating such hybrid systems with the main turboshaft engine represents an important technical path for improving performance. However, extracting interstage bleed air from the main engine compressor leads to propulsion power loss, and the performance of the fuel cell is significantly influenced by temperature and pressure. Therefore, quantifying the trade-off between the cost of bleed air and the gain in power generation is essential for verifying the feasibility of this technology. This paper proposes a thermodynamic model coupling a main turboshaft engine with a fuel cell and gas turbine subsystem. In this model, a novel thermal management strategy employs liquid hydrogen to cool interstage bleed air. Prior to entering the cathode, the bleed air undergoes cooling via heat exchange, while the high-temperature turbine exhaust stream concurrently preheats the hydrogen before it reaches the anode. Bleed air losses are quantified through a segmented compression work calculation, and the influence of bleed air pressure ratio, current density, and fuel utilization on overall system performance is systematically examined. System net benefit is defined as the net generated power minus the associated propulsion power penalty. The results indicate that, with suitable parameter coordination, a positive net benefit can be realized. Under typical operating conditions, the system attains a net benefit of thirty-two point two kilowatts. The proposed coupling architecture offers a theoretical reference for the design of hydrogen-based hybrid propulsion systems in aviation.
Jiang, Junwen, Li, Chenjie, Shen, Yiling, Qin, Jiang, Ji, Yongbin, Kang, Qiming, Jiang, Xinyang
The present study proposes an absorptive coating defect detection method based on an improved YOLOv11 model, with a view to addressing the issues of low detection accuracy, false positives, and missed detections in existing absorptive coating defect detection algorithms when handling small-sized targets. Specifically, given the limited availability of relevant datasets, this study collected and constructed a dataset of visible light and infrared images of invisible coating materials containing typical defects, and processed the data using a variety of advanced data augmentation methods. Subsequently, the model was enhanced with a global attention mechanism (GAM) to improve feature extraction and detection accuracy for small objects. Regarding the loss function, this study adopted the Wise-IoU loss function, which adjusts the model’s attention to different samples. Finally, comparative and ablation experiments were conducted on the self-built dataset. The experimental findings demonstrate that the improved YOLOv11 model attained a precision of 93%, accompanied by a recall of 88%. This signifies an augmentation of 3% and 10%, respectively, in comparison to the conventional YOLOv11 model. This serves to substantiate the model’s exceptional performance in the task of detecting defects in absorptive coating materials.
Dou, Jiaxi, Xu, Yanlong, Wang, Yanling, Xu, Rui, Peng, Zhaoqin
Low-thrust transfers from Geostationary Earth Orbit (GEO) to Distant Retrograde Orbit (DRO) are numerically difficult to compute because the underlying two-point boundary value problem is strongly affected by nonlinear cislunar dynamics, discontinuous control behavior, and the high sensitivity of indirect methods to the initial costates. Within the framework of the Earth-Moon Circular Restricted Three-Body Problem (CR3BP), this paper formulates an indirect optimal control model for GEO-to-DRO low-thrust trajectory design and develops a multi-layer homotopy strategy to improve the solvability of the problem. In the minimum-fuel formulation, the optimal throttle generally follows a bang-bang structure, which makes the associated shooting equations highly sensitive and often causes convergence failure. To reduce this difficulty, a smoothing homotopy is first introduced into the performance index, allowing the solution to evolve continuously from a minimum-energy problem with smoother control characteristics toward the target minimum-fuel problem. On this basis, a thrust continuation procedure is adopted to transfer the converged solution from an auxiliary high-thrust case to the desired low-thrust regime. However, when the conventional discrete continuation scheme becomes ineffective in a local thrust interval, a nonlinear intra-interval thrust homotopy combined with pseudo-arclength continuation is further employed to pass through the problematic region and maintain continuous tracking of the solution branch. Numerical results show that the proposed method can successfully overcome the local breakdown encountered in classical continuation and eventually obtain the minimum-fuel optimal transfer trajectory from GEO to DRO. The study indicates that the proposed framework enhances the robustness and continuity of indirect optimization for low-thrust transfers in the CR3BP, and it provides an effective computational approach for the design of cislunar transfer trajectories.
Liang, Jintang, Zhang, Zexu, Wang, Yiyu, Mao, Yicheng, Li, Yingshuo
To support aviation decarbonization and improve overall propulsion efficiency, this paper proposes a hybrid propulsion architecture integrating a proton exchange membrane fuel cell (PEMFC) with a turbofan engine. The proposed parallel hybrid configuration achieves efficient energy conversion through the thermodynamic coupling of key components, including the heat exchanger, ducted fan, compressor, and combustor. A thermodynamic model is developed for parameter matching and system analysis. Results indicate that, at the design point, the overall system efficiency reaches 0.36, with a thermal efficiency of 0.42 and a propulsive efficiency of 0.82. Compared with the baseline CFM56-3C1 engine, the proposed system shows improved fuel economy and environmental performance, achieving a specific fuel consumption of 5.8 g/(s·kN), NOx emissions of 0.0063 g/kg-fuel, and a noise level of 92 dB. Exergy analysis further indicates that the primary exergy destruction occurs within the fuel cell (20%) and during combustor heat transfer (18%). These findings suggest that multi-energy pathway coupling can reduce fuel consumption and emissions, providing a potential approach for low-carbon aviation propulsion systems.
Huang, Mengxuan, Ji, Zhixing, Huang, Jiao, Xu, Zibo, Yao, Yunan, Cao, Zhipeng, Wang, Zhanxue
Health assessment of complex systems mainly relies on expert experience or a data-driven health assessment model trained by a large volume of historical condition monitoring data. However, only relying on expert experience to handle the health information contained in a large amount of telemetry data is very time-consuming and labor-intensive for spacecraft, and it does not make full use of a large amount of historical data. Moreover, due to limitations such as space-ground data transmission resources, it is also difficult to obtain all the condition monitoring parameters at each system level for different health states. In response to these challenges, this paper proposes a health assessment framework combining expert experience and data-driven strategy to achieve a multi-level quantitative assessment for spacecraft components. Specifically, a deep autoencoder is trained to construct the state change curves of the key condition monitoring parameters, and the quantitative score map is constructed for each parameter. Then, by analyzing the matrix of pairwise importance for parameters based on expert experience, the health status change curve at a second level of the component is constructed. Finally, a quantitative score map of the component status is provided using the health status change curve to realize the multi-level quantitative health assessment. A case study on health assessment for an attitude control actuator is conducted to show the overall procedure and effectiveness of the health assessment framework. The results demonstrate that the proposed method can effectively integrate expert knowledge and data characteristics, providing a feasible framework for the multi-level health assessment of spacecraft components.
Dong, Yunjia, Li, Yuqing
In response of the stringent requirements of high-resolution optical remote sensing satellites for attitude control stability and micro-vibration environment, this study focuses on the friction dynamics modeling and simulation analysis of large-angular-momentum flywheels across a wide speed range. To quantify the impact of flywheel friction disturbances on satellite attitude pointing accuracy, friction torque characteristic data were first acquired through ground testing over the full speed range, and a high-fidelity static fitting mathematical model was constructed using the least squares method. To further elucidate the nonlinear friction mechanisms in the low-speed regime—particularly during speed zero-crossings—the LuGre dynamic friction model was introduced, and its core parameters were identified and optimized. Comparative results demonstrate that the model exhibits high-precision characterization capabilities, with a deviation of less than 0.0015 Nm from measured data within the critical low-speed range of ±50 rpm. Subsequently, the established friction model was integrated into a satellite attitude control closed-loop system for digital simulation to quantitatively evaluate the disturbance of friction torque on system steady-state accuracy. The results indicate that under the closed-loop control compensation mechanism, the impact of flywheel friction on satellite attitude pointing accuracy is effectively suppressed, with the attitude angle deviation maintained within 0.002°, thereby meeting the engineering requirements for high-precision remote sensing imaging. This research provides a theoretical basis and data support for the optimization design of flywheel systems and the refined design of satellite attitude controllers.
Hu, Yuewei, Liang, Zhulin, Lu, Ming, Zhang, Pengbo, Hu, Xiaozhen
This paper investigates the nonlinearity issues in the interface ASIC system for capacitive MEMS accelerometers. First, the sources of nonlinearity in the mechanical structure of the accelerometer and the switched-capacitor interface circuit are analyzed, including the nonlinearity of mechanical displacement-to-capacitance conversion, harmonic distortion caused by parasitic capacitance, and the contradiction between range and linearity due to a low-stiffness proof mass in open-loop mode. To suppress the nonlinearity, PID control is adopted to realize closed-loop electrostatic force feedback, a loop error model is established, and a capacitor array compensation circuit is introduced to eliminate the output offset caused by parasitic capacitance. The interface ASIC is designed in a 0.18 μm BCD process, and the layout design and tape-out are completed. Pre-simulation results show a nonlinearity of 0.0124% within a 0–50 g range; post-simulation nonlinearity is 0.0657%. In actual tests, the accelerometer achieves a scale factor of 0.091 V/g over the 0–50 g range, the maximum residual of the least-squares fitting is 0.000645 V, and the nonlinearity is 0.0728%, approximately 160 ppm. This study verifies the effectiveness of closed-loop PID control and capacitance compensation in suppressing nonlinearity, providing a theoretical basis and engineering reference for the design of high-linearity MEMS accelerometers.
Gao, Zhi, Li, Zhaohan, Hao, Zhiwen, Liu, Guowen, Gao, Naikun, Zhang, Wenbo, Fu, Qiang, Yin, Liang
With the accelerated deployment of Low Earth Orbit (LEO) mega-constellations, such as Starlink and OneWeb, satellite networks are transitioning from providing best-effort connectivity to supporting stringent, mission-critical services, including autonomous driving coordination, ultra-high-definition video streaming, and real-time financial transactions. This paradigm shift imposes highly heterogeneous Quality of Service (QoS) requirements regarding latency, bandwidth, and reliability. However, traditional unified scheduling and static routing mechanisms are inadequate for handling the dynamic topologies and bursty traffic inherent in LEO environments, often leading to service starvation or excessive packet loss. To address these challenges, this paper proposes an integrated primary-backup path guarantee framework that tightly couples a Multi-Level Feedback Queue (MLFQ)-based dynamic scheduling algorithm with a Dynamic Weight Adaptive Routing Algorithm (DWARA). The MLFQ scheduler employs an aging-based priority promotion mechanism to dynamically adjust time slices, effectively preventing low-priority traffic starvation while ensuring ultra-low latency for Class A services. Concurrently, DWARA models QoS as a three-dimensional vector (Throughput, Delay, Reliability) and utilizes the eigenvector method to derive service-aware weights for path selection. To validate the efficacy of the proposed scheme, comprehensive simulations were conducted using STK and Python, emulating a 64-node polar constellation under varying fault conditions. The results demonstrate that the integrated framework significantly outperforms baseline algorithms. Specifically, it reduces the average blocking rate by up to 37% under scenarios with 10 faulty satellites compared to Dijkstra, while lowering end-to-end latency for delay-sensitive services to approximately 28 ms at a traffic arrival rate of 500. Furthermore, the framework achieves a 92% bandwidth satisfaction rate for high-throughput services and maintains near-zero packet loss for high-reliability transmissions, offering a scalable and robust QoS assurance solution for next-generation space-air-ground integrated networks.
Zhang, Hongyuan, Zhang, Pengfei, Zhou, Qihao, Gao, Zhao
High-precision 3D environmental perception is crucial for autonomous systems to navigate and interact effectively within complex indoor environments. However, achieving high-granularity 3D reconstruction and high-fidelity rendering remains challenging. Although 3D Gaussian Splatting (3DGS) enables efficient photorealistic rendering, its geometric inconsistency limits its ability to reconstruct high-accuracy scenes. Standard 3DGS relies on sparse Structure-from-Motion (SfM) initialization, which often leads to uneven point distributions and floaters, particularly in weak-texture areas like plain walls. Furthermore, existing methods based on depth regularization or geometric constraints usually fail to address the fundamental sparsity of the initialization. To address these issues, we propose a lightweight gradient-driven point allocation strategy for depth-guided Gaussian splatting that bypasses traditional SfM. By utilizing RGB-D priors, we obtain a high-quality, structurally continuous initial Gaussian distribution through multi-view depth back-projection and texture-aware density control. Our method incorporates a bidirectional re-projection check to eliminate transient noise and occlusions, ensuring geometric consistency. We introduce a dual-grid allocation scheme that adaptively distributes Gaussians based on spatial frequency, mandating density in high-gradient regions while enforcing sparsity in flat areas. Quantitative and qualitative experiments on the ScanNet++ dataset demonstrate that our method achieves superior reconstruction accuracy and rendering quality. Notably, our approach achieves state-of-the-art performance with a significantly reduced Gaussian count, decreasing from 1.70M to 0.39M in representative scenes, thereby mitigating unnecessary point cloud bloat and reducing memory overhead without sacrificing structural integrity.
Shang, Yuhao, Qu, Zhenshen, Rong, Guanyi, Gao, Qiushuang, Yu, Zhiwei, Bakar, Elmi Bin Abu, Junos, Mohammad Haniff Bin
The flight control problem of an H-shaped dual-wing tilt-rotor quadrotor UAV during positive tilt transition is investigated, where the rotor tilt angle varies continuously from 0° to 90° and the vehicle shifts from rotor-borne to wing-borne lift. A component-based partitioning approach is adopted to build a complete kinematic and dynamic model of the fuselage, wings, rotors, and main body, derived from the Newton–Euler equations and the momentum theorem so that major force and moment contributions can be explicitly integrated. Based on this model, a MATLAB/Simulink simulation platform is established for controller evaluation. To achieve stable tracking with practical implementability, a dynamic sliding mode control (DSMC) strategy is developed, which avoids the explosion of complexity caused by repeated differentiation and balances response speed and attenuation of residual oscillations, particularly in the altitude channel. Furthermore, the performance of both DSMC and conventional sliding mode control (SMC) is systematically examined through extensive simulations under representative flight scenarios, including different transition speeds, various tilt angles, external disturbances, and multi-UAV cooperative tracking tasks. Comparative simulations with conventional sliding mode control under identical transition settings show stable command tracking and faster error convergence, with particularly improved altitude steady-state precision, while the velocity response exhibits a trade-off in mean-square accuracy over the evaluation horizon.
Liu, Dantong, Li, Daochun
Small aerial vehicles operating at low altitude are frequently exposed to wind fields with strong spatial gradients and rapid temporal variations. Although conventional closed-section wind tunnels provide well-controlled test conditions, they are generally unable to reproduce the large-scale non-uniformity typical of urban low-altitude environments. Open multi-fan arrays provide a promising alternative because they can generate programmable inflow conditions over a relatively large test area. In this study, a 9 × 9 open fan array is investigated using the momentum-source method to reproduce representative inflow conditions, including uniform flow and shear flow. The numerical results reveal a persistent edge-dissipation effect: velocity decays more rapidly and turbulent kinetic energy is higher near the outer fans than near the array center. In the uniform-flow case, a relatively stable low-turbulence corridor develops downstream of the array. In the shear-flow case, the imposed asymmetry is preserved, while edge-induced losses become more pronounced near the perimeter. These results clarify the main flow structures generated by open multi-fan arrays and provide a physical basis for future wind-environment testing of aerial vehicles.
Lu, Yuexuan, Tu, Zhan, Li, Daochun, Li, Huadong, Liu, Yiliang
The performance of MEMS accelerometers is highly sensitive to temperature variations, manifesting as zero drift, sensitivity drift, and hysteresis error. This paper presents a low-temperature-drift, low-noise interface ASIC for capacitive MEMS accelerometers. The circuit employs an analog closed-loop architecture comprising a small-capacitance front-end detection circuit, a variable gain amplifier (VGA), a correlated double sampling (CDS) circuit, a PID controller, and a feedback module. To suppress temperature-induced errors, key optimizations are implemented: the charge amplifier employs active and passive charge compensation techniques to reduce common-mode offset drift; the VGA uses switched feedback resistors for gain adjustment; a Class-AB unity-gain buffer enhances driving capability while isolating load interference; and a high-order compensated bandgap reference with pre-regulation achieves low temperature drift and high power supply rejection. Post-layout simulations demonstrate a system sensitivity of approximately 2.27 V/g, a sensitivity temperature coefficient of 74.55 ppm/°C, and a 1σ zero-bias temperature drift of 1.757 mg. Experimental results over the full temperature range from -45°C to 85°C show an output hysteresis error of only 0.6 mg. These results validate the effectiveness of the proposed temperature hysteresis error suppression technique, providing a valuable reference for the design of high-precision MEMS accelerometer interface circuits.
Zhao, Weiqiao, Liu, Guowen, Hao, Zhiwen, Li, Zhaohan, Gao, Naikun, Zhang, Wenbo, Fu, Qiang, Yin, Liang
Low earth orbit (LEO) satellite communication system is expected to play a key role in the 6G wireless networks. Due to the limited communication resource and inter-user interference (IUI), the user equipments (UEs) must be well scheduled to maximize spectral efficiency. However, rapid channel variations and high mobility in LEO system make the conventional user scheduling strategies relying on instantaneous channel state information impractical. To address this challenge, this paper proposes a deep reinforcement learning (DRL) framework based on batch normalization in CrossQ algorithm to optimize the downlink user scheduling in a LEO satellite massive multi-input multi-output (MIMO) system. The scheduling task is modeled as a Markov decision process (MDP), where the observation space integrates high-dimensional features including large-scale fading (LSF) coefficients, channel matrix, and temporal features capturing the orbital progress of the satellite. Unlike traditional DRL methods, the CrossQ-based algorithm applies batch normalization (BN) within the critic networks to eliminate the need for slowly-moving target networks, fostering training stability and sample efficiency. A continuous priority score vector is mapped to discrete scheduling decisions through a top-z selection logic, allowing the agent to effectively identify spatially orthogonal user subsets to suppress the IUI. To guide the agent toward the true optimization direction, a differential reward mechanism is designed. Simulation results demonstrate that the proposed CrossQ-based scheduler consistently achieves nearly optimal performance at different signal-to-noise ratios (SNR), reaching at least 91% and 94% of the Monte Carlo search ceiling under different user densities. Moreover, the trained model provides scheduling strategy in millisecond inference time, making it a practical and robust solution for future 6G non-terrestrial networks.
Deng, Chaojun, Zhong, Yun, Meng, Xiangxu, Li, Wenfeng, Zhao, Kanglian
This paper studies how scale-free correlations, a key feature for efficient group response, emerge in collective motion under communication energy constraints. A two-dimensional Boids model integrated with a point-to-point wireless communication energy consumption model is used. The model dynamically determines, based on a limited communication power budget, an individual’s interactive neighbors, where neighbors are selected based on two different mechanisms: distance-based and probability-based, until the total communication cost reaches the budget. Simulations of flock sizes ranging from 30 to 230 individuals confirm that scale-free correlation persists, even under strict power constraints, which is shown by a correlation length ξ proportional to the flock’s linear size L. Notably, the ratio ξ/L, which reflects the robustness of collective correlation, displays a non-monotonic dependence on the available communication power. Initially, increasing power enhances ξ/L by expanding effective interaction ranges and improving information transmission. However, beyond a threshold, further power increase causes a slow drop in ξ/L, likely due to signal interference from excessively many or distant connections. This finding demonstrates that communication power is a critical, tunable engineering parameter regulating collective coordination, analogous to interaction range or neighbor number in biological models. The results imply that for engineered swarms, maximizing communication resources is not always beneficial; instead, an optimal power allocation exists to maximize coordination performance, balancing connectivity with efficient, localized interactions.
Zhao, Shiping, Gan, Qingzhong, Liu, Jinglei, Liu, Zhihao, Zhang, Liang
It is still difficult to reproduce the low-Earth-orbit (LEO) networking experiments since the experimental settings are scattered and the Large Language Model (LLM) assisted workflow is laborious and needs to be refined by manually crafting the prompt, transferring the code and debugging. Existing retrieval-assisted pipelines still demand substantial human effort for parameter inference and code repair, particularly given the precise alignment required for LEO topology, constellation, and simulator configurations. This paper presents LASERAgent, a highly automated agent system for LEO networking experiment reproduction. Unlike retrieval-assisted pipelines that mainly support evidence retrieval and code generation, LASERAgent organizes the downstream workflow into a bounded pipeline of retrieve - extract - generate - check - execute, integrating structured parameter extraction, template-guided generation, deterministic validation, controlled execution, and limited retry. Preliminary results show that LASERAgent reduces required human interventions by roughly half while improving result consistency over prior retrieval-assisted workflows, and that the validation stage plays an important role in reliable automation.
Tian, Siyu, Wei, Guangyu, He, Xiongwen, Liu, Donghua, Ma, Yue, Zhan, Yuheng, Xia, Lang
Large-scale UAV clusters make real-time reconstruction of joint spatio-temporal-frequency (STF) situations difficult because the monitored state is high-dimensional and strongly coupled. This paper proposes a lightweight reconstruction algorithm based on Kronecker Compressive Sensing (KCS). First, a Multi-Channel Random Demodulation (MCRD) sensing model is built, and a Spatio-Temporal-Frequency 5D Grid (STF-5D Grid) is used to represent space, frequency, and time resources in a unified form. Next, a Tensor Orthogonal Matching Pursuit (T-OMP) algorithm is developed under the KCS framework. By using the separability of Kronecker products, the method replaces storage and multiplication of a global high-dimensional sensing matrix with dimension-wise operations. Two simulation studies are conducted to evaluate computational feasibility and reconstruction quality. In the city-scale case with 62.91 million grid cells, the factorized implementation avoids constructing the global sensing matrix and completes the tested reconstruction in 9.44 s. The reported memory value is interpreted as additional algorithmic storage for the factorized operators rather than total process peak memory, and should be rechecked with full tensor input/output and runtime overhead included. In noise-free, highly sparse proxy tests, several reconstruction errors approach the numerical precision floor; these results are therefore treated as ideal upper-bound evidence rather than practical field accuracy. The simulations suggest that KCS-based T-OMP can reduce storage and computational pressure for STF reconstruction, while its engineering performance still requires validation under noisy observations and realistic platform constraints.
Tian, Jinghao, Wang, Qianzhe, Di, Shen, Wei, Tan, Song, Bowen
This paper describes formal modeling and verification of generic algorithm for universal Time Division Multiplexing (TDM) communication, one of the orchestration algorithms used in PTB-FLA (Python TestBed for Federated Learning Algorithms), a light-weight framework for developing distributed applications, developed as a part of the TaRDIS (Trustworthy and Resilient Decentralized Intelligence For Edge Systems) project. Modeling and verification is done using UPPAAL model checker tool. When developing a distributed application, in early development phases a user of PTB-FLA can abstract away low-level details of message passing and some elements of orchestration, by choosing one of the available orchestration algorithms, therefore being able to focus on the actual distributed algorithm at the application level. The generic algorithm for universal TDM communication models peer data exchange between the nodes within a discrete time-slots, a frequent case in inter-satellite links. It is an orchestration algorithm intended to be used in satellite-swarm applications, such as distributed ODTS (Orbit Determination and Time Synchronization). Formal modeling and formal verification contributes significantly to increased reliability of orchestration layer, making development of a distributed algorithm easier by narrowing down possible sources of errors to application level. This paper gives overview of PTB-FLA framework, provides a description of the orchestration algorithm, shows its formal model in UPPAAL, and verifies some important algorithm properties, namely deadlock freedom (a safety property) and successful termination (a liveness property). This paper represents a continuation of one of the research lines related to PTB-FLA, which is formal verification of the framework’s generic orchestration algorithms, and other elements.
Djukic, Miodrag, Popovic, Miroslav, Li, Yuqing
Satellite telemetry data compression is of great importance for preserving the integrity and effectiveness of telemetry information. As the number of telemetry parameters gradually increases, satellite states can be characterized from more comprehensive data dimensions. However, it is difficult to maintain long-term high-sampling-rate transmission for all channels constrained by telemetry bandwidth. This condition weakens the capability of telemetry data to capture satellite state variations in a sufficiently detailed manner. Therefore, it is still a challenge for selecting more representative telemetry channels and recovering the remaining dimensions. To address this issue, this paper proposes a data compression method based on linear correlation-guided channel selection and receiver-side Long Short-Term Memory Variational Autoencoder recovery, in which satellite telemetry data compression is achieved through spatial reduction. First, the Pearson correlation matrix of all channels is computed from telemetry data, and the structure among telemetry channels is analyzed based on a prior on pairwise linear relations. Second, a linear correlation-guided iterative channel selection strategy is developed under a fixed transmission budget. Candidate channels are scored by the residual correlation coverage matrix over the unselected channels, and the initially selected subset is further refined through local channel swapping to obtain a more globally representative transmitted subset. Finally, the transmitted channels are fed into the reconstruction model to recover the untransmitted channels, so as to ensure the transmission of telemetry information. Experiments are conducted on real multivariate satellite telemetry data under predefined transmission budgets. Results on 84-dimensional real operational satellite telemetry data show that the proposed method exhibits favorable data compression capabilities. Representative RMSE comparisons under different transmission budgets further showed favorable reconstruction performance, demonstrating the feasibility of the proposed method for telemetry data compression under limited communication resources.
Wang, Zhipeng, Zhang, Kuibin, Song, Yuchen, Peng, Yu
Real-time monitoring of metal wear debris in lubricating oil is crucial for accurately assessing aerospace equipment health and preventing catastrophic mechanical failures. Although three-coil differential inductive sensors are widely used due to their high sensitivity and robust structure, their detection performance inevitably degrades under the influence of multi-physics coupling effects inherent in complex industrial environments. Existing analytical models were primarily limited to single electromagnetic field simulations, failing to capture the intricate electromagnetic-thermal-mechanical interactions, which reduced analytical accuracy and hindered the optimization of sensor designs for extreme conditions. To overcome these challenges, this study established a comprehensive parametric simulation model to conduct a rigorous electromagnetic-thermal-mechanical coupled analysis of the differential sensor. Specifically, the research analyzed the underlying mechanisms by which wide temperature variations from -55 °C to 200 °C and specific debris kinematics exert varying degrees of influence on the induced voltage. Quantitative results indicated that both the isolated thermal and mechanical fields altered the voltage by a maximum of 0.649%, demonstrating that the sensor maintains a relatively stable response across extreme thermal gradients. Furthermore, the analysis revealed that increased debris velocity decreased the induced voltage amplitude due to the intensified motion-induced eddy current effects. Notably, in complex multiple debris scenarios, the strong dominant signals generated by ferromagnetic wear debris severely masked the weaker responses from non-ferromagnetic ones, indicating a substantial missed detection risk under mixed contamination conditions. Ultimately, this research successfully filled the critical simulation gap for evaluating these sensors under multi-physics coupling, providing robust theoretical guidance for their reliable deployment in complex industrial applications.
Shi, Xinfa, Duan, Chenhao, Zhen, Huanyi, Zhao, Yihe, Li, Min, Wang, Xiaozhang, Zhang, Qing, Li, Zhikang, Zhao, Libo
Accurate performance prediction is essential for improving the reliability and service life of Hall thrusters in space applications. Because conventional scaling-based prediction methods are often limited when the operating state and magnetic-field structure become complex, this study develops a deep-learning framework for rapid prediction of key Hall-thruster performance indicators. Three representative neural-network architectures, namely Multi-Layer Perceptron (MLP), Convolutional Neural Network (CNN), and Bidirectional Long Short-Term Memory (BiLSTM), are constructed and comparatively evaluated. Among them, BiLSTM achieves the best overall performance, with a Mean Absolute Percentage Error (MAPE) of 6.44% on the test set. Additional validation based on real Hall-thruster experimental data gives a MAPE of 3.884%, indicating that the proposed model has good generalization ability and can provide an effective data-driven tool for Hall-thruster performance prediction.
Sun, Chang-You, Tian, Bin, Yu, Yun-Chao, Wang, Ke, Li, Shu-Feng, Xie, Kan, Yang, Su-Lan
With the rapid development of LEO large-scale constellations, space networks evolved into a critical domain of cyber confrontation. The heterogeneous architecture, open inter- satellite links and limited on-board processing capability introduce serious security risks. Aiming at advanced persistent threat (APT), data poisoning and spear phishing, this paper analyzes new attack mechanisms in LEO constellation networking, satellite-ground collaboration and communication - computation convergence scenarios. A satellite-ground-link collaborative active defense model is proposed to improve the security and stability of LEO constellation systems.
Guan, Mengmeng, Xia, Ming, Fang, Liang, Li, Ruxue, Lv, Xing