The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination by Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy

“…An alternative is the symbolic method of loop invariant elimination suggested by V.A. …”
Get full text

A Study on the Vehicle Routing Planning Method for Fresh Food Distribution by Yuxuan Wang, Yajun Wang, Junyu Leng

“…Aimed at the high cost of cold chain distribution of fresh agricultural products within a specified time window, a joint optimization method based on a bi-level programming model for cold chain logistics is proposed for the location of front warehouses and distribution path planning. …”
Get full text

A Learned Reduced-Rank Sharpening Method for Multiresolution Satellite Imagery by Sveinn E. Armannsson, Magnus O. Ulfarsson, Jakob Sigurdsson

“…The Copernicus Sentinel-2 satellite constellation captures images at three different spatial resolutions, 10, 20, and 60 m, and many applications benefit from a unified 10 m resolution. Still, the method’s effectiveness extends to other remote sensing tasks, achieving competitive results in both sharpening and multisensor fusion scenarios. …”
Get full text

Improved U-Net++ Semantic Segmentation Method for Remote Sensing Images by Yang Xu, Bin Cao, Hui Lu

Get full text

GIS partial discharge diagnosis method under sample imbalance conditions by Tianyu Hu, Hongzhong Ma, Dawei Duan, Yuan Dong

“…Existing PD diagnostic methods are predominantly based on balanced datasets and still have room for improvement in feature extraction and recognition speed. …”
Get full text

A New BiRNN-SVA Method for Side Lobe Suppression by Shuyi Liu, Yan Jia, Yongqing Liu, Limin Zhai, Xiangkun Zhang

“…The land flight experiment data of the fully polarized microwave scatterometer is used to quantitatively evaluate the side lobe suppression performance and the main lobe energy in order to verify the effectiveness of the BiRNN-SVA method. The experimental results demonstrate that the BiRNN-SVA method can be applied to data at any Nyquist sampling rate and has superior PSLR and ISLR compared to the GSVA algorithm and MSVA algorithm. …”
Get full text

Hierarchical Fuzzy Method of Comparing Bank Products with Complex Tariff Packages by Aleksey Mints, Dmytro Zherlitsyn, Olena Khadzhynova, Evelina Kamyshnykova, Oleksandr Kalinin

“…The article considers a method for solving an information asymmetry problem that is relevant for the banking sector. …”
Get full text

Energy-Efficient Optimization Method for Timetable Adjusting in Urban Rail Transit by Lianbo Deng, Shiyu Tang, Ming Chen, Ying Zhang, Yuanyuan Tian, Qun Chen

“…The case of the Guangzhou Metro Line 8 in China is presented to verify the effectiveness and practicality of our method. The results show that the consumption of traction energy is reduced by 0.95% and the use of regenerative braking energy is increased by 8.18%, with an improvement in energy efficiency of 6.78%. …”
Get full text

Combined Localization Method for Multimodal Wheel-Track Robots in Sheltered Space by Jiazhen Lin, Zhong Su, Hui Zhao, Yuxin Zhao, Xinkai Wang, Hao Zhou

“…In response to the localization challenges posed by multi-modal motion mode transitions during the locomotion of tracked-wheel robots in sheltered spaces, this paper presents a combination localization method based on Inertial Navigation System/Odometry (INS/OD). …”
Get full text

An interactive address matching method based on a graph attention mechanism by Ming Li, Jialin Su, Zhiyu Song, Juping Qiu, Yongping Lin

“…Compared with the existing address matching methods, the IAMGAM improves the accuracy by 0.66% to 2.57%, and the F1-score by 0.68% to 2.55%, outperforming baseline models. …”
Get full text

Aptamer-based Gold Nanoparticles Colorimetric Method for Rapid Detection of Chlorpyrifos by Yao WANG, Xiyan YANG, Yanfei LI, Jiaxiang HUANG, Sijia LI, Kaile WANG, Aoshun HE, Shilin WANG, Yanyan LI, Zhaozhou LI, Xiujin CHEN, Huaibin KANG

“…Leveraging the property of gold nanoparticles to aggregate and change color in high-salt environments and the protective effect of aptamers against the aggregation of gold nanoparticles, a colorimetric detection method using gold nanoparticles was established by optimizing the reaction system. …”
Get full text

