国产免费爽爽视频在线观看,精品国产免费一区二区三区香蕉,久青草国产97香蕉在线视频 ,久久人人爽人人人人片AV

2003年博士畢業(yè)于吉林大學(xué)計(jì)算機(jī)軟件與理論專業(yè)，2007年北航博士后出站留校，獲得北航優(yōu)秀博士后。2012年3月至7月，在德國(guó)波茲坦大學(xué)做訪問學(xué)者。現(xiàn)工作于北航金年會(huì)誠(chéng)信信譽(yù)至上軟件開發(fā)環(huán)境國(guó)家重點(diǎn)實(shí)驗(yàn)室。

主要研究方向?yàn)檐浖问交椒ā⒚嫦蚝娇蘸教斓陌踩P(guān)系統(tǒng)可信性驗(yàn)證等。

在基礎(chǔ)研究方面，對(duì)語義形式化方法和網(wǎng)絡(luò)環(huán)境下計(jì)算的形式化模型展開研究，取得了系列研究成果。主持承擔(dān)多項(xiàng)國(guó)家級(jí)、省部級(jí)科研項(xiàng)目。包括國(guó)家自然科學(xué)基金、科技部重點(diǎn)創(chuàng)新基金、國(guó)家重點(diǎn)實(shí)驗(yàn)室基金項(xiàng)目等，作為技術(shù)骨干參與多項(xiàng)973課題、863課題以及國(guó)家科技支撐計(jì)劃項(xiàng)目等。

在應(yīng)用基礎(chǔ)研究方面，結(jié)合研究?jī)?nèi)容，從事多項(xiàng)航天器自動(dòng)化測(cè)試、航空任務(wù)電子系統(tǒng)自動(dòng)化檢測(cè)項(xiàng)目。以航空航天安全攸關(guān)系統(tǒng)可信性研究為主，采用軟件形式化方法對(duì)航空航天安全攸關(guān)系統(tǒng)可信性研究中的關(guān)鍵技術(shù)展開研究，取得了系統(tǒng)的研究成果，并成功應(yīng)用于航空航天實(shí)際相關(guān)應(yīng)用領(lǐng)域中。其中，任務(wù)電子系統(tǒng)自動(dòng)化檢測(cè)產(chǎn)品已經(jīng)部隊(duì)列裝，并持續(xù)應(yīng)用于后續(xù)新型中型預(yù)警機(jī)（新中預(yù)）；面向航天器自動(dòng)化測(cè)試的通用測(cè)試語言及系統(tǒng)，已成為中國(guó)空間技術(shù)研究院日常測(cè)試業(yè)務(wù)支撐平臺(tái)。除此之外還主持承擔(dān)多項(xiàng)民政部、地震等行業(yè)互聯(lián)網(wǎng)方面相關(guān)項(xiàng)目，研發(fā)的系統(tǒng)及平臺(tái)實(shí)際應(yīng)用于相關(guān)行業(yè)中。