中文摘要：

加权MAX—SAT问题（WMSAT）是一个NP－难问题，针对WMSAT的特点，提出一个改进的蚁群算法。该算法的研究对象由“边”转化为“顶点”，简化算法模型；提出取值概率的概念，并以之替换信息素，实现对蚁群进化的直接控制，提高蚁群的可进化性。实验结果表明新算法是有效的。

英文摘要：

The weighted MAX-SAT problem（WMSAT） is one of the NP-hard problems. This paper proposed an improved ant colony algorithm according to the features of WMSAT. It changed the studied object of the algorithm from edge to vertex to make the algorithm model simpler. Then proposed the concept of value assignment probability and replaced pheromone with it to improve the evolution ability of ant colony for a more direct controlling. The experimental results show that the new algorithm is effective.