传值CCS和π-演算互模拟等价的验证理论和算法

　　全书共分11章，内容包括：绪论、局域热动平衡的辐射输运方程和平均不透明度、等离子体辐射吸收系统和原子辐射跃进理论、粒子占据数的计算、原子及其离子的能级结构和光学振子强度、电子与原子的碰撞和谱线的电子碰撞展宽等。

　　男，1963年9月出生于湖南省湘乡县。1984年武汉大学计算机系本科毕业，1986年国防科技大学计算机系研究生毕业留校工作，1999年在本校获得博士学位。现任国防科技大学计算机学院教授、博士生导师，欧洲理论计算机科学协会会员，ICYCS'2001和BASIC'2001等国际会议的程序委员会委员。长期从事计算机科学理论的教学和研究工作。先后承担和主持多个国家自然科学基金和国家863计划项目。在《中国科学》等刊特和ICALP'98等理论计算机科学的国际会议上发表论文40多篇，其中SCI收录6篇，EI收录10余篇。