【作者】 蔡剑；

【导师】 倪子伟；

【作者基本信息】 厦门大学 ， 计算机软件与理论， 2008， 硕士