永利赌场娱乐城-永利赌场 天幕表演-永利高开户hbtyg

作者：嚴(yán)都力    核稿：馬樂(lè)榮     攝影：焦 瑞

本網(wǎng)訊 6月13日，由中國(guó)人工智能學(xué)會(huì)、延安大學(xué)、延安市科學(xué)技術(shù)協(xié)會(huì)、延安市數(shù)學(xué)與計(jì)算機(jī)學(xué)會(huì)聯(lián)合主辦，延安大學(xué)科技處、數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院共同承辦的“中國(guó)人工智能學(xué)會(huì)走進(jìn)延安大學(xué)”活動(dòng)在延安大學(xué)新城校區(qū)行政樓舉辦。本次活動(dòng)以“智能系統(tǒng)優(yōu)化與學(xué)習(xí)推理融合：賦能革命老區(qū)創(chuàng)新發(fā)展”為主題，邀請(qǐng)CAAI人工智能邏輯專(zhuān)業(yè)委員會(huì)主任委員、華東師范大學(xué)陳儀香教授，CAAI人工智能邏輯專(zhuān)業(yè)委員會(huì)副主任委員、深圳大學(xué)裴繼紅教授、吉林大學(xué)張永剛教授以及鄭州輕工業(yè)大學(xué)陶紅偉教授等帶來(lái)7場(chǎng)精彩的學(xué)術(shù)講座。延安大學(xué)副校長(zhǎng)呂磊、延安市科學(xué)技術(shù)協(xié)會(huì)秘書(shū)長(zhǎng)劉旸等出席開(kāi)幕式，開(kāi)幕式由延安大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院院長(zhǎng)馬樂(lè)榮主持。

開(kāi)幕式上，呂磊代表學(xué)校致辭。他介紹了延安大學(xué)作為中國(guó)共產(chǎn)黨創(chuàng)辦的第一所綜合性大學(xué)的特殊歷史地位及其優(yōu)良辦學(xué)傳統(tǒng)，并闡述了新時(shí)期推進(jìn)“更有特色、更有水平”大學(xué)建設(shè)的創(chuàng)新實(shí)踐。他期望通過(guò)本次活動(dòng)深化前沿學(xué)術(shù)交流與產(chǎn)業(yè)融合，借力學(xué)會(huì)資源提升學(xué)科建設(shè)水平，服務(wù)老區(qū)產(chǎn)業(yè)發(fā)展。

