《自适应约束满足问题求解方法的研究》王海燕 科学出版社 PDF电子教材