This paper focuses on solving the Boolean Satisfiability (SAT) problem using a parallel implementation of the Ant Colony Optimization (ACO) algorithm for execution on the Graphics Processing Unit (GPU) using NVIDIA CUDA (Compute Unified Device Architecture). We propose a new efficient parallel strategy for the ACO algorithm executed entirely on the CUDA architecture, and perform experiments to compare it with the best sequential version exists implemented on CPU with incomplete approaches. We show how SAT problem can benefit from the GPU solutions, leading to significant improvements in speed-up even though keeping the quality of the solution. Our results shows that the new parallel implementation executes up to 21x faster compared to its sequential counterpart.
Helicopter systems are considered a complex and challenging control problem due to strong couplings and high non-linearities. In this paper, simulated annealing (SA), as one of the leading methods in search and optimization, is applied to tune a multivariable controller of a lab-scale helicopter system. The lab-scale helicopter system is a multivariable experimental aerodynamic test rig that resembles the behaviour of a real helicopter. The control objectives are quickly to reach a desired position or track a trajectory. A centralized cross-coupled PID controller is used to achieve these objectives. First, SA optimizations are carried out with 24 different initial configurations. Then, the best results of these SA configurations are compared with other controllers obtained with evolutionary algorithms (EAs) of genetic algorithms (GAs), modified particle swarm optimization (MPSO) and differential evolution (DE). The comparisons are based on statistical measures of 20 independent trials, non-linear computer simulations of different input signals and real-time measurements for various commands of positions or trajectories. Results show that SA obtained the best performance index and acceptable time-domain performance on reaching hovering point, following a step command and tracking a sine trajectory compared with the investigated EAs.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.