陳儀香教授致辭并做題為“智能系統(tǒng)優(yōu)化設(shè)計(jì)”的報(bào)告。采用人工智能邏輯進(jìn)行系統(tǒng)建模，運(yùn)用線(xiàn)性規(guī)劃實(shí)現(xiàn)軟硬件劃分優(yōu)化，并基于軟硬件異構(gòu)芯片完成交通標(biāo)識(shí)識(shí)別系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)，有效提升了系統(tǒng)性能。裴繼紅教授做題為“深度卷積神經(jīng)網(wǎng)絡(luò)的結(jié)構(gòu)壓縮優(yōu)化方法研究”的報(bào)告。聚焦深度卷積神經(jīng)網(wǎng)絡(luò)（DCNN）結(jié)構(gòu)化剪枝研究，探索了多種卷積核與濾波器剪枝方法，并創(chuàng)新性地提出剪枝后網(wǎng)絡(luò)的清洗技術(shù)，有效移除了冗余結(jié)構(gòu)，在保證模型精度基本不變的前提下顯著提升了網(wǎng)絡(luò)運(yùn)行效率，實(shí)現(xiàn)了模型輕量化。張永剛教授做題為“約束推理與智能規(guī)劃歷史與研究進(jìn)展”的報(bào)告。系統(tǒng)回顧約束求解與智能規(guī)劃發(fā)展歷程，從達(dá)特茅斯會(huì)議符號(hào)主義起源到STRIPS規(guī)劃系統(tǒng)演進(jìn)。重點(diǎn)探討“學(xué)習(xí)－推理”融合新范式。同時(shí)剖析LLM在自主規(guī)劃中的局限性，提出LLM-Modulo驗(yàn)證框架，并展示在路徑規(guī)劃、芯片布局等領(lǐng)域的應(yīng)用創(chuàng)新。陶紅偉教授做題為“基于代碼圖語(yǔ)義的軟件缺陷預(yù)測(cè)研究”的報(bào)告。利用BiLSTM提取程序控制流圖（CFG）與依賴(lài)圖（PDG）語(yǔ)義特征，并應(yīng)用圖神經(jīng)網(wǎng)絡(luò)（GNN）提取抽象語(yǔ)法樹(shù)（AST）語(yǔ)義特征，將兩者用于高效預(yù)測(cè)軟件缺陷。延安大學(xué)數(shù)計(jì)學(xué)院何進(jìn)榮教授做題為“跨域小樣本高光譜圖像分類(lèi)中的原型對(duì)齊方法研究”。提出語(yǔ)義引導(dǎo)原型學(xué)習(xí)框架，設(shè)計(jì)多級(jí)原型對(duì)齊架構(gòu)，融合特征對(duì)齊、原型對(duì)抗訓(xùn)練及元學(xué)習(xí)，實(shí)現(xiàn)層次化域適應(yīng)。顯著增強(qiáng)原型區(qū)分度與跨域泛化能力。數(shù)計(jì)學(xué)院牛永潔副教授做題為“非線(xiàn)性層次編輯：一個(gè)強(qiáng)大的人臉編輯框架”。通過(guò)無(wú)監(jiān)督識(shí)別潛空間非線(xiàn)性編輯路徑，結(jié)合屬性評(píng)估器自動(dòng)解析路徑語(yǔ)義；采用逐層評(píng)分定位關(guān)鍵編輯層，僅修改語(yǔ)義相關(guān)層實(shí)現(xiàn)精準(zhǔn)控制。數(shù)計(jì)學(xué)院陳新莊老師做題為“代數(shù)連通度在多智能體系統(tǒng)一致性研究中的應(yīng)用”。闡明代數(shù)連通度對(duì)多智能體系統(tǒng)一致性的關(guān)鍵作用，同時(shí)總結(jié)連通度優(yōu)化方法并提出若干開(kāi)放問(wèn)題。

會(huì)后，CAAI專(zhuān)委會(huì)委員與數(shù)計(jì)學(xué)院部分師生舉行了座談會(huì)，圍繞教學(xué)改革、科研攻關(guān)、學(xué)科凝練、實(shí)驗(yàn)室優(yōu)化、科研基地建設(shè)以及博士點(diǎn)申報(bào)進(jìn)行了深入交流，提出了具體指導(dǎo)建議，推動(dòng)學(xué)科內(nèi)涵式發(fā)展，助力科研創(chuàng)新與資源整合優(yōu)化，為學(xué)院高質(zhì)量發(fā)展把脈賦能。

CAAI走進(jìn)高校系列活動(dòng)是學(xué)會(huì)集聚專(zhuān)家資源促進(jìn)我國(guó)智能科學(xué)創(chuàng)新發(fā)展的關(guān)鍵舉措，旨在打造高校學(xué)術(shù)交流平臺(tái)、助推學(xué)科專(zhuān)業(yè)水平提升、加速?gòu)?fù)合型人才培養(yǎng)、強(qiáng)化產(chǎn)學(xué)深度融合。本次活動(dòng)走進(jìn)延安大學(xué)，為我校注入AI與計(jì)算機(jī)視覺(jué)領(lǐng)域新動(dòng)能，搭建產(chǎn)學(xué)研合作橋梁，對(duì)助力延安大學(xué)的智能科學(xué)基礎(chǔ)研究和理工、醫(yī)工結(jié)合應(yīng)用創(chuàng)新具有重要作用。