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