王 泉,楊天若,朱大開,鄧慶緒,郭 兵,陳銘松,董云衛(wèi),嚴(yán) 義,江建慧,張凱龍,謝國琪0,周俊龍
(1.西安電子科技大學(xué) 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院,陜西 西安 710071;2.加拿大圣弗朗西斯?jié)删S爾大學(xué) 計(jì)算機(jī)科學(xué)系,安蒂戈尼什 NS B2G 2W5;3.美國得克薩斯州大學(xué)圣安東尼奧分校 計(jì)算機(jī)科學(xué)系,圣安東尼奧 TX 78249-1644;4.東北大學(xué) 計(jì)算機(jī)科學(xué)與工程學(xué)院,遼寧 沈陽 110167;5.四川大學(xué) 計(jì)算機(jī)學(xué)院,四川 成都 610065;6.華東師范大學(xué) 軟件工程學(xué)院,上海 200241;7.西北工業(yè)大學(xué) 計(jì)算機(jī)學(xué)院,陜西 西安 710129;8.杭州電子科技大學(xué) 計(jì)算機(jī)學(xué)院,浙江 杭州 310018;9.同濟(jì)大學(xué) 軟件學(xué)院,上海 201804;10.湖南大學(xué) 計(jì)算機(jī)工程系,湖南 長沙 410082;11.南京理工大學(xué) 計(jì)算機(jī)科學(xué)與工程學(xué)院,江蘇 南京 210094)
作為數(shù)字與物理、信息與應(yīng)用交叉融合的重要基石,嵌入式系統(tǒng)技術(shù)在近十年以來已被廣泛應(yīng)用在社會生產(chǎn)、生活、國防等諸多領(lǐng)域,并快速推動(dòng)了這些領(lǐng)域的數(shù)字化、網(wǎng)絡(luò)化和智能化發(fā)展。在人工智能、云計(jì)算、物聯(lián)網(wǎng)、大數(shù)據(jù)等新興技術(shù)不斷發(fā)展和交叉應(yīng)用的萬物智聯(lián)大計(jì)算背景下,信息物理深度融合、多維智能能力支撐、應(yīng)用形態(tài)日益多元等新特征對嵌入式系統(tǒng)的體系結(jié)構(gòu)以及軟硬件技術(shù)的發(fā)展都提出了新的需求和挑戰(zhàn)。諸如,空、天、地、海軍民領(lǐng)域的復(fù)雜安全有關(guān)應(yīng)用對高可信的多態(tài)嵌入式計(jì)算體系與技術(shù),移動(dòng)計(jì)算與物聯(lián)網(wǎng)對高性能、低功耗的嵌入式系統(tǒng)、網(wǎng)絡(luò)通信與網(wǎng)絡(luò)安全技術(shù),以智能駕駛為代表的復(fù)雜信息物理系統(tǒng)對實(shí)時(shí)智能計(jì)算體系與技術(shù),智能制造對工業(yè)機(jī)器人以及工業(yè)互聯(lián)網(wǎng)等基于嵌入式系統(tǒng)的行業(yè)技術(shù)等,新業(yè)態(tài)迫切需要新技術(shù)的支持。
在這樣的背景下,《西安電子科技大學(xué)學(xué)報(bào)》組織了“智能嵌入式系統(tǒng)與軟件關(guān)鍵技術(shù)”專題。經(jīng)過嚴(yán)格評審,最終錄用了10篇學(xué)術(shù)論文,包括了邊緣計(jì)算任務(wù)調(diào)度、霧計(jì)算服務(wù)部署、多資源均衡調(diào)度、小樣本學(xué)習(xí)、樣本攻擊防御、大規(guī)模圖遍歷優(yōu)化等方面。這里分別介紹如下。
在邊緣計(jì)算任務(wù)動(dòng)態(tài)調(diào)度方面,論文《面向邊緣計(jì)算平臺的半線上任務(wù)動(dòng)態(tài)調(diào)度方法》提出了一種面向邊緣計(jì)算平臺的半線上任務(wù)動(dòng)態(tài)調(diào)度方法。首先,考慮邊緣計(jì)算平臺中能耗的主要影響因素,從邊緣節(jié)點(diǎn)的處理速度、路由延遲和隊(duì)列長度三個(gè)角度,引入邊緣節(jié)點(diǎn)的任務(wù)執(zhí)行能耗、任務(wù)傳輸能耗和空閑能耗,建立了面向能耗優(yōu)化的邊緣計(jì)算平臺任務(wù)調(diào)度模型;其次,對于邊緣計(jì)算平臺中的未知性能節(jié)點(diǎn),先將其性能假設(shè)為某個(gè)已知節(jié)點(diǎn),形成未知與已知節(jié)點(diǎn)之間的映射關(guān)系,再不斷感知映射雙方的任務(wù)隊(duì)列長度來動(dòng)態(tài)調(diào)整映射關(guān)系,充分利用已有先驗(yàn)知識,提出了一種基于動(dòng)態(tài)映射的半線上任務(wù)調(diào)度算法,實(shí)現(xiàn)能耗優(yōu)化;最后,在CloudSim平臺完成對比試驗(yàn)。實(shí)驗(yàn)結(jié)果表明,所提方法相較其他方法能有效地降低邊緣計(jì)算平臺的能耗。論文《面向霧計(jì)算的嵌入式異構(gòu)計(jì)算服務(wù)放置策略》提出了一種面向霧計(jì)算應(yīng)用的服務(wù)放置策略,基于微服務(wù)架構(gòu),對霧計(jì)算層異構(gòu)資源進(jìn)行優(yōu)化建模,細(xì)化了資源異構(gòu)屬性表征,在保證系統(tǒng)的基礎(chǔ)上,通過動(dòng)態(tài)對比服務(wù)放置消耗提升系統(tǒng)資源利用率。將這種策略與基于請求率的放置策略和iFogSim默認(rèn)放置策略進(jìn)行對比,該策略的系統(tǒng)資源利用率分別平均提高了約5.00%和13.34%。
在異構(gòu)計(jì)算中的資源與任務(wù)管理方面,論文《Kubernetes集群中多節(jié)點(diǎn)合作博弈負(fù)載均衡策略》提出了一個(gè)基于合作博弈論的多資源負(fù)載均衡算法用于Kubernetes集群調(diào)度,并提出集群資源負(fù)載均衡度這個(gè)指標(biāo),優(yōu)化調(diào)度從而降低集群資源碎片化程度。結(jié)果表明,MBCGT算法降低了集群資源碎片化程度,集群中各節(jié)點(diǎn)的平均負(fù)載均衡度可提升8.40%。論文《面向交叉微服務(wù)鏈的任務(wù)調(diào)度優(yōu)化》針對微服務(wù)鏈交叉產(chǎn)生的資源競爭問題,以系統(tǒng)資源利用率及處理請求的全局響應(yīng)時(shí)間為衡量指標(biāo),將微服務(wù)架構(gòu)中服務(wù)的資源消耗情況和任務(wù)執(zhí)行的時(shí)間進(jìn)行了形式化表征。同時(shí),結(jié)合蟻群算法并行計(jì)算與模擬退火算法局部擾動(dòng)的優(yōu)勢,提出了一種面向交叉微服務(wù)鏈的任務(wù)調(diào)度算法。通過實(shí)驗(yàn)證明,與先來先服務(wù)算法和傳統(tǒng)蟻群算法相比,文中的算法能夠在復(fù)雜微服務(wù)鏈環(huán)境下有效提高資源利用率,并降低任務(wù)的全局響應(yīng)時(shí)間。論文《JEDERL:一種異構(gòu)計(jì)算平臺任務(wù)調(diào)度優(yōu)化算法》針對異構(gòu)計(jì)算平臺任務(wù)調(diào)度中存在的計(jì)算資源異構(gòu)及缺乏任務(wù)全局信息的問題,首先根據(jù)任務(wù)及資源的屬性進(jìn)行任務(wù)執(zhí)行的抽象建模;然后利用圖神經(jīng)網(wǎng)絡(luò)對任務(wù)和計(jì)算資源進(jìn)行可伸縮的狀態(tài)信息編碼,從3個(gè)層次聚合任務(wù)及資源特征,解決了任務(wù)數(shù)量不確定、缺乏全局信息的問題;接著以最小化任務(wù)的平均完成時(shí)間為目標(biāo),基于深度確定性策略梯度算法設(shè)計(jì)任務(wù)調(diào)度算法。實(shí)驗(yàn)結(jié)果表明,JEDERL算法與隨機(jī)調(diào)度、先進(jìn)先出調(diào)度、短任務(wù)優(yōu)先調(diào)度、輪盤法調(diào)度以及現(xiàn)有的強(qiáng)化學(xué)習(xí)調(diào)度算法相比,任務(wù)平均完成時(shí)間分別減少了約27.8%、12.6%、28.6%、21.9%、13.1%。
在數(shù)據(jù)處理與智能學(xué)習(xí)方面,論文《一種高效的自監(jiān)督元遷移小樣本學(xué)習(xí)算法》針對已有算法的模型泛化能力弱、分類結(jié)果差等問題,提出了殘差注意力膨脹卷積網(wǎng)絡(luò)作為網(wǎng)絡(luò)模型的特征提取器,膨脹分支的設(shè)計(jì)增大了模型感受野且可以提取不同尺寸的特征,基于圖片的殘差注意力增強(qiáng)了模型對重要特征的關(guān)注度。提出基于自監(jiān)督的網(wǎng)絡(luò)模型預(yù)訓(xùn)練算法,預(yù)訓(xùn)練階段使用自監(jiān)督方式,對圖像數(shù)據(jù)進(jìn)行不同角度旋轉(zhuǎn)且建立相應(yīng)標(biāo)簽,設(shè)計(jì)基于圖像結(jié)構(gòu)信息的旋轉(zhuǎn)分類器,增加了訓(xùn)練任務(wù)中的監(jiān)督信息,以增強(qiáng)對數(shù)據(jù)信息進(jìn)一步挖掘及算法的泛化能力。在標(biāo)準(zhǔn)的小樣本數(shù)據(jù)集miniImageNet和Fewshot-CIFAR100上,將作者提出的算法與基準(zhǔn)算法進(jìn)行了充分的實(shí)驗(yàn)。實(shí)驗(yàn)結(jié)果表明:該算法取得了最新最好的性能。論文《BC 算法性能與圖數(shù)據(jù)格式的關(guān)系特性分析》針對中心性算法如何根據(jù)性能需求選擇合適的壓縮格式來提升圖計(jì)算系統(tǒng)性能的問題,采用Skylake Xeon(R)Platinum 8164處理器上的硬件性能計(jì)數(shù)器對不同數(shù)據(jù)集的COO、CSC、CSR、DCSC和CSCI的5種壓縮格式進(jìn)行性能評測與分析,性能評價(jià)指標(biāo)包括執(zhí)行時(shí)間、計(jì)算量、數(shù)據(jù)移動(dòng)量以及功耗等。評價(jià)結(jié)果表明,當(dāng)硬件資源受限時(shí),CSR壓縮格式在處理以遍歷為中心的BC算法時(shí)表現(xiàn)最優(yōu),可有效地減少程序執(zhí)行時(shí)間、數(shù)據(jù)移動(dòng)量以及降低功耗;使用CSC壓縮格式,可有效地降低緩存缺失率,更好地利用數(shù)據(jù)局部性;在考慮內(nèi)存占用情況下,DCSC壓縮格式可提高圖數(shù)據(jù)存儲效率;CSCI壓縮格式在硬件加速器的數(shù)據(jù)并行性方面有一定的優(yōu)勢,但在通用處理器上的圖應(yīng)用方面并不理想;COO壓縮格式在提升圖計(jì)算應(yīng)用性能方面相對較差。分析結(jié)果對于BC算法如何根據(jù)不同性能需求選擇預(yù)處理方式提供了依據(jù)。論文《一種新型高效的文庫知識圖譜實(shí)體關(guān)系抽取算法》首先基于訓(xùn)練文庫構(gòu)建了一種新的實(shí)體語義關(guān)系圖,隨著測試的進(jìn)行它也可以不斷擴(kuò)展。實(shí)體語義關(guān)系圖用于從語料庫的所有句子中全局獲取實(shí)體之間的語義關(guān)系。然后,選取語料庫中存在的大量“other”關(guān)系作為負(fù)樣本進(jìn)行訓(xùn)練,以提高分類性能。最后,利用輕量級預(yù)訓(xùn)框架ALBERT、圖卷積網(wǎng)絡(luò)和負(fù)樣本學(xué)習(xí)三元組損失,提出了一種新的實(shí)體關(guān)系抽取算法。該算法能不斷地匯總和完善與待抽取實(shí)體對間關(guān)系的相關(guān)知識,因此可以有效地提高實(shí)體關(guān)系抽取的精度。在SemEval-2010 Task8和TACRED的基準(zhǔn)測試中對這種算法進(jìn)行的廣泛性能對比實(shí)驗(yàn),表明該算法的性能均優(yōu)于目前最具代表性的深度實(shí)體關(guān)系抽取算法。論文《面向超級計(jì)算機(jī)系統(tǒng)的大規(guī)模圖遍歷優(yōu)化》基于現(xiàn)實(shí)世界中圖結(jié)構(gòu)的小世界性和無尺度性特征,面向評測超級計(jì)算機(jī)圖處理能力的重要基準(zhǔn)Graph500,提出一種主要應(yīng)用于大規(guī)模圖的圖遍歷優(yōu)化方法。這一方法結(jié)合了天河平臺的體系結(jié)構(gòu)特征,在圖結(jié)構(gòu)上應(yīng)用了頂點(diǎn)排序和優(yōu)先緩存策略,即將圖中頂點(diǎn)按度數(shù)從高到低排序,令程序在圖遍歷階段優(yōu)先訪問高度數(shù)鄰居頂點(diǎn),并將部分關(guān)鍵高度數(shù)頂點(diǎn)緩存至天河系統(tǒng)核組內(nèi)的高速緩存中,以此來減少Graph500基準(zhǔn)程序中的無效訪存,降低進(jìn)程間的通信開銷,提高訪存帶寬利用率,從而有效提升Graph500基準(zhǔn)測試程序在天河平臺上的性能。該文面向天河超級計(jì)算機(jī)系統(tǒng)實(shí)驗(yàn)平臺提出的應(yīng)用頂點(diǎn)排序與優(yōu)先緩存優(yōu)化方法的VS-Graph500程序,加速效果顯著,可擴(kuò)展性好,當(dāng)圖測試規(guī)模為237時(shí),全系統(tǒng)穩(wěn)定測試性能為2547.13 GTEPS,超過2020年11月Graph500國際排名榜上第7名的數(shù)據(jù)。
在深度神經(jīng)網(wǎng)絡(luò)安全性方面,論文《增強(qiáng)型深度對抗樣本攻擊防御算法》針對現(xiàn)有對抗樣本去噪防御算法破壞干凈樣本的有用信息致使模型分類精度下降的缺陷,基于在目標(biāo)模型上添加增強(qiáng)型輸入去噪器,以及基于凸包理論所提出的隱層干凈樣本有損信息恢復(fù)器,提出了一種新的增強(qiáng)型對抗樣本攻擊防御算法。該算法在模型的輸入層訓(xùn)練一個(gè)去噪器,去噪器的輸入為干凈樣本和對抗樣本的并集,期望去噪器去除對抗擾動(dòng)的同時(shí)避免對干凈樣本的遺忘。由于去噪器會破壞干凈樣本含有的擾動(dòng)信息,因此在模型的隱層中訓(xùn)練一個(gè)恢復(fù)器,恢復(fù)器的輸入為干凈樣本和對抗樣本隱向量的凸組合,期望恢復(fù)器將位于錯(cuò)誤分類空間的樣本重新映射回正確分類空間,以此訓(xùn)練出更具魯棒性的模型。在多個(gè)標(biāo)準(zhǔn)數(shù)據(jù)集上的大量對比仿真實(shí)驗(yàn)表明:所提出的去噪器和恢復(fù)器能有效地提升模型的魯棒性,其對抗樣本防御性能優(yōu)于眾多現(xiàn)有代表性的對抗樣本防御算法。
我們相信讀者可以從以上的學(xué)術(shù)論文中發(fā)現(xiàn)很多有益的思路和解決問題的方法,并借此機(jī)會感謝所有作者的貢獻(xiàn)以及所有評審者的辛勤付出。是大家的無私奉獻(xiàn)和辛勤努力,使得編委團(tuán)隊(duì)成功組織了這一期專題。
編委簡介
王泉,博士,教授,現(xiàn)任西安電子科技大學(xué)副校長。中國計(jì)算機(jī)學(xué)會杰出會員,嵌入式專委會主任。教育部教學(xué)信息化與教學(xué)方法創(chuàng)新指導(dǎo)委員會副秘書長,軟件工程專業(yè)教學(xué)指導(dǎo)委員會委員,教育部《教育信息化長期發(fā)展規(guī)劃(2021~3035)》和《教育部信息化“十四五規(guī)劃”》編制專家組成員。主要研究方向?yàn)榍度胧接?jì)算與系統(tǒng)、新型人機(jī)交互、人工智能+教育等。主持了國家基金、重點(diǎn)研發(fā)計(jì)劃、預(yù)研等項(xiàng)目,為國家和行業(yè)的重大應(yīng)用提供了關(guān)鍵技術(shù)支撐。在IEEE TPAMI、TKDE、TNNLS、TPDS、TIP和IJCAI等國外內(nèi)重要期刊/會議上發(fā)表學(xué)術(shù)論文40余篇,授權(quán)專利20余項(xiàng),研究成果先后獲得了省部級教學(xué)科研獎(jiǎng)勵(lì)十余項(xiàng)。
E-mail:qwang@xidian.edu.cn
楊天若,博士,加拿大圣弗朗西斯?jié)删S爾大學(xué)(St.Francis Xavier University)教授、博士生導(dǎo)師?,F(xiàn)任加拿大國家工程院院士,加拿大工程研究院院士,歐洲科學(xué)院外籍院士,IEEE/IET Fellow,國家海外高層次人才入選者,全球高被引學(xué)者,ACM 杰出科學(xué)家。主要從事并行、分布式和云計(jì)算、嵌入式和普適計(jì)算、人機(jī)物系統(tǒng)設(shè)計(jì)與安全等方面的研究。共計(jì)發(fā)表了 200多篇IEEE和 ACM 匯刊/期刊論文,多篇文章入選ESI熱點(diǎn)和ESI高被引文章。同時(shí)作為作者或編者在多個(gè)國際著名出版社出版25 余本學(xué)術(shù)著作,在世界 50 多個(gè)國際主要學(xué)術(shù)會議與研討會上做大會特邀主題報(bào)告。曾擔(dān)任IEEE CS超級計(jì)算與應(yīng)用技術(shù)委員會副主席、IEEE CS 可擴(kuò)展計(jì)算委員會主席、IEEE CIS 普適計(jì)算和智能工作組主席、IEEE加拿大大西洋地區(qū)副主席和主席?,F(xiàn)擔(dān)任IEEE CS TCSC 技術(shù)委員會主席、IEEE SMC Cybermatics技術(shù)委員會主席、IEEE CIS 人機(jī)物系統(tǒng)工作組主席以及加拿大自然科學(xué)和工程基金計(jì)算機(jī)學(xué)科評審委員會委員。目前還擔(dān)任10多個(gè)IEEE重要國際學(xué)術(shù)會議指導(dǎo)委員會主席,同時(shí)擔(dān)任IEEE Systems Journal、Information Fusion、Information Sciences等多個(gè)國際著名期刊的編委。曾獲得多項(xiàng)國際性獎(jiǎng)勵(lì)與榮譽(yù):加拿大工程研究院 John B.Stirling Medal 獎(jiǎng)?wù)?2021),IEEE CPS信息-物理系統(tǒng)最有影響力論文獎(jiǎng)(2020),科睿唯安的全球高被引學(xué)者(2019),AMiner 物聯(lián)網(wǎng)領(lǐng)域最有影響力學(xué)者獎(jiǎng)(2018),IEEE TCPS 信息-物理系統(tǒng)杰出領(lǐng)袖獎(jiǎng)(2018)等。
E-mail:ltyang@ieee.org
朱大開,Dakai Zhu(朱大開)教授現(xiàn)為美國得克薩斯州立大學(xué)圣安東尼奧分校(University of Texas at San Antonio)計(jì)算機(jī)系終身教授。1996年獲西安交通大學(xué)計(jì)算機(jī)工程學(xué)士學(xué)位,1999年獲清華大學(xué)計(jì)算機(jī)工程碩士學(xué)位,2004年獲美國匹茲堡大學(xué)計(jì)算機(jī)科學(xué)博士學(xué)位。主要研究領(lǐng)域包括:實(shí)時(shí)嵌入式系統(tǒng),低功耗和可靠性計(jì)算,并行和多核系統(tǒng)和云計(jì)算資源管理。已發(fā)表國際學(xué)術(shù)期刊和國際會議論文70余篇(其中包括近30篇國際期刊論文,比如ACM TECS,TODAES,IEEE TC,TPDS,TCAD和Journal of Real Time Systems;40余篇國際學(xué)術(shù)會議論文,比如RTSS,RTAS,DAC和 ICCAD等實(shí)時(shí)系統(tǒng)及設(shè)計(jì)自動(dòng)化領(lǐng)域頂級國際會議)。研究工作多次獲得美國國家自然科學(xué)基金會(USA National Science Foundation)的資助,并于2010年獲得了美國國家科學(xué)基金頒發(fā)的杰出學(xué)術(shù)發(fā)展獎(jiǎng)(NSF CAREER AWARD)。是ACM和IEEE的會員,并在RTSS,RTAS,RTCSA,DATE和IGSC 等國際頂級或知名會議中常年擔(dān)任程序委員會委員,而且是10余個(gè)IEEE或ACM國際頂級期刊的審稿人。
E-mail:dakai.zhu@utsa.edu
鄧慶緒,東北大學(xué)計(jì)算機(jī)學(xué)院教授,遼寧省嵌入式軟件工程中心主任,教育部新世紀(jì)人才,遼寧省“興遼人才”科技創(chuàng)新領(lǐng)軍人才。計(jì)算機(jī)學(xué)會嵌入式系統(tǒng)專委會副主任。主要研究方向?yàn)閷?shí)時(shí)嵌入式系統(tǒng)、可重構(gòu)計(jì)算、CPS(信息物理系統(tǒng))/物聯(lián)網(wǎng)工程。在實(shí)時(shí)嵌入式系統(tǒng)、物聯(lián)網(wǎng)等領(lǐng)域,以負(fù)責(zé)人身份承擔(dān)國家863計(jì)劃項(xiàng)目、國家支撐計(jì)劃、國家自然基金、國際合作基金、國家重點(diǎn)研發(fā)計(jì)劃課題等項(xiàng)目30余項(xiàng)。相關(guān)成果已獲得14項(xiàng)發(fā)明專利,曾獲省技術(shù)發(fā)明獎(jiǎng)一等獎(jiǎng)、省科技進(jìn)步一等獎(jiǎng)和國家科技進(jìn)步二等獎(jiǎng)。已在實(shí)時(shí)嵌入式系統(tǒng)、物聯(lián)網(wǎng)、可重構(gòu)計(jì)算等領(lǐng)域的著名國內(nèi)外期刊和會議上發(fā)表論文140多篇。有多篇代表性成果發(fā)表于相關(guān)領(lǐng)域頂級國際會議RTSS、RTAS、DAC以及ACM Trans.、IEEE Trans.等國際期刊。領(lǐng)導(dǎo)的課題組關(guān)于多核實(shí)時(shí)調(diào)度理論研究方面的成果論文曾獲RTSS 2009最佳論文獎(jiǎng),DATE 2013最佳論文獎(jiǎng),以及多次RTSS,RTAS最佳論文提名。多次擔(dān)任嵌入式實(shí)時(shí)系統(tǒng)和設(shè)計(jì)自動(dòng)化系統(tǒng)國際會議RTSS、DAC等多個(gè)國際會議的程序委員會委員。
E-mail:dengqx@mail.neu.edu.cn
郭兵,教授,博士生導(dǎo)師,四川大學(xué)計(jì)算機(jī)學(xué)院(軟件學(xué)院)副院長。CCF嵌入式系統(tǒng)專委會副主任,國家重點(diǎn)研發(fā)計(jì)劃和NSFC重點(diǎn)項(xiàng)目負(fù)責(zé)人。主要研究方向包括嵌入式系統(tǒng)、綠色計(jì)算、區(qū)塊鏈、工業(yè)軟件等。先后主持32項(xiàng)國家重大專項(xiàng)/重點(diǎn)研發(fā)計(jì)劃、國家自然科學(xué)基金、“863”項(xiàng)目以及企業(yè)橫向項(xiàng)目的研發(fā)工作,包括國家重點(diǎn)研發(fā)計(jì)劃項(xiàng)目“規(guī)?;圃鞓I(yè)多價(jià)值鏈協(xié)同云服務(wù)平臺研發(fā)”、NSFC重點(diǎn)項(xiàng)目“嵌入式系統(tǒng)的低能耗軟件設(shè)計(jì)方法與技術(shù)研究”等。曾在美國密執(zhí)根州立大學(xué)、日本筑波大學(xué)和韓國Kyungwon大學(xué)做訪問教授。同時(shí),在《IEEE Transactions on Cloud Computing》《IEEE Transactions on Computers》《計(jì)算機(jī)學(xué)報(bào)》等雜志和IEEE/ACM國際會議上發(fā)表高質(zhì)量學(xué)術(shù)論文56篇,以General Co-chair主辦ICEES2008、GreenCom2011、EmbeddedCom2013、ESCT2013、ICESS2016、CBD2016和FFC2016七次國際會議,獲得四川省、湖北省和國防科工委等各種獎(jiǎng)勵(lì)6次。
E-mail:guobing@scu.edu.cn
陳銘松,華東師范大學(xué)教授,博士生導(dǎo)師,軟件工程學(xué)院副院長(主持工作),軟硬件協(xié)同設(shè)計(jì)與應(yīng)用技術(shù)教育部工程研究中心主任。主要研究方向?yàn)榭尚胖悄苘浻布f(xié)同設(shè)計(jì)、信息物理融合系統(tǒng)設(shè)計(jì)自動(dòng)化。在DAC、ISCA、、RTSS、TC、TCAD、軟件學(xué)報(bào)等國內(nèi)外權(quán)威會議與期刊上發(fā)表論文100余篇,出版英文專著1部,相關(guān)成果獲得上海市科技進(jìn)步特等獎(jiǎng)(排名第三)。主持過多項(xiàng)省部級以上重點(diǎn)項(xiàng)目。目前擔(dān)任CCF嵌入式專委會副主任、上海計(jì)算機(jī)學(xué)會物聯(lián)網(wǎng)專委會副主任。
E-mail:mschen@sei.ecnu.edu.cn
董云衛(wèi),西北工業(yè)大學(xué)教授,西北工業(yè)大學(xué)智能嵌入式軟件研究中心副主任。主要從事嵌入式系統(tǒng)建模分析理論、軟件自動(dòng)化理論研究。主持和參加國家自然基金、國家863計(jì)劃、國防預(yù)研、國家重點(diǎn)研發(fā)計(jì)劃、國家“核高基”專項(xiàng)計(jì)劃等10余項(xiàng)課題。發(fā)表學(xué)術(shù)論文100余篇、獲得技術(shù)發(fā)明專利20余項(xiàng)和出版專著2部。2000年獲首屆“陜西省十大軟件行業(yè)杰出青年”,2001年獲首屆“中國軟件行業(yè)杰出青年”提名,獲省部級科技成果三等獎(jiǎng)2項(xiàng)。
E-mail:yunweidong@nwpu.edu.cn
嚴(yán)義,杭州電子科技大學(xué)二級教授,博士生導(dǎo)師,享受國家特殊津貼專家。浙江省政府咨詢委委員,浙江省科技廳電子網(wǎng)絡(luò)專家組組長,PLCopen中國主席,杭州電子科技大學(xué)工業(yè)互聯(lián)網(wǎng)研究院院長。杭州電子科技大學(xué)計(jì)算機(jī)國家級實(shí)驗(yàn)教學(xué)示范中心負(fù)責(zé)人,國家級虛擬仿真實(shí)驗(yàn)項(xiàng)目負(fù)責(zé)人,浙江省重點(diǎn)科技創(chuàng)新團(tuán)隊(duì)(面向行業(yè)的嵌入式關(guān)鍵技術(shù))負(fù)責(zé)人。中國機(jī)電一體化應(yīng)用協(xié)會常務(wù)委員,中國計(jì)算機(jī)學(xué)會嵌入式專家委員會常務(wù)委員。作為負(fù)責(zé)人,其研究成果獲浙江省技術(shù)發(fā)明一等獎(jiǎng),科學(xué)技術(shù)一等獎(jiǎng)各1項(xiàng),科學(xué)技術(shù)二等獎(jiǎng)2項(xiàng);作為主要成員獲國家級教學(xué)成果二等獎(jiǎng)兩項(xiàng)。擁有發(fā)明專利技術(shù)50多項(xiàng),科研成果產(chǎn)業(yè)化,產(chǎn)生經(jīng)濟(jì)效益達(dá)十億元。發(fā)表論文40多篇,多篇被SCI、EI收錄。
E-mail:yybjyyj@163.com
江建慧,博士,教授,博士生導(dǎo)師,同濟(jì)大學(xué)軟件學(xué)院副院長,同濟(jì)大學(xué)首批國家一流本科專業(yè)建設(shè)點(diǎn)“軟件工程”專業(yè)負(fù)責(zé)人,中國計(jì)算機(jī)學(xué)會容錯(cuò)計(jì)算專業(yè)委員會副主任,中國計(jì)算機(jī)學(xué)會嵌入式系統(tǒng)專業(yè)委員會常務(wù)委員,中國計(jì)量測試學(xué)會集成電路測試專業(yè)委員會副主任,上海市高等教育學(xué)會高校計(jì)算機(jī)專業(yè)委員會主任,《同濟(jì)大學(xué)學(xué)報(bào)(自然科學(xué)版)》編輯委員會委員。長期從事容錯(cuò)計(jì)算、測試與診斷、性能評測與設(shè)計(jì)優(yōu)化等方向的理論研究和技術(shù)開發(fā),負(fù)責(zé)和參與完成了國家科技部973和863計(jì)劃項(xiàng)目、國家自然科學(xué)基金項(xiàng)目、上海市科委項(xiàng)目以及華為、中廣核等企業(yè)合作項(xiàng)目近40項(xiàng)。出版教材2部,在IEEE Transactions on Reliability、IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems、IEEE Transactions on Systems、Man and Cybernetics:Systems,Journal of Computer Science and Technology、《計(jì)算機(jī)學(xué)報(bào)》、《電子學(xué)報(bào)》、《中國科學(xué)》、ITC、DATE等國內(nèi)外學(xué)術(shù)刊物和會議上發(fā)表學(xué)術(shù)論文200多篇,SCI/SCIE/EI收錄100多篇。獲寶鋼教育基金優(yōu)秀教師獎(jiǎng)、華為無線網(wǎng)絡(luò)產(chǎn)品線價(jià)值合作成果獎(jiǎng)、上海市科技進(jìn)步一等獎(jiǎng)等。
E-mail:jhjiang@#edu.cn
張凱龍,博士,博士后(法國),西北工業(yè)大學(xué)計(jì)算機(jī)學(xué)院教授、博士生導(dǎo)師,現(xiàn)任西北工業(yè)大學(xué)-巴黎高科MINES機(jī)器人與群智能系統(tǒng)聯(lián)合實(shí)驗(yàn)室主任、中國計(jì)算機(jī)學(xué)會嵌入式系統(tǒng)專委會秘書長。獲評為中國嵌入式系統(tǒng)十大杰出青年、法中科學(xué)與應(yīng)用基金會“卡恩·崗”學(xué)術(shù)獎(jiǎng)。主要研究方向?yàn)閷?shí)時(shí)智能系統(tǒng)、協(xié)作式智能交通系統(tǒng)、空天地群智能協(xié)同系統(tǒng)及科技倫理與哲學(xué)等。近年來,主持國家自然科學(xué)基金課題3項(xiàng),陜西省科技計(jì)劃、航空基金、航天SAST基金等項(xiàng)目10余項(xiàng)。在IEEE Trans on ITS等領(lǐng)域頂級期刊和IEEE ITSC等國際會議發(fā)表學(xué)術(shù)論文60余篇。技術(shù)成果產(chǎn)業(yè)化1項(xiàng),在國際領(lǐng)域上率先提出并建立面向服務(wù)的協(xié)作式智能交通系統(tǒng)(SoC-ITS)研究方向并得到同行肯定。獲省部級科技進(jìn)步獎(jiǎng)2項(xiàng)。編著《嵌入式系統(tǒng)體系、原理與設(shè)計(jì)》,譯著《嵌入式系統(tǒng)導(dǎo)論——CPS方法(第2版)》、《嵌入式系統(tǒng)——CPS與IoT的嵌入式系統(tǒng)基礎(chǔ)(第3版)》、科技哲學(xué)著作《柏拉圖與技術(shù)呆子》等共5部,獲省級、校級優(yōu)秀教學(xué)成果獎(jiǎng)等多項(xiàng)。
E-mail:kl.zhang@nwpu.edu.cn
謝國琪,博士,湖南大學(xué)教授、博士生導(dǎo)師。IEEE TCSC Early Career Researcher Award獲得者,CCF嵌入式系統(tǒng)專委會副秘書長,IEEE/ACM/CCF高級會員。主要研究興趣為實(shí)時(shí)操作系統(tǒng)、實(shí)時(shí)通信、高性能嵌入式計(jì)算、信息物理系統(tǒng)。以第一作者發(fā)表CCF A類會議與IEEE/ACM Transactions期刊論文30多篇。出版專著及教材3本。JSA、JCSC、MICPRO 3本SCI期刊編委(Associate Editor),RTSS、DAC等頂級國際會議的程序委員會成員。主持了縱/橫向項(xiàng)目多項(xiàng),完成了多款實(shí)時(shí)及嵌入式應(yīng)用的研發(fā)。
E-mail:xgqman@hnu.edu.cn
周俊龍,南京理工大學(xué)副教授,碩士生導(dǎo)師。CCF嵌入式系統(tǒng)專委會副秘書長,江蘇省計(jì)算機(jī)學(xué)會體系結(jié)構(gòu)專委會秘書長。主要研究領(lǐng)域?yàn)榍度胧较到y(tǒng)、物聯(lián)網(wǎng)與云計(jì)算。先后主持了國家自然科學(xué)基金(面上、青年項(xiàng)目)、中國博士后自然科學(xué)基金(特別資助、面上項(xiàng)目一等資助)、江蘇省自然科學(xué)基金(青年項(xiàng)目、博士后A類科研資助)、國家和省部級重點(diǎn)實(shí)驗(yàn)室開放課題等項(xiàng)目10余項(xiàng)。曾在美國圣母大學(xué)訪問研究,在國內(nèi)外權(quán)威期刊會議發(fā)表學(xué)術(shù)論文90篇,含IEEE/ACM Transactions 論文近30篇,入選ESI熱點(diǎn)/高被引論文4篇,IEEE會議最佳論文1篇。JSA等5個(gè)國際期刊編委。任10余次國際會議(例如HPCC)的程序委員會主席,入選斯坦福大學(xué)發(fā)布的 2020 年“全球前 2%頂尖科學(xué)家”榜單,在計(jì)算機(jī)硬件與體系結(jié)構(gòu)學(xué)科影響力中國(含港澳臺)排名位居第 11 位。
E-mail:jlzhou@njust.edu.cn