闭半代数集论文