神州娱乐在线首页gm777.top是一家集神州娱乐在线首页,神州娱乐在线首页,神州娱乐在线首页于一体的综合性娱乐公司,为玩家提供全方位的游戏体验,诚邀您的体验。

收藏本站 | 設為神州娱乐在线首页
學術動態
專業導讀
當前位置: 神州娱乐在线首页 / 學術動態 / 正文
軟件學院專家報告:孔維強、李豪杰教授學術報告
發布日期: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余項。所研發軟件系統在國家體育總局、郵政神州娱乐在线首页、影視、智能制造等行業獲得推廣使用。

 


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