Purpose This paper aims to provide a posture generation method of robot deposition paths based on intersection topology, which is helpful to contribute to improving the flexibility and deposition capability of the deposition system. Design/methodology/approach Via the geometry information and...

Static program analysis is a strong technique for analyzing program behavior, but suffers from scalability problem, such as path explosion which is caused by the presence of loops and function calls. This article applies the selective execution mechanism and heuristic strategy on exploring paths...