A Rough Programming Model Based on the Greatest Compatible Classes and Synthesis Effect | AMiner