top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Intelligent Networked Things : The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part I
Intelligent Networked Things : The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part I
Autore Zhang Lin
Edizione [1st ed.]
Pubbl/distr/stampa Singapore : , : Springer Singapore Pte. Limited, , 2024
Descrizione fisica 1 online resource (287 pages)
Altri autori (Persone) YuWensheng
WangQuan
LailiYuanjun
LiuYongkui
Collana Communications in Computer and Information Science Series
ISBN 981-9739-51-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Organization -- Contents - Part I -- Contents - Part II -- Theories and Mathematical Methods for Intelligent Networked Things -- A Method Based on the Principle of Polynomial Least Squares Fitting to Achieve High-Precision Temperature Measurement and Its Practical Application -- 1 Introduction -- 2 Analysis of the Current Situation of Temperature Measurement in SF6 Density Monitoring Equipment -- 3 Design Method for High Precision Temperature Measurement in Intelligent SF6 Gas Density Relay -- 3.1 Circuit Design and Noise Analysis of High Precision Temperature Sensing Unit -- 3.2 Calibration Test Platform for Intelligent Density Relays -- 4 Results and Discussion -- 4.1 Principle of Polynomial Least Squares Fitting -- 4.2 Fitted Curve -- 4.3 Comparison of High-Precision Fitting Methods -- 5 Conclusion -- References -- Design of an Attitude Control System for Hypersonic Ballistic Missiles with Extendable Swinging Nozzle Control -- 1 Introduction -- 2 Multibody Dynamics Model of a Ballistic Missile with Extendable Swinging Nozzle -- 2.1 The Ballistic Missile System with Extendable Swinging Nozzle -- 2.2 Establishment of a Dynamics Model for an Extended Swinging Nozzle Missile -- 2.3 Establishment of Nozzle Extension and Swinging Constraint Equation -- 3 Design of Ballistic Missile Attitude Controller -- 3.1 Attitude Control Model Transformation -- 3.2 Attitude Controller Design Based on Backstepping Sliding Mode -- 4 Simulation Results and Analysis -- 4.1 Simulation Verification Under Nominal Operating Conditions -- 4.2 Simulation Verification Under Aerodynamic Parameter Perturbation Conditions -- 5 Conclusion -- References -- Early Fault Diagnosis Method for Rolling Bearing Based on Improved Singular Values Decomposition -- 1 Introduction -- 2 Singular Value Decomposition -- 3 Improved Singular Value Decomposition Method.
3.1 Hankel Matrix Embedding Dimension Determination -- 3.2 Sub-signal Reconstruction -- 3.3 Selection of Optimal Sub-signal -- 4 Improved Singular Value Decomposition Method -- 5 Method Validation -- 5.1 Simulation Analysis -- 5.2 Experimental Analysis -- 6 Conclusion -- References -- Dynamic Analysis of Dual Motor-Gear Electromechanical Coupling System -- 1 Introduction -- 2 Establishment of Vector Control Simulation Model for PMSM -- 3 Dynamic Modeling of Gear Transmission System -- 4 Simulation of Electromechanical Coupling Dynamics Response of Dual Motor-Gear System -- 5 Experimental Verification and Analysis -- 5.1 Comparison and Analysis in the Time Domain -- 5.2 Comparison and Analysis in the Frequency Domain -- 6 Conclusions -- References -- Formal Proof of Meta-Theorem in First-Order Logic in Coq -- 1 Introduction -- 2 Preliminary -- 2.1 Formalization of Basic Concepts in First-Order Logic -- 2.2 Formalization of Axiom System in First-Order Logic -- 3 Formalization of Meta-theorem -- 3.1 Integrated Strategies -- 3.2 Meta-theorem -- 4 Conclusion -- References -- Formal Verification of Completeness Theorem in Grundlagen der Geometrie -- 1 Introduction -- 2 Axioms and Formalization -- 2.1 Group I -- 2.2 Group II -- 2.3 Group III -- 3 Lemmas and Formalization -- 4 The Formalization of Continuity Axioms -- 4.1 Archimedes' Axiom -- 4.2 Line Completeness Axiom -- 5 The Formalizarion of Completeness Theorem -- 5.1 The Formal Description of Completeness Theorem -- 5.2 The Verifaction of Completeness Theorem -- 6 Conclusions -- References -- Formalizing the Independence of Propositional Logic Axiom System in Coq -- 1 Introduction -- 2 Related Work -- 3 Preliminary -- 3.1 Propositional Formulas -- 3.2 Axiom System -- 4 Formalization of the Independence of the Axiom System -- 4.1 Proof Methods for the Independence of the Axiom System.
4.2 Independence of Axiom P1 -- 4.3 Independence of Axiom P2 -- 4.4 Independence of Axiom P3 -- 4.5 Independence of the Axiom System -- 5 Conclusion -- References -- Spatiotemporal Information-Based Authorization Method for UOF Documents -- 1 Introduction -- 2 System Design -- 2.1 Total System Design -- 2.2 Encryption Process -- 2.3 Decryption Process -- 3 System Implementation -- 3.1 Develop Encryption Algorithms -- 3.2 The Lower Computer Obtains Space-Time Information -- 3.3 Upper Computer Software Writing -- 3.4 The Upper Computer Communicates with the Lower Computer -- 4 Case Study -- 4.1 Encryption Display -- 4.2 Decryption Display -- 5 Conclusion -- References -- Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq -- 1 Introduction -- 2 Related Work -- 3 Preliminary -- 3.1 Formula -- 3.2 Set Theory Involved -- 4 Formalization of the Axiom System -- 5 Formalization of the Natural Deduction System -- 6 Formalization of the Equivalence of the Two Systems -- 7 Conclusion -- References -- Formalization of the Filter Extension Principle (FEP) in Coq -- 1 Introduction -- 2 Filters -- 3 Formalization of the Filter Extension Principle (FEP) -- 3.1 Formalization of Lemma 1 -- 3.2 Formalization of Lemma 2 -- 3.3 Formalization of Lemma 3 and FEP -- 4 Conclusion -- References -- Lagrange's Theorem in Group Theory: Formalization and Proof with Coq -- 1 Introduction -- 2 Related Work -- 3 Formalization of Fundamental Concepts in Group Theory -- 4 Properties of Sets and Cardinalities -- 5 Formal Proof of Lagrange's Theorem -- 6 Conclusion -- References -- Observer-Based Fault Diagnosis for Re-entrant Manufacturing Systems -- 1 Introduction -- 2 Systems Modeling and Problems Formulation -- 3 Fault Detection Strategy -- 4 Adaptive-Observer Fault Diagnosis Scheme Design -- 5 Numerical Illustration -- 6 Conclusion -- References.
Prescribed-Time Leader-Follower Bipartite Consensus for Nonlinear Multi-agent Systems -- 1 Introduction -- 2 Preliminaries -- 2.1 Graph Theory -- 2.2 Useful Lemmas -- 2.3 Problem Statement -- 3 Main Results -- 4 Simulation Example -- 5 Conclusion -- References -- Off-Policy L2-Gain Control for Discrete-Time Linear Systems with Dropout -- 1 Introduction -- 2 Problem Formulation -- 2.1 Discrete-Time L2-Gain Control Problem -- 2.2 The Networked Control System with Dropout -- 2.3 The Solution of L2-Gain Problem with Dropout -- 3 Off Policy Reinforcement Learning Algorithm for Solving Dropout L2-Gain Control Problem -- 3.1 Model-Based Off-Policy Algorithm -- 3.2 Model-Free Off-Policy Algorithm -- 4 Simulation -- 5 Conclusion -- References -- Demand Response Analysis and Its Application to Smart Grids: A Evolutionary Game Method -- 1 Introduction -- 2 Preliminaries -- 2.1 Networked Evolutionary Games -- 2.2 Semi-tensor Product of Matrices -- 3 Modelling and Analysis of DR -- 3.1 Modelling of DR -- 3.2 Analysis of the Properties of DR -- 4 Conclusion -- References -- Promoting Cooperation in the Snowdrift Game: A Disconnection-Reconnection Reputation Memory Mechanism -- 1 Introduction -- 2 Model -- 3 Simulation Results and Analysis -- 4 Conclusions -- References -- Dynamic Output-Feedback Control for Multirate Positive Systems Under Round-Robin Protocol -- 1 Introduction -- 2 Problem Formulation and Some Preliminaries -- 3 Stability Analysis -- 4 l1-Gain Analysis -- 5 Conclusion -- References -- Analysis of Aggregation Behavior of Swarm Robotics Inspired by Temperature Source -- 1 Introduction -- 2 BEECLUST Algorithm -- 3 Experimental Setup -- 3.1 Simulation Platform -- 3.2 Experimental Parameters -- 4 Results and Discussion -- 4.1 Sensing Range -- 4.2 Forward Speed -- 4.3 Size of the Temperature Source -- 4.4 Intensity of the Temperature Source.
5 Conclusion -- References -- Modeling and Simulation in Intelligent Networked Things -- Research on Simulation of Heat Conduction in the Built-in SF6 Multiparameter Sensor -- 1 Introduction -- 2 Simulation Analysis of Thermal Conduction Effects on Sensors -- 3 Physical Model of Thermal Conduction in Sensors -- 3.1 Basic Structure of Sensors -- 3.2 Thermal Isolation Strategies for Sensors -- 4 Thermal Conduction Simulation Analysis Methods for Sensors -- 4.1 Theory of Heat Transfer in Solids and Fluids -- 4.2 Experimental Methodology and Simulation Parameters -- 5 Simulation Results and Analysis -- 5.1 Experiment 1: Experimental Results of Fluid Heat Transfer in Two End Cavities -- 5.2 Experiment 2: Experimental Results of no Fluid Heat Transfer in Two End Cavities -- 5.3 Experiment 3: Experimental Results of Isolation Measures for Sensors and Base -- 5.4 Experiment 4: Experimental Results of Heat Transfer at the Perception Unit End -- 5.5 Analysis of Experimental Results -- 6 Conclusion -- References -- Modeling and Simulation Analysis of Alliance Anti-Missile Operational Capability -- 1 Introduction -- 2 Analysis Framework for Alliance Anti-Missile Operational Capability -- 2.1 Characteristics of Alliance Anti-Missile System -- 2.2 Modeling and Simulation Analysis Framework for Alliance Anti-Missile Operational Capability -- 3 Networked Indicator System for Alliance Anti-Missile Operational Capability -- 3.1 Alliance Anti-Missile Operational Capability Emergence Network -- 3.2 Networked Indicator System Based on Capability Emergence -- 4 Analysis Model of Alliance Anti-Missile Operational Capability Based on SEM -- 4.1 SEM Basic Theory -- 4.2 Analysis Model of Alliance Anti-Missile Operational Capability -- 5 Large Sample Simulation Analysis Based on System Confrontation -- 5.1 Experiment Design and Data Processing.
5.2 Analysis of Experimental Results.
Record Nr. UNINA-9910872189303321
Zhang Lin  
Singapore : , : Springer Singapore Pte. Limited, , 2024
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Intelligent Networked Things : The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part II
Intelligent Networked Things : The 6th Conference on Intelligent Networked Things, CINT 2024, Xi'an, China, May 18, 2024, Proceedings, Part II
Autore Zhang Lin
Edizione [1st ed.]
Pubbl/distr/stampa Singapore : , : Springer Singapore Pte. Limited, , 2024
Descrizione fisica 1 online resource (0 pages)
Altri autori (Persone) YuWensheng
WangQuan
LailiYuanjun
LiuYongkui
Collana Communications in Computer and Information Science Series
ISBN 981-9739-48-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Preface -- Organization -- Contents - Part II -- Contents - Part I -- Artificial Intelligence for Intelligent Networked Things -- Application of Improved ResNet18 Based Neural Network for Non-invasive Blood Glucose Testing -- 1 Introductory -- 2 Deep Learning Based on ResNet18-SVM -- 2.1 Wavelet Transform -- 2.2 ResNet18 Deep Learning Network with SVM Fusion Approach -- 3 Experiment and Result Analysis -- 3.1 Data Acquisition Process -- 3.2 Regression Testing Process -- 3.3 Results Analysis -- 3.4 Conclusion -- References -- iKnowiSee: AR Glasses with Language Learning Translation System and Identity Recognition System Built Based on Large Pre-trained Models of Language and Vision and Internet of Things Technology -- 1 Introduction -- 2 Related Work -- 3 Methods -- 3.1 Overall Framework and Implementation of AR Glasses Designed and Developed Based on Internet of Things Technology -- 3.2 Language Learning and Translation System -- 3.3 Identification System -- 4 Experiments -- 4.1 AR Glasses Entity -- 4.2 Language Learning and Translation System -- 4.3 Identification System -- 4.4 APP Design and Build -- 5 Conclusion -- References -- HM-W2V: Word Embedding from Hippocampus Spiking Neural Network -- 1 Introduction -- 2 Related Research -- 3 Model Structure -- 3.1 LIF Neuron -- 3.2 HM Embedding Layer -- 3.3 PR Module -- 4 Experimental Evaluation -- 4.1 Word Similarity -- 4.2 Document Classification -- 4.3 Threshold of LIF Neuron -- 5 Conclusion -- References -- Multi-target Intelligent Detection Method of Support Structure Defects Based on Digital Image Processing Technology -- 1 Introduction -- 2 Support Defect Target Detection Algorithm -- 2.1 Target Detection of Defective Support Structure Based on YOLOv5 Neural Network -- 2.2 Training and Validation -- 3 Support Defect Feature Extraction Algorithm.
3.1 Improved Gaussian Algorithm Combined with Histogram Equalization -- 3.2 Improved Adaptive Canny Algorithm Combined with Otsu -- 3.3 Crack Algorithm Based on Morphology -- 3.4 Defect Area Algorithm Based on Connected Component Labelling -- 4 Experiments and Results -- 4.1 Construction of Image Acquisition Hardware Platform -- 4.2 Defect Image Detection Experiment -- 5 Conclusion -- References -- Design of Calculation Algorithm for Edge Straight Line Accuracy of Metal Plate Based on Point Cloud Data -- 1 Introduction -- 2 Measurement and Data Preprocessing -- 2.1 Line Structured Light Ranging Theory -- 2.2 Point Cloud Data Preprocessing Algorithm Design -- 3 Straight Line Accuracy Calculation -- 4 Experiments and Results -- 4.1 The Composition of the Measurement System -- 4.2 Straight Line Accuracy Calculation Experimental Verification -- 5 Conclusion -- References -- Fault Diagnosis of Rolling Bearings Based on SVM and Improved D-S Evidence Theory for Multi-sensor Fusion -- 1 Introduction -- 2 SVM Theory -- 3 Improved D-S Evidence Theory -- 3.1 The Fusion of Evidence is Modified Based on the Lance Distance Function and the Spectral Angle Cosine Function -- 3.2 Case Analysis -- 4 Fault Diagnosis Model Based on SVM and Improved D-S Evidence Theory -- 5 Case Study Analysis -- 5.1 Experimental Setup -- 5.2 Data Acquisition and Feature Extraction -- 5.3 Fault Diagnosis -- 6 Conclusion -- References -- mmWave Radar Point Cloud Based Pose Estimation with Residual Blocks for Rehabilitation Exercise -- 1 Introduction -- 2 Related Work -- 3 mmWave Radar Sensing System -- 3.1 Data Acquisition -- 3.2 Data Preprocessing -- 4 Proposed Method -- 4.1 Model Design -- 4.2 Loss Function -- 5 Experimental Evaluations -- 5.1 Experimental Setup and Dataset -- 5.2 Model Setting and Training Details -- 5.3 Experimental Results -- 5.4 Ablation Study.
6 Limitations of the Proposed Method -- 7 Conclusions -- References -- Enhancing Repetitive Action Counting Through Hierarchical Transformer-Based Radar-Vision Fusion -- 1 Introduction -- 2 Related Work -- 2.1 Repetitive Action Counting -- 2.2 Radar-Vision Fusion Based Learning -- 3 Radar-Video Based Multi-modal Fusion Approach -- 3.1 Method Overview -- 3.2 Feature Extraction Module -- 3.3 Hierarchical Multi-modal Fusion Transformer -- 3.4 Period Predictor -- 4 Experiment Studies -- 4.1 Data Collection -- 4.2 Dataset Description -- 4.3 Experiment Setting -- 4.4 Experiment Results -- 5 Conclusion -- References -- Realizing Human Pose Estimation Based on Deep Kalman Filtering -- 1 Introduction -- 2 Related Work -- 2.1 Human Pose Estimation Based on Radar -- 2.2 Deep Kalman Filtering -- 3 mmWave Radar Sensing System -- 3.1 Data Acquisition -- 3.2 Data Processing -- 3.3 Overview of Our Method -- 4 Deep Kalman Filtering Method -- 4.1 Deep Kalman Filtering -- 5 Experimental Studies -- 5.1 Radar Configuration and Dataset -- 5.2 Experimental Results -- 6 Conclusion -- References -- A Multi-scale Feature Fusion Method for Demand Forecasting in Supply Chain Management -- 1 Introduction -- 2 Methods -- 3 Experiments -- 3.1 Data Preprocessing -- 3.2 Training Settings -- 3.3 Results -- 3.4 Ablation Study -- 4 Conclusion -- References -- Process Fault Diagnosis Based on Moving Window KECA and Random Forest -- 1 Introduction -- 2 Basic KECA and RF -- 3 Moving Window KECA-RF Fault Diagnosis Method -- 4 Simulation Results and Analysis -- 5 Conclusion -- References -- Intelligent Monitoring Method for Gear Grinding Machine Spindle Based on Multi-source Information Fusion -- 1 Introduction -- 2 Related Works -- 3 Overall Framework -- 4 Methodology -- 4.1 Spindle Vibration Signal Feature Extraction of Wavelet Packet Based on Sample Entropy.
4.2 Evaluation of Gear Grinding Machine State Based on Entropy Weight Method Improved D-S Evidence Theory -- 5 Experiment and Result -- 6 Conclusion -- References -- Research on Improving ResNet18 for Classifying Complex Images Based on Attention Mechanism -- 1 Introduction -- 2 The Method of This Article -- 2.1 Overall Model Structure Design -- 2.2 The Channel Attention Mechanism -- 2.3 The Spatial Convolution Attention Mechanism -- 3 Experiment and Analysis -- 3.1 Experimental Environment and Parameter Design -- 3.2 Experimental Dataset -- 3.3 Experimental Results and Analysis -- 3.4 Ablation Experiment -- 3.5 Classification Confusion Matrix -- 4 Conclusion -- References -- A Framework for Automated Generation of Transmission Processes Based on Kinetic Knowledge Mapping -- 1 Introduction -- 2 Related Works -- 3 Overall Framework -- 4 Methodology -- 4.1 Dynamic and Static Multimodal Transmission Domain Knowledge Graph Construction -- 4.2 Process Scheme Generation Based on Graph Cyclic Networks and Ant Colony Algorithm -- 5 Experiment and Result -- 6 Conclusion -- References -- Optimization and Decision in Intelligent Networked Things -- Intelligent Optimization Methods for Unmanned Cluster Delivery Support Task Allocation -- 1 Introduction -- 2 VRPTW Model Based on Unmanned Swarming -- 2.1 Description of the VRPTW Model Based on Unmanned Cluster Task Allocation -- 2.2 Mathematical Model of the VRPTW Based on Unmanned Delivery Platforms -- 3 Task Allocation Method Based on Genetic Algorithms -- 3.1 Encoding Design -- 3.2 Fitness Function -- 3.3 Genetic Operation Operator -- 4 Simulation and Experimental Verification -- 4.1 Introduction of the Example -- 4.2 Experimental Results and Analysis -- 5 Conclusion -- References -- Knowledge-Specific Reinforcement Learning for Job-Shop Scheduling with Dynamic Processing States in Disassembly Factory.
1 Introduction -- 2 Problem Description -- 2.1 Job-Shop Scheduling Problem -- 2.2 Disassembly Job-Shop with Dynamic Factors -- 3 Knowledge-Specific Dynamic Scheduling Method -- 3.1 Environment and Constraints -- 3.2 RL Interaction Design -- 3.3 Algorithm -- 4 Experiment -- 4.1 Experiment Configuration -- 4.2 Dynamic Job-Shop Scheduling with Unequal Probability Distributions -- 4.3 Dynamic Job-Shop Scheduling with Different MTBF -- 5 Conclusion -- References -- Implementation of Real-Time Robot Monitoring and Scheduling Platform in Cloud Manufacturing Environment -- 1 Introduction -- 2 Scheduling Model -- 2.1 Robot, Enterprise and Logistics -- 2.2 Task and Subtask -- 2.3 Constraints and Objectives -- 3 Requirements Analysis and Implementation -- 3.1 Requirements Analysis -- 3.2 Implementation -- 4 Deployment and Test -- 4.1 Deployment -- 4.2 Test -- 5 Conclusion -- References -- Multi-mission UAV Trajectory Planning in Smart Agriculture with Polarization Learning Model-Driven by Harris Hawks Optimizer -- 1 Introduction -- 2 Literature Review -- 3 Design and Optimization of the Harris Hawks Optimizer -- 3.1 Polarization Model-Based Diversity Enhancement Mechanism -- 3.2 Nonlinear Energy Parameter Optimization Mechanism -- 3.3 Random Spiral Perturbation Based Mutation Mechanism -- 4 Examination of the PL-HHO Algorithm -- 4.1 Experimental Parameters and Test Functions -- 4.2 Results and Analysis of Tests -- 5 Multi-mission UAV Trajectory Planning in Smart Agriculture -- 5.1 Mission Scale Setting -- 5.2 Multi-mission UAV Trajectory Planning Under Routine Conditions -- 5.3 Multi-mission UAV Trajectory Planning in Complex Conditions -- 6 Conclusion -- References -- Optimal Deception Attacks on Remote State Estimation with Heterogeneous Vulnerabilities -- 1 Introduction -- 2 Problem Formulation -- 2.1 Process Model -- 2.2 Smart Sensor and Remote Estimator.
2.3 False Data Detector.
Record Nr. UNINA-9910872188103321
Zhang Lin  
Singapore : , : Springer Singapore Pte. Limited, , 2024
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui