歡迎訪問河南大學軟件學院官網!
              您現在的位置: 通知公告 >> 正文

              【學術報告】CCF信息系統專委會走進河南大學系列學術報告

              2020年08月05日 16:23     來源:     閱讀:


              時間:2020810 | 星期一 | 08:00-12:00

              現場地址:河南大學軟件學院三樓會議室

              騰訊會議ID232 699 983

              2020810 星期一 上午

              8:00-1200

              學術報告、研討

              CCF信息系統專委會走進河南大學活動介紹

                   教授

              特邀報告一:區塊鏈分布式處理關鍵技術與應用

              陶先平  教授

              特邀報告二:真實場景中科學和教學研究的探索

              徐寶文  教授

              特邀報告三:Python語言及其分析與優化

              報告簡介:

              報告一,區塊鏈是一種分布式記賬系統,由于其去中心化以及良好的防抵賴性、可靠性和安全性等特點,在非信任的互聯網環境下具有廣泛的應用需求,如支持虛擬貨幣、電子交易、物流快遞、確權認證的公有鏈,同時也擴展到支持行業和部門應用的聯盟鏈和私有鏈,在工業、農業、國防、公共事業、社會治理等各個領域具有廣泛的應用前景。本報告首先介紹區塊鏈的應用需求和挑戰,其次,介紹區塊鏈系統的基本原理,第三,介紹和分析當前主流區塊鏈系統(包括比特幣系統和以太坊系統)中的分布式處理關鍵技術,主要有:系統結構、數據存儲、安全保密、P2P網絡通信、共識與執行機制、容錯機制、智能合約等,最后,對區塊鏈技術與應用的發展趨勢進行展望,為了支持海量數據管理、高并發事務處理以及區塊鏈的可控可管,需要研究區塊鏈性能提升技術、跨鏈技術、隱私保護技術、區塊鏈監管技術與安全性。

              報告二,解決真問題和真解決問題是我們從事科學和教學研究的根本追求。本報告以室內定位/數據補全兩個科研案例以及問題求解課程改革/入門課程學習過程認知兩個教學案例出發,介紹講者在科研和教改過程中對真實問題、真解問題的一些思考和實踐。

              報告三,Python語言因其語法靈活,編寫便捷,在當前的軟件工程實踐中獲得了極其廣泛的應用。同時,Python語言的特性,也為軟件質量以及相關測試分析技術帶來了新的挑戰。本報告首先介紹了動態語言發展歷史,討論了程序語言及相關特征在設計與實現上對于軟件工程實踐的影響,然后深入分析了Python語言特點及可能產生的問題。在此基礎上討論了針對Python語言特點的程序分析及優化技術,包括類型推導,軟件測試,軟件調試,靜態分析等技術的研究進展。

              專家簡介:

              于戈,東北大學計算機學院教授,博士生導師,中國計算機學會會士。1982年、1986年獲得東北大學計算機學士學位和碩士學位,1996年獲得日本九州大學計算機博士學位。主要研究領域包括:數據庫理論與技術、分布與并行式系統、云計算與大數據管理、區塊鏈技術與應用等。中國計算機學會信息系統專業委員會主任、數據庫專委會委員,以及系統軟件專委會委員,美國ACM會員、IEEE高級會員,《計算機學報》、《軟件學報》、《計算機研究與發展》等期刊編委。曾擔任第五屆、第六屆國務院學位委員會學科評議組成員,第十二屆、第十三屆國家自然科學基金委員會評審專家組成員,《IEEE TKDE》編委,以及VLDB, ICDE, CIKM, DASFAA等多屆重要國際會議的程序委員會委員。發表論文200余篇,出版分布式數據庫系統等專著和教材6部,譯著4部。獲得教育部自然科學二等獎等省級科學技術獎9項。獲得國務院政府津貼、教育部跨世紀人才基金中國高校青年教師獎。

              陶先平,博士,九三學社南大社委。南京大學計算機科學與技術系教授、博士生導師、南京大學計算機科學與技術系副主任。兼任中國計算機學會系統軟件專業委員會秘書長、中國計算機學會教育工委副主任。主要研究方向為軟件Agent技術、軟件中間件技術、網構軟件方法學、普適計算技術等。主持或參與了國家自然科學基金重點及面上項目、973項目、863項目(含目標導向類和探索導向類項目)、國家八五、九五、十五攻關項目、國家發改委高新技術產業化項目、江蘇省自然科學基金重點及一般項目、江蘇省高技術等項目等二十余項。在國內外重要刊物及一流國際會議論文集上發表論文60余篇,相關成果被國內外研究者多次引用。2004年獲得教育部提名國家科技獎自然科學一等獎,2006年獲國家科技進步二等獎,2010年獲教育部技術發明獎一等獎。

              徐寶文,南京大學計算機科學與技術系教授,博士生導師,中國計算機學會會士。分別獲武漢大學、華中科技大學、北京航空航天大學學士、碩士、博士學位,國防科大博士后。江蘇省軟件質量研究所所長;國家杰出青年科學基金獲得者。1990年與1994年分別破格晉升副教授與教授。國家自然科學基金委員會第十一、十二屆專家評審組成員。曾先后擔任中國計算機學會理事暨信息系統專委會主任(榮譽主任)、中國軟件行業協會理事、江蘇省計算機學會副理事長、江蘇省軟件行業協會副理事長(副會長),教育部高等學校計算機科學與技術、軟件工程教學指導分委員會委員等。主要從事程序設計語言、軟件工程(軟件方法論、軟件分析、度量與測試)等方面的研究。擔任國際學術會議主席、程序委員會主席/委員等100余次。主編系列叢書(教材)三部,出版著譯作10余部,發表論文400余篇。作為第一獲獎者獲得省部級科技進步(自然科學)一等獎四次、二等獎5次、三四等獎若干次。

              上一條:軟件學院“軟件工程卓越班”招生簡介 下一條:河南大學軟件學院勞務派遣人員招聘公告

              關閉

              凤凰彩票网站