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

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

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