傳值CCS和π-演算互模擬等價(jià)的驗(yàn)證理論和算法

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

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