北京航空航天大學(xué)

主要研究方向及特色：研究內(nèi)容：主要研究方向為網(wǎng)絡(luò)可靠性、軟件測試及軟件可靠性。具體技術(shù)包括：（i）網(wǎng)絡(luò)系統(tǒng)的可靠性建模和仿真技術(shù)；（ii）網(wǎng)絡(luò)特征故障的規(guī)律研究；（iii）網(wǎng)絡(luò)可靠性評估算法與技術(shù)；（iv）基于可靠性的網(wǎng)絡(luò)系統(tǒng)設(shè)計與優(yōu)化；（v)形式化方法在軟件及網(wǎng)絡(luò)可靠性設(shè)計和評估中的應(yīng)用等。研究特點：（i)研究與實踐結(jié)合緊密，研究來源于實際需求并最終服務(wù)于企業(yè)，注重把縱向課題的學(xué)術(shù)研究轉(zhuǎn)化為企業(yè)中的實際應(yīng)用；（ii）新交叉領(lǐng)域：研究主要以通信網(wǎng)絡(luò)系統(tǒng)為背景，網(wǎng)絡(luò)特征故障為核心，可靠性理論和技術(shù)為內(nèi)容，屬于計算機、通信和可靠性領(lǐng)域的新交叉研究領(lǐng)域。

電子信箱：hn@buaa.edu.cn

辦公電話：82339031

辦公地點：新主樓G906

通信地址：北京航空航天大學(xué)系統(tǒng)工程與可靠性學(xué)院

個人簡介：

黃寧，北京航空航天大學(xué)可靠性與系統(tǒng)工程學(xué)院教授，中國計算機學(xué)會高級會員，IEEE會員。

1997年3月于北京航空航天大學(xué)計算機學(xué)院獲計算機軟件博士學(xué)位，同年留任北航計算機學(xué)院，主要研究電子商務(wù)中的先進計算機技術(shù)（Web服務(wù)軟件技術(shù)和本體技術(shù)在領(lǐng)域知識中的應(yīng)用），描述邏輯和重寫邏輯等形式化方法在SOA(Service Objected Architecture)軟件中的測試和可靠性分析。1999年7月聘為副教授。2006年8月-2007年8月美國伊利諾大學(xué)香檳分校（UIUC）計算機系形式化方法和系統(tǒng)實驗室訪問學(xué)者。2008年4月調(diào)入北航工程系統(tǒng)工程系主持網(wǎng)絡(luò)可靠性研究(http://netrel.buaa.edu.cn)，同年聘為教授。現(xiàn)為可靠性與系統(tǒng)工程學(xué)院網(wǎng)絡(luò)可靠性與軟件可靠性方向的學(xué)術(shù)帶頭人，針對軟硬件緊耦合、故障傳播和使用依賴的網(wǎng)絡(luò)系統(tǒng)特點，研究傳統(tǒng)可靠性擴展下的網(wǎng)絡(luò)可靠性理論與方法，尤其是數(shù)據(jù)通信網(wǎng)絡(luò)的可靠性建模理論、仿真和試驗分析方法與技術(shù)。

先后主持了預(yù)研重點基金、技術(shù)基礎(chǔ)、十五、十二五預(yù)研等科研項目，在網(wǎng)絡(luò)可靠性研究中完成或正在負(fù)責(zé)“某類網(wǎng)絡(luò)的半實物可靠性試驗方法和平臺研究與實現(xiàn)”，“機載網(wǎng)絡(luò)可靠性參數(shù)與評價方法研究”，“某類網(wǎng)絡(luò)的仿真可靠性分析原理與技術(shù)”等縱向科研項目以及多個企業(yè)橫向項目，在國內(nèi)外期刊和會議上發(fā)表SCI/EI檢索論文八十多篇。指導(dǎo)畢業(yè)的研究生二十多人（含1名國際學(xué)生），其中2人獲校優(yōu)秀碩士論文。

研究內(nèi)容：主要研究方向為網(wǎng)絡(luò)可靠性、軟件測試及軟件可靠性。具體技術(shù)包括：（i）網(wǎng)絡(luò)系統(tǒng)的可靠性建模和仿真技術(shù)；（ii）網(wǎng)絡(luò)特征故障的規(guī)律研究；（iii）網(wǎng)絡(luò)可靠性評估算法與技術(shù)；（iv）基于可靠性的網(wǎng)絡(luò)系統(tǒng)設(shè)計與優(yōu)化；（v)形式化方法在軟件及網(wǎng)絡(luò)可靠性設(shè)計和評估中的應(yīng)用等。

研究特點：（i)研究與實踐結(jié)合緊密，研究來源于實際需求并最終服務(wù)于企業(yè)，注重把縱向課題的學(xué)術(shù)研究轉(zhuǎn)化為企業(yè)中的實際應(yīng)用；（ii）新交叉領(lǐng)域：研究主要以通信網(wǎng)絡(luò)系統(tǒng)為背景，網(wǎng)絡(luò)特征故障為核心，可靠性理論和技術(shù)為內(nèi)容，屬于計算機、通信和可靠性領(lǐng)域的新交叉研究領(lǐng)域。

講授課程：先后為本科生和研究生主講過電子商務(wù)概論，電子商務(wù)技術(shù)與信息安全，以及程序設(shè)計語言原理。目前開設(shè)的課程：網(wǎng)絡(luò)可靠性概論；科學(xué)寫作與報告。