Amazon cover image
Image from Amazon.com

Advanced intelligent computing technology and applications : 20th international conference, ICIC 2024, Tianjin, China, August 5-8, 2024, proceedings. Part V / De-Shuang Huang, Xiankun Zhang, Chuanlei Zhang, editors.

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 14879. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.Publication details: Singapore : Springer Singapore Pte. Limited, 2024.Description: 1 online resource (xviii, 487 pages) : illustrations (chiefly color)ISBN:
  • 9789819756759
  • 9819756758
Other title:
  • ICIC 2024
Subject(s): Genre/Form: Additional physical formats: Print version:: Advanced Intelligent Computing Technology and ApplicationsDDC classification:
  • 006.3 23/eng/20240805
LOC classification:
  • Q342 .I58 2024
Online resources:
Contents:
Intro -- Preface -- Organization -- Contents - Part V -- Intelligent Control and Automation -- A Parallel Intelligent Search and Rescue System for Swarm Robots Based on Digital Twin -- 1 Introduction -- 2 System Design Details -- 2.1 System Framework Design -- 2.2 Real-Time Twin Model Modeling Module -- 2.3 Parallel Decision Path Planning Module -- 3 System Application Example -- 3.1 Real-Time Twin Model Module Simulation Validation -- 3.2 Real-Scene System Verification -- 4 Conclusion and Discussion -- References
Formal Verification of Path Planning Safety and Reachability in Unmanned Surface Vehicles -- 1 Introduction -- 2 Background -- 2.1 Model Checking -- 2.2 Linearly Priced Timed Automata -- 2.3 Linear-Time Temporal Logic -- 2.4 UPPAAL Model Checking Tool -- 3 Method -- 3.1 Representation of Energy -- 3.2 Reference and Formal Models -- 3.3 Safety and Reachability Properties -- 3.4 Specification of Requirements -- 4 Verification -- 4.1 Results -- 5 Conclusion -- References -- Refine Camera Calibration with Global Geometry Constraints -- 1 Introduction -- 2 Related Work -- 2.1 Parameter Estimation
2.2 Calibration Process -- 3 The Proposed Calibration Framework -- 3.1 Global Pose Constraint -- 3.2 Calibration Data Filter Mechanism -- 4 Experiments -- 4.1 Hardware and Software -- 4.2 Calibration Accuracy Exploration -- 4.3 Calibration Consistency Exploration -- 4.4 Different Camera Lens Exploration -- 5 Conclusion -- References -- OCP: An Online Contingent Planning Method for Robot Tasks with Incomplete Knowledge -- 1 Introduction -- 2 Related Works -- 3 The Online Contingent Planning Method -- 3.1 Overview of OCP -- 3.2 ExPDDL: Extensions to PDDL for Modelling Uncertainty
3.3 Online Contingent Planning Algorithm -- 4 Experiment -- 4.1 Evaluations on Contingent Benchmarks -- 4.2 Simulation Experiment -- 4.3 Real-Robot Experiment -- 5 Conclusions -- References -- YOLO-Underwater: A Real-Time Object Detection Framework for Enhanced Underwater Robotics Operations -- 1 Introduction -- 2 Related Work -- 3 Method -- 3.1 YOLOv7 -- 3.2 ConvNeXt -- 3.3 SimAM -- 4 Experiment -- 5 Conclusion -- References -- YOLO-Underwater-Tiny: High-Efficiency Object Detection in Underwater Robots -- 1 Introduction -- 2 Method -- 2.1 YOLOv7-Tiny
2.2 Reparameterized Lightweight Backbone Layer of MobileOne -- 2.3 Ghost -- 3 Experiment -- 3.1 Experiment on Replacing Convolution with Ghost Convolution -- 3.2 Ablation Experiments and Model Comparisons in Underwater Environments -- 3.3 Comparative Experiments on Underwater Environments of Multiple Types of Models -- 4 Conclusion -- References -- Shared Subnet Synthesis of Object-Oriented Petri Net Based Representation for Embedded Systems -- 1 Introduction -- 2 Basic Concepts -- 3 Synthesis Operation and Property Analysis -- 4 Applications -- 5 Conclusion -- References
Summary: This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024. The total of 863 regular papers were carefully reviewed and selected from 2189 submissions. The intelligent computing annual conference primarily aims to promote research, development and application of advanced intelligent computing techniques by providing a vibrant and effective forum across a variety of disciplines. This conference has a further aim of increasing the awareness of industry of advanced intelligent computing techniques and the economic benefits that can be gained by implementing them. The intelligent computing technology includes a range of techniques such as Artificial Intelligence, Pattern Recognition, Evolutionary Computing, Informatics Theories and Applications, Computational Neuroscience & Bioscience, Soft Computing, Human Computer Interface Issues, etc. .
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Description based upon print version of record.

