ENGLISH
2016-10-19 星期三 21:24:32
學術動態
專業導讀
當前位置: 首頁 / 學術動態 / 正文
軟件學院專家報告:孔維強、李豪傑教授學術報告
發布日期: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余项。所研发软件系统在国家体育总局、邮政、影视、智能制造等行业获得推广使用。

 


上一篇:·經濟學院專家講座:胡武陽教授講座預告
下一篇:·體育科學學院專家報告:美國春田學院沃爾教授學術報告預告