傳值CCS和π-演算互模擬等價的驗證理論和算法

　　全書共分11章，內(nèi)容包括：緒論、局域熱動平衡的輻射輸運方程和平均不透明度、等離子體輻射吸收系統(tǒng)和原子輻射躍進理論、粒子占據(jù)數(shù)的計算、原子及其離子的能級結構和光學振子強度、電子與原子的碰撞和譜線的電子碰撞展寬等。

　　男，1963年9月出生于湖南省湘鄉(xiāng)縣。1984年武漢大學計算機系本科畢業(yè)，1986年國防科技大學計算機系研究生畢業(yè)留校工作，1999年在本校獲得博士學位。現(xiàn)任國防科技大學計算機學院教授、博士生導師，歐洲理論計算機科學協(xié)會會員，ICYCS'2001和BASIC'2001等國際會議的程序委員會委員。長期從事計算機科學理論的教學和研究工作。先后承擔和主持多個國家自然科學基金和國家863計劃項目。在《中國科學》等刊特和ICALP'98等理論計算機科學的國際會議上發(fā)表論文40多篇，其中SCI收錄6篇，EI收錄10余篇。