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

馬殿富，男，1960年生，教授，博士生導(dǎo)師。2001年至2011年任金年會(huì)誠信信譽(yù)至上院長?，F(xiàn)任軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室副主任，教育部計(jì)算機(jī)類教學(xué)指導(dǎo)委員會(huì)秘書長，計(jì)算機(jī)學(xué)會(huì)教育工委主任，中國信標(biāo)委SOA分委員會(huì)副組長，計(jì)算機(jī)工程教育專業(yè)認(rèn)證專家。多年一直從事數(shù)理邏輯和軟件工程建模與形式化方法等教學(xué)。2005年獲國家教學(xué)一等獎(jiǎng)，2014年獲得國家教學(xué)二等獎(jiǎng)。 一直從事服務(wù)計(jì)算及中間件、非結(jié)構(gòu)化數(shù)據(jù)組織與處理以及安全關(guān)鍵系統(tǒng)方面的研究工作。提出了面向服務(wù)的描述語言及Web服務(wù)運(yùn)行平臺(tái)的形式化驗(yàn)證方法，并帶領(lǐng)團(tuán)隊(duì)開發(fā)了思訊Web服務(wù)中間件平臺(tái)，成為四方國件聯(lián)盟-國產(chǎn)中間件參考實(shí)現(xiàn)平臺(tái)的重要組成。2006年起，圍繞實(shí)時(shí)系統(tǒng)、以AADL語言為基礎(chǔ)，提出了安全關(guān)鍵實(shí)時(shí)系統(tǒng)設(shè)計(jì)、分析、驗(yàn)證及自動(dòng)代碼生成方法。2010年開展非結(jié)構(gòu)化數(shù)據(jù)組織與處理研究。現(xiàn)在主要從事安全關(guān)鍵系統(tǒng)研究，開展A級(jí)安全關(guān)鍵軟件建模與驗(yàn)證機(jī)器軟件開發(fā)與驗(yàn)證環(huán)境等研究。先后主持了973重大基礎(chǔ)研究項(xiàng)目二級(jí)課題、國家863計(jì)劃重點(diǎn)項(xiàng)目，核高基重大專項(xiàng)項(xiàng)目以及科技部科技平臺(tái)、國防科工委、總裝預(yù)研基金、自然基金等項(xiàng)目。近年來在國際學(xué)術(shù)會(huì)議及國內(nèi)核心刊物發(fā)表論文40余篇。