Communications in Computer and Information Science Series ; ; v.2138
Altri autori (Persone)
YuWensheng
WangQuan
LailiYuanjun
LiuYongkui
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
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.