孟小峰、周龙骧、王珊编写。软件学报上发表,中文