Search

With the increasing demand for marine monitoring, the use of coverage path planning based on unmanned aerial vehicle (UAV) aerial images to assist multiple unmanned surface vehicles (USVs) has shown great potential in marine applications. However, achieving accurate map modeling and optimal path planning are still key challenges that restrict its widespread application. To this end, an innovative coverage path planning algorithm for UAV-assisted multiple USVs is proposed. First, a semantic segmentation algorithm based on the YOLOv5-assisted prompting segment anything model (SAM) is designed to establish an accurate map model. By refining the axial, length, width, and coordinate information of obstacles, the algorithm enables YOLOv5 to generate accurate object bounding box prompts and then assists SAM in automatically and accurately extracting obstacles and coastlines in complex scenes. Based on this accurate map model, a multi-objective stepwise optimization coverage path planning algorithm is further proposed. The algorithm divides the complete path into two parts, the straight paths and the turning paths, and both the path length and the number of turns is designed, respectively, to optimize each type of path step by step, which significantly improves the coverage effect. Experiments prove that in various complex marine coverage scenarios, the proposed algorithm achieves 100% coverage, the redundancy rate is less than 2%, and it is superior to existing advanced algorithms in path length and number of turns. This research provides a feasible technical solution for efficient and accurate marine coverage tasks and lays the foundation for unmanned marine supervision.

This paper is a counterpart of Bi et al., 2011. For a locally optimal solution to the nonlinear second-order cone programming (SOCP), specifically, under Robinson’s constraint qualification, we establish the equivalence among the following three conditions: the nonsingularity of Clarke’s Jacobian of Fischer-Burmeister (FB) nonsmooth system for the Karush-Kuhn-Tucker conditions, the strong second-order sufficient condition and constraint nondegeneracy, and the strong regularity of the Karush-Kuhn-Tucker point.

This paper is concerned with ℓq (0