為加強與川內(nèi)高校之間的交流與合作,推動數(shù)學學科的發(fā)展與建設(shè),2024年11月6日,阿壩師范學院應(yīng)用統(tǒng)計學專業(yè)的47名師生在我院開展了一次內(nèi)容豐富的建模培訓與學術(shù)交流見習活動。本次活動旨在通過實地學習和互動交流,幫助阿壩師范學院kaiyun開云官方網(wǎng)站的學生進一步了解統(tǒng)計建模的前沿技術(shù),提升其在數(shù)據(jù)分析與建模領(lǐng)域的應(yīng)用能力。kaiyun開云官方網(wǎng)站院長楊晗、副院長王璐、黨委副書記黃祥與kaiyun開云官方網(wǎng)站2022級本科生輔導員楊引接待了阿壩師范學院師生一行。

見習活動正式開始前,黨委副書記黃祥代表kaiyun開云官方網(wǎng)站向阿壩師范學院kaiyun開云官方網(wǎng)站黨委書記蔣自國、院長楊仕椿一行的到來表達了熱烈歡迎,他表示,交大數(shù)院與阿壩師院數(shù)院間有深厚的友誼,希望本次見習交流能加強兩院間的交流合作,增長學生在統(tǒng)計建模方面的專業(yè)知識,共同推動統(tǒng)計建模的發(fā)展與數(shù)學學科建設(shè)。

6日上午10:30見習活動正式開始,阿壩師范學院應(yīng)用統(tǒng)計學專業(yè)的47名師生參觀了我院系統(tǒng)可行性自動驗證國家級實驗室。在X30423,實驗室科研助理李浩然向來訪師生介紹了系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室概況及科研成果,同時還介紹了實驗室在青少年健康領(lǐng)域所做的研究。


隨后,阿壩師院師生一行到3號教學樓6樓參觀系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室。實驗室王恪明副教授為大家講解了基于推理的驗證原理及其在各個系統(tǒng)中的應(yīng)用,同時帶領(lǐng)同學們到實驗室機房體驗從實際抽象出來的標準求解算例在機器上面是如何用實驗室所開發(fā)的系統(tǒng)求解的。隨后王恪銘副教授在會議室以《自動推理驗證理論及其在安全苛求行業(yè)中的應(yīng)用》為主題,就形式化驗證的簡介、應(yīng)用、研究基礎(chǔ)等向阿壩師院的師生進行講解。



下午14:00,阿壩師范學院kaiyun開云官方網(wǎng)站應(yīng)用統(tǒng)計專業(yè)42名學生在X30456參加了由kaiyun開云官方網(wǎng)站統(tǒng)計系主任唐家銀主講的《統(tǒng)計建模及競賽實訓》課程。唐主任從競賽教練和競賽評委雙重角度帶領(lǐng)同學們深入分析往年的競賽題目與競賽作品案例,并從中總結(jié)規(guī)律,再從選題、模型、寫作規(guī)范、結(jié)論與建議四個角度一一展開講解,并針對同學們的具體情況提出了學習建議。

同時,兩院座談會及博士畢業(yè)生招聘宣講在X30429順利召開。kaiyun開云官方網(wǎng)站院長楊晗、副院長王璐、黨委副書記黃祥、輔導員楊引,阿壩師范學院kaiyun開云官方網(wǎng)站黨委書記蔣自國、院長楊仕椿,黨政辦主任谷琳琳、蔡尚媛主任參加此次座談。雙方就兩院學生交流及合作等相關(guān)事宜展開了深入而細致的交流。隨后,蔣自國書記、楊仕椿院長為kaiyun開云官方網(wǎng)站博士生作了博士畢業(yè)生招聘宣講。在后續(xù)的答疑環(huán)節(jié)中,他們對同學們提出的問題作了一一解答,同時對雙方長期合作表達了展望與期待。



見習活動最后,阿壩師范學院師生在校園大使的帶領(lǐng)下游覽校園。通過大使團的講解,阿壩師范學院的師生對交大校史、交大校園有了更進一步的了解。


此次阿壩師范學院赴我院開展的學生見習活動為兩校兩院間的交流合作提供了更加廣闊的平臺,助力雙方加強在學科建設(shè)、統(tǒng)計建模、實習實踐等方面的合作,共同推動在數(shù)學領(lǐng)域的建設(shè)與發(fā)展。