发现初步实现