Multi-Strategy Improvement of Coal Gangue Recognition Method of YOLOv11 by Hongjing Tao, Lei Zhang, Zhipeng Sun, Xinchao Cui, Weixun Yi

“…The current methods for detecting coal gangue face several challenges, including low detection accuracy, a high probability of missed detections, and inadequate real-time performance. …”
Get full text

The RBF-FDTD Method for Computing Lightning-Transient Voltages on Grounding Systems by Xuan-Binh Nguyen, Nhat-Nam Nguyen, Tinh-Minh T. Le, Phan-Tu Vu

“…The approach models grounding structures as non-uniform transmission lines, governed by telegrapher&#x2019;s equations with space- and time-varying parameters&#x2014;inductance <inline-formula> <tex-math notation="LaTeX">$L(x,t)$ </tex-math></inline-formula>, conductance <inline-formula> <tex-math notation="LaTeX">$G(x,t)$ </tex-math></inline-formula>, and capacitance <inline-formula> <tex-math notation="LaTeX">$C(x,t)$ </tex-math></inline-formula>&#x2014;while accounting for electromagnetic coupling across complex grounding configurations. Leveraging the method&#x2019;s inherent flexibility and precision, extensive numerical simulations were conducted on two horizontal grounding electrodes and three benchmark grounding grids, validating its capability to accurately capture both localized and distributed transient effects. …”
Get full text

Fault diagnosis method for rolling bearings based on CWT-IDenseNet by Guangfei JIA, Hanwen LIANG, Jinqiu YANG, Zhe WU, Yuxin HAN

“…The CWT-IDenseNet method can effectively improve the generalization ability of the model, which has significant advantages under constant and variable conditions, providing reference for improving the accuracy and reliability of rolling bearing fault diagnosis.…”
Get full text

Underground Personnel Positioning Method Based on Self-training and NLOS Suppression by SHAO Xiaoqiang, HAN Zehui, MA Bo, YANG Yongde, YUAN Zewen, LI Xin

“…[Findings] Through the simulation tests in the downhole environment, the results show that for complex downhole scenes, the root-mean-square error of NLOS decreases from the original 1.02 to 0.32 m, the ranging error is improved by 69%, and the positioning result with the positioning error less than 0.3 m can be increased from 49% to 89%. Thus, the effectiveness of the proposed method for locating underground personnel is proved.…”
Get full text

Research on Pork Cut and Freshness Determination Method Based on Computer Vision by Shihao Song, Qiqi Guo, Xiaosa Duan, Xiaojing Shi, Zhenyu Liu

“…With the increasing importance of meat quality inspection, traditional manual evaluation methods face challenges in terms of efficiency and accuracy. …”
Get full text

Two-Dimensional Legendre Polynomial Method for Internal Tide Signal Extraction by Yunfei Zhang, Cheng Luo, Haibo Chen, Wei Cui, Xianqing Lv

“…Overall, the 2-D LPF method can use all regional data points, overcoming the limitations of single-orbit approaches and proving its effectiveness in extracting internal tide signals acting on the sea surface.…”
Get full text

Rock blasting evaluation - image recognition method based on deep learning by Haibao YI, Aixiang Wu, Xiliang Zhang

“…Overall, image recognition technology can significantly improve the efficiency and accuracy of blasting evaluation, solve many drawbacks of traditional manual analysis methods, and holds great application prospects in blasting quality evaluation.…”
Get full text

Self-Supervised Enhancement Method for Multi-Behavior Session-Based Recommendation by Zhen Zhang, Jingai Zhang, Jintao Chen, Yuzhao Huang, Xiaoyang Huang

“…To address these issues, this paper proposes a Self-Supervised enhancement method for Multi-Behavior Session-based Recommendation(SSMB-SR). …”
Get full text

Substantation of the method of lumbo-pelvic fixation in verically unstable fractures of the sacrum by R. I. Zakirov, I. F. Akhtyamov

“…Based on biomechanical modeling and the results of treatment of patients with severe injuries of the posterior pelvic ring, the effectiveness of the proposed method of lumbopelvic fixation was proven.…”
Get full text