Intelligent Networked Things

.- 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.
.- Design of an Attitude Control System for Hypersonic Ballistic Missiles with Extendable Swinging Nozzle Control .
.- Early fault diagnosis method for rolling bearing based on improved singular values decomposition.
.- Dynamic Analysis of Dual Motor-Gear Electromechanical Coupling System.
.- Formal Proof of Meta-Theorem in First-Order Logic in Coq.
.- Formal Verification of Completeness Theorem in Grundlagen der Geometrie.
.- Formalizing the Independence of Propositional Logic Axiom System in Coq.
.- Spatiotemporal Information-based Authorization Method for UOF Documents.
.- Formalizing the Equivalence of Formal systems in Propositional Logic in Coq.
.- Formalization of the Filter Extension Principle (FEP) in Coq.
.- Lagrange's Theorem in Group Theory: Formalization and Proof with Coq.
.- Observer-Based Fault Diagnosis for Re-entrant Manufacturing Systems.
.- Prescribed-time Leader-follower Bipartite Consensus for Nonlinear Multi-agent System.
.- Off-Policy L2-gain Control for Discrete-Time Linear Systems With Dropout.
.- Demand Response Analysis and its Application to Smart Grid: A Evolutionary Game Method.
.- Promoting Cooperation in the Snowdrift Game : A Disconnection-Reconnection Reputation Memory Mechanism.
.- Dynamic Output-Feedback Control for Multirate Positive Systems under Round-Robin Protocol.
.- Analysis of Aggregation Behavior of Swarm Robotics Inspired by Temperature Source.
.- Modeling and Simulation in Intelligent Networked Things.
.- Research on simulation of heat conduction in the built-in SF6 Multiparameter Sensor.
.- Modeling and Simulation Analysis of Alliance Anti-missile Operational Capability.
.- Research on Integrated Modeling and Simulation Method of Missile