复查程序的建构