To solve the loading and unloading problems of RMG (Rail Mounted Gantry), quay crane and AGV (Automated Guided Vehicle), this paper proposes a hierarchical cooperative scheduling algorithm. Firstly, the operation task...
详细信息
To further improve the efficiency and performance of cloud computing task scheduling and cope with the diversity of user tasks, the study unfolds the construction of cloud computing task scheduling model based on heur...
详细信息
In this paper, we investigate the issues of real-time sensor scheduling and state estimator design within large-scale sensor network systems. Specifically, data redundancy sometimes occurs in large-scale sensor arrays...
详细信息
Earth observation satellites play a pivotal role in advancing our understanding of the Earth and its environment. By strategically scheduling satellite orbits and observation, they perform a wide range of critical tas...
详细信息
To address the randomness and volatility of renewable energy generation technologies, we propose an online scheduling strategy for renewable energy power systems based on a digital twin (DT) model. By constructing a d...
详细信息
This paper proposes new joint flow control and link scheduling (JFCLS) algorithms for the classical network utility maximization (NUM) problem with unknown utility functions. Our algorithm leverages the idea of optimi...
详细信息
Controlling fluid levels in cone-shaped discharge tanks can be challenging, especially in the chemical industry. This paper presents a novel approach for achieving precise level control in such tanks using a proportio...
详细信息
This article focuses on the green hybrid flow shop batch scheduling problem (EHFSP) considering energy consumption, establishes an optimization model with the goal of minimizing maximum completion time and total energ...
详细信息
ETL cluster scheduling technology plays a crucial role, which unveils the latent value of medical data and improve the medical digitization. However, in real-world scheduling scenarios, variations in the performance c...
详细信息
It is well known that the logical verification for the operating system is very essential. Event-B, as a formal verification tool, is one of the most widely used methods for verifying programs at the operating system ...
详细信息
暂无评论