陳左寧院士做客計(jì)算機(jī)系60周年系慶學(xué)術(shù)報(bào)告第29場(chǎng)
活動(dòng)信息
計(jì)算機(jī)系60周年系慶學(xué)術(shù)報(bào)告第29場(chǎng)于2018年9月13日上午9：00在東階教室舉行,。本次活動(dòng)將邀請(qǐng)中國工程院院士陳左寧做題為“云端AI HPC計(jì)算能力及計(jì)算環(huán)境研究”的主題演講,。
活動(dòng)介紹
陳左寧院士長(zhǎng)期從事高性能計(jì)算機(jī)研發(fā)，多次參加和主持國家重大科研項(xiàng)目,，先后參加多臺(tái)巨,、大型計(jì)算機(jī)及大型系統(tǒng)軟件研制工作,，并主持基于國產(chǎn)處理器的平臺(tái)關(guān)鍵基礎(chǔ)軟件研發(fā)，致力于信息基礎(chǔ)設(shè)施國產(chǎn)化及自主可控生態(tài)鏈建立,。
本次報(bào)告將通過分析人工智能領(lǐng)域的典型算法,，探索云端HPC的計(jì)算能力與計(jì)算環(huán)境在人工智能領(lǐng)域的挑戰(zhàn)與需求，并對(duì)相關(guān)HPC設(shè)計(jì)提出建議,。
錢德沛教授做客計(jì)算機(jī)系60周年系慶學(xué)術(shù)報(bào)告第30場(chǎng)
活動(dòng)信息
計(jì)算機(jī)系60周年系慶學(xué)術(shù)報(bào)告第30場(chǎng)將于9月14日上午9：00在FIT樓二層多功能廳舉行,。北京航空航天大學(xué)錢德沛教授將做題為“E級(jí)超級(jí)計(jì)算機(jī)研制的若干關(guān)鍵問題”的主題演講。
活動(dòng)介紹
錢德沛教授,，北京航空航天大學(xué)和中山大學(xué)教授,，中山大學(xué)數(shù)據(jù)科學(xué)與計(jì)算機(jī)學(xué)院院長(zhǎng)，中國計(jì)算機(jī)學(xué)會(huì)會(huì)士,，任十三五國家重點(diǎn)研發(fā)專項(xiàng)“高性能計(jì)算”總體專家組組長(zhǎng),，國家自然科學(xué)基金“高性能科學(xué)計(jì)算的基礎(chǔ)算法與可計(jì)算建模”指導(dǎo)專家組成員。
報(bào)告根據(jù)世界超級(jí)計(jì)算機(jī)發(fā)展的趨勢(shì)和我國E級(jí)計(jì)算機(jī)研制工作面臨的挑戰(zhàn),，討論E級(jí)超級(jí)計(jì)算機(jī)研制中需要研究的若干關(guān)鍵技術(shù)問題,，并提出我國高性能計(jì)算發(fā)展中特別需要關(guān)注的幾個(gè)問題。最后,，結(jié)合十三五重點(diǎn)研發(fā)專項(xiàng)的實(shí)施,，介紹我國E級(jí)計(jì)算機(jī)研制的進(jìn)展情況。
圖靈獎(jiǎng)獲獎(jiǎng)?wù)逬oseph Sifakis做客計(jì)算機(jī)系60周年系慶學(xué)術(shù)報(bào)告第31場(chǎng)
活動(dòng)信息
計(jì)算機(jī)系60周年系慶學(xué)術(shù)報(bào)告第31場(chǎng)將于2018年9月14日下午15:00在FIT樓二層多功能廳舉行,。本次活動(dòng)將邀請(qǐng)2007年度圖靈獎(jiǎng)獲獎(jiǎng)?wù)逬oseph Sifakis教授做題為“On the Nature of Autonomy – A Rigorous Architectural Characterization”的主題演講,。
活動(dòng)介紹
Joseph Sifakis教授是是法國科學(xué)院,、法國國家工程院、歐洲科學(xué)院,、美國藝術(shù)和科學(xué)院,、以及國家工程院的成員。是國際著名嵌入式系統(tǒng)研究中心Verimag實(shí)驗(yàn)室創(chuàng)始人,。Joseph Sifakis教授長(zhǎng)期研究嵌入式系統(tǒng)設(shè)計(jì),，不僅關(guān)注理論基礎(chǔ)，還注重實(shí)際應(yīng)用,。由于在模型檢測(cè)理論和應(yīng)用研究中的杰出貢獻(xiàn),，于2007年獲得計(jì)算機(jī)科學(xué)領(lǐng)域最高獎(jiǎng)——ACM圖靈獎(jiǎng)，模型檢測(cè)技術(shù)已被廣泛應(yīng)用于計(jì)算機(jī)硬件和軟件的系統(tǒng)驗(yàn)證,。
本次報(bào)告中將探討自治系統(tǒng)的體系結(jié)構(gòu)設(shè)計(jì),。自治系統(tǒng)由協(xié)同的智能體構(gòu)成，在混沌且不確定的環(huán)境中,，相互協(xié)作以滿足全局目標(biāo),。報(bào)告將結(jié)合系統(tǒng)體系架構(gòu)以及智能體模型，提出一種通用計(jì)算模型,。這種新型體系架構(gòu)模型可以刻畫組件之間可動(dòng)態(tài)重構(gòu)的多種協(xié)同模式,。報(bào)告強(qiáng)調(diào)自治系統(tǒng)的主要特征是知識(shí)處理以及對(duì)于環(huán)境變化的適應(yīng)能力。自治應(yīng)當(dāng)與系統(tǒng)的功能密切相關(guān),，而不是局限于特定的實(shí)現(xiàn)技術(shù)。機(jī)器學(xué)習(xí)是自治的基礎(chǔ),，但僅僅滿足自治系統(tǒng)設(shè)計(jì)很小一部分的需求,。構(gòu)建可信的、優(yōu)化的自治系統(tǒng),，遠(yuǎn)遠(yuǎn)超過目前構(gòu)建人工智能系統(tǒng)所面臨的挑戰(zhàn),。
麻省理工學(xué)院Saman P. Amarasinghe教授做客計(jì)算機(jī)系60周年系慶學(xué)術(shù)報(bào)告第32場(chǎng)
活動(dòng)信息
計(jì)算機(jī)系60周年系慶學(xué)術(shù)報(bào)告第32場(chǎng)將于9月14日下午16：30在FIT樓二層多功能廳舉行。本次活動(dòng)將邀請(qǐng)麻省理工學(xué)院電子工程與計(jì)算機(jī)科學(xué)系副系主任Saman P. Amarasinghe教授做主題演講,。
活動(dòng)介紹
Saman P. Amarasinghe教授是麻省理工學(xué)院計(jì)算機(jī)科學(xué)與人工智能實(shí)驗(yàn)室編譯團(tuán)隊(duì)負(fù)責(zé)人,，他的研究旨在發(fā)現(xiàn)提升現(xiàn)代計(jì)算機(jī)系統(tǒng)性能的全新方法，成果包括StreamIt等編程語言與編譯器,、DynamoRIO動(dòng)態(tài)修改系統(tǒng),、SIMD向量化的超字級(jí)并行等。
本次報(bào)告聚焦在機(jī)器學(xué)習(xí)以及數(shù)據(jù)科學(xué)中有廣泛應(yīng)用的張量代數(shù)操作的自動(dòng)優(yōu)化問題,，將介紹首個(gè)可以對(duì)任意張量格式,、任意張量代數(shù)操作自動(dòng)生成操作內(nèi)核的編譯系統(tǒng)，該系統(tǒng)生成的操作內(nèi)核可達(dá)到與最佳人工優(yōu)化的操作內(nèi)核相當(dāng)?shù)男阅堋?/span>
圖文提供：清華大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系
