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