Multi-clause deduction algorithm based on dynamic combination optimization of strategies and its application(策略动态组合优化多元演绎算法及应用) by 郭海林(GUO Hailin), 曹锋(CAO Feng), 易见兵(YI Jianbing), 李俊(LI Jun), 吴贯锋(WU Guanfeng)

“…First-order logic automated theorem proving is an important research branch in the field of artificial intelligence, and the clause selection strategy plays an important role in improving the capability of theorem proving. …”
Get full text

Research on Internal Layout Optimization of Logistics Node under the Conditions of Complex Terrain Based on Computer Vision and Geographical Simulation System by Wei Wang, Xuejun Feng

Get full text

Research on pricing strategy of shared electro-thermal-hydrogen energy storage in integrated energy multi-microgrid based on hybrid game by Huan Zhou, Jie Wei

Get full text

Research on 5G smart grid feeder terminal communication security protection strategy based on one-time pad technology by Yulin Luo, Zijian Liang, Di Chen

Get full text

Wind Power Installed Capacity Forecast Based on a Two-Parameter Variable-Weight Buffer Operator and Subsidy Strategy Research by Ye Li, Xue Bai

Get full text

‘It can also be a really positive place’: co-research on young people’s health information literacy practices in social media by Anna-Maija Multas, Meri Kulmala

“…While previous studies have focused on the negative effects of social media on youth mental health, this study highlights its potential positives and offer an inclusive perspective into information literacy research. Method and data. The study employs a co-research strategy where young people actively engage as equal partners in data production. …”
Get full text

A global Swin-Unet Sentinel-2 surface reflectance-based cloud and cloud shadow detection algorithm for the NASA Harmonized Landsat Sentinel-2 (HLS) dataset by Haiyan Huang, David P. Roy, Hugo De Lemos, Yuean Qiu, Hankui K. Zhang

“…The NASA Harmonized Landsat Sentinel-2 (HLS) data provides global coverage atmospherically corrected surface reflectance with a 30m cloud and cloud shadow mask derived using the Fmask algorithm applied to top-of-atmosphere (TOA) reflectance. …”
Get full text

Application of iLogic technology in Autodesk inventor to create parametric 3D-model of a gear wheel and conduct research by Petrakova E.A., Samoilova A.S.

“…The article presents an algorithm and tools for creating controlled 3D models using iLogic on the example of a 3D model of a gear wheel. …”
Get full text

Research on Mechanical Properties of Steel Tube Concrete Columns Reinforced with Steel–Basalt Hybrid Fibers Based on Experiment and Machine Learning by Bohao Zhang, Xiao Xu, Wenxiu Hao

Get full text

Detection of asbestos-based cement rooftops in conflict-affected settings using EnMAP hyperspectral data: a research article by Jonti Evan Shepherd, Elad Sagi, Gal Zagron, Eyal Ben-Dor

Get full text

Research on Optimal Design of Ultra-High-Speed Motors Based on Multi-Physical Field Coupling Under Mechanical Boundary Constraints by Jianguo Bu, Xudong Lan, Weifeng Zhang, Yan Yu, Hailong Pang, Wei Lei

“…This study provides theoretical support and technical guidance for ultra-high-speed motor design and offers new ideas for related motor research and development. Future work will explore more efficient and intelligent optimization algorithms to continuously advance ultra-high-speed motor technology.…”
Get full text

Research on Energy-Saving Control Strategy of Nonlinear Thermal Management System for Electric Tractor Power Battery Under Plowing Conditions by Xiaoshuang Guo, Ruiliang Xu, Junjiang Zhang, Xianghai Yan, Mengnan Liu, Mingyue Shi

Get full text

Research on Coordinated Control of Dynamic Reactive Power Sources of DC Blocking and Commutation Failure Transient Overvoltage in New Energy Transmission by Shuqin Sun, Zhenghai Yuan, Dezhi Chen, Zaihua Li, Xiaojun Tang, Yunting Song, Guanghao Zhou

Get full text

Research on multi-view collaborative detection system for UAV swarms based on Pix2Pix framework and BAM attention mechanism by Yan Ding, Qingxin Cao, Bozhi Zhang, Peilin Li, Zhongjiao Shi

Get full text

Impacts of Ground Slope on Main Performance Figures of Solar Chimney Power Plants: A Comprehensive CFD Research with Experimental Validation by Erdem Cuce, Pinar Mert Cuce, Harun Sen, K. Sudhakar, Umberto Berardi, Ugur Serencam

Get full text

Research on the Performance Optimization of Turbulent Self-Noise Suppression and Sound Transmission of Acoustic Windows Made from Functionally Graded Material by Bing LI, Fu-Lin ZHOU, Jun FAN, Bin WANG, Liwen TAN

“…Finally, the mechanism of the sound transmission and self-noise suppression characteristics before and after optimization are explained and analyzed based on the equivalent model of graded materials. The research results of this paper provide a reference value for the future design of FGM acoustic windows for sonar domes.…”
Get full text

Research on Time-Sensitive Service Transmission Routing and Scheduling Strategies Based on Optical Interconnect Low Earth Orbit Mega-Constellations by Bingyao Cao, Xiwen Fan, Yiming Hong, Qianqian Zhao

Get full text

Research on Newton-Krylov Method for Multi-component Flow Heat Transfer Coupled System of High-temperature Gas-cooled Reactor by TANG Huanran, ZHANG Han, LIU Lixun, PENG Xinru, WU Yingjie, GUO Jiong, LI Fu

“…The corrosion of the graphite of fuel pebbles may lead to leakage of radioactive material, and the corrosion of the core components may lead to a reduction in the mechanical strength of the core. To research about the chemical corrosion phenomenon, the research of flow and diffusion process of multiple gases in the core is a prerequisite. …”

Derivation and external validation of a risk prediction algorithm to estimate future risk of cardiovascular death among patients with type 2 diabetes and incident diabetic nephropa... by Bin Zhao, Jin Shang, Xiaoxue Zhang

Get full text

Clustering analysis of vehicle traveling and parking behavior based on license plate recognition data: Suzhou case by Kexin Wang, Xiang Wang, Xiangxi Liu, Yutong Wang

“…Travelers were then categorized using the K-means++ clustering algorithm to discern the characteristics of different vehicle user groups. …”
Get full text