報(bào)告題目一:進(jìn)化優(yōu)化與知識(shí)共融的軟件智能測試方法
報(bào)告人:鞏敦衛(wèi)教授
單位:中國礦業(yè)大學(xué)信息與控制工程學(xué)院
報(bào)告時(shí)間:2019年11月19日(星期二)下午3點(diǎn)
報(bào)告地點(diǎn):翡翠科教樓A座1104會(huì)議室
報(bào)告人簡介:
中國礦業(yè)大學(xué)信息與控制工程學(xué)院教授,控制科學(xué)與工程學(xué)科博士生導(dǎo)師,智能優(yōu)化與控制研究團(tuán)隊(duì)負(fù)責(zé)人。研究方向?yàn)橹悄苘浖こ?、?fù)雜優(yōu)化問題進(jìn)化求解、智能感知與控制、智能數(shù)據(jù)處理與解析。教育部“新世紀(jì)優(yōu)秀人才支持計(jì)劃”、江蘇省“333高層次人才培養(yǎng)工程”和“六大人才高峰”高層次人才入選者,甘肅省“飛天學(xué)者”講座教授。為江蘇省自動(dòng)化學(xué)會(huì)常務(wù)理事、副秘書長,中國計(jì)算機(jī)學(xué)會(huì)機(jī)器學(xué)習(xí)專業(yè)委員會(huì)、軟件工程專業(yè)委員會(huì)委員,中國人工智能學(xué)會(huì)智能空天系統(tǒng)專業(yè)委員會(huì)委員,中國自動(dòng)化學(xué)會(huì)大數(shù)據(jù)專業(yè)委員會(huì)委員,中國仿真學(xué)會(huì)智能仿真優(yōu)化與調(diào)度專業(yè)委員會(huì)委員,國家自然科學(xué)基金委員會(huì)信息學(xué)部會(huì)評(píng)專家,《控制與決策》編委。獲江蘇省教學(xué)成果二等獎(jiǎng)1項(xiàng)(排名第2),指導(dǎo)的學(xué)生獲國際大學(xué)生數(shù)學(xué)建模競賽一等獎(jiǎng)3項(xiàng)、二等獎(jiǎng)7項(xiàng),江蘇省優(yōu)秀碩士學(xué)位論文4篇。主持國家“973”計(jì)劃子課題1項(xiàng),國家重點(diǎn)研發(fā)計(jì)劃子課題1項(xiàng),國家自然科學(xué)基金6項(xiàng),省部級(jí)科研項(xiàng)目8項(xiàng);獲高等學(xué)??茖W(xué)研究優(yōu)秀成果二等獎(jiǎng)、江蘇省科學(xué)技術(shù)二等獎(jiǎng)、中國電子學(xué)會(huì)電子信息科學(xué)技術(shù)二等獎(jiǎng)各1項(xiàng)(均排名第1);獲授權(quán)發(fā)明專利15項(xiàng);出版專著8部;發(fā)表IEEE TEVC、TCYB等頂級(jí)期刊在內(nèi)論文60余篇。
報(bào)告摘要:
軟件測試是保證軟件質(zhì)量的重要手段。測試過程中,進(jìn)化優(yōu)化與知識(shí)共融能夠提高測試效率。報(bào)告針對(duì)串行程序變異測試,給出通過占優(yōu)關(guān)系約減變異體和進(jìn)化生成測試數(shù)據(jù),提高變異測試效率的方法;針對(duì)并行程序覆蓋測試,給出通過選擇高性能調(diào)度序列和進(jìn)化生成測試數(shù)據(jù),提高覆蓋測試效率的方法。最后,指出需要進(jìn)一步研究的問題。
報(bào)告題目二:面向復(fù)雜環(huán)境時(shí)序數(shù)據(jù)變化趨勢跟蹤的深度學(xué)習(xí)
報(bào)告人:孫曉燕教授
單位:中國礦業(yè)大學(xué)信息與控制工程學(xué)院
報(bào)告時(shí)間:2019年11月19日(星期二)下午4點(diǎn)
報(bào)告地點(diǎn):翡翠科教樓A座1104會(huì)議室
報(bào)告人簡介:
中國礦業(yè)大學(xué)信息與控制工程學(xué)院教授,控制科學(xué)與工程學(xué)科博士生導(dǎo)師。研究方向?yàn)閺?fù)雜系統(tǒng)智能優(yōu)化與控制、大規(guī)模數(shù)據(jù)機(jī)器學(xué)習(xí)、能源互聯(lián)網(wǎng)與區(qū)域綜合能源優(yōu)化等。江蘇省優(yōu)秀共產(chǎn)黨員、江蘇省六大高峰人才、中國礦業(yè)大學(xué)優(yōu)秀青年骨干教師、中青年學(xué)術(shù)帶頭人。為國際間重大合作項(xiàng)目會(huì)評(píng)專家,國家自然科學(xué)基金函審專家;江蘇省自動(dòng)化學(xué)會(huì)智能優(yōu)化與應(yīng)用專委會(huì)秘書長;中國礦業(yè)大學(xué)女教授聯(lián)誼會(huì)秘書長;中國礦業(yè)大學(xué)歐美同學(xué)聯(lián)合會(huì)理事;IEEE計(jì)算智能學(xué)會(huì)會(huì)員;《Soft Computing》編委、Intelligent Systems Applications Technical Committee委員。在科學(xué)出版社出版專著2部,在TEVC、TCYB、TNNLS等高水平學(xué)術(shù)期刊發(fā)表學(xué)術(shù)論文50余篇;授權(quán)發(fā)明專利2項(xiàng);獲省部級(jí)獎(jiǎng)勵(lì)2項(xiàng);主持國家自然科學(xué)基金項(xiàng)目3項(xiàng),省部級(jí)項(xiàng)目4項(xiàng),作為核心成員,參與省部級(jí)以上項(xiàng)目近10項(xiàng)。
報(bào)告摘要:
復(fù)雜環(huán)境感知與安全預(yù)警對(duì)于安全生產(chǎn)和健康生活具有重要意義,隨著檢測技術(shù)的發(fā)展和監(jiān)測方法的提高,可感知各類環(huán)境變化的實(shí)時(shí)時(shí)序數(shù)據(jù)信息,基于歷史信息的時(shí)序分析已有豐碩的研究成果。然而,在實(shí)際問題中,融合多源感知信息的環(huán)境變化趨勢分析往往更具有實(shí)際意義,但是,工業(yè)領(lǐng)域相關(guān)研究成果還較少。針對(duì)上述問題,基于當(dāng)前深度學(xué)習(xí)的成果,我們研究了工業(yè)時(shí)序數(shù)據(jù)的趨勢定義方法、融合智能優(yōu)化的長短期記憶網(wǎng)絡(luò)的趨勢跟蹤分析、考慮多源數(shù)據(jù)和隱私保護(hù)的聯(lián)邦深度學(xué)習(xí)趨勢特征抽取和跟蹤策略,以及針對(duì)多源數(shù)據(jù)異構(gòu)特性的異構(gòu)低通訊代價(jià)的聯(lián)邦深度學(xué)習(xí)機(jī)制等。將所提算法應(yīng)用于煤礦井下電磁輻射數(shù)據(jù)的變化趨勢跟蹤中,說明其有效性。