A5107169804- IoT and Edge/Fog Computing
- Formal Methods in Verification
- Robotic Path Planning Algorithms
- Cloud Computing and Resource Management
- Model-Driven Software Engineering Techniques
- Advanced Decision-Making Techniques
- Software Testing and Debugging Techniques
- Algorithms and Data Compression
- Advanced Steganography and Watermarking Techniques
- Parallel Computing and Optimization Techniques
- Real-Time Systems Scheduling
- Advanced Data Storage Technologies
- Logic, Reasoning, and Knowledge
- Distributed and Parallel Computing Systems
- Cognitive Computing and Networks
- Cryptography and Data Security
- Caching and Content Delivery
- Cooperative Communication and Network Coding
- Embedded Systems Design Techniques
Inner Mongolia University of Science and Technology
2024
Changchun University of Science and Technology
2018-2021
Nanjing University of Posts and Telecommunications
2020
Worcester Polytechnic Institute
2016-2018
We investigate motion-planning for a team of robotic vehicles assigned to collaborative intelligent task in the form global linear temporal logic (LTL) specifications. Specifically, we extend recent results from literature include nonholonomic kinematic constraints on vehicles. The problem formulation relies workspace cell decompositions, where certain regions interest robots' shared are defined. proposed algorithm involves two graphs: first, topological graph arising decomposition, and...
A new technique for aircraft route guidance subject to linear temporal logic specifications is presented. The proposed approach based on workspace partitioning, and it relies the idea of so-called lifted graphs. Briefly, edges in a graph are successions adjacent topological associated with partition. Edges certain reachability properties model. main result this paper precise characterization acceptable routes (namely, sequences cells) that guaranteed be traversable by admissible state...
The paper achieves the traveling balance control in exploratory behavior by fuzzy logic method, uses least squares fitting to realize corner detection and realizes roadblock designing Barrier Predictive Function Model.The designs a distributed system based on block storage electoral computing model which provides high reliability services.This proposes BUS communication model, node's selection LSM merging tree Bully algorithm.The real-time ultrasonic information data obtained Arduino...
The disadvantages and inextensibility of the traditional network require more novel thoughts for future architecture, as ICN (Information-Centric Network), is an information centered self-caching network, deeply rooted in 5G era, which concept user-centered content-centered. Although enables cache replacement content, distribution scheduling algorithm still needed to allocate resources properly due its limited capacity. This paper starts with data popularity, epilepsy other related...
The service quality of resource nodes in a cloud system can reflect the capability providing users with services. In this paper, we focus on evaluation to build Cloud_MQOSF, (QoS) framework availability, reliability, performance, and scalability as indexes. This architecture rapidly stably evaluate quantitatively capabilities system. Several sets experiments are carried out using operational data well-known provider web dataset. experimental results show that model not only effectively...