9月7-8日，在中國科大即將迎來甲子華誕之際，首屆“中國科大-合肥物聯網安全與智慧城市”高峯論壇在中國科大東區水上報告廳舉行。本次論壇由中國科大主辦、合肥市人民政府和ACM中國等單位協辦。論壇邀請到圖靈獎得主Leslie Valiant教授，中國科學院院士王小云教授，“CCF王選獎”獲得者李建中教授，長江學者特聘教授馬健峯教授、馬華東教授，千人計劃專家張燕詠教授等國內外著名專家學者，圍繞物聯網安全和智慧城市主題展開演講和討論。中國科大校長包信和院士出席論壇並致辭。開幕式由計算機學院執行院長李向陽教授主持。

開幕式上，李向陽首先對各位專家學者的到來表示熱烈歡迎。他說，本次論壇在中國科大喜迎六十華誕之際舉辦，希望能爲與會專家學者提供交流平臺，併爲甲子校慶的到來增光添彩。

包信和在致辭中說，在中國科大六十週年校慶即將到來之際，熱烈歡迎各位嘉賓的到來。紅專並進一甲子，科教報國六十年。中國科大始終堅守科教報國、英才教育理念，以一流的人才培養質量和高水平的原創性科技成果，贏得了“英才之搖籃、創新之重鎮”的美譽。他表示，隨着物聯網和智慧城市的發展，智能的物聯網已經滲透到每個人生活的各個方面，同時物聯網的安全問題給物聯網應用也帶來了巨大挑戰。本次論壇的舉辦，相信一定能夠碰撞出創新的火花，爲解決物聯網安全和智慧城市的核心科學問題提供源動力。

在論壇報告環節，來自哈佛大學、清華大學、哈爾濱工業大學、西安電子科大、北京郵電大學和中國科大的6位報告嘉賓，分別以機器學習、Hash函數與區塊鏈技術、數據可用性的理論與技術、智能電子系統的綜合安全防護的關鍵技術與應用、物聯網+人工智能、前沿無線技術在物聯網中的運用等爲題，與200餘位參會師生分享了高水平的研究成果。

2010年ACM圖靈獎得主、英國皇家學會會士、美國國家科學院院士、哈佛大學Leslie Valiant教授帶來了題爲“What Needs to be Added to Machine Learning?”的精彩報告。Valiant教授提出瞭如何在機器學習的基礎上，解決人工智能這一更爲廣泛的目標。他認爲推理是認知的主要組成部分，最大的挑戰在於將學習和推理統一起來。Valiant教授提出了一個具有共同語義的框架，對此框架進行實驗性的測試依然是未來將要面對的主要挑戰。

清華大學王小云院士分享了題爲“Hash函數與區塊鏈技術”的精彩報告。她介紹了Hash函數的基本安全屬性，及其在密碼系統設計特別是在區塊鏈技術與產業中的重要應用。王小云從與人們息息相關的生活細節切入，讓聽衆體會到密碼在生活中的重要作用，並針對如何保護個人數據安全提出了一些建議。她最後說，目前的加密算法還不能完全滿足物聯網的“輕量級、低複雜度”的需求，開發適用於物聯網的安全機制將成爲今後的一個工作重點。

哈爾濱工業大學李建中教授以“CPS安全的一個重要方面---CPS數據的正確性”爲題，爲與會人員帶來精彩報告。他說，物聯網的出現帶來了海量的數據，但隨着數據的迅速增長，數據錯誤也隨之蔓延，減低了數據的可用性，對物聯網和數據驅動的人工智能具有嚴重的影響。報告中，李建中首先介紹了數據可用性的基本概念，包括數據可用性的研究背景、數據可用性的定義、數據可用性對物聯網和數據驅動的人工智能的影響；然後討論了數據可用性的研究問題，包括數據可用性表達機理、數據可用性的判定理論、數據錯誤的自動發現與修復、弱可用數據上的近似計算等問題；最後介紹了相關團隊在數據可用性方面的研究工作和研究結果。

西安電子科技大學馬建峯教授的報告題目是“智能電子系統的綜合安全防護的關鍵技術與應用”。智能化、網絡化的電子系統具有日益強大的功能和優越的性能，但同時也更容易遭受安全攻擊，智能電子系統的安全問題日益突出。而高可用性是智能電子系統的基本目標，取決於高可靠性、高實時性和高安全性等機制的有機融合。傳統的網絡安全和系統安全技術以計算系統的安全防護爲目標，不能完全適應電子系統的安全需求。因此爲了實現智能電子系統的全面安全保障，需要構建整體考慮終端、網絡以及服務的綜合化安全防護體系。

北京郵電大學馬華東教授的報告題目爲“物聯網+人工智能：機會與探索”。他以智慧城市應用爲背景，介紹了智能感知網絡面臨的挑戰，特別是結合AI理論在物聯網環境中感知、組網、計算、服務等方面進行的探索和相關研究進展，最後對未來物聯網發展進行了展望。他表示，相信人工智能的快速發展肯定會爲物聯網帶來很多新的機會。

中國科大張燕詠教授在報告中深入淺出地介紹了前沿無線通信技術在物聯網中的應用。微小的物聯網設備已經在多個領域嶄露頭角，然而由於低成本等因素的制約，其正面臨着電力、通信和安全等方面的挑戰。張燕詠從分佈式波束形成、天線陣和反向散射等方面，通過定向充電等幾個實例，介紹了一些最前沿的技術，報告受到熱烈歡迎。

9月8日，論壇嘉賓前往科大訊飛公司、新華三公司、合肥國際人才城進行實地考察。科大訊飛擁有國內領先的智能交互技術服務平臺，提供語音合成、語音識別、語義理解、文字識別、人臉識別、聲紋識別等人工智能技術和AIUI人機交互技術方案、智能硬件與IoT解決方案，開放豐富的接入方式和穩定的服務，產品目標爲“能聽會說、能看會認、能理解會思考”。本次論壇上應用“訊飛聽見”系統實現同聲傳譯，展現了人工智能技術帶來的高度便捷性。在講解員的引領講解下，嘉賓們瞭解了公司歷史和榮譽，並參觀了訊飛聽見、語音智能網絡電視、訊飛輸入法等平臺和服務。隨後，論壇嘉賓還參觀了合肥國際人才城和致力於新IT解決方案的新華三公司。

（計算機科學與技術學院、國際合作與交流部）