【作者】 程国达；

【导师】 彭澄廉；

【作者基本信息】 复旦大学 ， 计算机软件与理论， 2003， 博士