北京航空航天大學

導師詳細信息

姓名：黃寧

性別：女

出生年份：1968

職稱：研究員

院系：可靠性與系統(tǒng)工程學院

首次聘任導師時間：2011

現(xiàn)聘任導師一級學科名稱：控制科學與工程

現(xiàn)聘任導師二級學科名稱：系統(tǒng)工程

聘任在第二學科培養(yǎng)博士生專業(yè)名稱：無

聘任在自主設置學科培養(yǎng)博士生專業(yè)名稱：無

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

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

辦公電話：82339031

辦公地點：新主樓G906

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

個人簡介：

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

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

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

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

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

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