【本站訊】7月23日-25日，由計算機與控制工程學院承辦的HCP2024第七屆難解問題的表示、算法與應用研討會在我校舉行。會議邀請了來自中國科學院、中國工業互聯網研究院、北京大學、清華大學等科研院所、高校以及華為、聯想等企業的優秀學者作學術報告，100余名學者和研究人員參會。計算機與控制工程學院趙相福教授主持開幕式，院長童向榮致歡迎辭，中國科學院軟件研究所蔡少偉研究員、趙相福教授分別主持專家報告環節。
本次會議設置了形式化驗證與軟件測試、約束滿足與組合優化和產業應用三大主題，聚焦于問題的表示、算法和工業相關實際應用場景的深度融合展開研討。
清華大學計算機系陳文光教授圍繞“大規模圖計算與程序分析”主題，對并行圖計算技術的發展和應用以及利用圖計算來進行程序分析兩個方面的工作進展進行介紹。他指出，現有系統可高效地并行處理涉及萬億點、百萬億邊的超大圖，并且可以借助圖計算的能力來處理程序分析中的大規模數據流圖。
山東大學網絡空間安全學院常務副院長王美琴教授以“自動化密碼算法分析方法研究進展”為主題作報告。報告提到，在解放密碼分析人員的勞動力和提升密碼算法設計水平方面，自動化搜索方法功不可沒。隨著研究深入，其在許多搜索任務中的效率和準確性問題逐漸成為限制進一步應用的核心問題。現有自動化搜索方法依賴數學求解工具，難免受限于求解器的計算能力。她還具體介紹了一系列自動化工具，描述了目前使用自動化工具遇到的跟求解器相關的瓶頸問題。
中國工業互聯網研究院數據管理與應用研究所高級工程師姜元博士圍繞“數據智能推動企業數字化轉型的理論研究及實踐探索”主題，從宏觀層面分析了數字化轉型的趨勢、內涵和核心路徑，總結了數據要素對加快重點行業數字化轉型的重要作用，展望了優化算法在管理優化、能源優化和生產運行優化等典型場景中重要應用。
會議期間，多位優秀學者圍繞多個主題作學術報告。現場參會人員認真聽取報告，就各項研究理論創新、技術方法及現實應用等問題與報告專家進行互動與交流。
來稿時間：7月31日 審核：段昕 責任編輯：孫艷
