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