科学抽象有哪几类成果