优良布尔函数的混合禁忌搜索算法 王维琼