Intro -- Preface -- Organization -- Contents - Part V -- Intelligent Control and Automation -- A Parallel Intelligent Search and Rescue System for Swarm Robots Based on Digital Twin -- 1 Introduction -- 2 System Design Details -- 2.1 System Framework Design -- 2.2 Real-Time Twin Model Modeling Module -- 2.3 Parallel Decision Path Planning Module -- 3 System Application Example -- 3.1 Real-Time Twin Model Module Simulation Validation -- 3.2 Real-Scene System Verification -- 4 Conclusion and Discussion -- References

Formal Verification of Path Planning Safety and Reachability in Unmanned Surface Vehicles -- 1 Introduction -- 2 Background -- 2.1 Model Checking -- 2.2 Linearly Priced Timed Automata -- 2.3 Linear-Time Temporal Logic -- 2.4 UPPAAL Model Checking Tool -- 3 Method -- 3.1 Representation of Energy -- 3.2 Reference and Formal Models -- 3.3 Safety and Reachability Properties -- 3.4 Specification of Requirements -- 4 Verification -- 4.1 Results -- 5 Conclusion -- References -- Refine Camera Calibration with Global Geometry Constraints -- 1 Introduction -- 2 Related Work -- 2.1 Parameter Estimation

2.2 Calibration Process -- 3 The Proposed Calibration Framework -- 3.1 Global Pose Constraint -- 3.2 Calibration Data Filter Mechanism -- 4 Experiments -- 4.1 Hardware and Software -- 4.2 Calibration Accuracy Exploration -- 4.3 Calibration Consistency Exploration -- 4.4 Different Camera Lens Exploration -- 5 Conclusion -- References -- OCP: An Online Contingent Planning Method for Robot Tasks with Incomplete Knowledge -- 1 Introduction -- 2 Related Works -- 3 The Online Contingent Planning Method -- 3.1 Overview of OCP -- 3.2 ExPDDL: Extensions to PDDL for Modelling Uncertainty

3.3 Online Contingent Planning Algorithm -- 4 Experiment -- 4.1 Evaluations on Contingent Benchmarks -- 4.2 Simulation Experiment -- 4.3 Real-Robot Experiment -- 5 Conclusions -- References -- YOLO-Underwater: A Real-Time Object Detection Framework for Enhanced Underwater Robotics Operations -- 1 Introduction -- 2 Related Work -- 3 Method -- 3.1 YOLOv7 -- 3.2 ConvNeXt -- 3.3 SimAM -- 4 Experiment -- 5 Conclusion -- References -- YOLO-Underwater-Tiny: High-Efficiency Object Detection in Underwater Robots -- 1 Introduction -- 2 Method -- 2.1 YOLOv7-Tiny

2.2 Reparameterized Lightweight Backbone Layer of MobileOne -- 2.3 Ghost -- 3 Experiment -- 3.1 Experiment on Replacing Convolution with Ghost Convolution -- 3.2 Ablation Experiments and Model Comparisons in Underwater Environments -- 3.3 Comparative Experiments on Underwater Environments of Multiple Types of Models -- 4 Conclusion -- References -- Shared Subnet Synthesis of Object-Oriented Petri Net Based Representation for Embedded Systems -- 1 Introduction -- 2 Basic Concepts -- 3 Synthesis Operation and Property Analysis -- 4 Applications -- 5 Conclusion -- References

Deep Reinforcement Learning Based on Graph Neural Network for Flexible Job Shop Scheduling Problem with Lot Streaming

This 6-volume set LNAI 14875-14880 constitutes - in conjunction with the 13-volume set LNCS 14862-14874 and the 2-volume set LNBI 14881-14882 - the refereed proceedings of the 20th International Conference on Intelligent Computing, ICIC 2024, held in Tianjin, China, during August 5-8, 2024. The total of 863 regular papers were carefully reviewed and selected from 2189 submissions. The intelligent computing annual conference primarily aims to promote research, development and application of advanced intelligent computing techniques by providing a vibrant and effective forum across a variety of disciplines. This conference has a further aim of increasing the awareness of industry of advanced intelligent computing techniques and the economic benefits that can be gained by implementing them. The intelligent computing technology includes a range of techniques such as Artificial Intelligence, Pattern Recognition, Evolutionary Computing, Informatics Theories and Applications, Computational Neuroscience & Bioscience, Soft Computing, Human Computer Interface Issues, etc. .

Powered by Koha