高安全系統(tǒng)的軟件開(kāi)發(fā)與驗(yàn)證技術(shù)工業(yè)和信息化部重點(diǎn)實(shí)驗(yàn)室（南京航空航天大學(xué)）開(kāi)放基金資助項(xiàng)目總結(jié)報(bào)告項(xiàng)目批準(zhǔn)號(hào)項(xiàng)目名稱(chēng)項(xiàng)目負(fù)責(zé)人所在單位聯(lián)系電話E-mail填寫(xiě)內(nèi)容以學(xué)術(shù)總結(jié)為主。1．主要研究結(jié)果,要有具體內(nèi)容及必要的數(shù)據(jù),特別要說(shuō)明其科學(xué)發(fā)現(xiàn)或創(chuàng)新點(diǎn)。2.．研究結(jié)果的科學(xué)意義,應(yīng)用前景,論著發(fā)表后學(xué)術(shù)界的反應(yīng)、檢索和引用。3．研究結(jié)果必須與預(yù)期計(jì)劃、目標(biāo)相比較、說(shuō)明完成情況及存在問(wèn)題。項(xiàng)目負(fù)責(zé)人：（簽章）年月日研究工作總結(jié)摘要主題詞

高安全系統(tǒng)的軟件開(kāi)發(fā)與驗(yàn)證技術(shù)工業(yè)和信息化部重點(diǎn)實(shí)驗(yàn)室（南京航空航天大學(xué)）開(kāi)放基金資助項(xiàng)目結(jié)題簡(jiǎn)表批準(zhǔn)號(hào)項(xiàng)目名稱(chēng)項(xiàng)目負(fù)責(zé)人專(zhuān)業(yè)技術(shù)職務(wù)所在單位單位性質(zhì)A高等院校B科研單位C其它實(shí)際參加人數(shù)高級(jí)中級(jí)初級(jí)博士后博士生碩士生研究經(jīng)費(fèi)資助總額研究期限計(jì)劃完成年月實(shí)際完成年月完學(xué)術(shù)會(huì)議交流專(zhuān)著出版期刊發(fā)表成論大會(huì)特邀報(bào)告分組報(bào)告或展示已出版擬出版全國(guó)性科技期刊國(guó)外學(xué)術(shù)刊物著(篇國(guó)際已發(fā)表待發(fā)表已發(fā)表待發(fā)表冊(cè))國(guó)內(nèi)結(jié)題論著評(píng)審審鑒定會(huì)議審定發(fā)明專(zhuān)利評(píng)審鑒定日期形式人才博士后博士碩士培養(yǎng)學(xué)國(guó)家級(jí)省部級(jí)國(guó)際（學(xué)術(shù)〕獎(jiǎng)其它術(shù)獎(jiǎng)自然科學(xué)獎(jiǎng)科技進(jìn)步獎(jiǎng)發(fā)明獎(jiǎng)自然科學(xué)獎(jiǎng)科技進(jìn)步獎(jiǎng)勵(lì)高安全系統(tǒng)的軟件開(kāi)發(fā)與驗(yàn)證技術(shù)工業(yè)和信息化部重點(diǎn)實(shí)驗(yàn)室（南京航空航天大學(xué)）開(kāi)放基金資助項(xiàng)目完成論著目錄主要作者作者單位發(fā)表時(shí)間論