河南麻将多少张
學術動態
您當前所在位置: 首頁 > 學術動態

軟件學院專家報告:孔維強、李豪杰教授學術報告

發布日期 : 2019-07-02 瀏覽次數 :

報告題目:形式驗證技術概述及軟件工程專業工程教育認證體會

報告人:孔維強

報告時間:2019年7月16號上午9:00 - 10:30

報告地點:軟件學院會議室

報告摘要:

1)形式驗證作為安全攸關系統的可靠性保證技術,受到廣泛關注并于近年逐步應用到企業實踐中。本報告概要性介紹形式驗證技術的背景及基本方法,重點介紹報告人提出的基于混成計算的多核限界模型檢測技術,以及融合定理證明及模型檢測的大規模系統的形式驗證方法論。(2)工程教育專業認證逐漸受到各高校的普遍重視。本報告從軟件工程專業認證參與者的角度,介紹工程教育專業認證的經驗和體會,涵蓋認證前的準備、自評報告的撰寫、專家到校考察等方面的注意事項。

報告人簡介:

孔維強,大連理工大學軟件學院教授、博士生導師、軟件工程專業負責人、副院長。發表科研論文60余篇、形式驗證方向國外授權專利1項并商用化,近五年主持或參與國家自然科學基金重點項目、面上項目、國際企業橫向等科研項目7項;近五年參與國家教學成果獎二等獎1項、遼寧省教學成果獎一等獎1項,主持國家級專業建設項目1項、省級專業建設項目2項,發表教育教學論文10余篇,參與軟件工程專業工程教育專業認證及復評工作。


報告題目:基于深度學習的場景文字檢測與識別

報告人:李豪杰

報告時間2019年7月16號上午10:30 - 12:00

報告地點:軟件學院會議室

報告摘要:

圖像中的文字提供了豐富而精確的高級語義信息,對于場景理解、圖像和視頻檢索等眾多潛在應用具有重要意義,近年來受到了計算機視覺領域的廣泛關注。本報告將介紹基于深度學習的自然場景文字檢測和識別的面臨的挑戰、主要方法和研究進展,并針對文字尺度的多樣性以及圖像質量的不確定性等挑戰,介紹所提出的尺度自適應的文字檢測方法、多級特征融合和任務自適配的文字檢測方法。最后報告我們在文字識別方面的應用。

報告人簡介:

李豪杰,大連理工大學國際信息與軟件學院,教授,博士生導師,副院長。分別于1996年、2007年獲南開大學學士學位和中國科學院計算技術研究所博士學位。2007年至2009年在新加坡國立大學從事博士后研究。研究方向為多媒體信息檢索、計算機視覺、數據挖掘,在包括IEEE TCSVT、IEEE TIP、IEEE TMM等頂級國際期刊和ACM MM、ICMR、ICME等重要國際會議發表論文80余篇。 近年來主持國家自然科學基金面上項目3項,主持國際合作、教育部留學回國人員基金等省部級項目及企業合作項目10余項。所研發軟件系統在國家體育總局、郵政、影視、智能制造等行業獲得推廣使用。

 

關閉

河南麻将多少张 广西快乐十分钟开奖结果 江西多乐彩直选三遗漏 14场胜负彩奖金多少钱 欢乐捕鱼大战如何使用锁定道具 今天甘肃快三开奖查询 pk10牛牛规则 内蒙古11选5 七星彩开奖有规律 梭哈英文 捕鱼游戏