巨茎挺进李淑芬的体内视频_理论片午午伦夜理片影院_伊人影院蕉久直播高清网站_性欧美26uuu在线观看_国产人妖在线观看_十天的爱人在线观看_成年男人午夜片_国产大学生元瑶酒店在线播放_中文字幕av无码不卡免费

      團(tuán)隊主要建設(shè)有國家級科技創(chuàng)新平臺“系統(tǒng)可信性自動驗證國家地方聯(lián)合工程實驗室”（負(fù)責(zé)人：楊晗、李志輝），四川省科技創(chuàng)新平臺“四川省學(xué)生體質(zhì)健康大數(shù)據(jù)與應(yīng)用技術(shù)中心”（負(fù)責(zé)人：韋洪雷）。以國家有突出貢獻(xiàn)的中青年專家、四川省學(xué)術(shù)與技術(shù)帶頭人徐揚教授為學(xué)術(shù)帶頭人。主要從事符號演算與機(jī)器證明、數(shù)值計算、健康大數(shù)據(jù)與應(yīng)用技術(shù)等領(lǐng)域研究。已經(jīng)形成了原創(chuàng)的具有國際先進(jìn)水平的邏輯演繹自動推理體系，并基于該體系研發(fā)了系統(tǒng)可信性自動驗證實用工具Scavel C和Scavel PLC，已應(yīng)用于信息安全、航空航天、國防軍工、核工業(yè)、衛(wèi)星導(dǎo)航、軌道交通、信息電子、健康醫(yī)療等領(lǐng)域，為保障其系統(tǒng)的可信運行發(fā)揮了不可替代的關(guān)鍵作用，同時積累了豐富的系統(tǒng)可信性自動驗證技術(shù)研發(fā)經(jīng)驗，完全具備深入工程化應(yīng)用的基礎(chǔ)和能力。設(shè)計了大規(guī)模非線性半定規(guī)劃問題軟件LogdetPPA被國際上著名的優(yōu)化工具箱YALMIP收錄并廣泛使用；提出了非線性反應(yīng)擴(kuò)散方程等多種非線性偏微分方程的有限元等數(shù)值解法。

近5年來，團(tuán)隊成員在國內(nèi)外重要刊物上發(fā)表論文100多篇， 其中包括《IEEE Transactions on Fuzzy Systems》《Information Sciences》《Fuzzy Sets and Systems》《Computational Optimization and Applications》《Journal of Optimization Theory and Applications》等高級別期刊論文60余篇。研究成果分別獲四川省科技進(jìn)步獎二等獎、中國無線電協(xié)會二等獎、四川省醫(yī)學(xué)科技創(chuàng)新二等獎等。近五年，共主持國家自然科學(xué)基金面上項目、青年基金等項目等30余項，累計經(jīng)費4000余萬元。團(tuán)隊分別獲得2018年和2021年SAT競賽亞軍和第23屆國際自動定理證明器競賽FOF(First Order Formula )組亞軍，取得開云在該領(lǐng)域的歷史性突破，并填補(bǔ)了中國在該領(lǐng)域的空白。

團(tuán)隊積極響應(yīng)政府與學(xué)?！熬偷匮邪l(fā)、就地轉(zhuǎn)化、就地產(chǎn)業(yè)化”政策與需求，與中國航天科技集團(tuán)公司第十二研究院、30所、成都市急救指揮中心、成都市第三人民醫(yī)院、四川長虹電器股份有限公司、北京星辰天合科技股份有限公司、成都交子金控集團(tuán)有限公司、上海三零衛(wèi)士信息安全有限公司、新華文軒出版?zhèn)髅焦煞萦邢薰镜刃纬晒餐邪l(fā)、科技轉(zhuǎn)化及產(chǎn)業(yè)化的協(xié)同關(guān)系。

主要學(xué)術(shù)骨干：徐揚、秦克云、趙海良、陳樹偉、潘小東、王承競、王明文、何星星、李志輝、韋洪雷、余國朱、陳羅平、鄧麗、魯東、韓玫、徐鵬、黃玉芳、許仁譽(yù)、楊曉梅、鐘小梅、吳貫鋒、胡麗娜、但業(yè)星、陳章友、劉秀、何舟等。

