Intelligent Networked Things 8th China Intelligent Networked Things Conference, CINT 2025, Zhuhai, China, June 10–12, 2025, Proceedings, Part II

This two-volume set, CCIS 2624 and CCIS 2625,constitutes the refereed proceedings of the 8th China Intelligent Networked Things Conference, CINT 2025, held in Zhuhai, China, during June 10–12, 2025.

The 69 full papers were carefully reviewed and selected from 173 submissions. The main topics of this conference include the following fields: Intelligent Perception and Interconnection, Embodied Intelligence, Intelligent Modeling and Simulation, Control Theory and Methods for Intelligent Networked Things, Optimization and Decision for Intelligent Networked Things, Mathematics for Intelligent Networked Things, Artificial Intelligence for Networked Things, Systems and Applications for Intelligent Networked Thing, etc

Optimization and Decision for Intelligent Networked Things.- Consensus of Multi-Agent Systems on Multi-Layer Chain Networks.- A Hybrid Lyapunov and Simulated Annealing Method for Task Offloading in UAV Mobile Edge Computing.- A digital twin based optimization approach for dynamic configuration of production-logistic system.- Research on Optimization Method of Ship Spare Parts Allocation Based on Single-Objective and Multi-Objective Particle Swarm Algorithm.- An Order-Oriented AGV Task Allocation Method Based on Multi-Agent Reinforcement Learning with a Dual-Reward Strategy.- Mathematics for Intelligent Networked Things.- A Formalization of Adequately Simplified Axiomatic Set Theory in Coq for Mathematical Analysis.- Formalization of Integer Exponential Operations Based on Rocq.- Formalization of Proposition Calculus Formal Systems in Coq.- Proving the Standard Part Principle in Nonstandard Analysis with Rocq Prover.- StructCog: Structure-Guided Contrastive Learning with Fine-Grained Multimodal Fusion for Knowledge Graph Completion.- Formalisation of Ordinal Numbers in Coq.- Development and Formalization of NBG Axiom System: From Historical Evolution to Coq Implementation.- Formalization of Gödel’s Completeness Theorem in Coq.- Artificial Intelligence for Networked Things.- Large Language Model-Driven Supply Chain Diagnosis Method.- A Novel Dualistic Meta-learning-based Open-set Domain Generalization Method for Bearing Fault Diagnosis.- A Text-Enhanced Statistical Learning Framework for Robust Frontier Research Identification.- Research on Traceability of Steel Surface Defects Based on Multimodal Knowledge Graph Reasoning.- Towards Reliable Semantic Communications for Images: HARQ with GAN-Powered Error Detection and Correction.- Intelligent Detection of Steel Structure Bridges Based on an Improved YOLO11 Model.- Research on Fault Diagnosis of Rotating Machinery Based on DWT and 1D-CNN-LSTM.- Non-invasive Blood Glucose Detection Algorithm based on Improved MobileNet-V3.- Analysis of Clothing Materials Using Near-Infrared Light Based on Machine Learning.- Systems and Applications for Intelligent Networked Things.- A Multi-Agent Collaborative Framework Based on Autonomous Chain of Action for AIoT System.- Simulation and Analysis of Mission Command Chain Using Colored Petri Nets.- Application of Community Detection in Knowledge Base Question Answering in the Field of Electrical Safety.- Indoor AR Navigation System Based on Deep Vision.- Unmanned Aerial Vehicle Following Flight Based on Reinforcement Learning.- Systems and Applications for Intelligent Networked Things.- Dual-Channel Dynamic Event-triggered Torque Control and Co-Simulation for Variable-Speed Wind Turbines Subject to DoS Attacks.- Real-Time Dynamic Object Elimination in ORB-SLAM3 for UAV Navigation Using YOLOv11: A Simulation-Based Approach.- Construction and Optimization of an Industrial Intelligent Production Platform Based on Digital Twin Technology.- High-precision measurement of bulk pile volume based on semantic segmentation of 3D point cloud.- Social Irrigation: An Intelligent Irrigation System.- Real-world Feasibility Analysis of ACT Algorithm for Robotic Manipulation on Home.- Matmod: A Smart Medical Assistant Based on Prompt Engineering for Healthcare Enhancement.