Specification and Verification of a Topology-Aware Access Control Model for Cyber-Physical Space Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy Optimal Active Power Dispatching of Microgrid and Distribution Network Based on Model Predictive Control Building a Post-Layout Simulation Performance Model with Global Mapping Model Fusion Technique A Cascade Model-Aware Generative Adversarial Example Detection Method A Simulation System and Speed Guidance Algorithms for Intersection Traffic Control Using Connected Vehicle Technology LKLR: A Local Tangent Space-Alignment Kernel Least-Squares Regression Algorithm Library development model of normalized transformation toward the comprehensive building of a moderately prosperous society Evolution of Specialization with Reachable Transaction Scope Based on a Simple and Symmetric Firm Resource Allocation Model Deep Model Compression for Mobile Platforms:A Survey