“數(shù)學(xué)與信息交叉”團(tuán)隊2015年入選四川省科研創(chuàng)新團(tuán)隊（團(tuán)隊負(fù)責(zé)人：周正春教授），依托于兩個國家級平臺：“系統(tǒng)可信性自動驗證”國家地方聯(lián)合工程實驗室和“現(xiàn)代交通通信與傳感網(wǎng)絡(luò)”國家級國際聯(lián)合研究中心。面向國家和地方重大需求，團(tuán)隊一致致力于面向通信、雷達(dá)、信息安全、數(shù)據(jù)存儲與降維的編碼理論和智能信息處理技術(shù)研究。

團(tuán)隊現(xiàn)有教授4人、副教授3人、講師5人、博后3人、博/碩士研究生80余人，其中國家青年拔尖人才1人、軍委科技委重點項目責(zé)任專家1人、全國百篇優(yōu)博論文獲得者1人、教育部/裝備部聯(lián)合青年人才2人、四川省天府萬人計劃科技菁英1人、四川省青年千人2人、四川省杰青2人、中國信息論青年新星1人、成都市有突出貢獻(xiàn)專家1人、學(xué)校高層次人才揚華學(xué)者2人、雛鷹學(xué)者4人。

近年來，團(tuán)隊成員先后承擔(dān)了國家自然科學(xué)基金重點/面上/國際合作/青年項目、國家重點研發(fā)計劃項目課題、軍委科技委重點項目課題、裝備預(yù)研十三五課題、教育部/裝備部聯(lián)合基金、四川省杰青/重點項目、國家密碼管理局十三五重點課題、華為/10、29 /30所和航天一院等企業(yè)和研究所委托項目40余項，累計經(jīng)費2500余萬元。

團(tuán)隊成員在數(shù)學(xué)領(lǐng)域權(quán)威期刊（Applied and Computational Harmonic Analysis 、SIAM Journal on Discrete Mathematics、Journal of Combinatorial Theory A、Journal of Algebra、Journal of Number Theory、Finite Fields and Their Applications、Designs Codes and Cryptography）和信息領(lǐng)域頂刊（IEEE Transactions on Information Theory、IEEE Journal on Selected Areas in Communications、IEEE Transactions on Signal Processing、IEEE Transactions on Neural Networks and Learning Systems、IEEE Transactions on Wireless Communications、IEEE Transactions on Communications）發(fā)表論文120余篇，其中ESI熱點論文和高被引論文10篇。

研究成果先后獲全國百篇優(yōu)秀博士學(xué)位論文獎（2013年）、教育部自然科學(xué)二等獎（2016年、2020年）、上海市自然科學(xué)二等獎（2014年）。部分研究成果已在行業(yè)龍頭企業(yè)和國防領(lǐng)域轉(zhuǎn)化應(yīng)用、設(shè)計的一類優(yōu)相關(guān)低PAPR序列入選WIFI 7國際標(biāo)準(zhǔn)。

團(tuán)隊治學(xué)嚴(yán)謹(jǐn)，科研氛圍濃厚，文體活動豐富。秉承“術(shù)業(yè)有專攻、培養(yǎng)有協(xié)同”的思路，注重對學(xué)生的理論基礎(chǔ)、學(xué)術(shù)能力、工程應(yīng)用能力和團(tuán)隊合作能力的全方位培養(yǎng)，培養(yǎng)出了一批批理論扎實、技術(shù)過硬的人才。培養(yǎng)的研究生中，12人獲國家獎學(xué)金、3人獲唐立新獎、3人獲博士生揚華新秀獎、1人獲竢實揚華獎?wù)隆?人獲優(yōu)秀研究生稱號、1人獲華為獎學(xué)金、2人獲出版社獎學(xué)金、2人獲優(yōu)秀研究生標(biāo)兵稱號、1人獲kaiyun開云官方網(wǎng)站明誠獎、1人獲ACM金獎、2人獲“天融信杯”全國高校密碼數(shù)學(xué)挑戰(zhàn)賽總決賽三等獎。已畢業(yè)的研究生分別前往國內(nèi)外知名高校、華為、中興、騰訊、百度、小米、中電10所、30所工作。

團(tuán)隊致力于培養(yǎng)具有國際競爭力和國際視野的高素質(zhì)人才，依托“無線通信與信息編碼”111創(chuàng)新引智基地，為師生搭建了國際交流平臺。與美國、德國、法國、英國、加拿大、澳大利亞、日本、挪威、香港等海內(nèi)外20余所高校具有長期穩(wěn)定的合作，共同培養(yǎng)了多名青年教師和研究生。