Theoretical Computer Science: 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers (Communications in Computer and Information Science)

Preface
Organization
Contents
Algorithm and Complexity
Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction
	1 Introduction
	2 Preliminaries
	3 Algorithms of Extracting Unsatisfiable Cores
	4 Predicate Abstraction of PicoJava Microprocessor
	5 Evaluation Results and Analysis
	6 Conclusions
	References
Algorithm Design Through the Optimization of Reuse-Based Generation
	1 Introduction
	2 Preliminaries
		2.1 The Formal Method
		2.2 Category Theory
	3 Optimization Technique for Algorithm Generation
		3.1 Optimization Technique and Its Formal Model
		3.2 Generation of Series of Ordered Searching Algorithms
		3.3 Generation of a New Sorting Algorithm
		3.4 Summary
	4 Conclusion
	References
An Improved Firefly Algorithm for Software Defect Prediction
	1 Introduction
	2 Preliminary
		2.1 Original Firefly Algorithm
		2.2 Related Work
	3 Proposed Algorithm
		3.1 Basic Idea
	4 Experimental and Results
		4.1 Experiment Preparation
		4.2 Comparison with FA Variants
		4.3 Applied in Software Defect Prediction
	5 Conclusion
	References
Semi-online Algorithms for Hierarchical Scheduling on Three Parallel Machines with a Buffer Size of 1
	1 Introduction
	2 Preliminaries
	3 One Machine with Hierarchy 1
	4 Two Machines with Hierarchy 1
	5 Conclusion
	References
GDAssister: Graphic Design Assistant System with Optimal Algorithm of Associated Rule Mining
	1 Introduction
	2 Related Work
	3 The Design of GDAssister
	4 Implementation of GDAssister
		4.1 Graphic Elements Extraction
		4.2 Association Rule Mining
		4.3 Automatic Layout
		4.4 Style Transform
	5 Conclusion
	References
Matrix Computation
Late Fusion Multi-view Clustering with Learned Consensus Similarity Matrix
	1 Introduction
	2 Related Work
		2.1 Multiple Kernel K-Means
		2.2 Multi-view Clustering via Late Fusion Alignment Maximization
	3 Late Fusion Multi-view Clustering with Learned Consensus Similarity Matrix
		3.1 Proposed Method
		3.2 Alternate Optimization
		3.3 Algorithmic Discussion
	4 Experiments
		4.1 Datasets and Experimental Settings
		4.2 Comparison with State-of-the-Art Algorithms
		4.3 Experimental Settings
		4.4 Experimental Results
		4.5 Algorithm Convergence and Runtime
	5 Conclusion
	References
Minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear Systems
	1 Introduction
	2 New Iterative Methods
		2.1 Minimal Residual Splitting Method
		2.2 Preconditioning
		2.3 Convergence Analysis
		2.4 Preconditioned Minimal Residual Methods
		2.5 Parallel Implementation Analysis of MRSMs
	3 Numerical Experiment
		3.1 The Minimal Residual Splitting Method
		3.2 The Jacobi-Preconditioned Minimal Residual Method
	4 Conclusion
	References
Deep Learning
A Simple yet Effective Unsupervised Adversarial Example Generation Framework for Vulnerability Assessment on Deep Learning
	1 Introduction
	2 Related Work
		2.1 Adversarial Examples
		2.2 Adversaries Capabilities
		2.3 Methods of Generating Adversarial Examples
		2.4 Mutual Information and MINE Method
	3 Methodology
		3.1 The UAEG Framework
		3.2 An UAEG Instance: UAEG-Image
	4 Experiments and Evaluation
		4.1 Data Sets
		4.2 Parameter Settings
		4.3 Effectiveness of Unsupervised Adversarial Example Generation
		4.4 Effectiveness of Deep Learning Vulnerability Assessment
	5 Conclusion and Future Work
	References
Application of Graph Neural Network in Automatic Text Summarization
	1 Introduction
	2 Research Background
		2.1 The Development History of GNN
		2.2 The Basics of GCN
	3 Research Status and Hot Spots
		3.1 The Preliminary Application of GNN in Automatic Text Summarization
		3.2 GNN with Attention Mechanism
		3.3 Improved GNN for Encoding Objects
		3.4 Improved GNN for Graph Structure
		3.5 GNN with Pre-trained Model
		3.6 The Application of Graph Neural Network in Multi-text Abstract
	4 Data Sets and Evaluation Criteria
	5 Future Outlook
	6 Summary
	References
Head Detection Method for Indoor Scene
	1 Introduction
	2 Network Structure
		2.1 Model Structure
		2.2 Design of Anchor Size
	3 Training
		3.1 Method
		3.2 Loss Function
		3.3 Hyper Parameter
	4 Experiment
		4.1 Result on Brainwash Dataset
		4.2 Result on Hollywoodheads Dataset
		4.3 Ablation Experiment
	5 Conclusion
	References
Network Communication and Security
A Survey on the Classic Active Measurement Methods for IPv6
	1 Introduction
	2 IPv6 Tunnel Technology
		2.1 Typical Modes for IPv6 Tunnel
		2.2 IPv6 Tunnel Discovery Technology
	3 IPv6 Address Detection
		3.1 Overview on Active Address Detection
		3.2 Pattern-Based Address Detection
		3.3 Entropy/IP Address Detection
		3.4 6Gen Address Detection
	4 IPv6 Network Topology Discovery
		4.1 Levels of Network Topology Discovery
		4.2 Hierarchical Topology Discovery Method
	5 IPv6 Bandwidth Measurement
		5.1 Single Packet Technology
		5.2 Packet-Dispersion Technology
	6 Open Issues and Future Directions
		6.1 Open Issues
		6.2 Potential Areas for Future Research
	7 Conclusion
	References
Deriving Security Protocols Based on Protocol Derivation System
	1 Introduction
	2 Protocol Derivation System and Its Defects
		2.1 The Explanation of Symbols
		2.2 Components
		2.3 Composition
		2.4 Refinements
		2.5 Transformations
	3 The Extension for PDS
		3.1 Extended Components
		3.2 Extended Refinements
		3.3 Extended Transformations
		3.4 Removing Redundancy Rules
	4 Deriving Security Protocols Based on the Extended PDS
	5 Conclusions
	References
An Offloading Strategy Based on RSU Cooperation for Vehicular Edge Computing System
	1 Introduction
	2 Related Works
	3 Proposed Solution
		3.1 Cooperation Communication Architecture
		3.2 Cooperation Calculation Strategy
	4 Simulation Setup and Analysis
		4.1 Simulation Setup
		4.2 Performance Analysis
	5 Conclusion
	References
Author Index